X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/ccd7a4805a0486cb1bf38706c2872be36fb0fc8c..7b376474f6dabd5bd525d49b5d333fa18c8e897a:/static/publications-partial.html diff --git a/static/publications-partial.html b/static/publications-partial.html deleted file mode 100644 index 9c1d5af..0000000 --- a/static/publications-partial.html +++ /dev/null @@ -1,88 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-[5] - -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 | -http | -.pdf ] - -
-[3] - -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 | -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