-<h1><a href="bandali.bib">bandali.bib</a></h1><a name="DBLP:conf/re/AbbassiBDS18"></a><pre>
+<h1><a href="bandali.bib">bandali.bib</a></h1><a name="bandali2020"></a><pre>
+@mastersthesis{<a href="publications#bandali2020">bandali2020</a>,
+ 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 = {<a href="http://hdl.handle.net/10012/16059">http://hdl.handle.net/10012/16059</a>},
+ note = {\url{http://hdl.handle.net/10012/16059} and
+ \url{https://bndl.org/mmath}},
+ pdf = {https://p.bndl.org/bandali-mmath-thesis.pdf}
+}
+</pre>
+
+<a name="DBLP:conf/re/AbbassiBDS18"></a><pre>
@inproceedings{<a href="publications#DBLP:conf/re/AbbassiBDS18">DBLP:conf/re/AbbassiBDS18</a>,
author = {Ali Abbassi and
Amin Bandali and
crossref = {<a href="#DBLP:conf/re/2018modre">DBLP:conf/re/2018modre</a>},
url = {https://doi.org/10.1109/MoDRE.2018.00008},
doi = {10.1109/MoDRE.2018.00008},
- timestamp = {Thu, 14 Feb 2019 15:07:29 +0100},
+ 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}
}
</pre>
-<a name="bandali2020"></a><pre>
-@mastersthesis{<a href="publications#bandali2020">bandali2020</a>,
- 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 = {<a href="http://hdl.handle.net/10012/16059">http://hdl.handle.net/10012/16059</a>},
- note = {\url{http://hdl.handle.net/10012/16059} and
- \url{https://bndl.org/mmath}},
- pdf = {https://p.bndl.org/bandali-mmath-thesis.pdf}
+<a name="bandali-magic-lassonde-2017"></a><pre>
+@misc{<a href="publications#bandali-magic-lassonde-2017">bandali-magic-lassonde-2017</a>,
+ 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 = {<a href="https://p.bndl.org/eecs4080-poster.pdf">https://p.bndl.org/eecs4080-poster.pdf</a>}
+}
+</pre>
+
+<a name="bandali-magic-cucsc-2017"></a><pre>
+@misc{<a href="publications#bandali-magic-cucsc-2017">bandali-magic-cucsc-2017</a>,
+ 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 = {<a href="https://p.bndl.org/cucsc-2017-slides.pdf">https://p.bndl.org/cucsc-2017-slides.pdf</a>}
}
</pre>