@inproceedings{DBLP:conf/ncma/AlhazovF019, author = {Artiom Alhazov and Rudolf Freund and Sergiu Ivanov}, editor = {Rudolf Freund and Markus Holzer and Jos{\'{e}} M. Sempere}, title = {Register machines over groups}, booktitle = {Eleventh Workshop on Non-Classical Models of Automata and Applications, {NCMA} 2019, Valencia, Spain, July 2-3, 2019.}, pages = {31--46}, publisher = {{\"{O}}sterreichische Computer Gesellschaft}, year = {2019}, timestamp = {Wed, 10 Jul 2019 15:03:38 +0200}, biburl = {https://dblp.org/rec/bib/conf/ncma/AlhazovF019}, bibsource = {dblp computer science bibliography, https://dblp.org} } @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 = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/bib/journals/nc/AlhazovFIOV18}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/birthday/AlhazovF0OV18, author = {Artiom Alhazov and Rudolf Freund and Sergiu Ivanov and Marion Oswald and Sergey Verlan}, editor = {Carmen Graciani D{\'{\i}}az and Agust{\'{\i}}n Riscos{-}N{\'{u}}{\~{n}}ez and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}, title = {Chocolate {P} Automata}, booktitle = {Enjoying Natural Computing - Essays Dedicated to Mario de Jes{\'{u}}s P{\'{e}}rez-Jim{\'{e}}nez on the Occasion of His 70th Birthday}, series = {Lecture Notes in Computer Science}, volume = {11270}, pages = {1--20}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-00265-7\_1}, doi = {10.1007/978-3-030-00265-7\_1}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/bib/conf/birthday/AlhazovF0OV18}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/birthday/0001RAP18, author = {Sergiu Ivanov and Vladimir Rogojin and Sepinoud Azimi and Ion Petre}, editor = {Carmen Graciani D{\'{\i}}az and Agust{\'{\i}}n Riscos{-}N{\'{u}}{\~{n}}ez and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}, title = {{WEBRSIM:} {A} Web-Based Reaction Systems Simulator}, booktitle = {Enjoying Natural Computing - Essays Dedicated to Mario de Jes{\'{u}}s P{\'{e}}rez-Jim{\'{e}}nez on the Occasion of His 70th Birthday}, series = {Lecture Notes in Computer Science}, volume = {11270}, pages = {170--181}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-00265-7\_14}, doi = {10.1007/978-3-030-00265-7\_14}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/bib/conf/birthday/0001RAP18}, 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 = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/bib/conf/mcu/AlhazovF018}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/membrane/AlhazovFIV18, author = {Artiom Alhazov and Rudolf Freund and Sergiu Ivanov and Sergey Verlan}, editor = {Thomas Hinze and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron}, title = {Tissue {P} Systems with Point Mutation Rules}, booktitle = {Membrane Computing - 19th International Conference, {CMC} 2018, Dresden, Germany, September 4-7, 2018, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11399}, pages = {33--56}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-12797-8\_4}, doi = {10.1007/978-3-030-12797-8\_4}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/bib/conf/membrane/AlhazovFIV18}, 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 = {Tue, 14 May 2019 10:00:35 +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, 21 Nov 2018 00:00:00 +0100}, 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 = {Fri, 02 Nov 2018 09:39:36 +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 = {Tue, 14 May 2019 10:00:47 +0200}, 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 = {Wed, 12 Sep 2018 01:00: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 = {Tue, 14 May 2019 10:00:48 +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 = {Tue, 14 May 2019 10:00:48 +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, 21 Nov 2018 00:00:00 +0100}, 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 = {Wed, 22 May 2019 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, 14 May 2019 10:00:51 +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 = {Tue, 14 May 2019 10:00:47 +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 = {Tue, 14 May 2019 10:00:35 +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 = {Tue, 14 May 2019 10:00:55 +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 = {Tue, 14 May 2019 10:00:48 +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 = {Tue, 14 May 2019 10:00:47 +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 = {Tue, 14 May 2019 10:00:35 +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 = {Wed, 12 Sep 2018 01:05:13 +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 = {Wed, 22 May 2019 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 = {Tue, 14 May 2019 10:00:48 +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 = {Wed, 22 May 2019 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 = {Wed, 22 May 2019 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 = {Tue, 14 May 2019 10:00:48 +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 = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/bib/conf/membrane/AlhazovIR10}, bibsource = {dblp computer science bibliography, https://dblp.org} }