dossier-complet/bib/sivanov.bib
2020-09-20 21:27:41 +02:00

1022 lines
40 KiB
BibTeX

@article{DBLP:journals/tcs/AlhazovFIPS20,
author = {Artiom Alhazov and
Rudolf Freund and
Sergiu Ivanov and
Linqiang Pan and
Bosheng Song},
title = {Time-freeness and clock-freeness and related concepts in {P} systems},
journal = {Theor. Comput. Sci.},
volume = {805},
pages = {127--143},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2018.09.009},
doi = {10.1016/j.tcs.2018.09.009},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlhazovFIPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlhazovFI20,
author = {Artiom Alhazov and
Rudolf Freund and
Sergiu Ivanov},
title = {P systems with randomized right-hand sides of rules},
journal = {Theor. Comput. Sci.},
volume = {805},
pages = {144--160},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2018.07.016},
doi = {10.1016/j.tcs.2018.07.016},
timestamp = {Tue, 07 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlhazovFI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-07371,
author = {Franck Delaplace and
Sergiu Ivanov},
title = {Bisimilar Conversion of Multi-valued Networks to Boolean Networks},
journal = {CoRR},
volume = {abs/2001.07371},
year = {2020},
url = {https://arxiv.org/abs/2001.07371},
archivePrefix = {arXiv},
eprint = {2001.07371},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-07371.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-09461,
author = {Sergiu Ivanov and
Ion Petre},
title = {Controllability of reaction systems},
journal = {CoRR},
volume = {abs/2007.09461},
year = {2020},
url = {https://arxiv.org/abs/2007.09461},
archivePrefix = {arXiv},
eprint = {2007.09461},
timestamp = {Tue, 28 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-09461.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/AlhazovFI19,
author = {Artiom Alhazov and
Rudolf Freund and
Sergiu Ivanov},
title = {Variants of {P} systems with activation and blocking of rules},
journal = {Nat. Comput.},
volume = {18},
number = {3},
pages = {593--608},
year = {2019},
url = {https://doi.org/10.1007/s11047-019-09747-5},
doi = {10.1007/s11047-019-09747-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/AlhazovFI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/PardoID19,
author = {J{\'{e}}r{\'{e}}mie Pardo and
Sergiu Ivanov and
Franck Delaplace},
editor = {Luca Bortolussi and
Guido Sanguinetti},
title = {Sequential Reprogramming of Biological Network Fate},
booktitle = {Computational Methods in Systems Biology - 17th International Conference,
{CMSB} 2019, Trieste, Italy, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11773},
pages = {20--41},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31304-3\_2},
doi = {10.1007/978-3-030-31304-3\_2},
timestamp = {Thu, 19 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/PardoID19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ncma/AlhazovF019,
author = {Artiom Alhazov and
Rudolf Freund and
Sergiu Ivanov},
editor = {Rudolf Freund and
Markus Holzer and
Jos{\'{e}} M. Sempere},
title = {Register machines over groups},
booktitle = {Eleventh Workshop on Non-Classical Models of Automata and Applications,
{NCMA} 2019, Valencia, Spain, July 2-3, 2019},
pages = {31--46},
publisher = {{\"{O}}sterreichische Computer Gesellschaft},
year = {2019},
timestamp = {Wed, 10 Jul 2019 15:03:38 +0200},
biburl = {https://dblp.org/rec/conf/ncma/AlhazovF019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Nat. Comput.},
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 = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/AlhazovFIOV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlhazovF0OV18,
author = {Artiom Alhazov and
Rudolf Freund and
Sergiu Ivanov and
Marion Oswald and
Sergey Verlan},
editor = {Carmen Graciani D{\'{\i}}az and
Agust{\'{\i}}n Riscos{-}N{\'{u}}{\~{n}}ez and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Chocolate {P} Automata},
booktitle = {Enjoying Natural Computing - Essays Dedicated to Mario de Jes{\'{u}}s
P{\'{e}}rez-Jim{\'{e}}nez on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11270},
pages = {1--20},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00265-7\_1},
doi = {10.1007/978-3-030-00265-7\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AlhazovF0OV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/0001RAP18,
author = {Sergiu Ivanov and
Vladimir Rogojin and
Sepinoud Azimi and
Ion Petre},
editor = {Carmen Graciani D{\'{\i}}az and
Agust{\'{\i}}n Riscos{-}N{\'{u}}{\~{n}}ez and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {{WEBRSIM:} {A} Web-Based Reaction Systems Simulator},
booktitle = {Enjoying Natural Computing - Essays Dedicated to Mario de Jes{\'{u}}s
P{\'{e}}rez-Jim{\'{e}}nez on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11270},
pages = {170--181},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00265-7\_14},
doi = {10.1007/978-3-030-00265-7\_14},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/0001RAP18.bib},
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 = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mcu/AlhazovF018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/AlhazovFIV18,
author = {Artiom Alhazov and
Rudolf Freund and
Sergiu Ivanov and
Sergey Verlan},
editor = {Thomas Hinze and
Grzegorz Rozenberg and
Arto Salomaa and
Claudio Zandron},
title = {Tissue {P} Systems with Point Mutation Rules},
booktitle = {Membrane Computing - 19th International Conference, {CMC} 2018, Dresden,
Germany, September 4-7, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11399},
pages = {33--56},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-12797-8\_4},
doi = {10.1007/978-3-030-12797-8\_4},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AlhazovFIV18.bib},
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 = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/uc/AlhazovF018.bib},
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. Informaticae},
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 = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/IvanovV17.bib},
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 Comput. Sci.},
volume = {3},
pages = {e103},
year = {2017},
url = {https://doi.org/10.7717/peerj-cs.103},
doi = {10.7717/peerj-cs.103},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/peerj-cs/MeurerSPCKRKIMS17.bib},
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/journals/tcs/AlhazovFFISS17.bib},
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 = {Sat, 19 Oct 2019 20:11:51 +0200},
biburl = {https://dblp.org/rec/conf/complexnetworks/VuongCIGT17.bib},
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 = {Fri, 28 Feb 2020 19:27:04 +0100},
biburl = {https://dblp.org/rec/conf/membrane/AlhazovF017.bib},
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 = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-06458.bib},
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 = {Int. J. Unconv. Comput.},
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 = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijuc/FreundIS16.bib},
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 = {J. Autom. Lang. Comb.},
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 = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/Alhazov0PV16.bib},
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 = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AzimiG0MPP16.bib},
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 = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AlhazovAF016.bib},
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 = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/membrane/AlhazovBF0PZ16.bib},
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 Prepr.},
volume = {4},
pages = {e2083},
year = {2016},
url = {https://doi.org/10.7287/peerj.preprints.2083v2},
doi = {10.7287/peerj.preprints.2083v2},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/peerjpre/MeurerSPCRK0MSR16.bib},
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 = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Ivanov15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csjm/000115,
author = {Sergiu Ivanov},
title = {Annotation on PhD Thesis},
journal = {Comput. Sci. J. Moldova},
volume = {23},
number = {3},
pages = {386--388},
year = {2015},
url = {http://www.math.md/publications/csjm/issues/v23-n3/11989/},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csjm/000115.bib},
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. Informaticae},
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 = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/0001V15.bib},
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 = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AzimiGIP15.bib},
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, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mcu/0001V15.bib},
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 = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/membrane/Freund0V15.bib},
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 = {Wed, 25 Sep 2019 18:09:19 +0200},
biburl = {https://dblp.org/rec/conf/uc/Freund0S15.bib},
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. Informaticae},
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 = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AlhazovF014.bib},
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 = {J. Autom. Lang. Comb.},
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 = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/0001RV14.bib},
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 = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/0001PV14.bib},
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, 28 Feb 2020 19:27:04 +0100},
biburl = {https://dblp.org/rec/conf/membrane/Ivanov14.bib},
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/journals/ijcm/Ivanov13.bib},
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, 28 Feb 2020 19:27:04 +0100},
biburl = {https://dblp.org/rec/conf/membrane/IvanovV13.bib},
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 = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/uc/FernauFISS13.bib},
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 = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/FreundIOS13.bib},
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/journals/corr/IvanovPV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csjm/Ivanov12,
author = {Sergiu Ivanov},
title = {Static and Dynamic Membrane Structures},
journal = {Comput. Sci. J. Moldova},
volume = {20},
number = {3},
pages = {374--402},
year = {2012},
url = {http://www.math.md/publications/csjm/issues/v20-n3/11125/},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csjm/Ivanov12.bib},
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 = {Int. J. Nat. Comput. Res.},
volume = {2},
number = {2},
pages = {56--66},
year = {2011},
url = {https://doi.org/10.4018/jncr.2011040105},
doi = {10.4018/jncr.2011040105},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijncr/IvanovARG11.bib},
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, 28 Feb 2020 19:27:03 +0100},
biburl = {https://dblp.org/rec/conf/membrane/Ivanov11.bib},
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/journals/corr/abs-1112-5947.bib},
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 = {Comput. Sci. J. Moldova},
volume = {18},
number = {2},
pages = {101--138},
year = {2010},
url = {http://www.math.md/publications/csjm/issues/v18-n2/10280/},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csjm/AlhazovBBCCCDIMMMRRTVV10.bib},
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 = {Comput. Sci. J. Moldova},
volume = {18},
number = {2},
pages = {139--148},
year = {2010},
url = {http://www.math.md/publications/csjm/issues/v18-n2/10282/},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csjm/AlhazovCIR10.bib},
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, 28 Feb 2020 19:27:04 +0100},
biburl = {https://dblp.org/rec/conf/membrane/AlhazovCIR10.bib},
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, 28 Feb 2020 19:27:04 +0100},
biburl = {https://dblp.org/rec/conf/membrane/AlhazovIR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}