From c25a0907ffc8ce952f117ad8bec2a5be5687e2ef Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Thu, 10 Dec 2015 11:03:29 +0100 Subject: [PATCH] Add references to my own papers to the presentation of my research. --- recherche.tex | 19 ++++++++++++++++++- 1 file changed, 18 insertions(+), 1 deletion(-) 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