X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/6c3ca0bae8e697ac12937fe2975cff4229dbf7b0..52fed0e285394eafb77a715ec005da0254e31a13:/bandali.bib

diff --git a/bandali.bib b/bandali.bib
new file mode 100644
index 0000000..b52761e
--- /dev/null
+++ b/bandali.bib
@@ -0,0 +1,104 @@
+% bandali.bib --- bandali's bibliography -*-bibtex-*-
+
+% Copyright (C) 2020-2021 Amin Bandali <bandali at gnu.org>
+% DBLP items under CC0 (<https://dblp.org/db/about/copyright.html>)
+
+%% ===================================================================
+%% string definitions
+%% ===================================================================
+
+@string{uwaterloo = "University of Waterloo"}
+@string{drc-scs = "David R. Cheriton School of Computer Science"}
+@string{uwaterloo-cs = uwaterloo # ", " # drc-scs}
+
+%% ===================================================================
+%% bandali's papers and talks (in reverse chronological order)
+%% ===================================================================
+
+@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    = uwaterloo-cs,
+  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
+               Jos{\'{e}} Serna},
+  title     = {A Comparison of the Declarative Modelling Languages
+                  {B}, {Dash}, and {TLA\textsuperscript{+}}},
+  booktitle = {8th {IEEE} International Model-Driven Requirements
+                  Engineering Workshop, MoDRE@RE 2018, Banff, AB,
+                  Canada, August 20, 2018},
+  pages     = {11--20},
+  year      = {2018},
+  crossref  = {DBLP:conf/re/2018modre},
+  url       = {https://doi.org/10.1109/MoDRE.2018.00008},
+  doi       = {10.1109/MoDRE.2018.00008},
+  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}
+}
+
+@proceedings{DBLP:conf/re/2018modre,
+  editor    = {Ana Moreira and
+               Gunter Mussbacher and
+               Jo{\~{a}}o Ara{\'{u}}jo and
+               Pablo S{\'{a}}nchez},
+  title     = {8th {IEEE} International Model-Driven Requirements
+                  Engineering Workshop, MoDRE@RE 2018, Banff, AB,
+                  Canada, August 20, 2018},
+  publisher = {{IEEE} Computer Society},
+  year      = {2018},
+  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8500723},
+  isbn      = {978-1-5386-8406-1},
+  timestamp = {Thu, 14 Feb 2019 15:07:29 +0100},
+  biburl    = {https://dblp.org/rec/bib/conf/re/2018modre},
+  bibsource = {dblp computer science bibliography, https://dblp.org}
+}
+
+@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}
+}