From c8aeb79ab6189ef305ee8356c638597684c674c9 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Thu, 25 Jan 2024 17:45:40 +0100 Subject: [PATCH] Track both bibliography files. Should've done this ages ago :-/ --- bib/sivanov-dblp.bib | 1396 +++++++++++++++++++++++++++++++++++++++++ bib/sivanov-extra.bib | 89 +++ 2 files changed, 1485 insertions(+) create mode 100644 bib/sivanov-dblp.bib create mode 100644 bib/sivanov-extra.bib diff --git a/bib/sivanov-dblp.bib b/bib/sivanov-dblp.bib new file mode 100644 index 0000000..dfa6d53 --- /dev/null +++ b/bib/sivanov-dblp.bib @@ -0,0 +1,1396 @@ +@article{DBLP:journals/tcs/AlhazovFIV23, + author = {Artiom Alhazov and + Rudolf Freund and + Sergiu Ivanov and + Sergey Verlan}, + title = {Numerical networks of cells}, + journal = {Theor. Comput. Sci.}, + volume = {958}, + pages = {113873}, + year = {2023}, + url = {https://doi.org/10.1016/j.tcs.2023.113873}, + doi = {10.1016/J.TCS.2023.113873}, + timestamp = {Wed, 17 May 2023 01:00:00 +0200}, + biburl = {https://dblp.org/rec/journals/tcs/AlhazovFIV23.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@article{DBLP:journals/tcs/AlhazovFFGI23, + 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 = {Theor. Comput. Sci.}, + volume = {970}, + pages = {114056}, + year = {2023}, + url = {https://doi.org/10.1016/j.tcs.2023.114056}, + doi = {10.1016/J.TCS.2023.114056}, + timestamp = {Thu, 31 Aug 2023 01:00:00 +0200}, + biburl = {https://dblp.org/rec/journals/tcs/AlhazovFFGI23.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@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} +} + +@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} +} + +@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} +} + +@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} +} + +@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} +} + +@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} +} + +@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} +} + +@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} +} + +@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} +} + +@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} +} + +@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} +} + +@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} +} + +@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} +} + +@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} +} + +@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 = {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} +} + +@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} +} + +@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} +} + +@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} +} + +@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} +} + +@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} +} + +@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} +} + +@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 = {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} +} + +@article{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}, + journal = {Enjoying Natural Computing - Essays Dedicated to Mario de Jes{\'{u}}s + P{\'{e}}rez-Jim{\'{e}}nez on the Occasion of His 70th Birthday}, + volume = {Lecture Notes in Computer Science, vol. 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} +} + +@article{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}, + journal = {Enjoying Natural Computing - Essays Dedicated to Mario de Jes{\'{u}}s + P{\'{e}}rez-Jim{\'{e}}nez on the Occasion of His 70th Birthday}, + volume = {Lecture Notes in Computer Science, vol. 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} +} + +@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 = {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} +} + +@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 = {Sat, 30 Sep 2023 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 = {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} +} + +@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} +} + +@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} +} + +@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 = {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} +} + +@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} +} + +@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 = {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} +} + +@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} +} + +@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} +} + +@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 = {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} +} + +@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} +} + +@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} +} + +@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 = {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 = {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} +} + +@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} +} + +@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 = {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} +} + +@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} +} + +@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 = {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} +} + diff --git a/bib/sivanov-extra.bib b/bib/sivanov-extra.bib new file mode 100644 index 0000000..c7d7350 --- /dev/null +++ b/bib/sivanov-extra.bib @@ -0,0 +1,89 @@ +@inbook{doi:https://doi.org/10.1002/9781119716600.ch10, +author = {Nushi, Elio and Popescu, Victor-Bogdan and Sanchez Martin, Jose-Angel and Ivanov, Sergiu and Czeizler, Eugen and Petre, Ion}, +publisher = {John Wiley \& Sons, Ltd}, +isbn = {9781119716600}, +title = {Network Modelling Methods for Precision Medicine}, +booktitle = {Systems Biology Modelling and Analysis}, +chapter = {10}, +pages = {363-423}, +doi = {https://doi.org/10.1002/9781119716600.ch10}, +url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/9781119716600.ch10}, +year = {2022}, +keywords = {network medicine, computational modelling, precision medicine, drug repurposing, centrality measures, systems controllability, graph theory.}, +abstract = {Summary We discuss in this chapter several network modelling methods and their applicability to precision medicine. We review several network centrality methods (degree centrality, closeness centrality, eccentricity centrality, betweenness centrality, and eigenvector-based prestige) and two systems controllability methods (minimum dominating sets and network structural controllability). We demonstrate their applicability to precision medicine on three multiple myeloma patient disease networks. Each network consists of protein–protein interactions (PPI) built around a specific patient's mutated genes, around the targets of the drugs used in the standard of care in multiple myeloma, and around multiple myeloma-specific essential genes. For each network, we demonstrate how the network methods we discuss can be used to identify personalized, targeted drug combinations uniquely suited to that patient.} +} + +@techreport{AlhazovFI2016, +author={Artiom Alhazov and Rudolf Freund and Sergiu Ivanov}, +title={Polymorphic P Systems: A Survey}, +booktitle={Bulletin of the International Membrane Computing Society}, +pages={79--101}, +publisher={IMCS}, +volume={Number 2}, +year={2016} +} + +@article {Segretain2020.10.02.323949, + author = {Segretain, R{\'e}mi and Ivanov, Sergiu and Trilling, Laurent and Glade, Nicolas}, + title = {Implementation of a Computing Pipeline for Evaluating the Extensibility of Boolean Networks{\textquoteright} Structure and Function}, + elocation-id = {2020.10.02.323949}, + year = {2020}, + doi = {10.1101/2020.10.02.323949}, + publisher = {Cold Spring Harbor Laboratory}, + abstract = {Formal interaction networks are well suited for representing complex biological systems and have been used to model signalling pathways, gene regulatory networks, interaction within ecosystems, etc. In this paper, we introduce Sign Boolean Networks (SBNs), which are a uniform variant of Threshold Boolean Networks (TBFs). We continue the study of the complexity of SBNs and build a new framework for evaluating their ability to extend, i.e. the potential to gain new functions by addition of nodes, while also maintaining the original functions. We describe our software implementation of this framework and show some first results. These results seem to confirm the conjecture that networks of moderate complexity are the most able to grow, because they are not too simple, but also not too constrained, like the highly complex ones. Biological Regulation, Biological Networks, Sign Boolean Networks, Complexity, Extensibility, Network GrowthCompeting Interest StatementThe authors have declared no competing interest.}, + URL = {https://www.biorxiv.org/content/early/2020/10/05/2020.10.02.323949}, + eprint = {https://www.biorxiv.org/content/early/2020/10/05/2020.10.02.323949.full.pdf}, + journal = {bioRxiv} +} + +@article{C:AB20, +author = {Urvan Christen and + Sergiu Ivanov and + Rémi Segretain and + Laurent Trilling and + Nicolas Glade}, +title = {On Computing Structural and Behavioral Complexities of Threshold Boolean Networks}, +journal = {Acta Biotheoretica}, +volume = {68}, +pages = {119--138}, +year = {2020} +} + +@techreport{AGIMPP2014, +title = {Complexity of Model Checking for Reaction Systems}, +author = {Azimi, Sepinoud and Gratie, Cristian and Ivanov, Sergiu and Manzoni, Luca and Petre, Ion and Porreca, Antonio E.}, +number = {1122}, +series = {TUCS Technical Reports}, +publisher = {TUCS}, +year = {2014}, +} + +@techreport{AGIP2014, +title = {Dependency Graphs and Mass Conservation in Reaction Systems}, +author = {Azimi, Sepinoud and Gratie, Cristian and Ivanov, Sergiu and Petre, Ion}, +number = {1123}, +series = {TUCS Technical Reports}, +publisher = {TUCS}, +year = {2014}, +keywords = {Reaction system; model checking; mass conservation; conserved set; conservation dependency graph; simulator}, +ISBN = {978-952-12-3123-0}, +} + +@article{IvanovMarcus2015, + Title = {On the Lower Bounds for Leftist Insertion-Deletion Languages}, + Author = {Sergiu Ivanov and Sergey Verlan}, + Journal = {Annals of the University of Bucharest (Informatics)}, + Volume = {LXII(2)}, + Pages = {77--88}, + Year = {2015} +} + +@article{AlhazovFIO2015, +title = {Observations on {P} Systems with States}, +author = {Artiom Alhazov and Rudolf Freund and Sergiu Ivanov and Marion Oswald}, +pages = {17--28}, +journaltitle = {Multidisciplinary Creativity}, +editors = {Marian Gheorghe and Ion Petre and Mario J. P\'erez-Jim\'enez and Grzegorz Rozenberg and Arto Salomaa}, +year = {2015}, +publisher = {Editura Spandugino} +}