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/ijuc/FreundIS16">1</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/tcs/AzimiG0MPP16">2</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="http://dx.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/fuin/0001V15">3</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="http://dx.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">4</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="http://dx.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">5</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="http://dx.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">6</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. </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. Int. J. Comput. Math., 90(4):776--788, 2013. [ <a href="http://dx.doi.org/10.1080/00207160.2012.743652">DOI</a> | <a href="http://dx.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">8</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">9</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="http://dx.doi.org/10.4018/jncr.2011040105">http</a> ] </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. 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">11</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> <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. Annals of the University of Bucharest (Informatics), 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 ω-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">2</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. </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 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="http://dx.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">4</a>] </td> <td class="bibtexitem"> Aaron Meurer, Christopher P. Smith, Mateusz Paprocki, Ondrej Certík, Matthew Rocklin, Amit Kumar, Sergiu Ivanov, Jason K. 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="http://dx.doi.org/10.7287/peerj.preprints.2083v2">http</a> ] </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. Fundam. Inform., 138(1-2):127--144, 2015. [ <a href="http://dx.doi.org/10.3233/FI-2015-1203">DOI</a> | <a href="http://dx.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">6</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="http://dx.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">7</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="http://dx.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">8</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. </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. Int. J. Comput. Math., 90(4):776--788, 2013. [ <a href="http://dx.doi.org/10.1080/00207160.2012.743652">DOI</a> | <a href="http://dx.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">10</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">11</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="http://dx.doi.org/10.4018/jncr.2011040105">http</a> ] </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. 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">13</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> ==== 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> ---- ==== 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