X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/ea39cfbe2bcedcc63c7d14bb0643064c5399e7a1..ccd7a4805a0486cb1bf38706c2872be36fb0fc8c:/static/publications-partial.html diff --git a/static/publications-partial.html b/static/publications-partial.html index 8d5cf21..9c1d5af 100644 --- a/static/publications-partial.html +++ b/static/publications-partial.html @@ -1,17 +1,33 @@
+[5] + | ++Amin Bandali. + Jami and how it empowers users. + Presented at the LibrePlanet 2021 Conference, March 2021. +[ bib | +slides | +.pdf ] + + | +|||
[4] | -Amin Bandali. +Amin Bandali. A Comprehensive Study of Declarative Modelling Languages. MMath thesis, University of Waterloo, David R. Cheriton School of Computer Science, July 2020. http://hdl.handle.net/10012/16059 and https://bndl.org/mmath. -[ bib | +[ bib | http | .pdf ] @@ -24,14 +40,14 @@ [3] | -Ali Abbassi, Amin Bandali, Nancy A. Day, and José Serna. +Ali Abbassi, Amin Bandali, Nancy A. Day, and José Serna. A comparison of the declarative modelling languages B, Dash, and TLA+. In Ana Moreira, Gunter Mussbacher, João Araújo, and Pablo Sánchez, editors, 8th IEEE International Model-Driven Requirements Engineering Workshop, MoDRE@RE 2018, Banff, AB, Canada, August 20, 2018, pages 11–20. IEEE Computer Society, 2018. -[ bib | +[ bib | http | .pdf ] @@ -44,11 +60,11 @@ Ali Abbassi, Amin Bandali, 2] | -Amin Bandali, Simon Hudon, and Jonathan S. Ostroff. +Amin Bandali, Simon Hudon, and Jonathan S. Ostroff. The magic of specifications and type systems. Presented at the 2017 Lassonde Undergraduate Summer Student Research Conference, York University, Toronto, Canada, August 2017. -[ bib | +[ bib | poster ] | @@ -60,11 +76,11 @@ Ali Abbassi, Amin Bandali, 1]-Amin Bandali, Simon Hudon, and Jonathan S. Ostroff. +Amin Bandali, Simon Hudon, and Jonathan S. Ostroff. The magic of specifications and type systems. Presented at the Canadian Undergraduate Computer Science Conference 2017, University of Toronto, Canada, June 2017. -[ bib | +[ bib | slides ] |