| 1 | <h1><a href="bandali.bib">bandali.bib</a></h1><a name="bandali-jami-libreplanet-2021"></a><pre> |
| 2 | @misc{<a href="publications.html#bandali-jami-libreplanet-2021">bandali-jami-libreplanet-2021</a>, |
| 3 | author = {Amin Bandali}, |
| 4 | title = {Jami and how it empowers users}, |
| 5 | year = 2021, |
| 6 | month = {March}, |
| 7 | howpublished = {Presented at the LibrePlanet 2021 Conference}, |
| 8 | slides = {<a href="https://p.bndl.org/bandali-jami-libreplanet-2021.pdf">https://p.bndl.org/bandali-jami-libreplanet-2021.pdf</a>}, |
| 9 | pdf = {https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf} |
| 10 | } |
| 11 | </pre> |
| 12 | |
| 13 | <a name="bandali2020"></a><pre> |
| 14 | @mastersthesis{<a href="publications.html#bandali2020">bandali2020</a>, |
| 15 | type = {{MMath} thesis}, |
| 16 | author = {Amin Bandali}, |
| 17 | title = {{A Comprehensive Study of Declarative Modelling Languages}}, |
| 18 | school = {University of Waterloo, David R. Cheriton School of Computer Science}, |
| 19 | year = 2020, |
| 20 | month = {July}, |
| 21 | publisher = {UWSpace}, |
| 22 | url = {<a href="http://hdl.handle.net/10012/16059">http://hdl.handle.net/10012/16059</a>}, |
| 23 | note = {\url{http://hdl.handle.net/10012/16059} and |
| 24 | \url{https://bndl.org/mmath}}, |
| 25 | pdf = {https://p.bndl.org/bandali-mmath-thesis.pdf} |
| 26 | } |
| 27 | </pre> |
| 28 | |
| 29 | <a name="DBLP:conf/re/AbbassiBDS18"></a><pre> |
| 30 | @inproceedings{<a href="publications.html#DBLP:conf/re/AbbassiBDS18">DBLP:conf/re/AbbassiBDS18</a>, |
| 31 | author = {Ali Abbassi and |
| 32 | Amin Bandali and |
| 33 | Nancy A. Day and |
| 34 | Jos{\'{e}} Serna}, |
| 35 | title = {A Comparison of the Declarative Modelling Languages |
| 36 | {B}, {Dash}, and {TLA\textsuperscript{+}}}, |
| 37 | booktitle = {8th {IEEE} International Model-Driven Requirements |
| 38 | Engineering Workshop, MoDRE@RE 2018, Banff, AB, |
| 39 | Canada, August 20, 2018}, |
| 40 | pages = {11--20}, |
| 41 | year = {2018}, |
| 42 | crossref = {<a href="#DBLP:conf/re/2018modre">DBLP:conf/re/2018modre</a>}, |
| 43 | url = {https://doi.org/10.1109/MoDRE.2018.00008}, |
| 44 | doi = {10.1109/MoDRE.2018.00008}, |
| 45 | timestamp = {Thu, 16 Jul 2020 12:21:41 +0200}, |
| 46 | biburl = {https://dblp.org/rec/bib/conf/re/AbbassiBDS18}, |
| 47 | bibsource = {dblp computer science bibliography, https://dblp.org}, |
| 48 | pdf = {https://p.bndl.org/modre2018-declarative.pdf} |
| 49 | } |
| 50 | </pre> |
| 51 | |
| 52 | <a name="DBLP:conf/re/2018modre"></a><pre> |
| 53 | @proceedings{<a href="publications.html#DBLP:conf/re/2018modre">DBLP:conf/re/2018modre</a>, |
| 54 | editor = {Ana Moreira and |
| 55 | Gunter Mussbacher and |
| 56 | Jo{\~{a}}o Ara{\'{u}}jo and |
| 57 | Pablo S{\'{a}}nchez}, |
| 58 | title = {8th {IEEE} International Model-Driven Requirements |
| 59 | Engineering Workshop, MoDRE@RE 2018, Banff, AB, |
| 60 | Canada, August 20, 2018}, |
| 61 | publisher = {{IEEE} Computer Society}, |
| 62 | year = {2018}, |
| 63 | url = {<a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8500723">http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8500723</a>}, |
| 64 | isbn = {978-1-5386-8406-1}, |
| 65 | timestamp = {Thu, 14 Feb 2019 15:07:29 +0100}, |
| 66 | biburl = {https://dblp.org/rec/bib/conf/re/2018modre}, |
| 67 | bibsource = {dblp computer science bibliography, https://dblp.org} |
| 68 | } |
| 69 | </pre> |
| 70 | |
| 71 | <a name="bandali-magic-lassonde-2017"></a><pre> |
| 72 | @misc{<a href="publications.html#bandali-magic-lassonde-2017">bandali-magic-lassonde-2017</a>, |
| 73 | author = {Amin Bandali and |
| 74 | Simon Hudon and |
| 75 | Jonathan S. Ostroff}, |
| 76 | title = {The Magic of Specifications and Type Systems}, |
| 77 | year = 2017, |
| 78 | month = {August}, |
| 79 | howpublished = {Presented at the 2017 Lassonde Undergraduate Summer |
| 80 | Student Research Conference, York University, |
| 81 | Toronto, Canada}, |
| 82 | poster = {<a href="https://p.bndl.org/eecs4080-poster.pdf">https://p.bndl.org/eecs4080-poster.pdf</a>} |
| 83 | } |
| 84 | </pre> |
| 85 | |
| 86 | <a name="bandali-magic-cucsc-2017"></a><pre> |
| 87 | @misc{<a href="publications.html#bandali-magic-cucsc-2017">bandali-magic-cucsc-2017</a>, |
| 88 | author = {Amin Bandali and |
| 89 | Simon Hudon and |
| 90 | Jonathan S. Ostroff}, |
| 91 | title = {The Magic of Specifications and Type Systems}, |
| 92 | year = 2017, |
| 93 | month = {June}, |
| 94 | howpublished = {Presented at the Canadian Undergraduate Computer |
| 95 | Science Conference 2017, University of Toronto, |
| 96 | Canada}, |
| 97 | slides = {<a href="https://p.bndl.org/cucsc-2017-slides.pdf">https://p.bndl.org/cucsc-2017-slides.pdf</a>} |
| 98 | } |
| 99 | </pre> |
| 100 | |