diff --git a/biblio-eigen.bib b/biblio-eigen.bib index a45a8ce..57d860b 100644 --- a/biblio-eigen.bib +++ b/biblio-eigen.bib @@ -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}, diff --git a/biblio.bib b/biblio.bib index 0995150..5962ea6 100644 --- a/biblio.bib +++ b/biblio.bib @@ -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}, diff --git a/content-other/references.tex b/content-other/references.tex index b12e160..5dc56ae 100644 --- a/content-other/references.tex +++ b/content-other/references.tex @@ -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 diff --git a/content-other/voorblad-colofon.tex b/content-other/voorblad-colofon.tex index b3ff699..d403fcd 100644 --- a/content-other/voorblad-colofon.tex +++ b/content-other/voorblad-colofon.tex @@ -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 diff --git a/content/introduction.tex b/content/introduction.tex index 6b45dc1..02a3469 100644 --- a/content/introduction.tex +++ b/content/introduction.tex @@ -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 diff --git a/environment/bib.tex b/environment/bib.tex index 70df208..d446679 100644 --- a/environment/bib.tex +++ b/environment/bib.tex @@ -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)