Update my bibliography.

This commit is contained in:
Sergiu Ivanov 2016-05-10 11:53:40 +02:00
parent bcda7c7b45
commit 0cda79b9f3
3 changed files with 46 additions and 3 deletions

View File

@ -1,3 +1,22 @@
@article{DBLP:journals/tcs/AzimiG0MPP16,
author = {Sepinoud Azimi and
Cristian Gratie and
Sergiu Ivanov and
Luca Manzoni and
Ion Petre and
Antonio E. Porreca},
title = {Complexity of model checking for reaction systems},
journal = {Theor. Comput. Sci.},
volume = {623},
pages = {103--113},
year = {2016},
url = {http://dx.doi.org/10.1016/j.tcs.2015.11.040},
doi = {10.1016/j.tcs.2015.11.040},
timestamp = {Wed, 30 Mar 2016 01:00:00 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/AzimiG0MPP16},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fuin/0001V15,
author = {Sergiu Ivanov and
Sergey Verlan},
@ -52,6 +71,30 @@
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/membrane/Freund0V15,
author = {Rudolf Freund and
Sergiu Ivanov and
Sergey Verlan},
editor = {Grzegorz Rozenberg and
Arto Salomaa and
Jos{\'{e}} M. Sempere and
Claudio Zandron},
title = {P Systems with Generalized Multisets Over Totally Ordered Abelian
Groups},
booktitle = {Membrane Computing - 16th International Conference, {CMC} 2015, Valencia,
Spain, August 17-21, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9504},
pages = {117--136},
publisher = {Springer},
year = {2015},
url = {http://dx.doi.org/10.1007/978-3-319-28475-0_9},
doi = {10.1007/978-3-319-28475-0_9},
timestamp = {Tue, 05 Jan 2016 12:44:12 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/Freund0V15},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/uc/Freund0S15,
author = {Rudolf Freund and
Sergiu Ivanov and

View File

@ -63,7 +63,7 @@ Date de soutenance : & 23 juin 2015
\subsection*{Recherche}
\noindent
9 revues internationales, 10 manifestations internationales (avec
10 revues internationales, 11 manifestations internationales (avec
comité de sélection et publication des actes), 2 publications
informelles (arXiv), 2 rapport techniques.

View File

@ -13,8 +13,8 @@
\begin{refsection}[bib/sivanov.bib,bib/sivanov-extra.bib]
\section{Publications et communications}
Lors de mon parcours scientifique, j'ai rédigé ou participé à la
rédaction de 24 publications, dont 9 dans des revues internationales
et 10 à des manifestations internationales avec comité de sélection et
rédaction de 26 publications, dont 10 dans des revues internationales
et 11 à des manifestations internationales avec comité de sélection et
publication des actes. Cette section contient une liste complète de
mes publications, par catégorie.