Sergiu Ivanov

This is an old revision of the document!

A PCRE internal error occured. This might be caused by a faulty plugin

~~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/fuin/IvanovV17">1</a>] </td> <td class="bibtexitem"> Sergiu Ivanov and Sergey Verlan. Universality and computational completeness of controlled leftist insertion-deletion systems. Fundam. Inform., 155(1-2):163--185, 2017. [ <a href="http://dx.doi.org/10.3233/FI-2017-1580">DOI</a> | <a href="https://doi.org/10.3233/FI-2017-1580">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:journals/peerj-cs/MeurerSPCKRKIMS17">2</a>] </td> <td class="bibtexitem"> Aaron Meurer, Christopher P. Smith, Mateusz Paprocki, Ondrej Certík, Sergey B. Kirpichev, Matthew Rocklin, Amit Kumar, Sergiu Ivanov, Jason Keith Moore, Sartaj Singh, Thilina Rathnayake, Sean Vig, Brian E. Granger, Richard P. Muller, Francesco Bonazzi, Harsh Gupta, Shivam Vats, Fredrik Johansson, Fabian Pedregosa, Matthew J. Curry, Andy R. Terrel, Stepán Roucka, Ashutosh Saboo, Isuru Fernando, Sumith Kulal, Robert Cimrman, and Anthony M. Scopatz. Sympy: symbolic computing in python. PeerJ Computer Science, 3:e103, 2017. [ <a href="http://dx.doi.org/10.7717/peerj-cs.103">DOI</a> | <a href="https://doi.org/10.7717/peerj-cs.103">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:journals/tcs/AlhazovFFISS17">3</a>] </td> <td class="bibtexitem"> Artiom Alhazov, Henning Fernau, Rudolf Freund, Sergiu Ivanov, Rani Siromoney, and K. G. Subramanian. Contextual array grammars with matrix control, regular control languages, and tissue P systems control. Theor. Comput. Sci., 682:5--21, 2017. [ <a href="http://dx.doi.org/10.1016/j.tcs.2017.03.012">DOI</a> | <a href="https://doi.org/10.1016/j.tcs.2017.03.012">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:journals/ijuc/FreundIS16">4</a>] </td> <td class="bibtexitem"> Rudolf Freund, Sergiu Ivanov, and Ludwig Staiger. Going beyond turing with P automata: Regular observer ω-languages and partial adult halting. IJUC, 12(1):51--69, 2016. [ <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> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:journals/jalc/Alhazov0PV16">5</a>] </td> <td class="bibtexitem"> Artiom Alhazov, Sergiu Ivanov, Elisabeth Pelz, and Sergey Verlan. Small universal deterministic petri nets with inhibitor arcs. Journal of Automata, Languages and Combinatorics, 21(1-2):7--26, 2016. [ <a href="http://dx.doi.org/10.25596/jalc-2016-007">DOI</a> | <a href="https://doi.org/10.25596/jalc-2016-007">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:journals/tcs/AzimiG0MPP16">6</a>] </td> <td class="bibtexitem"> Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Luca Manzoni, Ion Petre, and Antonio E. Porreca. Complexity of model checking for reaction systems. Theor. Comput. Sci., 623:103--113, 2016. [ <a href="http://dx.doi.org/10.1016/j.tcs.2015.11.040">DOI</a> | <a href="https://doi.org/10.1016/j.tcs.2015.11.040">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:journals/peerjpre/MeurerSPCRK0MSR16">7</a>] </td> <td class="bibtexitem"> Aaron Meurer, Christopher P. Smith, Mateusz Paprocki, Ondrej Certík, Matthew Rocklin, Amit Kumar, Sergiu Ivanov, Jason Keith Moore, Sartaj Singh, Thilina Rathnayake, Sean Vig, Brian E. Granger, Richard P. Muller, Francesco Bonazzi, Harsh Gupta, Shivam Vats, Fredrik Johansson, Fabian Pedregosa, Matthew J. Curry, Ashutosh Saboo, Isuru Fernando, Sumith Kulal, Robert Cimrman, and Anthony M. Scopatz. Sympy: Symbolic computing in python. PeerJ PrePrints, 4:e2083, 2016. [ <a href="http://dx.doi.org/10.7287/peerj.preprints.2083v2">DOI</a> | <a href="https://doi.org/10.7287/peerj.preprints.2083v2">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:journals/csjm/000115">8</a>] </td> <td class="bibtexitem"> Sergiu Ivanov. Annotation on phd thesis. The Computer Science Journal of Moldova, 23(3):386--388, 2015. [ <a href="http://www.math.md/publications/csjm/issues/v23-n3/11989/">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:journals/fuin/0001V15">9</a>] </td> <td class="bibtexitem"> Sergiu Ivanov and Sergey Verlan. Random context and semi-conditional insertion-deletion systems. Fundam. Inform., 138(1-2):127--144, 2015. [ <a href="http://dx.doi.org/10.3233/FI-2015-1203">DOI</a> | <a href="https://doi.org/10.3233/FI-2015-1203">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:journals/tcs/AzimiGIP15">10</a>] </td> <td class="bibtexitem"> Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, and Ion Petre. Dependency graphs and mass conservation in reaction systems. Theor. Comput. Sci., 598:23--39, 2015. [ <a href="http://dx.doi.org/10.1016/j.tcs.2015.02.014">DOI</a> | <a href="https://doi.org/10.1016/j.tcs.2015.02.014">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:journals/fuin/AlhazovF014">11</a>] </td> <td class="bibtexitem"> Artiom Alhazov, Rudolf Freund, and Sergiu Ivanov. Length P systems. Fundam. Inform., 134(1-2):17--37, 2014. [ <a href="http://dx.doi.org/10.3233/FI-2014-1088">DOI</a> | <a href="https://doi.org/10.3233/FI-2014-1088">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:journals/jalc/0001RV14">12</a>] </td> <td class="bibtexitem"> Sergiu Ivanov, Yurii Rogozhin, and Sergey Verlan. Small universal networks of evolutionary processors. Journal of Automata, Languages and Combinatorics, 19(1-4):133--144, 2014. [ <a href="http://dx.doi.org/10.25596/jalc-2014-133">DOI</a> | <a href="https://doi.org/10.25596/jalc-2014-133">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:journals/ijcm/Ivanov13">13</a>] </td> <td class="bibtexitem"> Sergiu Ivanov. A formal framework for clock-free networks of cells. Int. J. Comput. Math., 90(4):776--788, 2013. [ <a href="http://dx.doi.org/10.1080/00207160.2012.743652">DOI</a> | <a href="https://doi.org/10.1080/00207160.2012.743652">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:journals/csjm/Ivanov12">14</a>] </td> <td class="bibtexitem"> Sergiu Ivanov. Static and dynamic membrane structures. The Computer Science Journal of Moldova, 20(3):374--402, 2012. [ <a href="http://www.math.md/publications/csjm/issues/v20-n3/11125/">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:journals/ijncr/IvanovARG11">15</a>] </td> <td class="bibtexitem"> Sergiu Ivanov, Artiom Alhazov, Vladimir Rogojin, and Miguel A. Gutiérrez-Naranjo. Forward and backward chaining with P systems. IJNCR, 2(2):56--66, 2011. [ <a href="http://dx.doi.org/10.4018/jncr.2011040105">DOI</a> | <a href="https://doi.org/10.4018/jncr.2011040105">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:journals/csjm/AlhazovBBCCCDIMMMRRTVV10">16</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. The Computer Science Journal of Moldova, 18(2):101--138, 2010. [ <a href="http://www.math.md/publications/csjm/issues/v18-n2/10280/">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:journals/csjm/AlhazovCIR10">17</a>] </td> <td class="bibtexitem"> Artiom Alhazov, Constantin Ciubotaru, Sergiu Ivanov, and Yurii Rogozhin. Membrane systems languages are polynomial-time parsable. The Computer Science Journal of Moldova, 18(2):139--148, 2010. [ <a href="http://www.math.md/publications/csjm/issues/v18-n2/10282/">http</a> ] </td> </tr> </table> </html> ==== Conference and Workshop Articles ==== <html> <head> <title>bibtex2html output</title> </head> <body>  <table> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:conf/membrane/AlhazovAF016">1</a>] </td> <td class="bibtexitem"> Artiom Alhazov, Bogdan Aman, Rudolf Freund, and Sergiu Ivanov. Simulating R systems by P systems. In Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, and Claudio Zandron, editors, Membrane Computing - 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers, volume 10105 of Lecture Notes in Computer Science, pages 51--66. Springer, 2016. [ <a href="http://dx.doi.org/10.1007/978-3-319-54072-6_4">DOI</a> | <a href="http://dx.doi.org/10.1007/978-3-319-54072-6_4">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:conf/membrane/AlhazovBF0PZ16">2</a>] </td> <td class="bibtexitem"> Artiom Alhazov, Omar Belingheri, Rudolf Freund, Sergiu Ivanov, Antonio E. Porreca, and Claudio Zandron. Purely catalytic P systems over integers and their generative power. In Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, and Claudio Zandron, editors, Membrane Computing - 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers, volume 10105 of Lecture Notes in Computer Science, pages 67--82. Springer, 2016. [ <a href="http://dx.doi.org/10.1007/978-3-319-54072-6_5">DOI</a> | <a href="http://dx.doi.org/10.1007/978-3-319-54072-6_5">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:conf/mcu/0001V15">3</a>] </td> <td class="bibtexitem"> Sergiu Ivanov and Sergey Verlan. Universality of graph-controlled leftist insertion-deletion systems with two states. In Jérôme Durand-Lose and Benedek Nagy, editors, Machines, Computations, and Universality - 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings, volume 9288 of Lecture Notes in Computer Science, pages 79--93. Springer, 2015. [ <a href="http://dx.doi.org/10.1007/978-3-319-23111-2_6">DOI</a> | <a href="http://dx.doi.org/10.1007/978-3-319-23111-2_6">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:conf/membrane/Freund0V15">4</a>] </td> <td class="bibtexitem"> Rudolf Freund, Sergiu Ivanov, and Sergey Verlan. P systems with generalized multisets over totally ordered abelian groups. In Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, and Claudio Zandron, editors, Membrane Computing - 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers, volume 9504 of Lecture Notes in Computer Science, pages 117--136. Springer, 2015. [ <a href="http://dx.doi.org/10.1007/978-3-319-28475-0_9">DOI</a> | <a href="http://dx.doi.org/10.1007/978-3-319-28475-0_9">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:conf/uc/Freund0S15">5</a>] </td> <td class="bibtexitem"> Rudolf Freund, Sergiu Ivanov, and Ludwig Staiger. Going beyond turing with P automata: Partial adult halting and regular observer ω-languages. In Cristian S. Calude and Michael J. Dinneen, editors, Unconventional Computation and Natural Computation - 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015, Proceedings, volume 9252 of Lecture Notes in Computer Science, pages 169--180. Springer, 2015. [ <a href="http://dx.doi.org/10.1007/978-3-319-21819-9_12">DOI</a> | <a href="http://dx.doi.org/10.1007/978-3-319-21819-9_12">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:conf/dcfs/0001PV14">6</a>] </td> <td class="bibtexitem"> Sergiu Ivanov, Elisabeth Pelz, and Sergey Verlan. Small universal non-deterministic petri nets with inhibitor arcs. In Helmut Jürgensen, Juhani Karhumäki, and Alexander Okhotin, editors, Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings, volume 8614 of Lecture Notes in Computer Science, pages 186--197. Springer, 2014. [ <a href="http://dx.doi.org/10.1007/978-3-319-09704-6_17">DOI</a> | <a href="http://dx.doi.org/10.1007/978-3-319-09704-6_17">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:conf/membrane/Ivanov14">7</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ík, and Claudio Zandron, editors, Membrane Computing - 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers, volume 8961 of Lecture Notes in Computer Science, pages 258--273. Springer, 2014. [ <a href="http://dx.doi.org/10.1007/978-3-319-14370-5_16">DOI</a> | <a href="http://dx.doi.org/10.1007/978-3-319-14370-5_16">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:conf/membrane/IvanovV13">8</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, Membrane Computing - 14th International Conference, CMC 2013, Chisinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers, volume 8340 of Lecture Notes in Computer Science, pages 225--237. Springer, 2013. [ <a href="http://dx.doi.org/10.1007/978-3-642-54239-8_16">DOI</a> | <a href="http://dx.doi.org/10.1007/978-3-642-54239-8_16">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:conf/uc/FernauFISS13">9</a>] </td> <td class="bibtexitem"> Henning Fernau, Rudolf Freund, Sergiu Ivanov, Markus L. Schmid, and K. G. Subramanian. Array insertion and deletion P systems. In Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, and Antonio E. Porreca, editors, Unconventional Computation and Natural Computation - 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings, volume 7956 of Lecture Notes in Computer Science, pages 67--78. Springer, 2013. [ <a href="http://dx.doi.org/10.1007/978-3-642-39074-6_8">DOI</a> | <a href="http://dx.doi.org/10.1007/978-3-642-39074-6_8">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:journals/corr/FreundIOS13">10</a>] </td> <td class="bibtexitem"> Rudolf Freund, Sergiu Ivanov, Marion Oswald, and K. G. Subramanian. One-dimensional array grammars and P systems with array insertion and deletion rules. In Turlough Neary and Matthew Cook, editors, Proceedings Machines, Computations and Universality 2013, MCU 2013, Zürich, Switzerland, September 9-11, 2013., volume 128 of EPTCS, pages 62--75, 2013. [ <a href="http://dx.doi.org/10.4204/EPTCS.128.14">DOI</a> | <a href="http://dx.doi.org/10.4204/EPTCS.128.14">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:conf/membrane/Ivanov11">11</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, Membrane Computing - 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers, volume 7184 of Lecture Notes in Computer Science, pages 226--242. Springer, 2011. [ <a href="http://dx.doi.org/10.1007/978-3-642-28024-5_16">DOI</a> | <a href="http://dx.doi.org/10.1007/978-3-642-28024-5_16">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:conf/membrane/AlhazovCIR10">12</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, Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, volume 6501 of Lecture Notes in Computer Science, pages 65--80. Springer, 2010. [ <a href="http://dx.doi.org/10.1007/978-3-642-18123-8_8">DOI</a> | <a href="http://dx.doi.org/10.1007/978-3-642-18123-8_8">http</a> ] </td> </tr> <tr valign="top"> <td align="right" class="bibtexnumber"> [<a name="DBLP:conf/membrane/AlhazovIR10">13</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, Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, volume 6501 of Lecture Notes in Computer Science, pages 81--94. Springer, 2010. [ <a href="http://dx.doi.org/10.1007/978-3-642-18123-8_9">DOI</a> | <a href="http://dx.doi.org/10.1007/978-3-642-18123-8_9">http</a> ] </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. CoRR, abs/1312.4414, 2013. [ <a href="http://arxiv.org/abs/1312.4414">http</a> ] </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. CoRR, abs/1112.5947, 2011. [ <a href="http://arxiv.org/abs/1112.5947">http</a> ] </td> </tr> </table> </html> ---- ==== Conference and Journal Rankings ==== This section gives approximate values for ranks and impact factors for the journals I have published in and conferences I have participated to. These values should be taken with a [[https://en.wikipedia.org/wiki/Impact_factor#Criticisms|grain of salt]], especially in the case of theoretical computer science. **Journals:** Theoretical Computer Science (TCS) ''rank A''\ \ \ Fundamenta Informaticae (FI) ''rank B''\ \ \ Journal of Automata, Languages and Combinatorics (JALC) ''rank C''\ \ \ International Journal of Computer Mathematics (IJCM) ''rank C''\ \ \ International Journal of Unconventional Computing (IJUC) ''h-index 12''\ \ \ PeerJ ''impact factor 2.183''\ \ \ Computer Science Journal of Moldova (CSJM) ''impact factor\ (2014)\ 0.1227'' **Conferences:** Machines, Computations, and Universality (MCU) ''rank B''\ \ \ Unconventional Computation and Natural Computation (UCNC) ''rank\ C'' ---- ==== 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