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