1 % bandali.bib --- bandali's bibliography -*-bibtex-*-
3 % Copyright (C) 2020 Amin Bandali <bandali at uwaterloo.ca>
4 % DBLP items under CC0 (<https://dblp.org/db/about/copyright.html>)
6 %% ===================================================================
8 %% ===================================================================
10 @string
{uwaterloo
= "University of Waterloo"
}
11 @string
{drc
-scs
= "David R. Cheriton School of Computer Science"
}
12 @string
{uwaterloo
-cs
= uwaterloo # "
, " # drc
-scs
}
14 %% ===================================================================
15 %% bandali's papers and talks (in chronological order)
16 %% ===================================================================
18 @inproceedings
{DBLP
:conf
/re
/AbbassiBDS18
,
19 author = {Ali Abbassi and
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},
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"
39 @proceedings
{DBLP
:conf
/re
/2018modre
,
40 editor = {Ana Moreira and
42 Jo
{\~
{a
}}o Ara
{\'
{u
}}jo and
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
},
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
}
56 @mastersthesis
{bandali2020
,
57 type = {{MMath
} thesis
},
58 author = {Amin Bandali
},
59 title = {{A Comprehensive Study of Declarative Modelling Languages
}},
60 school = uwaterloo
-cs
,
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"