diff --git a/bib/sivanov.bib b/bib/sivanov.bib
index 2d4bda3..a2b10e7 100644
--- a/bib/sivanov.bib
+++ b/bib/sivanov.bib
@@ -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
diff --git a/fiche-recap.tex b/fiche-recap.tex
index 2e39590..70f5972 100644
--- a/fiche-recap.tex
+++ b/fiche-recap.tex
@@ -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.
 
diff --git a/publications.tex b/publications.tex
index 776d671..c48ce3c 100644
--- a/publications.tex
+++ b/publications.tex
@@ -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.