rearrange many of the pages/files for better organization
[~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
56af22d0 18@misc{bandali-libreplanet-2021-jami,
06611295
AB
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},
56af22d0
AB
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}
06611295
AB
27}
28
56af22d0 29@mastersthesis{bandali-mmath-2020,
ea39cfbe
AB
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
56af22d0
AB
39 \url{https://bndl.org/theses/mmath.html}},
40 pdf = {https://bndl.org/theses/bandali-mmath-thesis.pdf}
ea39cfbe
AB
41}
42
8c1ba2f2
AB
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},
16f63ac7 58 timestamp = {Thu, 16 Jul 2020 12:21:41 +0200},
8c1ba2f2
AB
59 biburl = {https://dblp.org/rec/bib/conf/re/AbbassiBDS18},
60 bibsource = {dblp computer science bibliography, https://dblp.org},
56af22d0 61 pdf = {https://bndl.org/papers/modre2018-declarative.pdf}
8c1ba2f2
AB
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
ea39cfbe
AB
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}
8c1ba2f2 105}