Sergiu Ivanov

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.
~~TRANS~~

===== Publications =====
La liste de mes publications est également disponible sur [[http://dblp.uni-trier.de/pers/hd/i/Ivanov_0001:Sergiu|dblp]] et [[https://scholar.google.com/citations?user=ZpISl3cAAAAJ|Google Scholar]].

==== Revues internationales ====
<html>
<table>

<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:journals/ijuc/FreundIS16">1</a>]
</td>
<td class="bibtexitem">
Rudolf Freund, Sergiu Ivanov, and Ludwig Staiger.
 Going beyond turing with P automata: Regular observer
  <I>&omega;</I>-languages and partial adult halting.
 <em>IJUC</em>, 12(1):51--69, 2016.
[&nbsp;<a href="http://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-12-number-1-2016/ijuc-12-1-p-51-69/">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:journals/tcs/AzimiG0MPP16">2</a>]
</td>
<td class="bibtexitem">
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Luca Manzoni, Ion Petre, and
  Antonio&nbsp;E. Porreca.
 Complexity of model checking for reaction systems.
 <em>Theor. Comput. Sci.</em>, 623:103--113, 2016.
[&nbsp;<a href="http://dx.doi.org/10.1016/j.tcs.2015.11.040">DOI</a>&nbsp;| 
<a href="http://dx.doi.org/10.1016/j.tcs.2015.11.040">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:journals/fuin/0001V15">3</a>]
</td>
<td class="bibtexitem">
Sergiu Ivanov and Sergey Verlan.
 Random context and semi-conditional insertion-deletion systems.
 <em>Fundam. Inform.</em>, 138(1-2):127--144, 2015.
[&nbsp;<a href="http://dx.doi.org/10.3233/FI-2015-1203">DOI</a>&nbsp;| 
<a href="http://dx.doi.org/10.3233/FI-2015-1203">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:journals/tcs/AzimiGIP15">4</a>]
</td>
<td class="bibtexitem">
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, and Ion Petre.
 Dependency graphs and mass conservation in reaction systems.
 <em>Theor. Comput. Sci.</em>, 598:23--39, 2015.
[&nbsp;<a href="http://dx.doi.org/10.1016/j.tcs.2015.02.014">DOI</a>&nbsp;| 
<a href="http://dx.doi.org/10.1016/j.tcs.2015.02.014">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:journals/fuin/AlhazovF014">5</a>]
</td>
<td class="bibtexitem">
Artiom Alhazov, Rudolf Freund, and Sergiu Ivanov.
 Length P systems.
 <em>Fundam. Inform.</em>, 134(1-2):17--37, 2014.
[&nbsp;<a href="http://dx.doi.org/10.3233/FI-2014-1088">DOI</a>&nbsp;| 
<a href="http://dx.doi.org/10.3233/FI-2014-1088">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:journals/jalc/0001RV14">6</a>]
</td>
<td class="bibtexitem">
Sergiu Ivanov, Yurii Rogozhin, and Sergey Verlan.
 Small universal networks of evolutionary processors.
 <em>Journal of Automata, Languages and Combinatorics</em>,
  19(1-4):133--144, 2014.

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:journals/ijcm/Ivanov13">7</a>]
</td>
<td class="bibtexitem">
Sergiu Ivanov.
 A formal framework for clock-free networks of cells.
 <em>Int. J. Comput. Math.</em>, 90(4):776--788, 2013.
[&nbsp;<a href="http://dx.doi.org/10.1080/00207160.2012.743652">DOI</a>&nbsp;| 
<a href="http://dx.doi.org/10.1080/00207160.2012.743652">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:journals/csjm/Ivanov12">8</a>]
</td>
<td class="bibtexitem">
Sergiu Ivanov.
 Static and dynamic membrane structures.
 <em>The Computer Science Journal of Moldova</em>, 20(3):374--402, 2012.
[&nbsp;<a href="http://www.math.md/publications/csjm/issues/v20-n3/11125/">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:journals/ijncr/IvanovARG11">9</a>]
</td>
<td class="bibtexitem">
Sergiu Ivanov, Artiom Alhazov, Vladimir Rogojin, and Miguel&nbsp;A.
  Guti&eacute;rrez-Naranjo.
 Forward and backward chaining with P systems.
 <em>IJNCR</em>, 2(2):56--66, 2011.
[&nbsp;<a href="http://dx.doi.org/10.4018/jncr.2011040105">DOI</a>&nbsp;| 
<a href="http://dx.doi.org/10.4018/jncr.2011040105">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:journals/csjm/AlhazovBBCCCDIMMMRRTVV10">10</a>]
</td>
<td class="bibtexitem">
Artiom Alhazov, Elena Boian, Liudmila Burtseva, Constantin Ciubotaru, Svetlana
  Cojocaru, Alexandru Colesnicov, Valentina Demidova, Sergiu Ivanov, Veaceslav
  Macari, Galina Magariu, Ludmila Malahova, Vladimir Rogojin, Yurii Rogozhin,
  Tatiana Tofan, Sergey Verlan, and Tatiana Verlan.
 Investigations on natural computing in the institute of mathematics
  and computer science.
 <em>The Computer Science Journal of Moldova</em>, 18(2):101--138, 2010.
[&nbsp;<a href="http://www.math.md/publications/csjm/issues/v18-n2/10280/">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:journals/csjm/AlhazovCIR10">11</a>]
</td>
<td class="bibtexitem">
Artiom Alhazov, Constantin Ciubotaru, Sergiu Ivanov, and Yurii Rogozhin.
 Membrane systems languages are polynomial-time parsable.
 <em>The Computer Science Journal of Moldova</em>, 18(2):139--148, 2010.
[&nbsp;<a href="http://www.math.md/publications/csjm/issues/v18-n2/10282/">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="IvanovMarcus2015">12</a>]
</td>
<td class="bibtexitem">
Sergiu Ivanov and Sergey Verlan.
 On the lower bounds for leftist insertion-deletion languages.
 <em>Annals of the University of Bucharest (Informatics)</em>,
  LXII(2):77--88, 2015.

</td>
</tr>
</table>

</html>

==== Conférences et ateliers d'audience internationale ====
<html>

<table>

<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:conf/mcu/0001V15">1</a>]
</td>
<td class="bibtexitem">
Sergiu Ivanov and Sergey Verlan.
 Universality of graph-controlled leftist insertion-deletion systems
  with two states.
 In J&eacute;r&ocirc;me Durand-Lose and Benedek Nagy, editors, <em>
  Machines, Computations, and Universality - 7th International Conference,
  MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings</em>,
  volume 9288 of <em>Lecture Notes in Computer Science</em>, pages 79--93.
  Springer, 2015.
[&nbsp;<a href="http://dx.doi.org/10.1007/978-3-319-23111-2_6">DOI</a>&nbsp;| 
<a href="http://dx.doi.org/10.1007/978-3-319-23111-2_6">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:conf/uc/Freund0S15">2</a>]
</td>
<td class="bibtexitem">
Rudolf Freund, Sergiu Ivanov, and Ludwig Staiger.
 Going beyond turing with P automata: Partial adult halting and
  regular observer <I>&omega;</I>-languages.
 In Cristian&nbsp;S. Calude and Michael&nbsp;J. Dinneen, editors, <em>
  Unconventional Computation and Natural Computation - 14th International
  Conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3,
  2015, Proceedings</em>, volume 9252 of <em>Lecture Notes in Computer Science</em>,
  pages 169--180. Springer, 2015.
[&nbsp;<a href="http://dx.doi.org/10.1007/978-3-319-21819-9_12">DOI</a>&nbsp;| 
<a href="http://dx.doi.org/10.1007/978-3-319-21819-9_12">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:conf/dcfs/0001PV14">3</a>]
</td>
<td class="bibtexitem">
Sergiu Ivanov, Elisabeth Pelz, and Sergey Verlan.
 Small universal non-deterministic petri nets with inhibitor arcs.
 In Helmut J&uuml;rgensen, Juhani Karhum&auml;ki, and Alexander
  Okhotin, editors, <em>Descriptional Complexity of Formal Systems - 16th
  International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014.
  Proceedings</em>, volume 8614 of <em>Lecture Notes in Computer Science</em>, pages
  186--197. Springer, 2014.
[&nbsp;<a href="http://dx.doi.org/10.1007/978-3-319-09704-6_17">DOI</a>&nbsp;| 
<a href="http://dx.doi.org/10.1007/978-3-319-09704-6_17">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:conf/membrane/Ivanov14">4</a>]
</td>
<td class="bibtexitem">
Sergiu Ivanov.
 Polymorphic P systems with non-cooperative rules and no
  ingredients.
 In Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Petr
  Sos&iacute;k, and Claudio Zandron, editors, <em>Membrane Computing - 15th
  International Conference, CMC 2014, Prague, Czech Republic, August 20-22,
  2014, Revised Selected Papers</em>, volume 8961 of <em>Lecture Notes in Computer
  Science</em>, pages 258--273. Springer, 2014.
[&nbsp;<a href="http://dx.doi.org/10.1007/978-3-319-14370-5_16">DOI</a>&nbsp;| 
<a href="http://dx.doi.org/10.1007/978-3-319-14370-5_16">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:conf/membrane/IvanovV13">5</a>]
</td>
<td class="bibtexitem">
Sergiu Ivanov and Sergey Verlan.
 About one-sided one-symbol insertion-deletion P systems.
 In Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii
  Rogozhin, Grzegorz Rozenberg, and Arto Salomaa, editors, <em>Membrane
  Computing - 14th International Conference, CMC 2013, Chisin&#x103;u,
  Republic of Moldova, August 20-23, 2013, Revised Selected Papers</em>, volume
  8340 of <em>Lecture Notes in Computer Science</em>, pages 225--237. Springer,
  2013.
[&nbsp;<a href="http://dx.doi.org/10.1007/978-3-642-54239-8_16">DOI</a>&nbsp;| 
<a href="http://dx.doi.org/10.1007/978-3-642-54239-8_16">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:conf/uc/FernauFISS13">6</a>]
</td>
<td class="bibtexitem">
Henning Fernau, Rudolf Freund, Sergiu Ivanov, Markus&nbsp;L. Schmid, and K.&nbsp;G.
  Subramanian.
 Array insertion and deletion P systems.
 In Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, and Antonio&nbsp;E.
  Porreca, editors, <em>Unconventional Computation and Natural Computation -
  12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013.
  Proceedings</em>, volume 7956 of <em>Lecture Notes in Computer Science</em>, pages
  67--78. Springer, 2013.
[&nbsp;<a href="http://dx.doi.org/10.1007/978-3-642-39074-6_8">DOI</a>&nbsp;| 
<a href="http://dx.doi.org/10.1007/978-3-642-39074-6_8">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:journals/corr/FreundIOS13">7</a>]
</td>
<td class="bibtexitem">
Rudolf Freund, Sergiu Ivanov, Marion Oswald, and K.&nbsp;G. Subramanian.
 One-dimensional array grammars and P systems with array insertion
  and deletion rules.
 In Turlough Neary and Matthew Cook, editors, <em>Proceedings
  Machines, Computations and Universality 2013, MCU 2013, Z&uuml;rich,
  Switzerland, September 9-11, 2013.</em>, volume 128 of <em>EPTCS</em>, pages
  62--75, 2013.
[&nbsp;<a href="http://dx.doi.org/10.4204/EPTCS.128.14">DOI</a>&nbsp;| 
<a href="http://dx.doi.org/10.4204/EPTCS.128.14">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:conf/membrane/Ivanov11">8</a>]
</td>
<td class="bibtexitem">
Sergiu Ivanov.
 Basic concurrency resolution in clock-free P systems.
 In Marian Gheorghe, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa,
  and Sergey Verlan, editors, <em>Membrane Computing - 12th International
  Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised
  Selected Papers</em>, volume 7184 of <em>Lecture Notes in Computer Science</em>,
  pages 226--242. Springer, 2011.
[&nbsp;<a href="http://dx.doi.org/10.1007/978-3-642-28024-5_16">DOI</a>&nbsp;| 
<a href="http://dx.doi.org/10.1007/978-3-642-28024-5_16">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:conf/membrane/AlhazovCIR10">9</a>]
</td>
<td class="bibtexitem">
Artiom Alhazov, Constantin Ciubotaru, Sergiu Ivanov, and Yurii Rogozhin.
 The family of languages generated by non-cooperative membrane
  systems.
 In Marian Gheorghe, Thomas Hinze, Gheorghe Paun, Grzegorz Rozenberg,
  and Arto Salomaa, editors, <em>Membrane Computing - 11th International
  Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected
  Papers</em>, volume 6501 of <em>Lecture Notes in Computer Science</em>, pages
  65--80. Springer, 2010.
[&nbsp;<a href="http://dx.doi.org/10.1007/978-3-642-18123-8_8">DOI</a>&nbsp;| 
<a href="http://dx.doi.org/10.1007/978-3-642-18123-8_8">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:conf/membrane/AlhazovIR10">10</a>]
</td>
<td class="bibtexitem">
Artiom Alhazov, Sergiu Ivanov, and Yurii Rogozhin.
 Polymorphic P systems.
 In Marian Gheorghe, Thomas Hinze, Gheorghe Paun, Grzegorz Rozenberg,
  and Arto Salomaa, editors, <em>Membrane Computing - 11th International
  Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected
  Papers</em>, volume 6501 of <em>Lecture Notes in Computer Science</em>, pages
  81--94. Springer, 2010.
[&nbsp;<a href="http://dx.doi.org/10.1007/978-3-642-18123-8_9">DOI</a>&nbsp;| 
<a href="http://dx.doi.org/10.1007/978-3-642-18123-8_9">http</a>&nbsp;]

</td>
</tr>
</table>
</html>

==== Publications informelles ====
<html>
<table>

<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:journals/corr/IvanovPV13">1</a>]
</td>
<td class="bibtexitem">
Sergiu Ivanov, Elisabeth Pelz, and Sergey Verlan.
 Small universal petri nets with inhibitor arcs.
 <em>CoRR</em>, abs/1312.4414, 2013.
[&nbsp;<a href="http://arxiv.org/abs/1312.4414">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:journals/corr/abs-1112-5947">2</a>]
</td>
<td class="bibtexitem">
Sergiu Ivanov and Sergey Verlan.
 Random context and semi-conditional insertion-deletion systems.
 <em>CoRR</em>, abs/1112.5947, 2011.
[&nbsp;<a href="http://arxiv.org/abs/1112.5947">http</a>&nbsp;]

</td>
</tr>
</table>
</html>

----
==== Remarque technique ====
Ces listes ont été générées avec [[http://www.lri.fr/~filliatr/bibtex2html/|bibtex2html]] et le script suivant:

<file bash classify.sh>
bib2bib -c '$type = "ARTICLE" and journal <> "CoRR"'  $sourcebib | bibtex2html --nobibsource --output journal                                                                                     
bib2bib -c '$type = "ARTICLE" and journal = "CoRR"'  $sourcebib | bibtex2html --nobibsource --output arxiv                                                                                        
bib2bib -c '$type = "INPROCEEDINGS"'  $sourcebib | bibtex2html --nobibsource --output proceedings                                                                                                 
</file>

N'oubliez pas d'affecter à ''$sourcebib'' le chemin vers le fichier BibTeX utilisé comme source.
Sergiu Ivanov

Outils pour utilisateurs

Outils du site

Outils de la page
