c617b4c72060fd0ee3c93048341ed7b4873347fb
[~bandali/bndl.org] / static / bandali.bib
1 % bandali.bib --- bandali's bibliography -*-bibtex-*-
2
3 % Copyright (C) 2020 Amin Bandali <bandali at uwaterloo.ca>
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 chronological order)
16 %% ===================================================================
17
18 @inproceedings{DBLP:conf/re/AbbassiBDS18,
19 author = {Ali Abbassi and
20 Amin Bandali and
21 Nancy A. Day and
22 Jos{\'{e}} Serna},
23 title = {A Comparison of the Declarative Modelling Languages
24 {B}, {Dash}, and {TLA\textsuperscript{+}}},
25 booktitle = {8th {IEEE} International Model-Driven Requirements
26 Engineering Workshop, MoDRE@RE 2018, Banff, AB,
27 Canada, August 20, 2018},
28 pages = {11--20},
29 year = {2018},
30 crossref = {DBLP:conf/re/2018modre},
31 url = {https://doi.org/10.1109/MoDRE.2018.00008},
32 doi = {10.1109/MoDRE.2018.00008},
33 timestamp = {Thu, 14 Feb 2019 15:07:29 +0100},
34 biburl = {https://dblp.org/rec/bib/conf/re/AbbassiBDS18},
35 bibsource = {dblp computer science bibliography, https://dblp.org},
36 pdf = "https://p.bndl.org/modre2018-declarative.pdf"
37 }
38
39 @proceedings{DBLP:conf/re/2018modre,
40 editor = {Ana Moreira and
41 Gunter Mussbacher and
42 Jo{\~{a}}o Ara{\'{u}}jo and
43 Pablo S{\'{a}}nchez},
44 title = {8th {IEEE} International Model-Driven Requirements
45 Engineering Workshop, MoDRE@RE 2018, Banff, AB,
46 Canada, August 20, 2018},
47 publisher = {{IEEE} Computer Society},
48 year = {2018},
49 url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8500723},
50 isbn = {978-1-5386-8406-1},
51 timestamp = {Thu, 14 Feb 2019 15:07:29 +0100},
52 biburl = {https://dblp.org/rec/bib/conf/re/2018modre},
53 bibsource = {dblp computer science bibliography, https://dblp.org}
54 }
55
56 @mastersthesis{bandali2020,
57 type = {{MMath} thesis},
58 author = {Amin Bandali},
59 title = {{A Comprehensive Study of Declarative Modelling Languages}},
60 school = uwaterloo-cs,
61 year = 2020,
62 month = {July},
63 publisher = "UWSpace",
64 url = {http://hdl.handle.net/10012/16059},
65 note = {\url{http://hdl.handle.net/10012/16059} and
66 \url{https://bndl.org/mmath}},
67 pdf = "https://p.bndl.org/bandali-mmath-thesis.pdf"
68 }