diff --git a/bib/sivanov.bib b/bib/sivanov.bib index c3cd470..3358634 100644 --- a/bib/sivanov.bib +++ b/bib/sivanov.bib @@ -1,1342 +1,1362 @@ +@article{DBLP:journals/corr/abs-2303-00110, + author = {Artiom Alhazov and + Vincent Ferrari{-}Dominguez and + Rudolf Freund and + Nicolas Glade and + Sergiu Ivanov}, + title = {A {P} Systems Variant for Reasoning about Sequential Controllability + of Boolean Networks}, + journal = {CoRR}, + volume = {abs/2303.00110}, + year = {2023}, + url = {https://doi.org/10.48550/arXiv.2303.00110}, + doi = {10.48550/arXiv.2303.00110}, + eprinttype = {arXiv}, + eprint = {2303.00110}, + timestamp = {Mon, 06 Mar 2023 00:00:00 +0100}, + biburl = {https://dblp.org/rec/journals/corr/abs-2303-00110.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + @article{DBLP:journals/ijfcs/AlhazovFIV22, - author = {Artiom Alhazov and - Rudolf Freund and - Sergiu Ivanov and - Sergey Verlan}, - title = {Tissue {P} Systems with Vesicles of Multisets}, - journal = {Int. J. Found. Comput. Sci.}, - volume = {33}, - number = {3{\&}4}, - pages = {179--202}, - year = {2022}, - url = {https://doi.org/10.1142/S0129054122410015}, - doi = {10.1142/S0129054122410015}, - timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, - biburl = {https://dblp.org/rec/journals/ijfcs/AlhazovFIV22.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + author = {Artiom Alhazov and + Rudolf Freund and + Sergiu Ivanov and + Sergey Verlan}, + title = {Tissue {P} Systems with Vesicles of Multisets}, + journal = {Int. J. Found. Comput. Sci.}, + volume = {33}, + number = {3{\&}4}, + pages = {179--202}, + year = {2022}, + url = {https://doi.org/10.1142/S0129054122410015}, + doi = {10.1142/S0129054122410015}, + timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, + biburl = {https://dblp.org/rec/journals/ijfcs/AlhazovFIV22.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/jalc/AlhazovF0V22, - author = {Artiom Alhazov and - Rudolf Freund and - Sergiu Ivanov and - Sergey Verlan}, - title = {Regulated Insertion-Deletion Systems}, - journal = {J. Autom. Lang. Comb.}, - volume = {27}, - number = {1-3}, - pages = {15--45}, - year = {2022}, - url = {https://doi.org/10.25596/jalc-2022-015}, - doi = {10.25596/jalc-2022-015}, - timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, - biburl = {https://dblp.org/rec/journals/jalc/AlhazovF0V22.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + author = {Artiom Alhazov and + Rudolf Freund and + Sergiu Ivanov and + Sergey Verlan}, + title = {Regulated Insertion-Deletion Systems}, + journal = {J. Autom. Lang. Comb.}, + volume = {27}, + number = {1-3}, + pages = {15--45}, + year = {2022}, + url = {https://doi.org/10.25596/jalc-2022-015}, + doi = {10.25596/jalc-2022-015}, + timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, + biburl = {https://dblp.org/rec/journals/jalc/AlhazovF0V22.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/tcs/AlhazovFIO22, - author = {Artiom Alhazov and - Rudolf Freund and - Sergiu Ivanov and - Marion Oswald}, - title = {Variants of derivation modes for which purely catalytic {P} systems - are computationally complete}, - journal = {Theor. Comput. Sci.}, - volume = {920}, - pages = {95--112}, - year = {2022}, - url = {https://doi.org/10.1016/j.tcs.2022.03.007}, - doi = {10.1016/j.tcs.2022.03.007}, - timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, - biburl = {https://dblp.org/rec/journals/tcs/AlhazovFIO22.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + author = {Artiom Alhazov and + Rudolf Freund and + Sergiu Ivanov and + Marion Oswald}, + title = {Variants of derivation modes for which purely catalytic {P} systems + are computationally complete}, + journal = {Theor. Comput. Sci.}, + volume = {920}, + pages = {95--112}, + year = {2022}, + url = {https://doi.org/10.1016/j.tcs.2022.03.007}, + doi = {10.1016/j.tcs.2022.03.007}, + timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, + biburl = {https://dblp.org/rec/journals/tcs/AlhazovFIO22.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/mcu/AlhazovFIV22, - author = {Artiom Alhazov and - Rudolf Freund and - Sergiu Ivanov and - Sergey Verlan}, - editor = {J{\'{e}}r{\^{o}}me Durand{-}Lose and - Gy{\"{o}}rgy Vaszil}, - title = {Prescribed Teams of Rules Working on Several Objects}, - booktitle = {Machines, Computations, and Universality - 9th International Conference, - {MCU} 2022, Debrecen, Hungary, August 31 - September 2, 2022, Proceedings}, - series = {Lecture Notes in Computer Science}, - volume = {13419}, - pages = {27--41}, - publisher = {Springer}, - year = {2022}, - url = {https://doi.org/10.1007/978-3-031-13502-6\_6}, - doi = {10.1007/978-3-031-13502-6\_6}, - timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, - biburl = {https://dblp.org/rec/conf/mcu/AlhazovFIV22.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + author = {Artiom Alhazov and + Rudolf Freund and + Sergiu Ivanov and + Sergey Verlan}, + editor = {J{\'{e}}r{\^{o}}me Durand{-}Lose and + Gy{\"{o}}rgy Vaszil}, + title = {Prescribed Teams of Rules Working on Several Objects}, + booktitle = {Machines, Computations, and Universality - 9th International Conference, + {MCU} 2022, Debrecen, Hungary, August 31 - September 2, 2022, Proceedings}, + series = {Lecture Notes in Computer Science}, + volume = {13419}, + pages = {27--41}, + publisher = {Springer}, + year = {2022}, + url = {https://doi.org/10.1007/978-3-031-13502-6\_6}, + doi = {10.1007/978-3-031-13502-6\_6}, + timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, + biburl = {https://dblp.org/rec/conf/mcu/AlhazovFIV22.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:journals/corr/abs-2208-14723, - author = {Artiom Alhazov and - Rudolf Freund and - Sergiu Ivanov}, - editor = {Henning Bordihn and - G{\'{e}}za Horv{\'{a}}th and - Gy{\"{o}}rgy Vaszil}, - title = {P versus {B:} {P} Systems as a Formal Framework for Controllability - of Boolean Networks}, - booktitle = {Proceedings 12th International Workshop on Non-Classical Models of - Automata and Applications, {NCMA} 2022, Debrecen, Hungary, August - 26-27, 2022}, - series = {{EPTCS}}, - volume = {367}, - pages = {28--48}, - year = {2022}, - url = {https://doi.org/10.4204/EPTCS.367.3}, - doi = {10.4204/EPTCS.367.3}, - timestamp = {Sat, 15 Oct 2022 11:57:01 +0200}, - biburl = {https://dblp.org/rec/journals/corr/abs-2208-14723.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + author = {Artiom Alhazov and + Rudolf Freund and + Sergiu Ivanov}, + editor = {Henning Bordihn and + G{\'{e}}za Horv{\'{a}}th and + Gy{\"{o}}rgy Vaszil}, + title = {P versus {B:} {P} Systems as a Formal Framework for Controllability + of Boolean Networks}, + booktitle = {Proceedings 12th International Workshop on Non-Classical Models of + Automata and Applications, {NCMA} 2022, Debrecen, Hungary, August + 26-27, 2022}, + series = {{EPTCS}}, + volume = {367}, + pages = {28--48}, + year = {2022}, + url = {https://doi.org/10.4204/EPTCS.367.3}, + doi = {10.4204/EPTCS.367.3}, + timestamp = {Sat, 15 Oct 2022 11:57:01 +0200}, + biburl = {https://dblp.org/rec/journals/corr/abs-2208-14723.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/fuin/AlhazovFIO21, - author = {Artiom Alhazov and - Rudolf Freund and - Sergiu Ivanov and - Marion Oswald}, - title = {Relations between Control Mechanisms for Sequential Grammars}, - journal = {Fundam. Informaticae}, - volume = {181}, - number = {2-3}, - pages = {239--271}, - year = {2021}, - url = {https://doi.org/10.3233/FI-2021-2058}, - doi = {10.3233/FI-2021-2058}, - timestamp = {Tue, 14 Sep 2021 01:00:00 +0200}, - biburl = {https://dblp.org/rec/journals/fuin/AlhazovFIO21.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + author = {Artiom Alhazov and + Rudolf Freund and + Sergiu Ivanov and + Marion Oswald}, + title = {Relations between Control Mechanisms for Sequential Grammars}, + journal = {Fundam. Informaticae}, + volume = {181}, + number = {2-3}, + pages = {239--271}, + year = {2021}, + url = {https://doi.org/10.3233/FI-2021-2058}, + doi = {10.3233/FI-2021-2058}, + timestamp = {Tue, 14 Sep 2021 01:00:00 +0200}, + biburl = {https://dblp.org/rec/journals/fuin/AlhazovFIO21.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/jmemcom/AlhazovF021, - author = {Artiom Alhazov and - Rudolf Freund and - Sergiu Ivanov}, - title = {P systems with limited number of objects}, - journal = {J. Membr. Comput.}, - volume = {3}, - number = {1}, - pages = {1--9}, - year = {2021}, - url = {https://doi.org/10.1007/s41965-020-00068-6}, - doi = {10.1007/s41965-020-00068-6}, - timestamp = {Fri, 14 May 2021 01:00:00 +0200}, - biburl = {https://dblp.org/rec/journals/jmemcom/AlhazovF021.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + author = {Artiom Alhazov and + Rudolf Freund and + Sergiu Ivanov}, + title = {P systems with limited number of objects}, + journal = {J. Membr. Comput.}, + volume = {3}, + number = {1}, + pages = {1--9}, + year = {2021}, + url = {https://doi.org/10.1007/s41965-020-00068-6}, + doi = {10.1007/s41965-020-00068-6}, + timestamp = {Fri, 14 May 2021 01:00:00 +0200}, + biburl = {https://dblp.org/rec/journals/jmemcom/AlhazovF021.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/jmemcom/AlhazovFI21, - author = {Artiom Alhazov and - Rudolf Freund and - Sergiu Ivanov}, - title = {When catalytic {P} systems with one catalyst can be computationally - complete}, - journal = {J. Membr. Comput.}, - volume = {3}, - number = {3}, - pages = {170--181}, - year = {2021}, - url = {https://doi.org/10.1007/s41965-021-00079-x}, - doi = {10.1007/s41965-021-00079-x}, - timestamp = {Tue, 05 Oct 2021 01:00:00 +0200}, - biburl = {https://dblp.org/rec/journals/jmemcom/AlhazovFI21.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + author = {Artiom Alhazov and + Rudolf Freund and + Sergiu Ivanov}, + title = {When catalytic {P} systems with one catalyst can be computationally + complete}, + journal = {J. Membr. Comput.}, + volume = {3}, + number = {3}, + pages = {170--181}, + year = {2021}, + url = {https://doi.org/10.1007/s41965-021-00079-x}, + doi = {10.1007/s41965-021-00079-x}, + timestamp = {Tue, 05 Oct 2021 01:00:00 +0200}, + biburl = {https://dblp.org/rec/journals/jmemcom/AlhazovFI21.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/jmemcom/AlhazovFIV21, - author = {Artiom Alhazov and - Rudolf Freund and - Sergiu Ivanov and - Sergey Verlan}, - title = {Variants of derivation modes for which catalytic {P} systems with - one catalyst are computationally complete}, - journal = {J. Membr. Comput.}, - volume = {3}, - number = {4}, - pages = {233--245}, - year = {2021}, - url = {https://doi.org/10.1007/s41965-021-00085-z}, - doi = {10.1007/s41965-021-00085-z}, - timestamp = {Mon, 27 Dec 2021 00:00:00 +0100}, - biburl = {https://dblp.org/rec/journals/jmemcom/AlhazovFIV21.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + author = {Artiom Alhazov and + Rudolf Freund and + Sergiu Ivanov and + Sergey Verlan}, + title = {Variants of derivation modes for which catalytic {P} systems with + one catalyst are computationally complete}, + journal = {J. Membr. Comput.}, + volume = {3}, + number = {4}, + pages = {233--245}, + year = {2021}, + url = {https://doi.org/10.1007/s41965-021-00085-z}, + doi = {10.1007/s41965-021-00085-z}, + timestamp = {Mon, 27 Dec 2021 00:00:00 +0100}, + biburl = {https://dblp.org/rec/journals/jmemcom/AlhazovFIV21.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/nc/IvanovV21, - author = {Sergiu Ivanov and - Sergey Verlan}, - title = {Single semi-contextual insertion-deletion systems}, - journal = {Nat. Comput.}, - volume = {20}, - number = {4}, - pages = {703--712}, - year = {2021}, - url = {https://doi.org/10.1007/s11047-021-09861-3}, - doi = {10.1007/s11047-021-09861-3}, - timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, - biburl = {https://dblp.org/rec/journals/nc/IvanovV21.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + author = {Sergiu Ivanov and + Sergey Verlan}, + title = {Single semi-contextual insertion-deletion systems}, + journal = {Nat. Comput.}, + volume = {20}, + number = {4}, + pages = {703--712}, + year = {2021}, + url = {https://doi.org/10.1007/s11047-021-09861-3}, + doi = {10.1007/s11047-021-09861-3}, + timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, + biburl = {https://dblp.org/rec/journals/nc/IvanovV21.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/tcs/PardoID21, - author = {J{\'{e}}r{\'{e}}mie Pardo and - Sergiu Ivanov and - Franck Delaplace}, - title = {Sequential reprogramming of biological network fate}, - journal = {Theor. Comput. Sci.}, - volume = {872}, - pages = {97--116}, - year = {2021}, - url = {https://doi.org/10.1016/j.tcs.2021.03.013}, - doi = {10.1016/j.tcs.2021.03.013}, - timestamp = {Tue, 01 Jun 2021 01:00:00 +0200}, - biburl = {https://dblp.org/rec/journals/tcs/PardoID21.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + author = {J{\'{e}}r{\'{e}}mie Pardo and + Sergiu Ivanov and + Franck Delaplace}, + title = {Sequential reprogramming of biological network fate}, + journal = {Theor. Comput. Sci.}, + volume = {872}, + pages = {97--116}, + year = {2021}, + url = {https://doi.org/10.1016/j.tcs.2021.03.013}, + doi = {10.1016/j.tcs.2021.03.013}, + timestamp = {Tue, 01 Jun 2021 01:00:00 +0200}, + biburl = {https://dblp.org/rec/journals/tcs/PardoID21.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/bibe/SegretainTG021, - author = {R{\'{e}}mi Segretain and - Laurent Trilling and - Nicolas Glade and - Sergiu Ivanov}, - title = {Who Plays Complex Music? On the Correlations Between Structural and - Behavioral Complexity Measures in Sign Boolean Networks}, - booktitle = {21st {IEEE} International Conference on Bioinformatics and Bioengineering, - {BIBE} 2021, Kragujevac, Serbia, October 25-27, 2021}, - pages = {1--6}, - publisher = {{IEEE}}, - year = {2021}, - url = {https://doi.org/10.1109/BIBE52308.2021.9635403}, - doi = {10.1109/BIBE52308.2021.9635403}, - timestamp = {Fri, 17 Dec 2021 08:28:48 +0100}, - biburl = {https://dblp.org/rec/conf/bibe/SegretainTG021.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + author = {R{\'{e}}mi Segretain and + Laurent Trilling and + Nicolas Glade and + Sergiu Ivanov}, + title = {Who Plays Complex Music? On the Correlations Between Structural and + Behavioral Complexity Measures in Sign Boolean Networks}, + booktitle = {21st {IEEE} International Conference on Bioinformatics and Bioengineering, + {BIBE} 2021, Kragujevac, Serbia, October 25-27, 2021}, + pages = {1--6}, + publisher = {{IEEE}}, + year = {2021}, + url = {https://doi.org/10.1109/BIBE52308.2021.9635403}, + doi = {10.1109/BIBE52308.2021.9635403}, + timestamp = {Fri, 17 Dec 2021 08:28:48 +0100}, + biburl = {https://dblp.org/rec/conf/bibe/SegretainTG021.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/corr/abs-2104-09206, - author = {Elio Nushi and - Victor{-}Bogdan Popescu and - Jos{\'{e}} {\'{A}}ngel S{\'{a}}nchez Mart{\'{\i}}n and - Sergiu Ivanov and - Eugen Czeizler and - Ion Petre}, - title = {Network modeling methods for precision medicine}, - journal = {CoRR}, - volume = {abs/2104.09206}, - year = {2021}, - url = {https://arxiv.org/abs/2104.09206}, - eprinttype = {arXiv}, - eprint = {2104.09206}, - timestamp = {Tue, 27 Apr 2021 01:00:00 +0200}, - biburl = {https://dblp.org/rec/journals/corr/abs-2104-09206.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + author = {Elio Nushi and + Victor{-}Bogdan Popescu and + Jos{\'{e}} {\'{A}}ngel S{\'{a}}nchez Mart{\'{\i}}n and + Sergiu Ivanov and + Eugen Czeizler and + Ion Petre}, + title = {Network modeling methods for precision medicine}, + journal = {CoRR}, + volume = {abs/2104.09206}, + year = {2021}, + url = {https://arxiv.org/abs/2104.09206}, + eprinttype = {arXiv}, + eprint = {2104.09206}, + timestamp = {Tue, 27 Apr 2021 01:00:00 +0200}, + biburl = {https://dblp.org/rec/journals/corr/abs-2104-09206.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/biosystems/DelaplaceI20, - author = {Franck Delaplace and - Sergiu Ivanov}, - title = {Bisimilar Booleanization of multivalued networks}, - journal = {Biosyst.}, - volume = {197}, - pages = {104205}, - year = {2020}, - url = {https://doi.org/10.1016/j.biosystems.2020.104205}, - doi = {10.1016/j.biosystems.2020.104205}, - timestamp = {Thu, 29 Apr 2021 01:00:00 +0200}, - biburl = {https://dblp.org/rec/journals/biosystems/DelaplaceI20.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + author = {Franck Delaplace and + Sergiu Ivanov}, + title = {Bisimilar Booleanization of multivalued networks}, + journal = {Biosyst.}, + volume = {197}, + pages = {104205}, + year = {2020}, + url = {https://doi.org/10.1016/j.biosystems.2020.104205}, + doi = {10.1016/j.biosystems.2020.104205}, + timestamp = {Thu, 29 Apr 2021 01:00:00 +0200}, + biburl = {https://dblp.org/rec/journals/biosystems/DelaplaceI20.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/jmemcom/IvanovP20, - author = {Sergiu Ivanov and - Ion Petre}, - title = {Controllability of reaction systems}, - journal = {J. Membr. Comput.}, - volume = {2}, - number = {4}, - pages = {290--302}, - year = {2020}, - url = {https://doi.org/10.1007/s41965-020-00055-x}, - doi = {10.1007/s41965-020-00055-x}, - timestamp = {Thu, 31 Dec 2020 00:00:00 +0100}, - biburl = {https://dblp.org/rec/journals/jmemcom/IvanovP20.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + author = {Sergiu Ivanov and + Ion Petre}, + title = {Controllability of reaction systems}, + journal = {J. Membr. Comput.}, + volume = {2}, + number = {4}, + pages = {290--302}, + year = {2020}, + url = {https://doi.org/10.1007/s41965-020-00055-x}, + doi = {10.1007/s41965-020-00055-x}, + timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, + biburl = {https://dblp.org/rec/journals/jmemcom/IvanovP20.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/jmemcom/VerlanFAIP20, - author = {Sergey Verlan and - Rudolf Freund and - Artiom Alhazov and - Sergiu Ivanov and - Linqiang Pan}, - title = {A formal framework for spiking neural {P} systems}, - journal = {J. Membr. Comput.}, - volume = {2}, - number = {4}, - pages = {355--368}, - year = {2020}, - url = {https://doi.org/10.1007/s41965-020-00050-2}, - doi = {10.1007/s41965-020-00050-2}, - timestamp = {Thu, 31 Dec 2020 00:00:00 +0100}, - biburl = {https://dblp.org/rec/journals/jmemcom/VerlanFAIP20.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + author = {Sergey Verlan and + Rudolf Freund and + Artiom Alhazov and + Sergiu Ivanov and + Linqiang Pan}, + title = {A formal framework for spiking neural {P} systems}, + journal = {J. Membr. Comput.}, + volume = {2}, + number = {4}, + pages = {355--368}, + year = {2020}, + url = {https://doi.org/10.1007/s41965-020-00050-2}, + doi = {10.1007/s41965-020-00050-2}, + timestamp = {Thu, 31 Dec 2020 00:00:00 +0100}, + biburl = {https://dblp.org/rec/journals/jmemcom/VerlanFAIP20.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @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 = {Mon, 26 Oct 2020 00:00:00 +0100}, - biburl = {https://dblp.org/rec/journals/tcs/AlhazovFIPS20.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Mon, 26 Oct 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 = {Mon, 26 Oct 2020 00:00:00 +0100}, - biburl = {https://dblp.org/rec/journals/tcs/AlhazovFI20.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Mon, 26 Oct 2020 00:00:00 +0100}, + biburl = {https://dblp.org/rec/journals/tcs/AlhazovFI20.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/complexnetworks/Segretain0TG20, - author = {R{\'{e}}mi Segretain and - Sergiu Ivanov and - Laurent Trilling and - Nicolas Glade}, - editor = {Rosa M. Benito and - Chantal Cherifi and - Hocine Cherifi and - Esteban Moro and - Luis Mateus Rocha and - Marta Sales{-}Pardo}, - title = {A Methodology for Evaluating the Extensibility of Boolean Networks' - Structure and Function}, - booktitle = {Complex Networks {\&} Their Applications {IX} - Volume 2, Proceedings - of the Ninth International Conference on Complex Networks and Their - Applications, {COMPLEX} {NETWORKS} 2020, 1-3 December 2020, Madrid, - Spain}, - series = {Studies in Computational Intelligence}, - volume = {944}, - pages = {372--385}, - publisher = {Springer}, - year = {2020}, - url = {https://doi.org/10.1007/978-3-030-65351-4\_30}, - doi = {10.1007/978-3-030-65351-4\_30}, - timestamp = {Sun, 02 Oct 2022 15:57:51 +0200}, - biburl = {https://dblp.org/rec/conf/complexnetworks/Segretain0TG20.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + author = {R{\'{e}}mi Segretain and + Sergiu Ivanov and + Laurent Trilling and + Nicolas Glade}, + editor = {Rosa M. Benito and + Chantal Cherifi and + Hocine Cherifi and + Esteban Moro and + Luis Mateus Rocha and + Marta Sales{-}Pardo}, + title = {A Methodology for Evaluating the Extensibility of Boolean Networks' + Structure and Function}, + booktitle = {Complex Networks {\&} Their Applications {IX} - Volume 2, Proceedings + of the Ninth International Conference on Complex Networks and Their + Applications, {COMPLEX} {NETWORKS} 2020, 1-3 December 2020, Madrid, + Spain}, + series = {Studies in Computational Intelligence}, + volume = {944}, + pages = {372--385}, + publisher = {Springer}, + year = {2020}, + url = {https://doi.org/10.1007/978-3-030-65351-4\_30}, + doi = {10.1007/978-3-030-65351-4\_30}, + timestamp = {Sun, 02 Oct 2022 15:57:51 +0200}, + biburl = {https://dblp.org/rec/conf/complexnetworks/Segretain0TG20.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}, - eprinttype = {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} + 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}, + eprinttype = {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}, - eprinttype = {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} + 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}, + eprinttype = {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 = {Mon, 26 Oct 2020 00:00:00 +0100}, - biburl = {https://dblp.org/rec/journals/nc/AlhazovFI19.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Mon, 26 Oct 2020 00:00:00 +0100}, + 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} + 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} + 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 = {Mon, 26 Oct 2020 00:00:00 +0100}, - biburl = {https://dblp.org/rec/journals/nc/AlhazovFIOV18.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Mon, 26 Oct 2020 00:00:00 +0100}, + 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 = {Sat, 09 Apr 2022 01:00:00 +0200}, - biburl = {https://dblp.org/rec/conf/birthday/AlhazovF0OV18.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Sat, 09 Apr 2022 01:00:00 +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} + 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 = {Tue, 21 Mar 2023 00:00:00 +0100}, + 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 = {Sun, 02 Oct 2022 16:11:26 +0200}, - biburl = {https://dblp.org/rec/conf/mcu/AlhazovF018.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Sun, 02 Oct 2022 16:11:26 +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} + 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 = {Sun, 02 Oct 2022 16:16:37 +0200}, - biburl = {https://dblp.org/rec/conf/uc/AlhazovF018.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Sun, 02 Oct 2022 16:16:37 +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 = {Mon, 26 Oct 2020 00:00:00 +0100}, - biburl = {https://dblp.org/rec/journals/fuin/IvanovV17.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Mon, 26 Oct 2020 00:00:00 +0100}, + 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} + 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 = {Mon, 26 Oct 2020 00:00:00 +0100}, - biburl = {https://dblp.org/rec/journals/tcs/AlhazovFFISS17.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Tue, 21 Mar 2023 00:00:00 +0100}, + 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 J. 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, 29 Oct 2020 00:00:00 +0100}, - biburl = {https://dblp.org/rec/conf/complexnetworks/VuongCIGT17.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + author = {Quoc{-}Trung Vuong and + Roselyne J. 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, 29 Oct 2020 00:00:00 +0100}, + 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 = {Sun, 25 Oct 2020 01:00:00 +0200}, - biburl = {https://dblp.org/rec/conf/membrane/AlhazovF017.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Sun, 25 Oct 2020 01:00:00 +0200}, + 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 = {Mon, 26 Oct 2020 00:00:00 +0100}, - biburl = {https://dblp.org/rec/journals/corr/abs-1708-06458.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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, 26 Oct 2020 00:00:00 +0100}, + 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} + 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} + 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 = {Wed, 17 Feb 2021 00:00:00 +0100}, - biburl = {https://dblp.org/rec/journals/tcs/AzimiG0MPP16.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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, 17 Feb 2021 00:00:00 +0100}, + 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 = {Sun, 02 Oct 2022 01:00:00 +0200}, - biburl = {https://dblp.org/rec/conf/membrane/AlhazovAF016.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Sun, 02 Oct 2022 01:00:00 +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 = {Sun, 25 Oct 2020 01:00:00 +0200}, - biburl = {https://dblp.org/rec/conf/membrane/AlhazovBF0PZ16.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Sun, 25 Oct 2020 01:00:00 +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} + 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} + 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} + 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 = {Mon, 26 Oct 2020 00:00:00 +0100}, - biburl = {https://dblp.org/rec/journals/fuin/0001V15.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Mon, 26 Oct 2020 00:00:00 +0100}, + 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 = {Wed, 17 Feb 2021 00:00:00 +0100}, - biburl = {https://dblp.org/rec/journals/tcs/AzimiGIP15.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Wed, 17 Feb 2021 00:00:00 +0100}, + 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 = {Sun, 25 Oct 2020 01:00:00 +0200}, - biburl = {https://dblp.org/rec/conf/mcu/0001V15.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Sun, 25 Oct 2020 01:00:00 +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 = {Sun, 25 Oct 2020 23:18:19 +0100}, - biburl = {https://dblp.org/rec/conf/membrane/Freund0V15.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Sun, 25 Oct 2020 23:18:19 +0100}, + 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} + 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 = {Mon, 26 Oct 2020 00:00:00 +0100}, - biburl = {https://dblp.org/rec/journals/fuin/AlhazovF014.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Mon, 26 Oct 2020 00:00:00 +0100}, + 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} + 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 = {Sun, 25 Oct 2020 01:00:00 +0200}, - biburl = {https://dblp.org/rec/conf/dcfs/0001PV14.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Sun, 25 Oct 2020 01:00:00 +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 = {Thu, 14 Oct 2021 10:45:48 +0200}, - biburl = {https://dblp.org/rec/conf/membrane/Ivanov14.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Thu, 14 Oct 2021 10:45:48 +0200}, + 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} + 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 = {Sat, 09 Apr 2022 01:00:00 +0200}, - biburl = {https://dblp.org/rec/conf/membrane/IvanovV13.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Sat, 09 Apr 2022 01:00:00 +0200}, + 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 = {Sat, 09 Apr 2022 12:39:24 +0200}, - biburl = {https://dblp.org/rec/conf/uc/FernauFISS13.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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, 21 Mar 2023 00:00:00 +0100}, + 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} + 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}, - eprinttype = {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} + 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}, + eprinttype = {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} + 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 = {Mon, 26 Oct 2020 00:00:00 +0100}, - biburl = {https://dblp.org/rec/journals/ijncr/IvanovARG11.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Mon, 26 Oct 2020 00:00:00 +0100}, + 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} + 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}, - eprinttype = {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} + 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}, + eprinttype = {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} + 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} + 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 = {Mon, 03 Jan 2022 22:42:19 +0100}, - biburl = {https://dblp.org/rec/conf/membrane/AlhazovCIR10.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Mon, 03 Jan 2022 22:42:19 +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 = {Sun, 25 Oct 2020 01:00:00 +0200}, - biburl = {https://dblp.org/rec/conf/membrane/AlhazovIR10.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org} + 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 = {Sun, 25 Oct 2020 01:00:00 +0200}, + biburl = {https://dblp.org/rec/conf/membrane/AlhazovIR10.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} }