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