joshua/phd-thesis
Archived
1
Fork 0
Code Activity

Biblio

Browse source
This commit is contained in:
Joshua Moerman 2019-05-24 12:59:33 +02:00
parent 34475116e7
commit 10097dbc90
6 changed files with 48 additions and 19 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
biblio-eigen.bib
View file

@ -41,8 +41,7 @@
Sylvain Conchon and
Fatiha Za{\"{\i}}di},
title = {Applying Automata Learning to Embedded Control Software},
booktitle_= {Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, {ICFEM}, Proceedings},
booktitle = {{ICFEM} 2015, Proceedings},
booktitle = {Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, {ICFEM}, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9407},
pages = {67--83},
@ -64,8 +63,7 @@
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Minimal Separating Sequences for All Pairs of States},
booktitle_= {Language and Automata Theory and Applications - 10th International Conference, {LATA}, Proceedings},
booktitle = {{LATA} 2016, Proceedings},
booktitle = {Language and Automata Theory and Applications - 10th International Conference, {LATA}, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9618},
pages = {181--193},
@ -104,12 +102,12 @@
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Learning nominal automata},
booktitle_= {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of Programming Languages, {POPL}},
booktitle = {{POPL} 2017, Proceedings},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of Programming Languages, {POPL}},
pages = {613--625},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3009879},
doi = {10.1145/3009837.3009879 }
timestamp = {Wed, 28 Dec 2016 13:22:29 +0100},
biburl = {https://dblp.org/rec/bib/conf/popl/MoermanS0KS17},
bibsource = {dblp computer science bibliography, https://dblp.org}
@ -143,8 +141,7 @@
editor = {Bernd Fischer and
Tarmo Uustalu},
title = {Fast Computations on Ordered Nominal Sets},
booktitle_= {Theoretical Aspects of Computing - {ICTAC} - 15th International Colloquium, Proceedings},
booktitle = {{ICTAC} 2018, Proceedings},
booktitle = {Theoretical Aspects of Computing - {ICTAC} - 15th International Colloquium, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11187},
pages = {493--512},

6
biblio.bib
View file

@ -4,7 +4,7 @@
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Learning {I/O} Automata},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference Proceedings},
booktitle = {{CONCUR} - Concurrency Theory, 21th International Conference Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {71--85},
@ -72,7 +72,7 @@
Camilo Rueda and
Frank D. Valencia},
title = {Learning Register Automata with Fresh Value Generation},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International Colloquium Proceedings},
booktitle = {Theoretical Aspects of Computing - {ICTAC} - 12th International Colloquium Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9399},
pages = {165--183},
@ -1589,7 +1589,7 @@
Hubert Dubois and
Fran{\c{c}}ois Terrier},
editor = {Regis Vogel}
booktitle = {Proc. of the Fifth European Conference on Model-Driven Architecture Foundations and Applications, {ECMDA-FA}},
booktitle = {Proceedings of the Fifth European Conference on Model-Driven Architecture Foundations and Applications, {ECMDA-FA}},
pages = {1--4},
year = {2009},
publisher = {CTIT},

4
content-other/references.tex
View file

@ -4,11 +4,11 @@
%\setupheadertexts[{\sc References}][\pagenumber][\pagenumber][{\sc References}]
\startchapter
[title={References},
[title={Bibliography},
reference=chap:references]
\start
\switchtobodyfont[8pt]
\switchtobodyfont[9pt]
\placelistofpublications
\stop

4
content-other/voorblad-colofon.tex
View file

@ -38,7 +38,9 @@ IPA Dissertation series: 2019-06
\blank[2*big]
Copyright \copyright{} Joshua Moerman, 2019
Copyright \copyright{} Joshua Moerman, 2019\\
\useURL[homepage][https://www.joshuamoerman.nl][][www.joshuamoerman.nl]
\from[homepage]
\stopalignment

2
content/introduction.tex
View file

@ -580,7 +580,7 @@ The conference paper was presented at ICTSS:
\cite[entry][BosJM17].
An extended version will appear soon:
An extended version has appeared in:
\cite[entry][BosJM18].
\stopcontribution

38
environment/bib.tex
View file

@ -12,10 +12,39 @@
\usebtxdataset[../biblio-web.bib]
\setupbtx[apa:cite][etallimit=2,separator:4={ and }]
% interaction in de lijst lijkt stuk te zijn? Dus ik zet het uit
\setupbtx[apa:list][interaction=stop]
\setupbtxrendering[pagestate=start] % print pagina nummers
\setupbtxlist[apa][margin=1.75em]
\startmode[zwartwit]
\setupbtx[apa:cite][interaction=stop]
\setupbtx[apa:cite:url][interaction=start]
\stopmode
\setupbtx[apa:list][interaction=stop] % interaction in de lijst lijkt stuk te zijn? Dus ik zet het uit
\setupbtxrendering[pagestate=start] % print wel de pagina nummers
%\setupbtxlist[apa][margin=1.75em]
% Remove hte p.s from page list
\startsetups btx:apa:list:page-or-pages
\stopsetups
% No editors, takes up too much space, imo
\starttexdefinition unexpanded btx:apa:editor-in
\btxdoif {booktitle} {
\btxlabeltext{In}\btxspace
\texdefinition{btx:apa:composed-title}{booktitle}\btxperiod
}
\stoptexdefinition
% Wel interactie in URLs en DOIs
\starttexdefinition unexpanded btx:apa:url
\begingroup
\setbreakpoints[doi]
\goto {\hyphenatedurl{\btxflush{url}}} [url(\btxflush{url})]
\endgroup
\stoptexdefinition
\starttexdefinition unexpanded btx:apa:doi
\begingroup
\setbreakpoints[doi]
\goto {\hyphenatedurl{doi:\btxflush{doi}}} [url(http://dx.doi.org/\btxflush{doi})]
\endgroup
\stoptexdefinition
% The dblp database ignores Pauls nice a-breve and s-comma
@ -32,6 +61,7 @@
% We use the short version, as he does himself
\btxremapauthor [Adenilso da Silva Simão] [Adenilso Simão]
\def\citenp[#1]{\cite[left=,right=][#1]} % Bla and Foo, 2015
\def\citet[#1]{\cite[authoryears][#1]} % Bla and Foo (2015)
\def\citep[#1]{\cite[authoryear][#1]} % (Bla and Foo, 2015)