git.shemshak.org - ~bandali/bndl.org/blob - bandali.bib

   1 % bandali.bib --- bandali's bibliography -*-bibtex-*-
   2
   3 % Copyright (C) 2020-2021 Amin Bandali <bandali at gnu.org>
   4 % DBLP items under CC0 (<https://dblp.org/db/about/copyright.html>)
   5
   6 %% ===================================================================
   7 %% string definitions
   8 %% ===================================================================
   9
  10 @string{uwaterloo = "University of Waterloo"}
  11 @string{drc-scs = "David R. Cheriton School of Computer Science"}
  12 @string{uwaterloo-cs = uwaterloo # ", " # drc-scs}
  13
  14 %% ===================================================================
  15 %% bandali's papers and talks (in reverse chronological order)
  16 %% ===================================================================
  17
  18 @misc{bandali-libreplanet-2021-jami,
  19   author       = {Amin Bandali},
  20   title        = {Jami and how it empowers users},
  21   year         = 2021,
  22   month        = {March},
  23   howpublished = {Presented at the LibrePlanet 2021 Conference},
  24   url          = {https://bndl.org/talks/libreplanet-2021-jami.html},
  25   slides       = {https://bndl.org/talks/libreplanet-2021-jami.pdf},
  26   pdf          = {https://bndl.org/talks/libreplanet-2021-jami-with-notes.pdf}
  27 }
  28
  29 @mastersthesis{bandali-mmath-2020,
  30   type      = {{MMath} thesis},
  31   author    = {Amin Bandali},
  32   title     = {{A Comprehensive Study of Declarative Modelling Languages}},
  33   school    = uwaterloo-cs,
  34   year      = 2020,
  35   month     = {July},
  36   publisher = "UWSpace",
  37   url       = {http://hdl.handle.net/10012/16059},
  38   note      = {\url{http://hdl.handle.net/10012/16059} and
  39                   \url{https://bndl.org/theses/mmath.html}},
  40   pdf       = {https://bndl.org/theses/bandali-mmath-thesis.pdf}
  41 }
  42
  43 @inproceedings{DBLP:conf/re/AbbassiBDS18,
  44   author    = {Ali Abbassi and
  45                Amin Bandali and
  46                Nancy A. Day and
  47                Jos{\'{e}} Serna},
  48   title     = {A Comparison of the Declarative Modelling Languages
  49                   {B}, {Dash}, and {TLA\textsuperscript{+}}},
  50   booktitle = {8th {IEEE} International Model-Driven Requirements
  51                   Engineering Workshop, MoDRE@RE 2018, Banff, AB,
  52                   Canada, August 20, 2018},
  53   pages     = {11--20},
  54   year      = {2018},
  55   crossref  = {DBLP:conf/re/2018modre},
  56   url       = {https://doi.org/10.1109/MoDRE.2018.00008},
  57   doi       = {10.1109/MoDRE.2018.00008},
  58   timestamp = {Thu, 16 Jul 2020 12:21:41 +0200},
  59   biburl    = {https://dblp.org/rec/bib/conf/re/AbbassiBDS18},
  60   bibsource = {dblp computer science bibliography, https://dblp.org},
  61   pdf       = {https://bndl.org/papers/modre2018-declarative.pdf}
  62 }
  63
  64 @proceedings{DBLP:conf/re/2018modre,
  65   editor    = {Ana Moreira and
  66                Gunter Mussbacher and
  67                Jo{\~{a}}o Ara{\'{u}}jo and
  68                Pablo S{\'{a}}nchez},
  69   title     = {8th {IEEE} International Model-Driven Requirements
  70                   Engineering Workshop, MoDRE@RE 2018, Banff, AB,
  71                   Canada, August 20, 2018},
  72   publisher = {{IEEE} Computer Society},
  73   year      = {2018},
  74   url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8500723},
  75   isbn      = {978-1-5386-8406-1},
  76   timestamp = {Thu, 14 Feb 2019 15:07:29 +0100},
  77   biburl    = {https://dblp.org/rec/bib/conf/re/2018modre},
  78   bibsource = {dblp computer science bibliography, https://dblp.org}
  79 }
  80
  81 @misc{bandali-magic-lassonde-2017,
  82   author       = {Amin Bandali and
  83                   Simon Hudon and
  84                   Jonathan S. Ostroff},
  85   title        = {The Magic of Specifications and Type Systems},
  86   year         = 2017,
  87   month        = {August},
  88   howpublished = {Presented at the 2017 Lassonde Undergraduate Summer
  89                   Student Research Conference, York University,
  90                   Toronto, Canada},
  91   poster       = {https://p.bndl.org/eecs4080-poster.pdf}
  92 }
  93
  94 @misc{bandali-magic-cucsc-2017,
  95   author       = {Amin Bandali and
  96                   Simon Hudon and
  97                   Jonathan S. Ostroff},
  98   title        = {The Magic of Specifications and Type Systems},
  99   year         = 2017,
 100   month        = {June},
 101   howpublished = {Presented at the Canadian Undergraduate Computer
 102                   Science Conference 2017, University of Toronto,
 103                   Canada},
 104   slides       = {https://p.bndl.org/cucsc-2017-slides.pdf}
 105 }