Add my thesis and the two technical reports to the bibliography.
This commit is contained in:
parent
c0babbe151
commit
2ff46f292e
2 changed files with 40 additions and 1 deletions
27
bib/sivanov-extra.bib
Normal file
27
bib/sivanov-extra.bib
Normal file
|
@ -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},
|
||||||
|
}
|
|
@ -6,7 +6,11 @@
|
||||||
\iffieldequalstr{journaltitle}{CoRR}{}{\skipentry}
|
\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}
|
\section{Publications et communications}
|
||||||
\nocite{*}
|
\nocite{*}
|
||||||
\printbibliography[
|
\printbibliography[
|
||||||
|
@ -35,6 +39,14 @@
|
||||||
check=arXiv
|
check=arXiv
|
||||||
]
|
]
|
||||||
|
|
||||||
|
\printbibliography[
|
||||||
|
sorting=ydnt,
|
||||||
|
heading=subbibliography,
|
||||||
|
title={Mémoires et rapports de recherche},
|
||||||
|
prefixnumbers={r},
|
||||||
|
filter=reports
|
||||||
|
]
|
||||||
|
|
||||||
\subsection*{Séminaires et exposés}
|
\subsection*{Séminaires et exposés}
|
||||||
\begin{itemize}[leftmargin=6.2ex]
|
\begin{itemize}[leftmargin=6.2ex]
|
||||||
\item Séminaire «~Complexity of Model Checking for Reaction Systems~»,
|
\item Séminaire «~Complexity of Model Checking for Reaction Systems~»,
|
||||||
|
|
Loading…
Reference in a new issue