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="bandali2020">2</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">1</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 </table>