404 lines
15 KiB
BibTeX
404 lines
15 KiB
BibTeX
|
|
@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}
|
|
}
|
|
|