Commit | Line | Data |
---|---|---|
8c1ba2f2 AB |
1 | <table> |
2 | ||
06611295 AB |
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 | [ <a href="bandali-bib.html#bandali-jami-libreplanet-2021">bib</a> | | |
12 | <a href="https://p.bndl.org/bandali-jami-libreplanet-2021.pdf">slides</a> | | |
13 | <a href="https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf">.pdf</a> ] | |
14 | ||
15 | </td> | |
16 | </tr> | |
17 | ||
18 | ||
8c1ba2f2 AB |
19 | <tr valign="top"> |
20 | <td align="right" class="bibtexnumber"> | |
ea39cfbe | 21 | [<a name="bandali2020">4</a>] |
8c1ba2f2 AB |
22 | </td> |
23 | <td class="bibtexitem"> | |
29f0d7b9 | 24 | <a href="https://shemshak.org/~bandali/">Amin Bandali</a>. |
8c1ba2f2 AB |
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>. | |
29f0d7b9 | 30 | [ <a href="bandali-bib.html#bandali2020">bib</a> | |
8c1ba2f2 AB |
31 | <a href="http://hdl.handle.net/10012/16059">http</a> | |
32 | <a href="https://p.bndl.org/bandali-mmath-thesis.pdf">.pdf</a> ] | |
33 | ||
34 | </td> | |
35 | </tr> | |
36 | ||
37 | ||
38 | <tr valign="top"> | |
39 | <td align="right" class="bibtexnumber"> | |
ea39cfbe | 40 | [<a name="DBLP:conf/re/AbbassiBDS18">3</a>] |
8c1ba2f2 AB |
41 | </td> |
42 | <td class="bibtexitem"> | |
29f0d7b9 | 43 | Ali Abbassi, <a href="https://shemshak.org/~bandali/">Amin Bandali</a>, <a href="https://cs.uwaterloo.ca/~nday/">Nancy A. Day</a>, and José Serna. |
8c1ba2f2 AB |
44 | A comparison of the declarative modelling languages B, Dash, and |
45 | TLA<sup>+</sup>. | |
46 | In Ana Moreira, Gunter Mussbacher, João Araújo, and Pablo | |
47 | Sá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–20. IEEE Computer Society, 2018. | |
29f0d7b9 | 50 | [ <a href="bandali-bib.html#DBLP:conf/re/AbbassiBDS18">bib</a> | |
8c1ba2f2 AB |
51 | <a href="https://doi.org/10.1109/MoDRE.2018.00008">http</a> | |
52 | <a href="https://p.bndl.org/modre2018-declarative.pdf">.pdf</a> ] | |
53 | ||
ea39cfbe AB |
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"> | |
29f0d7b9 | 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 S. Ostroff</a>. |
ea39cfbe AB |
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. | |
29f0d7b9 | 67 | [ <a href="bandali-bib.html#bandali-magic-lassonde-2017">bib</a> | |
ea39cfbe AB |
68 | <a href="https://p.bndl.org/eecs4080-poster.pdf">poster</a> ] |
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"> | |
29f0d7b9 | 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 S. Ostroff</a>. |
ea39cfbe AB |
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. | |
29f0d7b9 | 83 | [ <a href="bandali-bib.html#bandali-magic-cucsc-2017">bib</a> | |
ea39cfbe AB |
84 | <a href="https://p.bndl.org/cucsc-2017-slides.pdf">slides</a> ] |
85 | ||
8c1ba2f2 AB |
86 | </td> |
87 | </tr> | |
06611295 | 88 | </table> |