459 lines
18 KiB
BibTeX
459 lines
18 KiB
BibTeX
@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 = {http://dx.doi.org/10.1016/j.tcs.2015.11.040},
|
|
doi = {10.1016/j.tcs.2015.11.040},
|
|
timestamp = {Wed, 30 Mar 2016 01:00:00 +0200},
|
|
biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/AzimiG0MPP16},
|
|
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 = {Fundam. Inform.},
|
|
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/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 = {http://dx.doi.org/10.1016/j.tcs.2015.02.014},
|
|
doi = {10.1016/j.tcs.2015.02.014},
|
|
timestamp = {Fri, 18 Sep 2015 01:00:00 +0200},
|
|
biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/AzimiGIP15},
|
|
bibsource = {dblp computer science bibliography, http://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 = {http://dx.doi.org/10.1007/978-3-319-23111-2_6},
|
|
doi = {10.1007/978-3-319-23111-2_6},
|
|
timestamp = {Sun, 30 Aug 2015 12:51:09 +0200},
|
|
biburl = {http://dblp.uni-trier.de/rec/bib/conf/mcu/0001V15},
|
|
bibsource = {dblp computer science bibliography, http://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 = {http://dx.doi.org/10.1007/978-3-319-28475-0_9},
|
|
doi = {10.1007/978-3-319-28475-0_9},
|
|
timestamp = {Tue, 05 Jan 2016 12:44:12 +0100},
|
|
biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/Freund0V15},
|
|
bibsource = {dblp computer science bibliography, http://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 = {http://dx.doi.org/10.1007/978-3-319-21819-9_12},
|
|
doi = {10.1007/978-3-319-21819-9_12},
|
|
timestamp = {Fri, 07 Aug 2015 09:19:26 +0200},
|
|
biburl = {http://dblp.uni-trier.de/rec/bib/conf/uc/Freund0S15},
|
|
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 = {Fundam. Inform.},
|
|
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/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}
|
|
}
|
|
|
|
@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 = {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}
|
|
}
|
|
|
|
@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 = {http://dx.doi.org/10.1007/978-3-319-14370-5_16},
|
|
doi = {10.1007/978-3-319-14370-5_16},
|
|
timestamp = {Fri, 22 May 2015 01:00:00 +0200},
|
|
biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/Ivanov14},
|
|
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 = {Int. J. Comput. Math.},
|
|
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}
|
|
}
|
|
|
|
@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 = {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/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 = {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: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 = {http://dx.doi.org/10.4204/EPTCS.128.14},
|
|
doi = {10.4204/EPTCS.128.14},
|
|
timestamp = {Thu, 03 Sep 2015 11:21:30 +0200},
|
|
biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/FreundIOS13},
|
|
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}
|
|
}
|
|
|
|
@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/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 = {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}
|
|
}
|
|
|
|
@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 = {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}
|
|
}
|
|
|
|
@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}
|
|
}
|
|
|
|
@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 = {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/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 = {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}
|
|
}
|
|
|