add note about my Jami talk at LibrePlanet 2021
[~bandali/bndl.org] / static / bandali-bib-partial.html
CommitLineData
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