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 @@ -

bandali.bib

-@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}
 }