scolobb/dossier-complet
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Add references to my own papers to the presentation of my research.

Browse source
This commit is contained in:
Sergiu Ivanov 2015-12-10 11:03:29 +01:00
parent cc4a7485d3
commit c25a0907ff
1 changed files with 18 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
recherche.tex
View file

@ -9,7 +9,8 @@
bib/programming.bib, bib/programming.bib,
bib/algebra.bib, bib/algebra.bib,
bib/complex-sys.bib, bib/complex-sys.bib,
bib/sivanov.bib bib/sivanov.bib,
bib/sivanov-extra.bib
] ]
\section{Activités de recherche} \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 multiensembles permet de formuler immédiatement les mêmes résultats
pour ceux-ci. 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} \subsection{Travaux hors thèse}
Avant le début de ma thèse et pendant mon doctorat j'ai travaillé sur 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 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 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 mécanismes pouvaient être utilisés pour la résolution de problèmes de
concurrence classiques. 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 Nous avons continué l'exploration des algorithmes distribués en
implémentant les chaînages avant et arrière ({\em forward and backward 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 similarité que nos constructions profitent. De plus nos
implémentations bénéficient du parallélisme intrinsèque aux systèmes à implémentations bénéficient du parallélisme intrinsèque aux systèmes à
membranes. 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 Concernant les variations du modèle de base, nous avons proposé une
extension assez naturelle qui permet aux systèmes à membranes de se 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 prouvé également l'existence d'une hiérarchie infinie dans cette
famille des langages. 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} \subsubsection{Systèmes à réactions}
Les systèmes à réactions ({\em reaction systems}) sont un autre modèle 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 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 à questions concernant les propriétés de conservation d'un système à
réactions. 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} \subsubsection{Grammaires de tableaux}
Les grammaires de tableaux représentent un système de réécriture des 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 tableaux --- des structures régulières dont les nœuds sont étiquettes