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

   1 <h1><a href="bandali.bib">bandali.bib</a></h1><a name="bandali-jami-libreplanet-2021"></a><pre>
   2 @misc{<a href="publications.html#bandali-jami-libreplanet-2021">bandali-jami-libreplanet-2021</a>,
   3   author = {Amin Bandali},
   4   title = {Jami and how it empowers users},
   5   year = 2021,
   6   month = {March},
   7   howpublished = {Presented at the LibrePlanet 2021 Conference},
   8   slides = {<a href="https://p.bndl.org/bandali-jami-libreplanet-2021.pdf">https://p.bndl.org/bandali-jami-libreplanet-2021.pdf</a>},
   9   pdf = {https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf}
  10 }
  11 </pre>
  12
  13 <a name="bandali2020"></a><pre>
  14 @mastersthesis{<a href="publications.html#bandali2020">bandali2020</a>,
  15   type = {{MMath} thesis},
  16   author = {Amin Bandali},
  17   title = {{A Comprehensive Study of Declarative Modelling Languages}},
  18   school = {University of Waterloo, David R. Cheriton School of Computer Science},
  19   year = 2020,
  20   month = {July},
  21   publisher = {UWSpace},
  22   url = {<a href="http://hdl.handle.net/10012/16059">http://hdl.handle.net/10012/16059</a>},
  23   note = {\url{http://hdl.handle.net/10012/16059} and
  24                   \url{https://bndl.org/mmath}},
  25   pdf = {https://p.bndl.org/bandali-mmath-thesis.pdf}
  26 }
  27 </pre>
  28
  29 <a name="DBLP:conf/re/AbbassiBDS18"></a><pre>
  30 @inproceedings{<a href="publications.html#DBLP:conf/re/AbbassiBDS18">DBLP:conf/re/AbbassiBDS18</a>,
  31   author = {Ali Abbassi and
  32                Amin Bandali and
  33                Nancy A. Day and
  34                Jos{\'{e}} Serna},
  35   title = {A Comparison of the Declarative Modelling Languages
  36                   {B}, {Dash}, and {TLA\textsuperscript{+}}},
  37   booktitle = {8th {IEEE} International Model-Driven Requirements
  38                   Engineering Workshop, MoDRE@RE 2018, Banff, AB,
  39                   Canada, August 20, 2018},
  40   pages = {11--20},
  41   year = {2018},
  42   crossref = {<a href="#DBLP:conf/re/2018modre">DBLP:conf/re/2018modre</a>},
  43   url = {https://doi.org/10.1109/MoDRE.2018.00008},
  44   doi = {10.1109/MoDRE.2018.00008},
  45   timestamp = {Thu, 16 Jul 2020 12:21:41 +0200},
  46   biburl = {https://dblp.org/rec/bib/conf/re/AbbassiBDS18},
  47   bibsource = {dblp computer science bibliography, https://dblp.org},
  48   pdf = {https://p.bndl.org/modre2018-declarative.pdf}
  49 }
  50 </pre>
  51
  52 <a name="DBLP:conf/re/2018modre"></a><pre>
  53 @proceedings{<a href="publications.html#DBLP:conf/re/2018modre">DBLP:conf/re/2018modre</a>,
  54   editor = {Ana Moreira and
  55                Gunter Mussbacher and
  56                Jo{\~{a}}o Ara{\'{u}}jo and
  57                Pablo S{\'{a}}nchez},
  58   title = {8th {IEEE} International Model-Driven Requirements
  59                   Engineering Workshop, MoDRE@RE 2018, Banff, AB,
  60                   Canada, August 20, 2018},
  61   publisher = {{IEEE} Computer Society},
  62   year = {2018},
  63   url = {<a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8500723">http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8500723</a>},
  64   isbn = {978-1-5386-8406-1},
  65   timestamp = {Thu, 14 Feb 2019 15:07:29 +0100},
  66   biburl = {https://dblp.org/rec/bib/conf/re/2018modre},
  67   bibsource = {dblp computer science bibliography, https://dblp.org}
  68 }
  69 </pre>
  70
  71 <a name="bandali-magic-lassonde-2017"></a><pre>
  72 @misc{<a href="publications.html#bandali-magic-lassonde-2017">bandali-magic-lassonde-2017</a>,
  73   author = {Amin Bandali and
  74                   Simon Hudon and
  75                   Jonathan S. Ostroff},
  76   title = {The Magic of Specifications and Type Systems},
  77   year = 2017,
  78   month = {August},
  79   howpublished = {Presented at the 2017 Lassonde Undergraduate Summer
  80                   Student Research Conference, York University,
  81                   Toronto, Canada},
  82   poster = {<a href="https://p.bndl.org/eecs4080-poster.pdf">https://p.bndl.org/eecs4080-poster.pdf</a>}
  83 }
  84 </pre>
  85
  86 <a name="bandali-magic-cucsc-2017"></a><pre>
  87 @misc{<a href="publications.html#bandali-magic-cucsc-2017">bandali-magic-cucsc-2017</a>,
  88   author = {Amin Bandali and
  89                   Simon Hudon and
  90                   Jonathan S. Ostroff},
  91   title = {The Magic of Specifications and Type Systems},
  92   year = 2017,
  93   month = {June},
  94   howpublished = {Presented at the Canadian Undergraduate Computer
  95                   Science Conference 2017, University of Toronto,
  96                   Canada},
  97   slides = {<a href="https://p.bndl.org/cucsc-2017-slides.pdf">https://p.bndl.org/cucsc-2017-slides.pdf</a>}
  98 }
  99 </pre>
 100