diff --git a/bib/sivanov.bib b/bib/sivanov.bib new file mode 100644 index 0000000..1c9098a --- /dev/null +++ b/bib/sivanov.bib @@ -0,0 +1,404 @@ + +@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} +} +