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