X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/842b89b2d2d87b57442b14b4fd63477fd234137a..refs/heads/experimental-pre:/static/bandali-bib-partial.html?ds=inline diff --git a/static/bandali-bib-partial.html b/static/bandali-bib-partial.html index eb58572..7723b56 100644 --- a/static/bandali-bib-partial.html +++ b/static/bandali-bib-partial.html @@ -1,4 +1,20 @@ -
+bandali.bib
+@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 @@ -14,7 +30,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} @@ -40,19 +56,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} }