dossier-complet/bib/sivanov.bib

@article{DBLP:journals/nc/AlhazovFIOV18,
  author    = {Artiom Alhazov and
               Rudolf Freund and
               Sergiu Ivanov and
               Marion Oswald and
               Sergey Verlan},
  title     = {Extended spiking neural {P} systems with white hole rules and their
               red-green variants},
  journal   = {Natural Computing},
  volume    = {17},
  number    = {2},
  pages     = {297--310},
  year      = {2018},
  url       = {https://doi.org/10.1007/s11047-017-9649-7},
  doi       = {10.1007/s11047-017-9649-7},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/nc/AlhazovFIOV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mcu/AlhazovF018,
  author    = {Artiom Alhazov and
               Rudolf Freund and
               Sergiu Ivanov},
  editor    = {J{\'{e}}r{\^{o}}me Durand{-}Lose and
               Sergey Verlan},
  title     = {Sequential Grammars with Activation and Blocking of Rules},
  booktitle = {Machines, Computations, and Universality - 8th International Conference,
               {MCU} 2018, Fontainebleau, France, June 28-30, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10881},
  pages     = {51--68},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92402-1\_3},
  doi       = {10.1007/978-3-319-92402-1\_3},
  timestamp = {Thu, 07 Jun 2018 19:29:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mcu/AlhazovF018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/uc/AlhazovF018,
  author    = {Artiom Alhazov and
               Rudolf Freund and
               Sergiu Ivanov},
  editor    = {Susan Stepney and
               Sergey Verlan},
  title     = {P Systems with Activation and Blocking of Rules},
  booktitle = {Unconventional Computation and Natural Computation - 17th International
               Conference, {UCNC} 2018, Fontainebleau, France, June 25-29, 2018,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10867},
  pages     = {1--15},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92435-9\_1},
  doi       = {10.1007/978-3-319-92435-9\_1},
  timestamp = {Fri, 15 Jun 2018 12:03:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uc/AlhazovF018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/IvanovV17,
  author    = {Sergiu Ivanov and
               Sergey Verlan},
  title     = {Universality and Computational Completeness of Controlled Leftist
               Insertion-Deletion Systems},
  journal   = {Fundam. Inform.},
  volume    = {155},
  number    = {1-2},
  pages     = {163--185},
  year      = {2017},
  url       = {https://doi.org/10.3233/FI-2017-1580},
  doi       = {10.3233/FI-2017-1580},
  timestamp = {Thu, 21 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/IvanovV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/peerj-cs/MeurerSPCKRKIMS17,
  author    = {Aaron Meurer and
               Christopher P. Smith and
               Mateusz Paprocki and
               Ondrej Cert{\'{\i}}k and
               Sergey B. Kirpichev and
               Matthew Rocklin and
               Amit Kumar and
               Sergiu Ivanov and
               Jason Keith Moore and
               Sartaj Singh and
               Thilina Rathnayake and
               Sean Vig and
               Brian E. Granger and
               Richard P. Muller and
               Francesco Bonazzi and
               Harsh Gupta and
               Shivam Vats and
               Fredrik Johansson and
               Fabian Pedregosa and
               Matthew J. Curry and
               Andy R. Terrel and
               Step{\'{a}}n Roucka and
               Ashutosh Saboo and
               Isuru Fernando and
               Sumith Kulal and
               Robert Cimrman and
               Anthony M. Scopatz},
  title     = {SymPy: symbolic computing in Python},
  journal   = {PeerJ Computer Science},
  volume    = {3},
  pages     = {e103},
  year      = {2017},
  url       = {https://doi.org/10.7717/peerj-cs.103},
  doi       = {10.7717/peerj-cs.103},
  timestamp = {Wed, 15 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/peerj-cs/MeurerSPCKRKIMS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AlhazovFFISS17,
  author    = {Artiom Alhazov and
               Henning Fernau and
               Rudolf Freund and
               Sergiu Ivanov and
               Rani Siromoney and
               K. G. Subramanian},
  title     = {Contextual array grammars with matrix control, regular control languages,
               and tissue {P} systems control},
  journal   = {Theor. Comput. Sci.},
  volume    = {682},
  pages     = {5--21},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.tcs.2017.03.012},
  doi       = {10.1016/j.tcs.2017.03.012},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/AlhazovFFISS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/complexnetworks/VuongCIGT17,
  author    = {Quoc{-}Trung Vuong and
               Roselyne Chauvin and
               Sergiu Ivanov and
               Nicolas Glade and
               Laurent Trilling},
  editor    = {Chantal Cherifi and
               Hocine Cherifi and
               M{\'{a}}rton Karsai and
               Mirco Musolesi},
  title     = {A Logical Constraint-based Approach to Infer and Explore Diversity
               and Composition in Thresholded Boolean Automaton Networks},
  booktitle = {Complex Networks {\&} Their Applications {VI} - Proceedings of Complex
               Networks 2017 (The Sixth International Conference on Complex Networks
               and Their Applications), {COMPLEX} {NETWORKS} 2017, Lyon, France,
               November 29 - December 1, 2017.},
  series    = {Studies in Computational Intelligence},
  volume    = {689},
  pages     = {567--579},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72150-7\_46},
  doi       = {10.1007/978-3-319-72150-7\_46},
  timestamp = {Thu, 08 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/complexnetworks/VuongCIGT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/membrane/AlhazovF017,
  author    = {Artiom Alhazov and
               Rudolf Freund and
               Sergiu Ivanov},
  editor    = {Marian Gheorghe and
               Grzegorz Rozenberg and
               Arto Salomaa and
               Claudio Zandron},
  title     = {Hierarchical {P} Systems with Randomized Right-Hand Sides of Rules},
  booktitle = {Membrane Computing - 18th International Conference, {CMC} 2017, Bradford,
               UK, July 25-28, 2017, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10725},
  pages     = {15--39},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-73359-3\_2},
  doi       = {10.1007/978-3-319-73359-3\_2},
  timestamp = {Thu, 04 Jan 2018 15:56:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/membrane/AlhazovF017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1708-06458,
  author    = {Artiom Alhazov and
               Rudolf Freund and
               Sergiu Ivanov and
               Sergey Verlan},
  editor    = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
               P{\'{a}}l D{\"{o}}m{\"{o}}si and
               Gy{\"{o}}rgy Vaszil},
  title     = {(Tissue) {P} Systems with Vesicles of Multisets},
  booktitle = {Proceedings 15th International Conference on Automata and Formal Languages,
               {AFL} 2017, Debrecen, Hungary, September 4-6, 2017.},
  series    = {{EPTCS}},
  volume    = {252},
  pages     = {11--25},
  year      = {2017},
  url       = {https://doi.org/10.4204/EPTCS.252.6},
  doi       = {10.4204/EPTCS.252.6},
  timestamp = {Mon, 13 Aug 2018 16:49:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1708-06458},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijuc/FreundIS16,
  author    = {Rudolf Freund and
               Sergiu Ivanov and
               Ludwig Staiger},
  title     = {Going Beyond Turing with {P} Automata: Regular Observer {\(\omega\)}-Languages
               and Partial Adult Halting},
  journal   = {{IJUC}},
  volume    = {12},
  number    = {1},
  pages     = {51--69},
  year      = {2016},
  url       = {http://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-12-number-1-2016/ijuc-12-1-p-51-69/},
  timestamp = {Wed, 01 Jun 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijuc/FreundIS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/Alhazov0PV16,
  author    = {Artiom Alhazov and
               Sergiu Ivanov and
               Elisabeth Pelz and
               Sergey Verlan},
  title     = {Small Universal Deterministic Petri Nets with Inhibitor Arcs},
  journal   = {Journal of Automata, Languages and Combinatorics},
  volume    = {21},
  number    = {1-2},
  pages     = {7--26},
  year      = {2016},
  url       = {https://doi.org/10.25596/jalc-2016-007},
  doi       = {10.25596/jalc-2016-007},
  timestamp = {Thu, 30 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jalc/Alhazov0PV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AzimiG0MPP16,
  author    = {Sepinoud Azimi and
               Cristian Gratie and
               Sergiu Ivanov and
               Luca Manzoni and
               Ion Petre and
               Antonio E. Porreca},
  title     = {Complexity of model checking for reaction systems},
  journal   = {Theor. Comput. Sci.},
  volume    = {623},
  pages     = {103--113},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.tcs.2015.11.040},
  doi       = {10.1016/j.tcs.2015.11.040},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/AzimiG0MPP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/membrane/AlhazovAF016,
  author    = {Artiom Alhazov and
               Bogdan Aman and
               Rudolf Freund and
               Sergiu Ivanov},
  editor    = {Alberto Leporati and
               Grzegorz Rozenberg and
               Arto Salomaa and
               Claudio Zandron},
  title     = {Simulating {R} Systems by {P} Systems},
  booktitle = {Membrane Computing - 17th International Conference, {CMC} 2016, Milan,
               Italy, July 25-29, 2016, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10105},
  pages     = {51--66},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-54072-6\_4},
  doi       = {10.1007/978-3-319-54072-6\_4},
  timestamp = {Fri, 19 May 2017 01:25:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/membrane/AlhazovAF016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/membrane/AlhazovBF0PZ16,
  author    = {Artiom Alhazov and
               Omar Belingheri and
               Rudolf Freund and
               Sergiu Ivanov and
               Antonio E. Porreca and
               Claudio Zandron},
  editor    = {Alberto Leporati and
               Grzegorz Rozenberg and
               Arto Salomaa and
               Claudio Zandron},
  title     = {Purely Catalytic {P} Systems over Integers and Their Generative Power},
  booktitle = {Membrane Computing - 17th International Conference, {CMC} 2016, Milan,
               Italy, July 25-29, 2016, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10105},
  pages     = {67--82},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-54072-6\_5},
  doi       = {10.1007/978-3-319-54072-6\_5},
  timestamp = {Fri, 19 May 2017 01:25:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/membrane/AlhazovBF0PZ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/peerjpre/MeurerSPCRK0MSR16,
  author    = {Aaron Meurer and
               Christopher P. Smith and
               Mateusz Paprocki and
               Ondrej Cert{\'{\i}}k and
               Matthew Rocklin and
               Amit Kumar and
               Sergiu Ivanov and
               Jason Keith Moore and
               Sartaj Singh and
               Thilina Rathnayake and
               Sean Vig and
               Brian E. Granger and
               Richard P. Muller and
               Francesco Bonazzi and
               Harsh Gupta and
               Shivam Vats and
               Fredrik Johansson and
               Fabian Pedregosa and
               Matthew J. Curry and
               Ashutosh Saboo and
               Isuru Fernando and
               Sumith Kulal and
               Robert Cimrman and
               Anthony M. Scopatz},
  title     = {SymPy: Symbolic computing in Python},
  journal   = {PeerJ PrePrints},
  volume    = {4},
  pages     = {e2083},
  year      = {2016},
  url       = {https://doi.org/10.7287/peerj.preprints.2083v2},
  doi       = {10.7287/peerj.preprints.2083v2},
  timestamp = {Wed, 15 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/peerjpre/MeurerSPCRK0MSR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/hal/Ivanov15,
  author    = {Sergiu Ivanov},
  title     = {On the Power and Universality of Biologically-inspired Models of Computation.
               ({\'{E}}tude de la puissance d'expression et de l'universalit{\'{e}}
               des mod{\`{e}}les de calcul inspir{\'{e}}s par la biologie)},
  school    = {University of Paris-Est, France},
  year      = {2015},
  url       = {https://tel.archives-ouvertes.fr/tel-01272318},
  timestamp = {Mon, 04 Jul 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/hal/Ivanov15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/csjm/000115,
  author    = {Sergiu Ivanov},
  title     = {Annotation on PhD Thesis},
  journal   = {The Computer Science Journal of Moldova},
  volume    = {23},
  number    = {3},
  pages     = {386--388},
  year      = {2015},
  url       = {http://www.math.md/publications/csjm/issues/v23-n3/11989/},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/csjm/000115},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@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       = {https://doi.org/10.3233/FI-2015-1203},
  doi       = {10.3233/FI-2015-1203},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/0001V15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AzimiGIP15,
  author    = {Sepinoud Azimi and
               Cristian Gratie and
               Sergiu Ivanov and
               Ion Petre},
  title     = {Dependency graphs and mass conservation in reaction systems},
  journal   = {Theor. Comput. Sci.},
  volume    = {598},
  pages     = {23--39},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.tcs.2015.02.014},
  doi       = {10.1016/j.tcs.2015.02.014},
  timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/AzimiGIP15},
  bibsource = {dblp computer science bibliography, https://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       = {https://doi.org/10.1007/978-3-319-23111-2\_6},
  doi       = {10.1007/978-3-319-23111-2\_6},
  timestamp = {Tue, 23 May 2017 01:13:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mcu/0001V15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/membrane/Freund0V15,
  author    = {Rudolf Freund and
               Sergiu Ivanov and
               Sergey Verlan},
  editor    = {Grzegorz Rozenberg and
               Arto Salomaa and
               Jos{\'{e}} M. Sempere and
               Claudio Zandron},
  title     = {P Systems with Generalized Multisets Over Totally Ordered Abelian
               Groups},
  booktitle = {Membrane Computing - 16th International Conference, {CMC} 2015, Valencia,
               Spain, August 17-21, 2015, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9504},
  pages     = {117--136},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-28475-0\_9},
  doi       = {10.1007/978-3-319-28475-0\_9},
  timestamp = {Fri, 19 May 2017 01:25:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/membrane/Freund0V15},
  bibsource = {dblp computer science bibliography, https://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       = {https://doi.org/10.1007/978-3-319-21819-9\_12},
  doi       = {10.1007/978-3-319-21819-9\_12},
  timestamp = {Mon, 05 Jun 2017 12:39:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uc/Freund0S15},
  bibsource = {dblp computer science bibliography, https://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       = {https://doi.org/10.3233/FI-2014-1088},
  doi       = {10.3233/FI-2014-1088},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/AlhazovF014},
  bibsource = {dblp computer science bibliography, https://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},
  url       = {https://doi.org/10.25596/jalc-2014-133},
  doi       = {10.25596/jalc-2014-133},
  timestamp = {Wed, 31 Jan 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jalc/0001RV14},
  bibsource = {dblp computer science bibliography, https://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       = {https://doi.org/10.1007/978-3-319-09704-6\_17},
  doi       = {10.1007/978-3-319-09704-6\_17},
  timestamp = {Fri, 19 May 2017 01:25:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dcfs/0001PV14},
  bibsource = {dblp computer science bibliography, https://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       = {https://doi.org/10.1007/978-3-319-14370-5\_16},
  doi       = {10.1007/978-3-319-14370-5\_16},
  timestamp = {Fri, 19 May 2017 01:25:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/membrane/Ivanov14},
  bibsource = {dblp computer science bibliography, https://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       = {https://doi.org/10.1080/00207160.2012.743652},
  doi       = {10.1080/00207160.2012.743652},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijcm/Ivanov13},
  bibsource = {dblp computer science bibliography, https://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       = {https://doi.org/10.1007/978-3-642-54239-8\_16},
  doi       = {10.1007/978-3-642-54239-8\_16},
  timestamp = {Fri, 19 May 2017 01:25:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/membrane/IvanovV13},
  bibsource = {dblp computer science bibliography, https://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       = {https://doi.org/10.1007/978-3-642-39074-6\_8},
  doi       = {10.1007/978-3-642-39074-6\_8},
  timestamp = {Thu, 15 Jun 2017 21:36:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uc/FernauFISS13},
  bibsource = {dblp computer science bibliography, https://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       = {https://doi.org/10.4204/EPTCS.128.14},
  doi       = {10.4204/EPTCS.128.14},
  timestamp = {Mon, 13 Aug 2018 16:46:51 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/FreundIOS13},
  bibsource = {dblp computer science bibliography, https://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},
  archivePrefix = {arXiv},
  eprint    = {1312.4414},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/IvanovPV13},
  bibsource = {dblp computer science bibliography, https://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    = {https://dblp.org/rec/bib/journals/csjm/Ivanov12},
  bibsource = {dblp computer science bibliography, https://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       = {https://doi.org/10.4018/jncr.2011040105},
  doi       = {10.4018/jncr.2011040105},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijncr/IvanovARG11},
  bibsource = {dblp computer science bibliography, https://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       = {https://doi.org/10.1007/978-3-642-28024-5\_16},
  doi       = {10.1007/978-3-642-28024-5\_16},
  timestamp = {Fri, 19 May 2017 01:25:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/membrane/Ivanov11},
  bibsource = {dblp computer science bibliography, https://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},
  archivePrefix = {arXiv},
  eprint    = {1112.5947},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1112-5947},
  bibsource = {dblp computer science bibliography, https://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    = {https://dblp.org/rec/bib/journals/csjm/AlhazovBBCCCDIMMMRRTVV10},
  bibsource = {dblp computer science bibliography, https://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    = {https://dblp.org/rec/bib/journals/csjm/AlhazovCIR10},
  bibsource = {dblp computer science bibliography, https://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       = {https://doi.org/10.1007/978-3-642-18123-8\_8},
  doi       = {10.1007/978-3-642-18123-8\_8},
  timestamp = {Fri, 19 May 2017 01:25:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/membrane/AlhazovCIR10},
  bibsource = {dblp computer science bibliography, https://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       = {https://doi.org/10.1007/978-3-642-18123-8\_9},
  doi       = {10.1007/978-3-642-18123-8\_9},
  timestamp = {Fri, 19 May 2017 01:25:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/membrane/AlhazovIR10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}