|
[5]
|
Amin Bandali.
Jami and how it empowers users.
Presented at the LibrePlanet 2021 Conference, March 2021.
[ bib |
slides |
.pdf ]
|
|
[4]
|
Amin Bandali.
A Comprehensive Study of Declarative Modelling Languages.
MMath thesis, University of Waterloo, David R. Cheriton School of
Computer Science, July 2020.
http://hdl.handle.net/10012/16059 and
https://bndl.org/mmath.
[ bib |
http |
.pdf ]
|
|
[3]
|
Ali Abbassi, Amin Bandali, Nancy A. Day, and José Serna.
A comparison of the declarative modelling languages B, Dash, and
TLA+.
In Ana Moreira, Gunter Mussbacher, João Araújo, and Pablo
Sánchez, editors, 8th IEEE International Model-Driven
Requirements Engineering Workshop, MoDRE@RE 2018, Banff, AB, Canada, August
20, 2018, pages 11–20. IEEE Computer Society, 2018.
[ bib |
http |
.pdf ]
|
|
[2]
|
Amin Bandali, Simon Hudon, and Jonathan S. Ostroff.
The magic of specifications and type systems.
Presented at the 2017 Lassonde Undergraduate Summer Student Research
Conference, York University, Toronto, Canada, August 2017.
[ bib |
poster ]
|
|
[1]
|
Amin Bandali, Simon Hudon, and Jonathan S. Ostroff.
The magic of specifications and type systems.
Presented at the Canadian Undergraduate Computer Science Conference
2017, University of Toronto, Canada, June 2017.
[ bib |
slides ]
|