Sergiu Ivanov

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
~~TRANS~~

===== Publications =====
A list of my publications is also available on [[http://dblp.uni-trier.de/pers/hd/i/Ivanov_0001:Sergiu|dblp]] and on [[https://scholar.google.com/citations?user=ZpISl3cAAAAJ|Google Scholar]].
==== Journal Articles ====
<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>

==== Conference and Workshop Articles ====
<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/jalc/Alhazov0PV16">2</a>]
</td>
<td class="bibtexitem">
Artiom Alhazov, Sergiu Ivanov, Elisabeth Pelz, and Sergey Verlan.
 Small universal deterministic petri nets with inhibitor arcs.
 <em>Journal of Automata, Languages and Combinatorics</em>,
  21(1-2):7--26, 2016.

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:journals/tcs/AzimiG0MPP16">3</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/peerjpre/MeurerSPCRK0MSR16">4</a>]
</td>
<td class="bibtexitem">
Aaron Meurer, Christopher&nbsp;P. Smith, Mateusz Paprocki, Ondrej Cert&iacute;k,
  Matthew Rocklin, Amit Kumar, Sergiu Ivanov, Jason&nbsp;K. Moore, Sartaj Singh,
  Thilina Rathnayake, Sean Vig, Brian&nbsp;E. Granger, Richard&nbsp;P. Muller, Francesco
  Bonazzi, Harsh Gupta, Shivam Vats, Fredrik Johansson, Fabian Pedregosa,
  Matthew&nbsp;J. Curry, Ashutosh Saboo, Isuru Fernando, Sumith Kulal, Robert
  Cimrman, and Anthony&nbsp;M. Scopatz.
 Sympy: Symbolic computing in python.
 <em>PeerJ PrePrints</em>, 4:e2083, 2016.
[&nbsp;<a href="http://dx.doi.org/10.7287/peerj.preprints.2083v2">DOI</a>&nbsp;| 
<a href="http://dx.doi.org/10.7287/peerj.preprints.2083v2">http</a>&nbsp;]

</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[<a name="DBLP:journals/fuin/0001V15">5</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">6</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">7</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">8</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">9</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">10</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">11</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">12</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">13</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>
</table>

</html>

==== Informal Publications ====
<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>

----
==== Technical Note ====
These lists were generated by [[http://www.lri.fr/~filliatr/bibtex2html/|bibtex2html]] using the following script:

<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>

Remember to define ''$sourcebib'' to point to the BibTeX database you are want to use.
Sergiu Ivanov

User Tools

Site Tools

Page Tools
