fix two links
[~bandali/bndl.org] / static / publications-partial.html
... / ...
CommitLineData
1<table>
2
3<tr valign="top">
4<td align="right" class="bibtexnumber">
5[<a name="bandali-jami-libreplanet-2021">5</a>]
6</td>
7<td class="bibtexitem">
8<a href="https://shemshak.org/~bandali/">Amin Bandali</a>.
9 Jami and how it empowers users.
10 Presented at the LibrePlanet 2021 Conference, March 2021.
11[&nbsp;<a href="bandali-bib.html#bandali-jami-libreplanet-2021">bib</a>&nbsp;|
12<a href="https://p.bndl.org/bandali-jami-libreplanet-2021.pdf">slides</a>&nbsp;|
13<a href="https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf">.pdf</a>&nbsp;]
14
15</td>
16</tr>
17
18
19<tr valign="top">
20<td align="right" class="bibtexnumber">
21[<a name="bandali2020">4</a>]
22</td>
23<td class="bibtexitem">
24<a href="https://shemshak.org/~bandali/">Amin Bandali</a>.
25 A Comprehensive Study of Declarative Modelling Languages.
26 MMath thesis, University of Waterloo, David R. Cheriton School of
27 Computer Science, July 2020.
28 <a href="http://hdl.handle.net/10012/16059">http://hdl.handle.net/10012/16059</a> and
29 <a href="https://bndl.org/mmath">https://bndl.org/mmath</a>.
30[&nbsp;<a href="bandali-bib.html#bandali2020">bib</a>&nbsp;|
31<a href="http://hdl.handle.net/10012/16059">http</a>&nbsp;|
32<a href="https://p.bndl.org/bandali-mmath-thesis.pdf">.pdf</a>&nbsp;]
33
34</td>
35</tr>
36
37
38<tr valign="top">
39<td align="right" class="bibtexnumber">
40[<a name="DBLP:conf/re/AbbassiBDS18">3</a>]
41</td>
42<td class="bibtexitem">
43Ali Abbassi, <a href="https://shemshak.org/~bandali/">Amin Bandali</a>, <a href="https://cs.uwaterloo.ca/~nday/">Nancy&nbsp;A. Day</a>, and Jos&eacute; Serna.
44 A comparison of the declarative modelling languages B, Dash, and
45 TLA<sup>+</sup>.
46 In Ana Moreira, Gunter Mussbacher, Jo&atilde;o Ara&uacute;jo, and Pablo
47 S&aacute;nchez, editors, <em>8th IEEE International Model-Driven
48 Requirements Engineering Workshop, MoDRE@RE 2018, Banff, AB, Canada, August
49 20, 2018</em>, pages 11&#x2013;20. IEEE Computer Society, 2018.
50[&nbsp;<a href="bandali-bib.html#DBLP:conf/re/AbbassiBDS18">bib</a>&nbsp;|
51<a href="https://doi.org/10.1109/MoDRE.2018.00008">http</a>&nbsp;|
52<a href="https://p.bndl.org/modre2018-declarative.pdf">.pdf</a>&nbsp;]
53
54</td>
55</tr>
56
57
58<tr valign="top">
59<td align="right" class="bibtexnumber">
60[<a name="bandali-magic-lassonde-2017">2</a>]
61</td>
62<td class="bibtexitem">
63<a href="https://shemshak.org/~bandali/">Amin Bandali</a>, <a href="https://github.com/cipher1024">Simon Hudon</a>, and <a href="https://www.eecs.yorku.ca/~jonathan/">Jonathan&nbsp;S. Ostroff</a>.
64 The magic of specifications and type systems.
65 Presented at the 2017 Lassonde Undergraduate Summer Student Research
66 Conference, York University, Toronto, Canada, August 2017.
67[&nbsp;<a href="bandali-bib.html#bandali-magic-lassonde-2017">bib</a>&nbsp;|
68<a href="https://p.bndl.org/eecs4080-poster.pdf">poster</a>&nbsp;]
69
70</td>
71</tr>
72
73
74<tr valign="top">
75<td align="right" class="bibtexnumber">
76[<a name="bandali-magic-cucsc-2017">1</a>]
77</td>
78<td class="bibtexitem">
79<a href="https://shemshak.org/~bandali/">Amin Bandali</a>, <a href="https://github.com/cipher1024">Simon Hudon</a>, and <a href="https://www.eecs.yorku.ca/~jonathan/">Jonathan&nbsp;S. Ostroff</a>.
80 The magic of specifications and type systems.
81 Presented at the Canadian Undergraduate Computer Science Conference
82 2017, University of Toronto, Canada, June 2017.
83[&nbsp;<a href="bandali-bib.html#bandali-magic-cucsc-2017">bib</a>&nbsp;|
84<a href="https://p.bndl.org/cucsc-2017-slides.pdf">slides</a>&nbsp;]
85
86</td>
87</tr>
88</table>