+++ /dev/null
-<table>
-
-<tr valign="top">
-<td align="right" class="bibtexnumber">
-[<a name="bandali-jami-libreplanet-2021">5</a>]
-</td>
-<td class="bibtexitem">
-<a href="https://shemshak.org/~bandali/">Amin Bandali</a>.
- Jami and how it empowers users.
- Presented at the LibrePlanet 2021 Conference, March 2021.
-[ <a href="bandali-bib.html#bandali-jami-libreplanet-2021">bib</a> |
-<a href="https://p.bndl.org/bandali-jami-libreplanet-2021.pdf">slides</a> |
-<a href="https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf">.pdf</a> ]
-
-</td>
-</tr>
-
-
-<tr valign="top">
-<td align="right" class="bibtexnumber">
-[<a name="bandali2020">4</a>]
-</td>
-<td class="bibtexitem">
-<a href="https://shemshak.org/~bandali/">Amin Bandali</a>.
- A Comprehensive Study of Declarative Modelling Languages.
- MMath thesis, University of Waterloo, David R. Cheriton School of
- Computer Science, July 2020.
- <a href="http://hdl.handle.net/10012/16059">http://hdl.handle.net/10012/16059</a> and
- <a href="https://bndl.org/mmath">https://bndl.org/mmath</a>.
-[ <a href="bandali-bib.html#bandali2020">bib</a> |
-<a href="http://hdl.handle.net/10012/16059">http</a> |
-<a href="https://p.bndl.org/bandali-mmath-thesis.pdf">.pdf</a> ]
-
-</td>
-</tr>
-
-
-<tr valign="top">
-<td align="right" class="bibtexnumber">
-[<a name="DBLP:conf/re/AbbassiBDS18">3</a>]
-</td>
-<td class="bibtexitem">
-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.
- A comparison of the declarative modelling languages B, Dash, and
- TLA<sup>+</sup>.
- In Ana Moreira, Gunter Mussbacher, João Araújo, and Pablo
- Sánchez, editors, <em>8th IEEE International Model-Driven
- Requirements Engineering Workshop, MoDRE@RE 2018, Banff, AB, Canada, August
- 20, 2018</em>, pages 11–20. IEEE Computer Society, 2018.
-[ <a href="bandali-bib.html#DBLP:conf/re/AbbassiBDS18">bib</a> |
-<a href="https://doi.org/10.1109/MoDRE.2018.00008">http</a> |
-<a href="https://p.bndl.org/modre2018-declarative.pdf">.pdf</a> ]
-
-</td>
-</tr>
-
-
-<tr valign="top">
-<td align="right" class="bibtexnumber">
-[<a name="bandali-magic-lassonde-2017">2</a>]
-</td>
-<td class="bibtexitem">
-<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>.
- The magic of specifications and type systems.
- Presented at the 2017 Lassonde Undergraduate Summer Student Research
- Conference, York University, Toronto, Canada, August 2017.
-[ <a href="bandali-bib.html#bandali-magic-lassonde-2017">bib</a> |
-<a href="https://p.bndl.org/eecs4080-poster.pdf">poster</a> ]
-
-</td>
-</tr>
-
-
-<tr valign="top">
-<td align="right" class="bibtexnumber">
-[<a name="bandali-magic-cucsc-2017">1</a>]
-</td>
-<td class="bibtexitem">
-<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>.
- The magic of specifications and type systems.
- Presented at the Canadian Undergraduate Computer Science Conference
- 2017, University of Toronto, Canada, June 2017.
-[ <a href="bandali-bib.html#bandali-magic-cucsc-2017">bib</a> |
-<a href="https://p.bndl.org/cucsc-2017-slides.pdf">slides</a> ]
-
-</td>
-</tr>
-</table>
\ No newline at end of file