X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/842b89b2d2d87b57442b14b4fd63477fd234137a..ccd7a4805a0486cb1bf38706c2872be36fb0fc8c:/static/publications-partial.html?ds=inline diff --git a/static/publications-partial.html b/static/publications-partial.html index 0650d32..9c1d5af 100644 --- a/static/publications-partial.html +++ b/static/publications-partial.html @@ -2,16 +2,32 @@ -[2] +[5] -Amin Bandali. +Amin Bandali. + Jami and how it empowers users. + Presented at the LibrePlanet 2021 Conference, March 2021. +[ bib | +slides | +.pdf ] + + + + + + + +[4] + + +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 ] @@ -21,20 +37,52 @@ -[1] +[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 ] + + + + + + +[2] + + +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 | +poster ] + + + + + + + +[1] + + +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 | +slides ] + \ No newline at end of file