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

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