git.shemshak.org - ~bandali/bndl.org/blame_incremental

... / ...

Commit	Line	Data
	1	<h1><a href="bandali.bib">bandali.bib</a></h1><a name="bandali2020"></a><pre>
	2	@mastersthesis{<a href="publications.html#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>
	18	@inproceedings{<a href="publications.html#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},
	33	timestamp = {Thu, 16 Jul 2020 12:21:41 +0200},
	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.html#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
	59	<a name="bandali-magic-lassonde-2017"></a><pre>
	60	@misc{<a href="publications.html#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.html#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>}
	86	}
	87	</pre>
	88