git.shemshak.org - ~bandali/bndl.org/blob - static/publications-partial.html

   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">
  43 Ali 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>