12 KiB
2021
-
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan: Variants of derivation modes for which catalytic P systems with one catalyst are computationally complete.
- Membr. Comput. 3(4): 233-245 (2021)
- Sergiu Ivanov, Sergey Verlan: Single semi-contextual insertion-deletion systems. Nat. Comput. 20(4): 703-712 (2021)
- Rémi Segretain, Laurent Trilling, Nicolas Glade, Sergiu Ivanov: Who Plays Complex Music? On the Correlations Between Structural and Behavioral Complexity Measures in Sign Boolean Networks. Proceedings of the 21th IEEE International Conference on BioInformatics and BioEngineering BIBE 2021: 1-6.
- Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald: Relations between Control Mechanisms for Sequential Grammars. Fundam. Informaticae 181(2-3): 239-271 (2021)
- Artiom Alhazov, Rudolf Freund, Sergiu Ivanov: P systems with limited number of objects. J. Membr. Comput. 3(1): 1-9 (2021)
-
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov: When catalytic P systems with one catalyst can be computationally complete.
- Membr. Comput. 3(3): 170-181 (2021)
- Jérémie Pardo, Sergiu Ivanov, Franck Delaplace: Sequential reprogramming of biological network fate. Theor. Comput. Sci. 872: 97-116 (2021)
- Rémi Segretain, Sergiu Ivanov, Laurent Trilling, Nicolas Glade: A Methodology for Evaluating the Extensibility of Boolean Networks’ Structure and Function. In: Benito R.M., Cherifi C., Cherifi H., Moro E., Rocha L.M., Sales-Pardo M. (eds) Complex Networks & Their Applications IX. COMPLEX NETWORKS 1. Studies in Computational Intelligence, vol 944. Springer, Cham. (2021)
- Elio Nushi, Victor-Bogdan Popescu, José Ángel Sánchez Martín, Sergiu Ivanov, Eugen Czeizler, Ion Petre: Network modeling methods for precision medicine. CoRR abs/2104.09206 (2021)
2020
- Franck Delaplace, Sergiu Ivanov: Bisimilar Booleanization of multivalued networks. Biosyst. 197: 104205 (2020)
-
Sergiu Ivanov, Ion Petre: Controllability of reaction systems.
- Membr. Comput. 2(4): 290-302 (2020)
- Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Linqiang Pan, Bosheng Song: Time-freeness and clock-freeness and related concepts in P systems. Theor. Comput. Sci. 805: 127–143 (2020)
- Artiom Alhazov, Rudolf Freund, Sergiu Ivanov: P systems with randomized right-hand sides of rules. Theor. Comput. Sci. 805: 144–160 (2020)
- Franck Delaplace, Sergiu Ivanov: Bisimilar Conversion of Multi-valued Networks to Boolean Networks. CoRR abs/2001.07371 (2020)
- Sergiu Ivanov, Ion Petre: Controllability of reaction systems. CoRR abs/2007.09461 (2020)
- Urvan Christen, Sergiu Ivanov, Rémi Segretain, Laurent Trilling, Nicolas Glade: On Computing Structural and Behavioral Complexities of Threshold Boolean Networks. Acta Biotheoretica 68 119–138 (2020)
- Rémi Segretain, Sergiu Ivanov, Laurent Trilling, Nicolas Glade: Implementation of a Computing Pipeline for Evaluating the Extensibility of Boolean Networks’ Structure and Function. bioRxiv 2020.10.02.323949 (2020)
2019
- Artiom Alhazov, Rudolf Freund, Sergiu Ivanov: Variants of P systems with activation and blocking of rules. Nat. Comput. 18(3): 593–608 (2019)
- Jérémie Pardo, Sergiu Ivanov, Franck Delaplace: Sequential Reprogramming of Biological Network Fate. CMSB 2019: 20–41
- Artiom Alhazov, Rudolf Freund, Sergiu Ivanov: Register machines over groups. NCMA 2019: 31–46
2018
- Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald, Sergey Verlan: Extended spiking neural P systems with white hole rules and their red-green variants. Nat. Comput. 17(2): 297–310 (2018)
- Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald, Sergey Verlan: Chocolate P Automata. Enjoying Natural Computing 2018: 1–20
- Sergiu Ivanov, Vladimir Rogojin, Sepinoud Azimi, Ion Petre: WEBRSIM: A Web-Based Reaction Systems Simulator. Enjoying Natural Computing 2018: 170–181
- Artiom Alhazov, Rudolf Freund, Sergiu Ivanov: Sequential Grammars with Activation and Blocking of Rules. MCU 2018: 51–68
- Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan: Tissue P Systems with Point Mutation Rules. Int. Conf. on Membrane Computing 2018: 33–56
- Artiom Alhazov, Rudolf Freund, Sergiu Ivanov: P Systems with Activation and Blocking of Rules. UCNC 2018: 1–15
2017
- Sergiu Ivanov, Sergey Verlan: Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems. Fundam. Informaticae 155(1-2): 163–185 (2017)
- Aaron Meurer, Christopher P. Smith, Mateusz Paprocki, Ondrej Certík, Sergey B. Kirpichev, Matthew Rocklin, Amit Kumar, Sergiu Ivanov, Jason Keith Moore, Sartaj Singh, Thilina Rathnayake, Sean Vig, Brian E. Granger, Richard P. Muller, Francesco Bonazzi, Harsh Gupta, Shivam Vats, Fredrik Johansson, Fabian Pedregosa, Matthew J. Curry, Andy R. Terrel, Stepán Roucka, Ashutosh Saboo, Isuru Fernando, Sumith Kulal, Robert Cimrman, Anthony M. Scopatz: SymPy: symbolic computing in Python. PeerJ Comput. Sci. 3: e103 (2017)
- Artiom Alhazov, Henning Fernau, Rudolf Freund, Sergiu Ivanov, Rani Siromoney, K. G. Subramanian: Contextual array grammars with matrix control, regular control languages, and tissue P systems control. Theor. Comput. Sci. 682: 5–21 (2017)
- Quoc-Trung Vuong, Roselyne Chauvin, Sergiu Ivanov, Nicolas Glade, Laurent Trilling: A Logical Constraint-based Approach to Infer and Explore Diversity and Composition in Thresholded Boolean Automaton Networks. COMPLEX NETWORKS 2017: 567–579
- Artiom Alhazov, Rudolf Freund, Sergiu Ivanov: Hierarchical P Systems with Randomized Right-Hand Sides of Rules. Int. Conf. on Membrane Computing 2017: 15–39
- Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan: (Tissue) P Systems with Vesicles of Multisets. AFL 2017: 11–25
2016
- Rudolf Freund, Sergiu Ivanov, Ludwig Staiger: Going Beyond Turing with P Automata: Regular Observer ω-Languages and Partial Adult Halting. Int. J. Unconv. Comput. 12(1): 51-69 (2016)
-
Artiom Alhazov, Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan: Small Universal Deterministic Petri Nets with Inhibitor Arcs.
- Autom. Lang. Comb. 21(1-2): 7-26 (2016)
- Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Luca Manzoni, Ion Petre, Antonio E. Porreca: Complexity of model checking for reaction systems. Theor. Comput. Sci. 623: 103-113 (2016)
- Artiom Alhazov, Bogdan Aman, Rudolf Freund, Sergiu Ivanov: Simulating R Systems by P Systems. Int. Conf. on Membrane Computing 2016: 51-66
- Artiom Alhazov, Omar Belingheri, Rudolf Freund, Sergiu Ivanov, Antonio E. Porreca, Claudio Zandron: Purely Catalytic P Systems over Integers and Their Generative Power. Int. Conf. on Membrane Computing 2016: 67-82
-
Aaron Meurer, Christopher P. Smith, Mateusz Paprocki, Ondrej Certík, Matthew Rocklin, Amit Kumar, Sergiu Ivanov, Jason Keith Moore, Sartaj Singh, Thilina Rathnayake, Sean Vig, Brian
- Granger, Richard P. Muller, Francesco Bonazzi, Harsh Gupta,
Shivam Vats, Fredrik Johansson, Fabian Pedregosa, Matthew
- Curry, Ashutosh Saboo, Isuru Fernando, Sumith Kulal, Robert
Cimrman, Anthony M. Scopatz: SymPy: Symbolic computing in Python. PeerJ Prepr. 4: e2083 (2016)
2015
- Sergiu Ivanov: On the Power and Universality of Biologically-inspired Models of Computation. (Étude de la puissance d'expression et de l'universalité des modèles de calcul inspirés par la biologie). University of Paris-Est, France, 2015
- Sergiu Ivanov: Annotation on PhD Thesis. Comput. Sci. J. Moldova 23(3): 386-388 (2015)
- Sergiu Ivanov, Sergey Verlan: Random Context and Semi-conditional Insertion-deletion Systems. Fundam. Informaticae 138(1-2): 127-144 (2015)
- Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Ion Petre: Dependency graphs and mass conservation in reaction systems. Theor. Comput. Sci. 598: 23-39 (2015)
- Sergiu Ivanov, Sergey Verlan: Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States. MCU 2015: 79-93
- Sergiu Ivanov, Sergey Verlan: On the Lower Bounds for Leftist Insertion-Deletion Languages. Annals of the University of Bucharest (Informatics) LXII(2): 77–88 (2015)
- Rudolf Freund, Sergiu Ivanov, Sergey Verlan: P Systems with Generalized Multisets Over Totally Ordered Abelian Groups. Int. Conf. on Membrane Computing 2015: 117-136
- Rudolf Freund, Sergiu Ivanov, Ludwig Staiger: Going Beyond Turing with P Automata: Partial Adult Halting and Regular Observer ω-Languages. UCNC 2015: 169-180
2014
- Artiom Alhazov, Rudolf Freund, Sergiu Ivanov: Length P Systems. Fundam. Informaticae 134(1-2): 17-37 (2014)
-
Sergiu Ivanov, Yurii Rogozhin, Sergey Verlan: Small Universal Networks of Evolutionary Processors.
- Autom. Lang. Comb. 19(1-4): 133-144 (2014)
- Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan: Small Universal Non-deterministic Petri Nets with Inhibitor Arcs. DCFS 2014: 186-197
- Sergiu Ivanov: Polymorphic P Systems with Non-cooperative Rules and No Ingredients. Int. Conf. on Membrane Computing 2014: 258-273
2013
- Sergiu Ivanov: A formal framework for clock-free networks of cells. Int. J. Comput. Math. 90(4): 776-788 (2013)
- Sergiu Ivanov, Sergey Verlan: About One-Sided One-Symbol Insertion-Deletion P Systems. Int. Conf. on Membrane Computing 2013: 225-237
-
Henning Fernau, Rudolf Freund, Sergiu Ivanov, Markus L. Schmid,
-
- Subramanian: Array Insertion and Deletion P Systems. UCNC
2013: 67-78
-
- Rudolf Freund, Sergiu Ivanov, Marion Oswald, K. G. Subramanian: One-dimensional Array Grammars and P Systems with Array Insertion and Deletion Rules. MCU 2013: 62-75
- Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan: Small Universal Petri Nets with Inhibitor Arcs. CoRR abs/1312.4414 (2013)
2012
- Sergiu Ivanov: Static and Dynamic Membrane Structures. Comput. Sci. J. Moldova 20(3): 374-402 (2012)
2011
-
Sergiu Ivanov, Artiom Alhazov, Vladimir Rogojin, Miguel
- Gutiérrez-Naranjo: /Forward and Backward Chaining with P
Systems./ Int. J. Nat. Comput. Res. 2(2): 56-66 (2011)
- Sergiu Ivanov: Basic Concurrency Resolution in Clock-Free P Systems. Int. Conf. on Membrane Computing 2011: 226-242
- Sergiu Ivanov, Sergey Verlan: Random Context and Semi-Conditional Insertion-Deletion Systems. CoRR abs/1112.5947 (2011)
2010
- Artiom Alhazov, Elena Boian, Liudmila Burtseva, Constantin Ciubotaru, Svetlana Cojocaru, Alexandru Colesnicov, Valentina Demidova, Sergiu Ivanov, Veaceslav Macari, Galina Magariu, Ludmila Malahova, Vladimir Rogojin, Yurii Rogozhin, Tatiana Tofan, Sergey Verlan, Tatiana Verlan: Investigations on Natural Computing in the Institute of Mathematics and Computer Science. Comput. Sci. J. Moldova 18(2): 101-138 (2010)
- Artiom Alhazov, Constantin Ciubotaru, Sergiu Ivanov, Yurii Rogozhin: Membrane Systems Languages Are Polynomial-Time Parsable. Comput. Sci. J. Moldova 18(2): 139-148 (2010)
- Artiom Alhazov, Constantin Ciubotaru, Sergiu Ivanov, Yurii Rogozhin: The Family of Languages Generated by Non-cooperative Membrane Systems. Int. Conf. on Membrane Computing 2010: 65-80
- Artiom Alhazov, Sergiu Ivanov, Yurii Rogozhin: Polymorphic P Systems. Int. Conf. on Membrane Computing 2010: 81-94