@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} } @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} } @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 = {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} }