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

... / ...

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