| 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 | } |