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