Sergiu Ivanov

According to our database, Sergiu Ivanov authored at least 64 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

A P systems variant for reasoning about sequential controllability of Boolean networks.

Artiom Alhazov, Vincent Ferrari-Dominguez, Rudolf Freund, Nicolas Glade, Sergiu Ivanov

Theor. Comput. Sci., August, 2023

Numerical networks of cells.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan

Theor. Comput. Sci., May, 2023

2022

Variants of derivation modes for which purely catalytic P systems are computationally complete.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald

Theor. Comput. Sci., 2022

Regulated Insertion-Deletion Systems.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan

J. Autom. Lang. Comb., 2022

P versus B: P Systems as a Formal Framework for Controllability of Boolean Networks.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov

Proceedings of the Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications, 2022

Prescribed Teams of Rules Working on Several Objects.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan

Proceedings of the Machines, Computations, and Universality - 9th International Conference, 2022

2021

Sequential reprogramming of biological network fate.

Jérémie Pardo, Sergiu Ivanov, Franck Delaplace

Theor. Comput. Sci., 2021

Single semi-contextual insertion-deletion systems.

Sergiu Ivanov, Sergey Verlan

Nat. Comput., 2021

Variants of derivation modes for which catalytic P systems with one catalyst are computationally complete.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan

J. Membr. Comput., 2021

When catalytic P systems with one catalyst can be computationally complete.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov

J. Membr. Comput., 2021

P systems with limited number of objects.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov

J. Membr. Comput., 2021

Relations between Control Mechanisms for Sequential Grammars.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald

Fundam. Informaticae, 2021

Network modeling methods for precision medicine.

Elio Nushi, Victor-Bogdan Popescu, José Ángel Sánchez Martín, Sergiu Ivanov, Eugen Czeizler, Ion Petre

CoRR, 2021

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

Proceedings of the 21st IEEE International Conference on Bioinformatics and Bioengineering, 2021

2020

Time-freeness and clock-freeness and related concepts in P systems.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Linqiang Pan, Bosheng Song

Theor. Comput. Sci., 2020

P systems with randomized right-hand sides of rules.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov

Theor. Comput. Sci., 2020

A formal framework for spiking neural P systems.

Sergey Verlan, Rudolf Freund, Artiom Alhazov, Sergiu Ivanov, Linqiang Pan

J. Membr. Comput., 2020

Controllability of reaction systems.

Sergiu Ivanov, Ion Petre

J. Membr. Comput., 2020

Bisimilar Conversion of Multi-valued Networks to Boolean Networks.

Franck Delaplace, Sergiu Ivanov

CoRR, 2020

Bisimilar Booleanization of multivalued networks.

Franck Delaplace, Sergiu Ivanov

Biosyst., 2020

A Methodology for Evaluating the Extensibility of Boolean Networks' Structure and Function.

Rémi Segretain, Sergiu Ivanov, Laurent Trilling, Nicolas Glade

Proceedings of the Complex Networks & Their Applications IX, 2020

2019

Variants of P systems with activation and blocking of rules.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov

Nat. Comput., 2019

Register machines over groups.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov

Proceedings of the Eleventh Workshop on Non-Classical Models of Automata and Applications, 2019

2018

Extended spiking neural P systems with white hole rules and their red-green variants.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald, Sergey Verlan

Nat. Comput., 2018

P Systems with Activation and Blocking of Rules.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov

Proceedings of the Unconventional Computation and Natural Computation, 2018

Tissue P Systems with Point Mutation Rules.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan

Proceedings of the Membrane Computing, 2018

Sequential Grammars with Activation and Blocking of Rules.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov

Proceedings of the Machines, Computations, and Universality - 8th International Conference, 2018

Chocolate P Automata.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald, Sergey Verlan

Proceedings of the Enjoying Natural Computing, 2018

WEBRSIM: A Web-Based Reaction Systems Simulator.

Sergiu Ivanov, Vladimir Rogojin, Sepinoud Azimi, Ion Petre

Proceedings of the Enjoying Natural Computing, 2018

2017

Contextual array grammars with matrix control, regular control languages, and tissue P systems control.

Artiom Alhazov, Henning Fernau, Rudolf Freund, Sergiu Ivanov, Rani Siromoney, K. G. Subramanian

Theor. Comput. Sci., 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, 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

PeerJ Comput. Sci., 2017

Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems.

Sergiu Ivanov, Sergey Verlan

Fundam. Informaticae, 2017

(Tissue) P Systems with Vesicles of Multisets.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan

Proceedings of the Proceedings 15th International Conference on Automata and Formal Languages, 2017

Hierarchical P Systems with Randomized Right-Hand Sides of Rules.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov

Proceedings of the Membrane Computing, 2017

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, Nicolas Glade, Laurent Trilling

Proceedings of the Complex Networks & Their Applications VI, 2017

2016

Complexity of model checking for reaction systems.

Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Luca Manzoni, Ion Petre, Antonio E. Porreca

Theor. Comput. Sci., 2016

SymPy: Symbolic computing in Python.

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 E. Granger, Richard P. Muller, Francesco Bonazzi, Harsh Gupta, Shivam Vats, Fredrik Johansson, Fabian Pedregosa, Matthew J. Curry, Ashutosh Saboo, Isuru Fernando, Sumith Kulal, Robert Cimrman, Anthony M. Scopatz

PeerJ Prepr., 2016

Small Universal Deterministic Petri Nets with Inhibitor Arcs.

Artiom Alhazov, Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan

J. Autom. Lang. Comb., 2016

Going Beyond Turing with P Automata: Regular Observer ω-Languages and Partial Adult Halting.

Rudolf Freund, Sergiu Ivanov, Ludwig Staiger

Int. J. Unconv. Comput., 2016

Purely Catalytic P Systems over Integers and Their Generative Power.

Artiom Alhazov, Omar Belingheri, Rudolf Freund, Sergiu Ivanov, Antonio E. Porreca, Claudio Zandron

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

Simulating R Systems by P Systems.

Artiom Alhazov, Bogdan Aman, Rudolf Freund, Sergiu Ivanov

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

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

PhD thesis, 2015

Dependency graphs and mass conservation in reaction systems.

Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Ion Petre

Theor. Comput. Sci., 2015

Random Context and Semi-conditional Insertion-deletion Systems.

Sergiu Ivanov, Sergey Verlan

Fundam. Informaticae, 2015

Annotation on PhD Thesis.

Sergiu Ivanov

Comput. Sci. J. Moldova, 2015

Going Beyond Turing with P Automata: Partial Adult Halting and Regular Observer ω-Languages.

Rudolf Freund, Sergiu Ivanov, Ludwig Staiger

Proceedings of the Unconventional Computation and Natural Computation, 2015

P Systems with Generalized Multisets Over Totally Ordered Abelian Groups.

Rudolf Freund, Sergiu Ivanov, Sergey Verlan

Proceedings of the Membrane Computing, 2015

Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States.

Sergiu Ivanov, Sergey Verlan

Proceedings of the Machines, Computations, and Universality - 7th International Conference, 2015

2014

Small Universal Networks of Evolutionary Processors.

Sergiu Ivanov, Yurii Rogozhin, Sergey Verlan

J. Autom. Lang. Comb., 2014

Length P Systems.

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov

Fundam. Informaticae, 2014

Polymorphic P Systems with Non-cooperative Rules and No Ingredients.

Sergiu Ivanov

Proceedings of the Membrane Computing, 2014

Small Universal Non-deterministic Petri Nets with Inhibitor Arcs.

Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan

Proceedings of the Descriptional Complexity of Formal Systems, 2014

2013

A formal framework for clock-free networks of cells.

Sergiu Ivanov

Int. J. Comput. Math., 2013

Small Universal Petri Nets with Inhibitor Arcs.

Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan

CoRR, 2013

One-dimensional Array Grammars and P Systems with Array Insertion and Deletion Rules.

Rudolf Freund, Sergiu Ivanov, Marion Oswald, K. G. Subramanian

Proceedings of the Proceedings Machines, Computations and Universality 2013, 2013

Array Insertion and Deletion P Systems.

Henning Fernau, Rudolf Freund, Sergiu Ivanov, Markus L. Schmid, K. G. Subramanian

Proceedings of the Unconventional Computation and Natural Computation, 2013

About One-Sided One-Symbol Insertion-Deletion P Systems.

Sergiu Ivanov, Sergey Verlan

Proceedings of the Membrane Computing, 2013

2012

Static and Dynamic Membrane Structures.

Sergiu Ivanov

Comput. Sci. J. Moldova, 2012

2011

Forward and Backward Chaining with P Systems.

Sergiu Ivanov, Artiom Alhazov, Vladimir Rogojin, Miguel A. Gutiérrez-Naranjo

Int. J. Nat. Comput. Res., 2011

Basic Concurrency Resolution in Clock-Free P Systems.

Sergiu Ivanov

Proceedings of the Membrane Computing, 2011

2010

Membrane Systems Languages Are Polynomial-Time Parsable.

Artiom Alhazov, Constantin Ciubotaru, Sergiu Ivanov, Yurii Rogozhin

Comput. Sci. J. Moldova, 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, Veaceslav Macari, Galina Magariu, Ludmila Malahova, Vladimir Rogojin, Yurii Rogozhin, Tatiana Tofan, Sergey Verlan, Tatiana Verlan

Comput. Sci. J. Moldova, 2010

Polymorphic P Systems.

Artiom Alhazov, Sergiu Ivanov, Yurii Rogozhin

Proceedings of the Membrane Computing, 2010

The Family of Languages Generated by Non-cooperative Membrane Systems.

Artiom Alhazov, Constantin Ciubotaru, Sergiu Ivanov, Yurii Rogozhin

Proceedings of the Membrane Computing, 2010