1469 lines
60 KiB
BibTeX
1469 lines
60 KiB
BibTeX
@article{DBLP:journals/jmemcom/AlhazovFIORR24,
|
|
author = {Artiom Alhazov and
|
|
Rudolf Freund and
|
|
Sergiu Ivanov and
|
|
David Orellana{-}Mart{\'{\i}}n and
|
|
Antonio Ram{\'{\i}}rez{-}de{-}Arellano and
|
|
Jos{\'{e}}{-}Antonio Rodr{\'{\i}}guez{-}Gallego},
|
|
title = {P systems with reactive membranes},
|
|
journal = {J. Membr. Comput.},
|
|
volume = {6},
|
|
number = {2},
|
|
pages = {82--93},
|
|
year = {2024},
|
|
url = {https://doi.org/10.1007/s41965-024-00144-1},
|
|
doi = {10.1007/S41965-024-00144-1},
|
|
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
|
|
biburl = {https://dblp.org/rec/journals/jmemcom/AlhazovFIORR24.bib},
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
|
}
|
|
|
|
@article{DBLP:journals/jmemcom/AlhazovIO24,
|
|
author = {Artiom Alhazov and
|
|
Sergiu Ivanov and
|
|
David Orellana{-}Mart{\'{\i}}n},
|
|
title = {Queens of the Hill},
|
|
journal = {J. Membr. Comput.},
|
|
volume = {6},
|
|
number = {3},
|
|
pages = {193--201},
|
|
year = {2024},
|
|
url = {https://doi.org/10.1007/s41965-024-00152-1},
|
|
doi = {10.1007/S41965-024-00152-1},
|
|
timestamp = {Mon, 28 Oct 2024 00:00:00 +0100},
|
|
biburl = {https://dblp.org/rec/journals/jmemcom/AlhazovIO24.bib},
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
|
}
|
|
|
|
@article{DBLP:journals/nc/AlhazovFI24,
|
|
author = {Artiom Alhazov and
|
|
Rudolf Freund and
|
|
Sergiu Ivanov},
|
|
title = {On the spectrum between reaction systems and string rewriting},
|
|
journal = {Nat. Comput.},
|
|
volume = {23},
|
|
number = {2},
|
|
pages = {159--175},
|
|
year = {2024},
|
|
url = {https://doi.org/10.1007/s11047-024-09986-1},
|
|
doi = {10.1007/S11047-024-09986-1},
|
|
timestamp = {Tue, 13 Aug 2024 01:00:00 +0200},
|
|
biburl = {https://dblp.org/rec/journals/nc/AlhazovFI24.bib},
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
|
}
|
|
|
|
@article{DBLP:journals/corr/abs-2405-18630,
|
|
author = {Sergiu Ivanov and
|
|
Damien Regnault},
|
|
title = {A linear bound for the size of the finite terminal assembly of a directed
|
|
non-cooperative tile assembly system},
|
|
journal = {CoRR},
|
|
volume = {abs/2405.18630},
|
|
year = {2024},
|
|
url = {https://doi.org/10.48550/arXiv.2405.18630},
|
|
doi = {10.48550/ARXIV.2405.18630},
|
|
eprinttype = {arXiv},
|
|
eprint = {2405.18630},
|
|
timestamp = {Thu, 27 Jun 2024 01:00:00 +0200},
|
|
biburl = {https://dblp.org/rec/journals/corr/abs-2405-18630.bib},
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
|
}
|
|
|
|
@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 = {Mon, 05 Feb 2024 00:00:00 +0100},
|
|
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 = {Sun, 06 Oct 2024 20:58:38 +0200},
|
|
biburl = {https://dblp.org/rec/conf/complexnetworks/VuongCIGT17.bib},
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
|
}
|
|
|
|
@inproceedings{DBLP:conf/membrane/AlhazovF017,
|
|
author = {Artiom Alhazov and
|
|
Rudolf Freund and
|
|
Sergiu Ivanov},
|
|
editor = {Marian Gheorghe and
|
|
Grzegorz Rozenberg and
|
|
Arto Salomaa and
|
|
Claudio Zandron},
|
|
title = {Hierarchical {P} Systems with Randomized Right-Hand Sides of Rules},
|
|
booktitle = {Membrane Computing - 18th International Conference, {CMC} 2017, Bradford,
|
|
UK, July 25-28, 2017, Revised Selected Papers},
|
|
series = {Lecture Notes in Computer Science},
|
|
volume = {10725},
|
|
pages = {15--39},
|
|
publisher = {Springer},
|
|
year = {2017},
|
|
url = {https://doi.org/10.1007/978-3-319-73359-3\_2},
|
|
doi = {10.1007/978-3-319-73359-3\_2},
|
|
timestamp = {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 = {Sun, 06 Oct 2024 21:11:01 +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 Angel 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 = {Tue, 28 May 2024 01:00:00 +0200},
|
|
biburl = {https://dblp.org/rec/journals/ijncr/IvanovARG11.bib},
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
|
}
|
|
|
|
@inproceedings{DBLP:conf/membrane/Ivanov11,
|
|
author = {Sergiu Ivanov},
|
|
editor = {Marian Gheorghe and
|
|
Gheorghe Paun and
|
|
Grzegorz Rozenberg and
|
|
Arto Salomaa and
|
|
Sergey Verlan},
|
|
title = {Basic Concurrency Resolution in Clock-Free {P} Systems},
|
|
booktitle = {Membrane Computing - 12th International Conference, {CMC} 2011, Fontainebleau,
|
|
France, August 23-26, 2011, Revised Selected Papers},
|
|
series = {Lecture Notes in Computer Science},
|
|
volume = {7184},
|
|
pages = {226--242},
|
|
publisher = {Springer},
|
|
year = {2011},
|
|
url = {https://doi.org/10.1007/978-3-642-28024-5\_16},
|
|
doi = {10.1007/978-3-642-28024-5\_16},
|
|
timestamp = {Fri, 28 Feb 2020 19:27:03 +0100},
|
|
biburl = {https://dblp.org/rec/conf/membrane/Ivanov11.bib},
|
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
|
}
|
|
|
|
@article{DBLP:journals/corr/abs-1112-5947,
|
|
author = {Sergiu Ivanov and
|
|
Sergey Verlan},
|
|
title = {Random Context and Semi-Conditional Insertion-Deletion Systems},
|
|
journal = {CoRR},
|
|
volume = {abs/1112.5947},
|
|
year = {2011},
|
|
url = {http://arxiv.org/abs/1112.5947},
|
|
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}
|
|
}
|
|
|