minor fixes

[~bandali/bndl.org] / static / bandali-bib-partial.html

<h1><a href="bandali.bib">bandali.bib</a></h1><a name="bandali2020"></a><pre>
@mastersthesis{<a href="publications#bandali2020">bandali2020</a>,
  type = {{MMath} thesis},
  author = {Amin Bandali},
  title = {{A Comprehensive Study of Declarative Modelling Languages}},
  school = {University of Waterloo, David R. Cheriton School of Computer Science},
  year = 2020,
  month = {July},
  publisher = {UWSpace},
  url = {<a href="http://hdl.handle.net/10012/16059">http://hdl.handle.net/10012/16059</a>},
  note = {\url{http://hdl.handle.net/10012/16059} and
                  \url{https://bndl.org/mmath}},
  pdf = {https://p.bndl.org/bandali-mmath-thesis.pdf}
}
</pre>

<a name="DBLP:conf/re/AbbassiBDS18"></a><pre>
@inproceedings{<a href="publications#DBLP:conf/re/AbbassiBDS18">DBLP:conf/re/AbbassiBDS18</a>,
  author = {Ali Abbassi and
               Amin Bandali and
               Nancy A. Day and
               Jos{\'{e}} Serna},
  title = {A Comparison of the Declarative Modelling Languages
                  {B}, {Dash}, and {TLA\textsuperscript{+}}},
  booktitle = {8th {IEEE} International Model-Driven Requirements
                  Engineering Workshop, MoDRE@RE 2018, Banff, AB,
                  Canada, August 20, 2018},
  pages = {11--20},
  year = {2018},
  crossref = {<a href="#DBLP:conf/re/2018modre">DBLP:conf/re/2018modre</a>},
  url = {https://doi.org/10.1109/MoDRE.2018.00008},
  doi = {10.1109/MoDRE.2018.00008},
  timestamp = {Thu, 14 Feb 2019 15:07:29 +0100},
  biburl = {https://dblp.org/rec/bib/conf/re/AbbassiBDS18},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  pdf = {https://p.bndl.org/modre2018-declarative.pdf}
}
</pre>

<a name="DBLP:conf/re/2018modre"></a><pre>
@proceedings{<a href="publications#DBLP:conf/re/2018modre">DBLP:conf/re/2018modre</a>,
  editor = {Ana Moreira and
               Gunter Mussbacher and
               Jo{\~{a}}o Ara{\'{u}}jo and
               Pablo S{\'{a}}nchez},
  title = {8th {IEEE} International Model-Driven Requirements
                  Engineering Workshop, MoDRE@RE 2018, Banff, AB,
                  Canada, August 20, 2018},
  publisher = {{IEEE} Computer Society},
  year = {2018},
  url = {<a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8500723">http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8500723</a>},
  isbn = {978-1-5386-8406-1},
  timestamp = {Thu, 14 Feb 2019 15:07:29 +0100},
  biburl = {https://dblp.org/rec/bib/conf/re/2018modre},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
</pre>

<a name="bandali-magic-lassonde-2017"></a><pre>
@misc{<a href="publications#bandali-magic-lassonde-2017">bandali-magic-lassonde-2017</a>,
  author = {Amin Bandali and
                  Simon Hudon and
                  Jonathan S. Ostroff},
  title = {The Magic of Specifications and Type Systems},
  year = 2017,
  month = {August},
  howpublished = {Presented at the 2017 Lassonde Undergraduate Summer
                  Student Research Conference, York University,
                  Toronto, Canada},
  poster = {<a href="https://p.bndl.org/eecs4080-poster.pdf">https://p.bndl.org/eecs4080-poster.pdf</a>}
}
</pre>

<a name="bandali-magic-cucsc-2017"></a><pre>
@misc{<a href="publications#bandali-magic-cucsc-2017">bandali-magic-cucsc-2017</a>,
  author = {Amin Bandali and
                  Simon Hudon and
                  Jonathan S. Ostroff},
  title = {The Magic of Specifications and Type Systems},
  year = 2017,
  month = {June},
  howpublished = {Presented at the Canadian Undergraduate Computer
                  Science Conference 2017, University of Toronto,
                  Canada},
  slides = {<a href="https://p.bndl.org/cucsc-2017-slides.pdf">https://p.bndl.org/cucsc-2017-slides.pdf</a>}
}
</pre>