diff --git a/bib/sivanov-extra.bib b/bib/sivanov-extra.bib new file mode 100644 index 0000000..87dd3e7 --- /dev/null +++ b/bib/sivanov-extra.bib @@ -0,0 +1,27 @@ +@phdthesis{IvanovPhD, +author = {Sergiu Ivanov}, +title = {On the Power and Universality of Biologically-inspired Models of Computation}, +school = {Université Paris Est}, +address = {Paris}, +year = {2015} +} + +@techreport{AGIMPP2014, +title = {Complexity of Model Checking for Reaction Systems}, +author = {Azimi, Sepinoud and Gratie, Cristian and Ivanov, Sergiu and Manzoni, Luca and Petre, Ion and Porreca, Antonio E.}, +number = {1122}, +series = {TUCS Technical Reports}, +publisher = {TUCS}, +year = {2014}, +} + +@techreport{AGIP2014, +title = {Dependency Graphs and Mass Conservation in Reaction Systems}, +author = {Azimi, Sepinoud and Gratie, Cristian and Ivanov, Sergiu and Petre, Ion}, +number = {1123}, +series = {TUCS Technical Reports}, +publisher = {TUCS}, +year = {2014}, +keywords = {Reaction system; model checking; mass conservation; conserved set; conservation dependency graph; simulator}, +ISBN = {978-952-12-3123-0}, +} diff --git a/publications.tex b/publications.tex index 2574051..83a55bd 100644 --- a/publications.tex +++ b/publications.tex @@ -6,7 +6,11 @@ \iffieldequalstr{journaltitle}{CoRR}{}{\skipentry} } -\begin{refsection}[bib/sivanov.bib] +\defbibfilter{reports}{% + type=thesis or type=report +} + +\begin{refsection}[bib/sivanov.bib,bib/sivanov-extra.bib] \section{Publications et communications} \nocite{*} \printbibliography[ @@ -35,6 +39,14 @@ check=arXiv ] +\printbibliography[ + sorting=ydnt, + heading=subbibliography, + title={Mémoires et rapports de recherche}, + prefixnumbers={r}, + filter=reports +] + \subsection*{Séminaires et exposés} \begin{itemize}[leftmargin=6.2ex] \item Séminaire «~Complexity of Model Checking for Reaction Systems~»,