hrefs worden urls in bib
This commit is contained in:
parent
afb89d106e
commit
d132451624
4 changed files with 56 additions and 4 deletions
|
@ -14,3 +14,51 @@
|
||||||
year = {2004},
|
year = {2004},
|
||||||
urldate = {2012-07-23}
|
urldate = {2012-07-23}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@misc{automata-wiki,
|
||||||
|
author = {Frits Vaandrager and
|
||||||
|
Fides Aarts and
|
||||||
|
Petra van den Bos and
|
||||||
|
Alexander Fedotov and
|
||||||
|
Paul Fiterau-Brostean and
|
||||||
|
Falk Howar and
|
||||||
|
Harco Kuppens and
|
||||||
|
Joshua Moerman and
|
||||||
|
Daniel Neider and
|
||||||
|
Erik Poll and
|
||||||
|
Joeri de Ruiter},
|
||||||
|
title = {The Automata Wiki},
|
||||||
|
note = {Website},
|
||||||
|
url = {http://automata.cs.ru.nl/}
|
||||||
|
}
|
||||||
|
|
||||||
|
@misc{minimal-separating-sequences-code,
|
||||||
|
author = {Rick Smetsers and
|
||||||
|
Joshua Moerman},
|
||||||
|
title = {Partition},
|
||||||
|
note = {Website},
|
||||||
|
url = {https://gitlab.science.ru.nl/rick/partition/}
|
||||||
|
}
|
||||||
|
|
||||||
|
@misc{ons-code,
|
||||||
|
author = {David Venhoek and
|
||||||
|
Joshua Moerman},
|
||||||
|
title = {ONS},
|
||||||
|
note = {Website},
|
||||||
|
url = {https://github.com/davidv1992/ONS}
|
||||||
|
}
|
||||||
|
|
||||||
|
@misc{hybrid-ads-code,
|
||||||
|
author = {Joshua Moerman},
|
||||||
|
title = {Hybrid {ADS}},
|
||||||
|
note = {Website},
|
||||||
|
url = {https://gitlab.science.ru.nl/moerman/hybrid-ads}
|
||||||
|
}
|
||||||
|
|
||||||
|
@misc{lois-lstar-code,
|
||||||
|
url = {github.com/eryxcc/lois/blob/master/tests/learning.cpp}
|
||||||
|
}
|
||||||
|
|
||||||
|
@misc{nominal-lstar-conjecture,
|
||||||
|
url = {joshuamoerman.nl/papers/2017/17popl-learning-nominal-automata.html}
|
||||||
|
}
|
||||||
|
|
|
@ -26,13 +26,13 @@
|
||||||
\startbodymatter
|
\startbodymatter
|
||||||
\component content/introduction
|
\component content/introduction
|
||||||
|
|
||||||
\startpart[title={Testing Techniques}]
|
\startpart[title={Testing Techniques}, reference=part:testing]
|
||||||
\component content/test-methods
|
\component content/test-methods
|
||||||
\component content/applying-automata-learning
|
\component content/applying-automata-learning
|
||||||
\component content/minimal-separating-sequences
|
\component content/minimal-separating-sequences
|
||||||
\stoppart
|
\stoppart
|
||||||
|
|
||||||
\startpart[title={Nominal Techniques}]
|
\startpart[title={Nominal Techniques}, reference=part:nominal]
|
||||||
\component content/learning-nominal-automata
|
\component content/learning-nominal-automata
|
||||||
\component content/ordered-nominal-sets
|
\component content/ordered-nominal-sets
|
||||||
\component content/separated-nominal-automata
|
\component content/separated-nominal-automata
|
||||||
|
|
|
@ -1211,7 +1211,7 @@ Recently, \citet[GrozSPO16] give a deterministic learning algorithm for non-rese
|
||||||
|
|
||||||
Many of the methods described here are benchmarked on small or random Mealy machines by \citet[DorofeevaEMCY10, EndoS13].
|
Many of the methods described here are benchmarked on small or random Mealy machines by \citet[DorofeevaEMCY10, EndoS13].
|
||||||
The benchmarks are of limited scope, the machine from \in{Chapter}[chap:applying-automata-learning], for instance, is neither small nor random.
|
The benchmarks are of limited scope, the machine from \in{Chapter}[chap:applying-automata-learning], for instance, is neither small nor random.
|
||||||
For this reason, we started to collect more realistic benchmarks at \href{http://automata.cs.ru.nl/}.
|
For this reason, we started to collect more realistic benchmarks at \citeurl[automata-wiki].
|
||||||
|
|
||||||
|
|
||||||
\stopsection
|
\stopsection
|
||||||
|
|
|
@ -12,9 +12,12 @@
|
||||||
\usebtxdataset[../biblio-web.bib]
|
\usebtxdataset[../biblio-web.bib]
|
||||||
|
|
||||||
\setupbtx[apa:cite][etallimit=2,separator:4={ and }]
|
\setupbtx[apa:cite][etallimit=2,separator:4={ and }]
|
||||||
|
\setupbtx[apa:cite:url[left={}, right={}]
|
||||||
% interaction in de lijst lijkt stuk te zijn?
|
% interaction in de lijst lijkt stuk te zijn?
|
||||||
\setupbtx[apa:list][interaction=stop]
|
\setupbtx[apa:list][interaction=no]
|
||||||
\setupbtxrendering[pagestate=start] % print pagina nummers
|
\setupbtxrendering[pagestate=start] % print pagina nummers
|
||||||
|
\setupbtxlist[apa][margin=1.75em]
|
||||||
|
|
||||||
|
|
||||||
% The dblp database ignores Pauls nice a-breve and s-comma
|
% The dblp database ignores Pauls nice a-breve and s-comma
|
||||||
\btxremapauthor [Paul Fiterau{-}Brostean] [Paul Fiterău-Broștean]
|
\btxremapauthor [Paul Fiterau{-}Brostean] [Paul Fiterău-Broștean]
|
||||||
|
@ -27,6 +30,7 @@
|
||||||
\def\citenp[#1]{\cite[left=,right=][#1]} % Bla and Foo, 2015
|
\def\citenp[#1]{\cite[left=,right=][#1]} % Bla and Foo, 2015
|
||||||
\def\citet[#1]{\cite[authoryears][#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)
|
\def\citep[#1]{\cite[authoryear][#1]} % (Bla and Foo, 2015)
|
||||||
|
\def\citeurl[#1]{\cite[alternative=url,left=,right=][#1]} % url
|
||||||
|
|
||||||
%\cite[lefttext={See },righttext={ p.\nbsp yy}][book] -> (See Bla, Foo & Baz, 2015, p. yy)
|
%\cite[lefttext={See },righttext={ p.\nbsp yy}][book] -> (See Bla, Foo & Baz, 2015, p. yy)
|
||||||
|
|
||||||
|
|
Reference in a new issue