s/Dr./Prof./
[~bandali/bndl.org] / static / bandali-bib-partial.html
CommitLineData
ea39cfbe
AB
1<h1><a href="bandali.bib">bandali.bib</a></h1><a name="bandali2020"></a><pre>
2@mastersthesis{<a href="publications#bandali2020">bandali2020</a>,
3 type = {{MMath} thesis},
4 author = {Amin Bandali},
5 title = {{A Comprehensive Study of Declarative Modelling Languages}},
6 school = {University of Waterloo, David R. Cheriton School of Computer Science},
7 year = 2020,
8 month = {July},
9 publisher = {UWSpace},
10 url = {<a href="http://hdl.handle.net/10012/16059">http://hdl.handle.net/10012/16059</a>},
11 note = {\url{http://hdl.handle.net/10012/16059} and
12 \url{https://bndl.org/mmath}},
13 pdf = {https://p.bndl.org/bandali-mmath-thesis.pdf}
14}
15</pre>
16
17<a name="DBLP:conf/re/AbbassiBDS18"></a><pre>
8c1ba2f2
AB
18@inproceedings{<a href="publications#DBLP:conf/re/AbbassiBDS18">DBLP:conf/re/AbbassiBDS18</a>,
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 = {<a href="#DBLP:conf/re/2018modre">DBLP:conf/re/2018modre</a>},
31 url = {https://doi.org/10.1109/MoDRE.2018.00008},
32 doi = {10.1109/MoDRE.2018.00008},
7602da83 33 timestamp = {Thu, 16 Jul 2020 12:21:41 +0200},
8c1ba2f2
AB
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</pre>
39
40<a name="DBLP:conf/re/2018modre"></a><pre>
41@proceedings{<a href="publications#DBLP:conf/re/2018modre">DBLP:conf/re/2018modre</a>,
42 editor = {Ana Moreira and
43 Gunter Mussbacher and
44 Jo{\~{a}}o Ara{\'{u}}jo and
45 Pablo S{\'{a}}nchez},
46 title = {8th {IEEE} International Model-Driven Requirements
47 Engineering Workshop, MoDRE@RE 2018, Banff, AB,
48 Canada, August 20, 2018},
49 publisher = {{IEEE} Computer Society},
50 year = {2018},
51 url = {<a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8500723">http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8500723</a>},
52 isbn = {978-1-5386-8406-1},
53 timestamp = {Thu, 14 Feb 2019 15:07:29 +0100},
54 biburl = {https://dblp.org/rec/bib/conf/re/2018modre},
55 bibsource = {dblp computer science bibliography, https://dblp.org}
56}
57</pre>
58
ea39cfbe
AB
59<a name="bandali-magic-lassonde-2017"></a><pre>
60@misc{<a href="publications#bandali-magic-lassonde-2017">bandali-magic-lassonde-2017</a>,
61 author = {Amin Bandali and
62 Simon Hudon and
63 Jonathan S. Ostroff},
64 title = {The Magic of Specifications and Type Systems},
65 year = 2017,
66 month = {August},
67 howpublished = {Presented at the 2017 Lassonde Undergraduate Summer
68 Student Research Conference, York University,
69 Toronto, Canada},
70 poster = {<a href="https://p.bndl.org/eecs4080-poster.pdf">https://p.bndl.org/eecs4080-poster.pdf</a>}
71}
72</pre>
73
74<a name="bandali-magic-cucsc-2017"></a><pre>
75@misc{<a href="publications#bandali-magic-cucsc-2017">bandali-magic-cucsc-2017</a>,
76 author = {Amin Bandali and
77 Simon Hudon and
78 Jonathan S. Ostroff},
79 title = {The Magic of Specifications and Type Systems},
80 year = 2017,
81 month = {June},
82 howpublished = {Presented at the Canadian Undergraduate Computer
83 Science Conference 2017, University of Toronto,
84 Canada},
85 slides = {<a href="https://p.bndl.org/cucsc-2017-slides.pdf">https://p.bndl.org/cucsc-2017-slides.pdf</a>}
8c1ba2f2
AB
86}
87</pre>
88