+++ /dev/null
-% bandali.bib --- bandali's bibliography -*-bibtex-*-
-
-% Copyright (C) 2020 Amin Bandali <bandali at uwaterloo.ca>
-% DBLP items under CC0 (<https://dblp.org/db/about/copyright.html>)
-
-%% ===================================================================
-%% string definitions
-%% ===================================================================
-
-@string{uwaterloo = "University of Waterloo"}
-@string{drc-scs = "David R. Cheriton School of Computer Science"}
-@string{uwaterloo-cs = uwaterloo # ", " # drc-scs}
-
-%% ===================================================================
-%% bandali's papers and talks (in reverse chronological order)
-%% ===================================================================
-
-@mastersthesis{bandali2020,
- type = {{MMath} thesis},
- author = {Amin Bandali},
- title = {{A Comprehensive Study of Declarative Modelling Languages}},
- school = uwaterloo-cs,
- 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, 14 Feb 2019 15:07:29 +0100},
- 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}
-}