diff --git a/recherche.tex b/recherche.tex
index ec69fb1..f1e2773 100644
--- a/recherche.tex
+++ b/recherche.tex
@@ -9,7 +9,8 @@
   bib/programming.bib,
   bib/algebra.bib,
   bib/complex-sys.bib,
-  bib/sivanov.bib
+  bib/sivanov.bib,
+  bib/sivanov-extra.bib
 ]
 
 \section{Activités de recherche}
@@ -247,6 +248,10 @@ correspondance directe avec les systèmes de réécriture de
 multiensembles permet de formuler immédiatement les mêmes résultats
 pour ceux-ci.
 
+Les résultats de ma thèse portant sur les réseaux de Petri universels
+ont été publiés
+dans~\cite{DBLP:conf/dcfs/0001PV14,DBLP:journals/corr/IvanovPV13}.
+
 \subsection{Travaux hors thèse}
 Avant le début de ma thèse et pendant mon doctorat j'ai travaillé sur
 des problèmes qui n'étaient pas directement reliés à ceux qui sont
@@ -308,6 +313,9 @@ travail, j'ai exprimé les mécanismes de synchronisation en termes de
 règles de réécriture de multiensembles et j'ai montré comment ces
 mécanismes pouvaient être utilisés pour la résolution de problèmes de
 concurrence classiques.
+Les résultats concernant les systèmes à membranes sans horloge ont été
+publiés
+dans~\cite{DBLP:journals/ijcm/Ivanov13,DBLP:conf/membrane/Ivanov11}.
 
 Nous avons continué l'exploration des algorithmes distribués en
 implémentant les chaînages avant et arrière ({\em forward and backward
@@ -326,6 +334,7 @@ termes de règles de réécriture de multiensembles ; or c'est de cette
 similarité que nos constructions profitent. De plus nos
 implémentations bénéficient du parallélisme intrinsèque aux systèmes à
 membranes.
+Ce résultat a été publié dans~\cite{DBLP:journals/ijncr/IvanovARG11}.
 
 Concernant les variations du modèle de base, nous avons proposé une
 extension assez naturelle qui permet aux systèmes à membranes de se
@@ -344,6 +353,10 @@ supérieures de la famille des langages qu'ils peuvent engendrer. J'ai
 prouvé également l'existence d'une hiérarchie infinie dans cette
 famille des langages.
 
+Les résultats concernant les systèmes à membranes polymorphes ont été
+publiés
+dans~\cite{DBLP:conf/membrane/AlhazovIR10,DBLP:conf/membrane/Ivanov14}.
+
 \subsubsection{Systèmes à réactions}
 Les systèmes à réactions ({\em reaction systems}) sont un autre modèle
 formel inspiré par la cellule biologique, et surtout par les réactions
@@ -384,6 +397,10 @@ naissance à une structure formelle qui facilite la réponse à certaines
 questions concernant les propriétés de conservation d'un système à
 réactions.
 
+Ces résultats concernant les systèmes à réactions ont été publiés sous
+la forme d'articles de revue et de rapports techniques
+dans~\cite{AGIMPP2014,AGIP2014,DBLP:journals/tcs/AzimiGIP15}.
+
 \subsubsection{Grammaires de tableaux}
 Les grammaires de tableaux représentent un système de réécriture des
 tableaux --- des structures régulières dont les nœuds sont étiquettes