Commit | Line | Data |
---|---|---|
06611295 AB |
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> | |
29f0d7b9 | 14 | @mastersthesis{<a href="publications.html#bandali2020">bandali2020</a>, |
ea39cfbe AB |
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> | |
29f0d7b9 | 30 | @inproceedings{<a href="publications.html#DBLP:conf/re/AbbassiBDS18">DBLP:conf/re/AbbassiBDS18</a>, |
8c1ba2f2 AB |
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}, | |
7602da83 | 45 | timestamp = {Thu, 16 Jul 2020 12:21:41 +0200}, |
8c1ba2f2 AB |
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> | |
29f0d7b9 | 53 | @proceedings{<a href="publications.html#DBLP:conf/re/2018modre">DBLP:conf/re/2018modre</a>, |
8c1ba2f2 AB |
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 | ||
ea39cfbe | 71 | <a name="bandali-magic-lassonde-2017"></a><pre> |
29f0d7b9 | 72 | @misc{<a href="publications.html#bandali-magic-lassonde-2017">bandali-magic-lassonde-2017</a>, |
ea39cfbe AB |
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> | |
29f0d7b9 | 87 | @misc{<a href="publications.html#bandali-magic-cucsc-2017">bandali-magic-cucsc-2017</a>, |
ea39cfbe AB |
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>} | |
8c1ba2f2 AB |
98 | } |
99 | </pre> | |
100 |