X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/842b89b2d2d87b57442b14b4fd63477fd234137a..29f0d7b9e10f827c29213a40279b8a767c99d80b:/static/publications-partial.html
diff --git a/static/publications-partial.html b/static/publications-partial.html
index 0650d32..bcf502a 100644
--- a/static/publications-partial.html
+++ b/static/publications-partial.html
@@ -2,16 +2,16 @@
-[2]
+[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 ]
@@ -21,20 +21,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 ]
|
-
\ No newline at end of file
+
+
+
+
+[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 ]
+
+ |
+
+