X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/842b89b2d2d87b57442b14b4fd63477fd234137a..ccd7a4805a0486cb1bf38706c2872be36fb0fc8c:/static/bandali-bib-partial.html diff --git a/static/bandali-bib-partial.html b/static/bandali-bib-partial.html index eb58572..556941a 100644 --- a/static/bandali-bib-partial.html +++ b/static/bandali-bib-partial.html @@ -1,5 +1,33 @@ -
-@inproceedings{DBLP:conf/re/AbbassiBDS18, +bandali.bib
+@misc{bandali-jami-libreplanet-2021, + author = {Amin Bandali}, + title = {Jami and how it empowers users}, + year = 2021, + month = {March}, + howpublished = {Presented at the LibrePlanet 2021 Conference}, + slides = {https://p.bndl.org/bandali-jami-libreplanet-2021.pdf}, + pdf = {https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf} +} ++ ++@mastersthesis{bandali2020, + 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 = {http://hdl.handle.net/10012/16059}, + note = {\url{http://hdl.handle.net/10012/16059} and + \url{https://bndl.org/mmath}}, + pdf = {https://p.bndl.org/bandali-mmath-thesis.pdf} +} ++ ++@inproceedings{DBLP:conf/re/AbbassiBDS18, author = {Ali Abbassi and Amin Bandali and Nancy A. Day and @@ -14,7 +42,7 @@ crossref = {DBLP:conf/re/2018modre}, url = {https://doi.org/10.1109/MoDRE.2018.00008}, doi = {10.1109/MoDRE.2018.00008}, - timestamp = {Thu, 14 Feb 2019 15:07:29 +0100}, + timestamp = {Thu, 16 Jul 2020 12:21:41 +0200}, 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} @@ -22,7 +50,7 @@-@proceedings{DBLP:conf/re/2018modre, +@proceedings{DBLP:conf/re/2018modre, editor = {Ana Moreira and Gunter Mussbacher and Jo{\~{a}}o Ara{\'{u}}jo and @@ -40,19 +68,33 @@ }--@mastersthesis{bandali2020, - 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 = {http://hdl.handle.net/10012/16059}, - note = {\url{http://hdl.handle.net/10012/16059} and - \url{https://bndl.org/mmath}}, - pdf = {https://p.bndl.org/bandali-mmath-thesis.pdf} ++@misc{bandali-magic-lassonde-2017, + 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 = {https://p.bndl.org/eecs4080-poster.pdf} +} ++ ++@misc{bandali-magic-cucsc-2017, + 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 = {https://p.bndl.org/cucsc-2017-slides.pdf} }