@misc{bandali-jami-libreplanet-2021,
author = {Amin Bandali},
title = {Jami and how it empowers users},
year = 2021,
month = {March},
howpublished = {Presented at the LibrePlanet 2021 Conference},
slides = {https://p.bndl.org/bandali-jami-libreplanet-2021.pdf},
pdf = {https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf}
}
@mastersthesis{bandali2020,
type = {{MMath} thesis},
author = {Amin Bandali},
title = {{A Comprehensive Study of Declarative Modelling Languages}},
school = {University of Waterloo, David R. Cheriton School of Computer Science},
year = 2020,
month = {July},
publisher = {UWSpace},
url = {http://hdl.handle.net/10012/16059},
note = {\url{http://hdl.handle.net/10012/16059} and
\url{https://bndl.org/mmath}},
pdf = {https://p.bndl.org/bandali-mmath-thesis.pdf}
}
@inproceedings{DBLP:conf/re/AbbassiBDS18,
author = {Ali Abbassi and
Amin Bandali and
Nancy A. Day and
Jos{\'{e}} Serna},
title = {A Comparison of the Declarative Modelling Languages
{B}, {Dash}, and {TLA\textsuperscript{+}}},
booktitle = {8th {IEEE} International Model-Driven Requirements
Engineering Workshop, MoDRE@RE 2018, Banff, AB,
Canada, August 20, 2018},
pages = {11--20},
year = {2018},
crossref = {DBLP:conf/re/2018modre},
url = {https://doi.org/10.1109/MoDRE.2018.00008},
doi = {10.1109/MoDRE.2018.00008},
timestamp = {Thu, 16 Jul 2020 12:21:41 +0200},
biburl = {https://dblp.org/rec/bib/conf/re/AbbassiBDS18},
bibsource = {dblp computer science bibliography, https://dblp.org},
pdf = {https://p.bndl.org/modre2018-declarative.pdf}
}
@proceedings{DBLP:conf/re/2018modre,
editor = {Ana Moreira and
Gunter Mussbacher and
Jo{\~{a}}o Ara{\'{u}}jo and
Pablo S{\'{a}}nchez},
title = {8th {IEEE} International Model-Driven Requirements
Engineering Workshop, MoDRE@RE 2018, Banff, AB,
Canada, August 20, 2018},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8500723},
isbn = {978-1-5386-8406-1},
timestamp = {Thu, 14 Feb 2019 15:07:29 +0100},
biburl = {https://dblp.org/rec/bib/conf/re/2018modre},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{bandali-magic-lassonde-2017,
author = {Amin Bandali and
Simon Hudon and
Jonathan S. Ostroff},
title = {The Magic of Specifications and Type Systems},
year = 2017,
month = {August},
howpublished = {Presented at the 2017 Lassonde Undergraduate Summer
Student Research Conference, York University,
Toronto, Canada},
poster = {https://p.bndl.org/eecs4080-poster.pdf}
}
@misc{bandali-magic-cucsc-2017,
author = {Amin Bandali and
Simon Hudon and
Jonathan S. Ostroff},
title = {The Magic of Specifications and Type Systems},
year = 2017,
month = {June},
howpublished = {Presented at the Canadian Undergraduate Computer
Science Conference 2017, University of Toronto,
Canada},
slides = {https://p.bndl.org/cucsc-2017-slides.pdf}
}