X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/ea39cfbe2bcedcc63c7d14bb0643064c5399e7a1..7b376474f6dabd5bd525d49b5d333fa18c8e897a:/static/bandali.bib?ds=inline

diff --git a/static/bandali.bib b/static/bandali.bib
deleted file mode 100644
index ef7cd7e..0000000
--- a/static/bandali.bib
+++ /dev/null
@@ -1,94 +0,0 @@
-% bandali.bib --- bandali's bibliography -*-bibtex-*-
-
-% Copyright (C) 2020 Amin Bandali <bandali at uwaterloo.ca>
-% 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)
-%% ===================================================================
-
-@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, 14 Feb 2019 15:07:29 +0100},
-  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}
-}