827 lines
32 KiB
BibTeX
827 lines
32 KiB
BibTeX
@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 = {Tue, 26 Jun 2018 01:00:00 +0200},
|
|
biburl = {https://dblp.org/rec/bib/journals/nc/AlhazovFIOV18},
|
|
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 = {Thu, 07 Jun 2018 19:29:19 +0200},
|
|
biburl = {https://dblp.org/rec/bib/conf/mcu/AlhazovF018},
|
|
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 = {Fri, 15 Jun 2018 12:03:50 +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, 15 Aug 2018 01:00:00 +0200},
|
|
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 = {Thu, 08 Feb 2018 00:00:00 +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 = {Thu, 04 Jan 2018 15:56:58 +0100},
|
|
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 = {Mon, 13 Aug 2018 16:49: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 = {Fri, 19 May 2017 01:25:07 +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 = {Fri, 19 May 2017 01:25:07 +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, 15 Aug 2018 01:00:00 +0200},
|
|
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 = {Fri, 02 Jun 2017 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, 23 May 2017 01:13:09 +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 = {Fri, 19 May 2017 01:25:07 +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 = {Mon, 05 Jun 2017 12:39:39 +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 = {Fri, 19 May 2017 01:25:25 +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 = {Fri, 19 May 2017 01:25:07 +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 = {Fri, 19 May 2017 01:25:07 +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 = {Thu, 15 Jun 2017 21:36:01 +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 = {Mon, 13 Aug 2018 16:46:51 +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 = {Tue, 06 May 2014 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 = {Fri, 19 May 2017 01:25:07 +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 = {Tue, 06 May 2014 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 = {Tue, 06 May 2014 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 = {Fri, 19 May 2017 01:25:07 +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 = {Fri, 19 May 2017 01:25:07 +0200},
|
|
biburl = {https://dblp.org/rec/bib/conf/membrane/AlhazovIR10},
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
|
}
|
|
|