The Family of Languages Generated by Non-cooperative Membrane Systems. - Artiom Alhazov; Constantin Ciubotaru; Sergiu Ivanov 001; Yurii Rogozhin (Int. Conf. on Membrane Computing, 2010)

Polymorphic P Systems. - Artiom Alhazov; Sergiu Ivanov 001; Yurii Rogozhin (Int. Conf. on Membrane Computing, 2010)

Investigations on Natural Computing in the Institute of Mathematics and Computer Science. - Artiom Alhazov; Elena Boian; Liudmila Burtseva; Constantin Ciubotaru; Svetlana Cojocaru; Alexandru Colesnicov; Valentina Demidova; Sergiu Ivanov 001; Veaceslav Macari; Galina Magariu; Ludmila Malahova; Vladimir Rogojin; et al. (Comput. Sci. J. Moldova, 2010)

Membrane Systems Languages Are Polynomial-Time Parsable. - Artiom Alhazov; Constantin Ciubotaru; Sergiu Ivanov 001; Yurii Rogozhin (Comput. Sci. J. Moldova, 2010)

Basic Concurrency Resolution in Clock-Free P Systems. - Sergiu Ivanov 001 (Int. Conf. on Membrane Computing, 2011)

Forward and Backward Chaining with P Systems. - Sergiu Ivanov 001; Artiom Alhazov; Vladimir Rogojin; Miguel Angel Gutiérrez-Naranjo (Int. J. Nat. Comput. Res., 2011)

Static and Dynamic Membrane Structures. - Sergiu Ivanov 001 (Comput. Sci. J. Moldova, 2012)

About One-Sided One-Symbol Insertion-Deletion P Systems. - Sergiu Ivanov 001; Sergey Verlan (Int. Conf. on Membrane Computing, 2013)

Array Insertion and Deletion P Systems. - Henning Fernau; Rudolf Freund; Sergiu Ivanov 001; Markus L. Schmid; K. G. Subramanian 001 (UCNC, 2013)

One-dimensional Array Grammars and P Systems with Array Insertion and Deletion Rules. - Rudolf Freund; Sergiu Ivanov 001; Marion Oswald; K. G. Subramanian 001 (MCU, 2013)

Small Universal Petri Nets with Inhibitor Arcs. - Sergiu Ivanov 001; Elisabeth Pelz; Sergey Verlan (CoRR, 2013)

A formal framework for clock-free networks of cells. - Sergiu Ivanov 001 (Int. J. Comput. Math., 2013)

Small Universal Non-deterministic Petri Nets with Inhibitor Arcs. - Sergiu Ivanov 001; Elisabeth Pelz; Sergey Verlan (DCFS, 2014)

Polymorphic P Systems with Non-cooperative Rules and No Ingredients. - Sergiu Ivanov 001 (Int. Conf. on Membrane Computing, 2014)

Length P Systems. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001 (Fundam. Informaticae, 2014)

Small Universal Networks of Evolutionary Processors. - Sergiu Ivanov 001; Yurii Rogozhin; Sergey Verlan (J. Autom. Lang. Comb., 2014)

Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States. - Sergiu Ivanov 001; Sergey Verlan (MCU, 2015)

P Systems with Generalized Multisets Over Totally Ordered Abelian Groups. - Rudolf Freund; Sergiu Ivanov 001; Sergey Verlan (Int. Conf. on Membrane Computing, 2015)

Going Beyond Turing with P Automata: Partial Adult Halting and Regular Observer ω-Languages. - Rudolf Freund; Sergiu Ivanov 001; Ludwig Staiger (UCNC, 2015)

Annotation on PhD Thesis. - Sergiu Ivanov 001 (Comput. Sci. J. Moldova, 2015)

Random Context and Semi-conditional Insertion-deletion Systems. - Sergiu Ivanov 001; Sergey Verlan (Fundam. Informaticae, 2015)

Dependency graphs and mass conservation in reaction systems. - Sepinoud Azimi; Cristian Gratie; Sergiu Ivanov 001; Ion Petre (Theor. Comput. Sci., 2015)

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). - Sergiu Ivanov 001 (2015)

Simulating R Systems by P Systems. - Artiom Alhazov; Bogdan Aman; Rudolf Freund; Sergiu Ivanov 001 (Int. Conf. on Membrane Computing, 2016)

Purely Catalytic P Systems over Integers and Their Generative Power. - Artiom Alhazov; Omar Belingheri; Rudolf Freund; Sergiu Ivanov 001; Antonio E. Porreca; Claudio Zandron (Int. Conf. on Membrane Computing, 2016)

Going Beyond Turing with P Automata: Regular Observer ω-Languages and Partial Adult Halting. - Rudolf Freund; Sergiu Ivanov 001; Ludwig Staiger (Int. J. Unconv. Comput., 2016)

Small Universal Deterministic Petri Nets with Inhibitor Arcs. - Artiom Alhazov; Sergiu Ivanov 001; Elisabeth Pelz; Sergey Verlan (J. Autom. Lang. Comb., 2016)

SymPy: Symbolic computing in Python. - Aaron Meurer; Christopher P. Smith; Mateusz Paprocki; Ondrej Certík; Matthew Rocklin; Amit Kumar; Sergiu Ivanov 001; Jason Keith Moore; Sartaj Singh; Thilina Rathnayake; Sean Vig; Brian E. Granger; et al. (PeerJ Prepr., 2016)

Complexity of model checking for reaction systems. - Sepinoud Azimi; Cristian Gratie; Sergiu Ivanov 001; Luca Manzoni; Ion Petre; Antonio E. Porreca (Theor. Comput. Sci., 2016)

A Logical Constraint-based Approach to Infer and Explore Diversity and Composition in Thresholded Boolean Automaton Networks. - Quoc-Trung Vuong; Roselyne J. Chauvin; Sergiu Ivanov 001; Nicolas Glade; Laurent Trilling (COMPLEX NETWORKS, 2017)

Hierarchical P Systems with Randomized Right-Hand Sides of Rules. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001 (Int. Conf. on Membrane Computing, 2017)

Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems. - Sergiu Ivanov 001; Sergey Verlan (Fundam. Informaticae, 2017)

SymPy: symbolic computing in Python. - Aaron Meurer; Christopher P. Smith; Mateusz Paprocki; Ondrej Certík; Sergey B. Kirpichev; Matthew Rocklin; Amit Kumar; Sergiu Ivanov 001; Jason Keith Moore; Sartaj Singh; Thilina Rathnayake; Sean Vig; et al. (PeerJ Comput. Sci., 2017)

Contextual array grammars with matrix control, regular control languages, and tissue P systems control. - Artiom Alhazov; Henning Fernau; Rudolf Freund; Sergiu Ivanov 001; Rani Siromoney; K. G. Subramanian 001 (Theor. Comput. Sci., 2017)

WEBRSIM: A Web-Based Reaction Systems Simulator. - Sergiu Ivanov 001; Vladimir Rogojin; Sepinoud Azimi; Ion Petre (Enjoying Natural Computing, 2018)

Chocolate P Automata. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001; Marion Oswald; Sergey Verlan (Enjoying Natural Computing, 2018)

Sequential Grammars with Activation and Blocking of Rules. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001 (MCU, 2018)

Tissue P Systems with Point Mutation Rules. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001; Sergey Verlan (Int. Conf. on Membrane Computing, 2018)

P Systems with Activation and Blocking of Rules. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001 (UCNC, 2018)

Extended spiking neural P systems with white hole rules and their red-green variants. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001; Marion Oswald; Sergey Verlan (Nat. Comput., 2018)

Register machines over groups. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001 (NCMA, 2019)

Variants of P systems with activation and blocking of rules. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001 (Nat. Comput., 2019)

A Methodology for Evaluating the Extensibility of Boolean Networks' Structure and Function. - Rémi Segretain; Sergiu Ivanov 001; Laurent Trilling; Nicolas Glade (COMPLEX NETWORKS (2), 2020)

Bisimilar Booleanization of multivalued networks. - Franck Delaplace; Sergiu Ivanov 001 (Biosyst., 2020)

Bisimilar Conversion of Multi-valued Networks to Boolean Networks. - Franck Delaplace; Sergiu Ivanov 001 (CoRR, 2020)

Controllability of reaction systems. - Sergiu Ivanov 001; Ion Petre (J. Membr. Comput., 2020)

A formal framework for spiking neural P systems. - Sergey Verlan; Rudolf Freund; Artiom Alhazov; Sergiu Ivanov 001; Linqiang Pan (J. Membr. Comput., 2020)

P systems with randomized right-hand sides of rules. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001 (Theor. Comput. Sci., 2020)

Time-freeness and clock-freeness and related concepts in P systems. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001; Linqiang Pan; Bosheng Song (Theor. Comput. Sci., 2020)

Who Plays Complex Music? On the Correlations Between Structural and Behavioral Complexity Measures in Sign Boolean Networks. - Rémi Segretain; Laurent Trilling; Nicolas Glade; Sergiu Ivanov 001 (BIBE, 2021)

Network modeling methods for precision medicine. - Elio Nushi; Victor-Bogdan Popescu; José Ángel Sánchez Martín; Sergiu Ivanov 001; Eugen Czeizler; Ion Petre (CoRR, 2021)

Relations between Control Mechanisms for Sequential Grammars. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001; Marion Oswald (Fundam. Informaticae, 2021)

P systems with limited number of objects. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001 (J. Membr. Comput., 2021)

When catalytic P systems with one catalyst can be computationally complete. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001 (J. Membr. Comput., 2021)

Variants of derivation modes for which catalytic P systems with one catalyst are computationally complete. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001; Sergey Verlan (J. Membr. Comput., 2021)

Single semi-contextual insertion-deletion systems. - Sergiu Ivanov 001; Sergey Verlan (Nat. Comput., 2021)

Sequential reprogramming of biological network fate. - Jérémie Pardo; Sergiu Ivanov 001; Franck Delaplace (Theor. Comput. Sci., 2021)

Prescribed Teams of Rules Working on Several Objects. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001; Sergey Verlan (MCU, 2022)

P versus B: P Systems as a Formal Framework for Controllability of Boolean Networks. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001 (NCMA, 2022)

Tissue P Systems with Vesicles of Multisets. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001; Sergey Verlan (Int. J. Found. Comput. Sci., 2022)

Regulated Insertion-Deletion Systems. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001; Sergey Verlan (J. Autom. Lang. Comb., 2022)

Variants of derivation modes for which purely catalytic P systems are computationally complete. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001; Marion Oswald (Theor. Comput. Sci., 2022)

Numerical networks of cells. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001; Sergey Verlan (Theor. Comput. Sci., 2023)

A P systems variant for reasoning about sequential controllability of Boolean networks. - Artiom Alhazov; Vincent Ferrari-Dominguez; Rudolf Freund; Nicolas Glade; Sergiu Ivanov 001 (Theor. Comput. Sci., 2023)

Universality of Turing Tumble of Finite Size. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001; Sergey Verlan (MCU, 2024)

A linear bound for the size of the finite terminal assembly of a directed non-cooperative tile assembly system. - Sergiu Ivanov 001; Damien Regnault (CoRR, 2024)

A 15-Year Retrospective on Insertion-Deletion Systems: Progress, Evolution, and Future Directions. - Artiom Alhazov; Sergiu Ivanov 001; Sergey Verlan (Comput. Sci. J. Moldova, 2024)

P systems with reactive membranes. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001; David Orellana-Martín; Antonio Ramírez-de-Arellano; José-Antonio Rodríguez-Gallego (J. Membr. Comput., 2024)

On the spectrum between reaction systems and string rewriting. - Artiom Alhazov; Rudolf Freund; Sergiu Ivanov 001 (Nat. Comput., 2024)

Queens of the Hill. - Artiom Alhazov; Sergiu Ivanov 001; David Orellana-Martín (J. Membr. Comput., 2024)