Commit | Line | Data |
---|---|---|
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 | } |