@article{DBLP:journals/fuin/0001V15,
  author    = {Sergiu Ivanov and
               Sergey Verlan},
  title     = {Random Context and Semi-conditional Insertion-deletion Systems},
  journal   = {Fundam. Inform.},
  volume    = {138},
  number    = {1-2},
  pages     = {127--144},
  year      = {2015},
  url       = {http://dx.doi.org/10.3233/FI-2015-1203},
  doi       = {10.3233/FI-2015-1203},
  timestamp = {Fri, 17 Apr 2015 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fuin/0001V15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/mcu/0001V15,
  author    = {Sergiu Ivanov and
               Sergey Verlan},
  editor    = {J{\'{e}}r{\^{o}}me Durand{-}Lose and
               Benedek Nagy},
  title     = {Universality of Graph-controlled Leftist Insertion-deletion Systems
               with Two States},
  booktitle = {Machines, Computations, and Universality - 7th International Conference,
               {MCU} 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9288},
  pages     = {79--93},
  publisher = {Springer},
  year      = {2015},
  url       = {http://dx.doi.org/10.1007/978-3-319-23111-2_6},
  doi       = {10.1007/978-3-319-23111-2_6},
  timestamp = {Sun, 30 Aug 2015 12:51:09 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mcu/0001V15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/uc/Freund0S15,
  author    = {Rudolf Freund and
               Sergiu Ivanov and
               Ludwig Staiger},
  editor    = {Cristian S. Calude and
               Michael J. Dinneen},
  title     = {Going Beyond Turing with {P} Automata: Partial Adult Halting and Regular
               Observer {\(\omega\)}-Languages},
  booktitle = {Unconventional Computation and Natural Computation - 14th International
               Conference, {UCNC} 2015, Auckland, New Zealand, August 30 - September
               3, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9252},
  pages     = {169--180},
  publisher = {Springer},
  year      = {2015},
  url       = {http://dx.doi.org/10.1007/978-3-319-21819-9_12},
  doi       = {10.1007/978-3-319-21819-9_12},
  timestamp = {Fri, 07 Aug 2015 09:19:26 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/uc/Freund0S15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/fuin/AlhazovF014,
  author    = {Artiom Alhazov and
               Rudolf Freund and
               Sergiu Ivanov},
  title     = {Length {P} Systems},
  journal   = {Fundam. Inform.},
  volume    = {134},
  number    = {1-2},
  pages     = {17--37},
  year      = {2014},
  url       = {http://dx.doi.org/10.3233/FI-2014-1088},
  doi       = {10.3233/FI-2014-1088},
  timestamp = {Mon, 24 Nov 2014 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fuin/AlhazovF014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/jalc/0001RV14,
  author    = {Sergiu Ivanov and
               Yurii Rogozhin and
               Sergey Verlan},
  title     = {Small Universal Networks of Evolutionary Processors},
  journal   = {Journal of Automata, Languages and Combinatorics},
  volume    = {19},
  number    = {1-4},
  pages     = {133--144},
  year      = {2014},
  timestamp = {Tue, 09 Sep 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jalc/0001RV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/0001PV14,
  author    = {Sergiu Ivanov and
               Elisabeth Pelz and
               Sergey Verlan},
  editor    = {Helmut J{\"{u}}rgensen and
               Juhani Karhum{\"{a}}ki and
               Alexander Okhotin},
  title     = {Small Universal Non-deterministic Petri Nets with Inhibitor Arcs},
  booktitle = {Descriptional Complexity of Formal Systems - 16th International Workshop,
               {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8614},
  pages     = {186--197},
  publisher = {Springer},
  year      = {2014},
  url       = {http://dx.doi.org/10.1007/978-3-319-09704-6_17},
  doi       = {10.1007/978-3-319-09704-6_17},
  timestamp = {Mon, 14 Jul 2014 13:14:30 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dcfs/0001PV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/membrane/Ivanov14,
  author    = {Sergiu Ivanov},
  editor    = {Marian Gheorghe and
               Grzegorz Rozenberg and
               Arto Salomaa and
               Petr Sos{\'{\i}}k and
               Claudio Zandron},
  title     = {Polymorphic {P} Systems with Non-cooperative Rules and No Ingredients},
  booktitle = {Membrane Computing - 15th International Conference, {CMC} 2014, Prague,
               Czech Republic, August 20-22, 2014, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8961},
  pages     = {258--273},
  publisher = {Springer},
  year      = {2014},
  url       = {http://dx.doi.org/10.1007/978-3-319-14370-5_16},
  doi       = {10.1007/978-3-319-14370-5_16},
  timestamp = {Fri, 22 May 2015 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/membrane/Ivanov14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/ijcm/Ivanov13,
  author    = {Sergiu Ivanov},
  title     = {A formal framework for clock-free networks of cells},
  journal   = {Int. J. Comput. Math.},
  volume    = {90},
  number    = {4},
  pages     = {776--788},
  year      = {2013},
  url       = {http://dx.doi.org/10.1080/00207160.2012.743652},
  doi       = {10.1080/00207160.2012.743652},
  timestamp = {Tue, 06 May 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ijcm/Ivanov13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/membrane/IvanovV13,
  author    = {Sergiu Ivanov and
               Sergey Verlan},
  editor    = {Artiom Alhazov and
               Svetlana Cojocaru and
               Marian Gheorghe and
               Yurii Rogozhin and
               Grzegorz Rozenberg and
               Arto Salomaa},
  title     = {About One-Sided One-Symbol Insertion-Deletion {P} Systems},
  booktitle = {Membrane Computing - 14th International Conference, {CMC} 2013, Chi{\c{s}}in{\u{a}}u,
               Republic of Moldova, August 20-23, 2013, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8340},
  pages     = {225--237},
  publisher = {Springer},
  year      = {2013},
  url       = {http://dx.doi.org/10.1007/978-3-642-54239-8_16},
  doi       = {10.1007/978-3-642-54239-8_16},
  timestamp = {Tue, 06 May 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/membrane/IvanovV13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/uc/FernauFISS13,
  author    = {Henning Fernau and
               Rudolf Freund and
               Sergiu Ivanov and
               Markus L. Schmid and
               K. G. Subramanian},
  editor    = {Giancarlo Mauri and
               Alberto Dennunzio and
               Luca Manzoni and
               Antonio E. Porreca},
  title     = {Array Insertion and Deletion {P} Systems},
  booktitle = {Unconventional Computation and Natural Computation - 12th International
               Conference, {UCNC} 2013, Milan, Italy, July 1-5, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7956},
  pages     = {67--78},
  publisher = {Springer},
  year      = {2013},
  url       = {http://dx.doi.org/10.1007/978-3-642-39074-6_8},
  doi       = {10.1007/978-3-642-39074-6_8},
  timestamp = {Tue, 06 May 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/uc/FernauFISS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:journals/corr/FreundIOS13,
  author    = {Rudolf Freund and
               Sergiu Ivanov and
               Marion Oswald and
               K. G. Subramanian},
  editor    = {Turlough Neary and
               Matthew Cook},
  title     = {One-dimensional Array Grammars and {P} Systems with Array Insertion
               and Deletion Rules},
  booktitle = {Proceedings Machines, Computations and Universality 2013, {MCU} 2013,
               Z{\"{u}}rich, Switzerland, September 9-11, 2013.},
  series    = {{EPTCS}},
  volume    = {128},
  pages     = {62--75},
  year      = {2013},
  url       = {http://dx.doi.org/10.4204/EPTCS.128.14},
  doi       = {10.4204/EPTCS.128.14},
  timestamp = {Thu, 03 Sep 2015 11:21:30 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/FreundIOS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/corr/IvanovPV13,
  author    = {Sergiu Ivanov and
               Elisabeth Pelz and
               Sergey Verlan},
  title     = {Small Universal Petri Nets with Inhibitor Arcs},
  journal   = {CoRR},
  volume    = {abs/1312.4414},
  year      = {2013},
  url       = {http://arxiv.org/abs/1312.4414},
  timestamp = {Tue, 06 May 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/IvanovPV13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/csjm/Ivanov12,
  author    = {Sergiu Ivanov},
  title     = {Static and Dynamic Membrane Structures},
  journal   = {The Computer Science Journal of Moldova},
  volume    = {20},
  number    = {3},
  pages     = {374--402},
  year      = {2012},
  url       = {http://www.math.md/publications/csjm/issues/v20-n3/11125/},
  timestamp = {Tue, 06 May 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/csjm/Ivanov12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/ijncr/IvanovARG11,
  author    = {Sergiu Ivanov and
               Artiom Alhazov and
               Vladimir Rogojin and
               Miguel A. Guti{\'{e}}rrez{-}Naranjo},
  title     = {Forward and Backward Chaining with {P} Systems},
  journal   = {{IJNCR}},
  volume    = {2},
  number    = {2},
  pages     = {56--66},
  year      = {2011},
  url       = {http://dx.doi.org/10.4018/jncr.2011040105},
  doi       = {10.4018/jncr.2011040105},
  timestamp = {Tue, 06 May 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ijncr/IvanovARG11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/membrane/Ivanov11,
  author    = {Sergiu Ivanov},
  editor    = {Marian Gheorghe and
               Gheorghe Paun and
               Grzegorz Rozenberg and
               Arto Salomaa and
               Sergey Verlan},
  title     = {Basic Concurrency Resolution in Clock-Free {P} Systems},
  booktitle = {Membrane Computing - 12th International Conference, {CMC} 2011, Fontainebleau,
               France, August 23-26, 2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7184},
  pages     = {226--242},
  publisher = {Springer},
  year      = {2011},
  url       = {http://dx.doi.org/10.1007/978-3-642-28024-5_16},
  doi       = {10.1007/978-3-642-28024-5_16},
  timestamp = {Tue, 06 May 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/membrane/Ivanov11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/corr/abs-1112-5947,
  author    = {Sergiu Ivanov and
               Sergey Verlan},
  title     = {Random Context and Semi-Conditional Insertion-Deletion Systems},
  journal   = {CoRR},
  volume    = {abs/1112.5947},
  year      = {2011},
  url       = {http://arxiv.org/abs/1112.5947},
  timestamp = {Tue, 06 May 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1112-5947},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/csjm/AlhazovBBCCCDIMMMRRTVV10,
  author    = {Artiom Alhazov and
               Elena Boian and
               Liudmila Burtseva and
               Constantin Ciubotaru and
               Svetlana Cojocaru and
               Alexandru Colesnicov and
               Valentina Demidova and
               Sergiu Ivanov and
               Veaceslav Macari and
               Galina Magariu and
               Ludmila Malahova and
               Vladimir Rogojin and
               Yurii Rogozhin and
               Tatiana Tofan and
               Sergey Verlan and
               Tatiana Verlan},
  title     = {Investigations on Natural Computing in the Institute of Mathematics
               and Computer Science},
  journal   = {The Computer Science Journal of Moldova},
  volume    = {18},
  number    = {2},
  pages     = {101--138},
  year      = {2010},
  url       = {http://www.math.md/publications/csjm/issues/v18-n2/10280/},
  timestamp = {Tue, 06 May 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/csjm/AlhazovBBCCCDIMMMRRTVV10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/csjm/AlhazovCIR10,
  author    = {Artiom Alhazov and
               Constantin Ciubotaru and
               Sergiu Ivanov and
               Yurii Rogozhin},
  title     = {Membrane Systems Languages Are Polynomial-Time Parsable},
  journal   = {The Computer Science Journal of Moldova},
  volume    = {18},
  number    = {2},
  pages     = {139--148},
  year      = {2010},
  url       = {http://www.math.md/publications/csjm/issues/v18-n2/10282/},
  timestamp = {Tue, 06 May 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/csjm/AlhazovCIR10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/membrane/AlhazovCIR10,
  author    = {Artiom Alhazov and
               Constantin Ciubotaru and
               Sergiu Ivanov and
               Yurii Rogozhin},
  editor    = {Marian Gheorghe and
               Thomas Hinze and
               Gheorghe Paun and
               Grzegorz Rozenberg and
               Arto Salomaa},
  title     = {The Family of Languages Generated by Non-cooperative Membrane Systems},
  booktitle = {Membrane Computing - 11th International Conference, {CMC} 2010, Jena,
               Germany, August 24-27, 2010. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6501},
  pages     = {65--80},
  publisher = {Springer},
  year      = {2010},
  url       = {http://dx.doi.org/10.1007/978-3-642-18123-8_8},
  doi       = {10.1007/978-3-642-18123-8_8},
  timestamp = {Tue, 06 May 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/membrane/AlhazovCIR10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/membrane/AlhazovIR10,
  author    = {Artiom Alhazov and
               Sergiu Ivanov and
               Yurii Rogozhin},
  editor    = {Marian Gheorghe and
               Thomas Hinze and
               Gheorghe Paun and
               Grzegorz Rozenberg and
               Arto Salomaa},
  title     = {Polymorphic {P} Systems},
  booktitle = {Membrane Computing - 11th International Conference, {CMC} 2010, Jena,
               Germany, August 24-27, 2010. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6501},
  pages     = {81--94},
  publisher = {Springer},
  year      = {2010},
  url       = {http://dx.doi.org/10.1007/978-3-642-18123-8_9},
  doi       = {10.1007/978-3-642-18123-8_9},
  timestamp = {Tue, 06 May 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/membrane/AlhazovIR10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}