@inproceedings{DBLP:journals/corr/FreundIOS13, author = {Rudolf Freund and Sergiu Ivanov and Marion Oswald and K. G. Subramanian}, 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.}, pages = {62--75}, year = {2013}, crossref = {DBLP:journals/corr/NearyC13}, url = {http://dx.doi.org/10.4204/EPTCS.128.14}, doi = {10.4204/EPTCS.128.14}, timestamp = {Tue, 06 May 2014 01:00:00 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/FreundIOS13}, 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}, 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}, pages = {67--78}, year = {2013}, crossref = {DBLP:conf/uc/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:conf/membrane/IvanovV13, author = {Sergiu Ivanov and Sergey Verlan}, 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}, pages = {225--237}, year = {2013}, crossref = {DBLP:conf/membrane/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/membrane/Ivanov11, author = {Sergiu Ivanov}, 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}, pages = {226--242}, year = {2011}, crossref = {DBLP:conf/membrane/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} } @inproceedings{DBLP:conf/membrane/AlhazovIR10, author = {Artiom Alhazov and Sergiu Ivanov and Yurii Rogozhin}, title = {Polymorphic {P} Systems}, booktitle = {Membrane Computing - 11th International Conference, {CMC} 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers}, pages = {81--94}, year = {2010}, crossref = {DBLP:conf/membrane/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} } @inproceedings{DBLP:conf/membrane/AlhazovCIR10, author = {Artiom Alhazov and Constantin Ciubotaru and Sergiu Ivanov and Yurii Rogozhin}, 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}, pages = {65--80}, year = {2010}, crossref = {DBLP:conf/membrane/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/dcfs/0001PV14, author = {Sergiu Ivanov and Elisabeth Pelz and Sergey Verlan}, 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}, pages = {186--197}, year = {2014}, crossref = {DBLP:conf/dcfs/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} } @proceedings{DBLP:conf/dcfs/2014, editor = {Helmut J{\"{u}}rgensen and Juhani Karhum{\"{a}}ki and Alexander Okhotin}, title = {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}, publisher = {Springer}, year = {2014}, url = {http://dx.doi.org/10.1007/978-3-319-09704-6}, doi = {10.1007/978-3-319-09704-6}, isbn = {978-3-319-09703-9}, timestamp = {Mon, 14 Jul 2014 13:14:30 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/dcfs/2014}, bibsource = {dblp computer science bibliography, http://dblp.org} } @proceedings{DBLP:conf/membrane/2010, editor = {Marian Gheorghe and Thomas Hinze and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}, title = {Membrane Computing - 11th International Conference, {CMC} 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6501}, publisher = {Springer}, year = {2011}, url = {http://dx.doi.org/10.1007/978-3-642-18123-8}, doi = {10.1007/978-3-642-18123-8}, isbn = {978-3-642-18122-1}, timestamp = {Tue, 15 Feb 2011 15:21:25 +0100}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/2010}, bibsource = {dblp computer science bibliography, http://dblp.org} } @proceedings{DBLP:conf/membrane/2011, editor = {Marian Gheorghe and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa and Sergey Verlan}, title = {Membrane Computing - 12th International Conference, {CMC} 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7184}, publisher = {Springer}, year = {2012}, url = {http://dx.doi.org/10.1007/978-3-642-28024-5}, doi = {10.1007/978-3-642-28024-5}, isbn = {978-3-642-28023-8}, timestamp = {Fri, 13 Jan 2012 11:14:17 +0100}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/2011}, bibsource = {dblp computer science bibliography, http://dblp.org} } @proceedings{DBLP:conf/membrane/2013, editor = {Artiom Alhazov and Svetlana Cojocaru and Marian Gheorghe and Yurii Rogozhin and Grzegorz Rozenberg and Arto Salomaa}, title = {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}, publisher = {Springer}, year = {2014}, url = {http://dx.doi.org/10.1007/978-3-642-54239-8}, doi = {10.1007/978-3-642-54239-8}, isbn = {978-3-642-54238-1}, timestamp = {Tue, 21 Jan 2014 13:50:48 +0100}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/2013}, bibsource = {dblp computer science bibliography, http://dblp.org} } @proceedings{DBLP:conf/uc/2013, editor = {Giancarlo Mauri and Alberto Dennunzio and Luca Manzoni and Antonio E. Porreca}, title = {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}, publisher = {Springer}, year = {2013}, url = {http://dx.doi.org/10.1007/978-3-642-39074-6}, doi = {10.1007/978-3-642-39074-6}, isbn = {978-3-642-39073-9}, timestamp = {Tue, 04 Jun 2013 15:26:56 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/uc/2013}, 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} } @proceedings{DBLP:journals/corr/NearyC13, editor = {Turlough Neary and Matthew Cook}, title = {Proceedings Machines, Computations and Universality 2013, {MCU} 2013, Z{\"{u}}rich, Switzerland, September 9-11, 2013}, series = {{EPTCS}}, volume = {128}, year = {2013}, url = {http://dx.doi.org/10.4204/EPTCS.128}, doi = {10.4204/EPTCS.128}, timestamp = {Mon, 28 Oct 2013 16:56:55 +0100}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/NearyC13}, 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} } @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/fuin/0001V15, author = {Sergiu Ivanov and Sergey Verlan}, title = {Random Context and Semi-conditional Insertion-deletion Systems}, journal = {Fundamenta Informaticae}, 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} } @article{DBLP:journals/fuin/AlhazovF014, author = {Artiom Alhazov and Rudolf Freund and Sergiu Ivanov}, title = {Length {P} Systems}, journal = {Fundamenta Informaticae}, 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/ijcm/Ivanov13, author = {Sergiu Ivanov}, title = {A formal framework for clock-free networks of cells}, journal = {International Journal of Computer Mathematics}, 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} } @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 = {International Journal of Natural Computing Research}, 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} } @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} }