Sergiu Ivanov

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 48

Top Venues

Theor. Comput. Sci.

Int. Conf. on Membrane Computing

J. Membr. Comput.

CoRR

University of Paris-Est, France (PHD)

Education History

University of Paris-Est, France

PHD

Publications

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, David Orellana-Martín, Antonio Ramírez-de-Arellano, José-Antonio Rodríguez-Gallego
P systems with reactive membranes. J. Membr. Comput. 6 (2) (2024)
Sergiu Ivanov, Damien Regnault
A linear bound for the size of the finite terminal assembly of a directed non-cooperative tile assembly system. CoRR (2024)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov
On the spectrum between reaction systems and string rewriting. Nat. Comput. 23 (2) (2024)
Artiom Alhazov, Vincent Ferrari-Dominguez, Rudolf Freund, Nicolas Glade, Sergiu Ivanov
A P systems variant for reasoning about sequential controllability of Boolean networks. Theor. Comput. Sci. 970 (2023)
Artiom Alhazov, Vincent Ferrari-Dominguez, Rudolf Freund, Nicolas Glade, Sergiu Ivanov
A P Systems Variant for Reasoning about Sequential Controllability of Boolean Networks. CoRR (2023)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
Numerical networks of cells. Theor. Comput. Sci. 958 (2023)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov
P versus B: P Systems as a Formal Framework for Controllability of Boolean Networks. NCMA (2022)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
Tissue P Systems with Vesicles of Multisets. Int. J. Found. Comput. Sci. 33 (3&4) (2022)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald
Variants of derivation modes for which purely catalytic P systems are computationally complete. Theor. Comput. Sci. 920 (2022)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
Regulated Insertion-Deletion Systems. J. Autom. Lang. Comb. 27 (1-3) (2022)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
Prescribed Teams of Rules Working on Several Objects. MCU (2022)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald
Relations between Control Mechanisms for Sequential Grammars. Fundam. Informaticae 181 (2-3) (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. BIBE (2021)
Jérémie Pardo, Sergiu Ivanov, Franck Delaplace
Sequential reprogramming of biological network fate. Theor. Comput. Sci. 872 (2021)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
Variants of derivation modes for which catalytic P systems with one catalyst are computationally complete. J. Membr. Comput. 3 (4) (2021)
Sergiu Ivanov, Sergey Verlan
Single semi-contextual insertion-deletion systems. Nat. Comput. 20 (4) (2021)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov
When catalytic P systems with one catalyst can be computationally complete. J. Membr. Comput. 3 (3) (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 (2021)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov
P systems with limited number of objects. J. Membr. Comput. 3 (1) (2021)
Rémi Segretain, Sergiu Ivanov, Laurent Trilling, Nicolas Glade
A Methodology for Evaluating the Extensibility of Boolean Networks' Structure and Function. COMPLEX NETWORKS (2) (2020)
Sergiu Ivanov, Ion Petre
Controllability of reaction systems. J. Membr. Comput. 2 (4) (2020)
Sergey Verlan, Rudolf Freund, Artiom Alhazov, Sergiu Ivanov, Linqiang Pan
A formal framework for spiking neural P systems. J. Membr. Comput. 2 (4) (2020)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov
P systems with randomized right-hand sides of rules. Theor. Comput. Sci. 805 (2020)
Franck Delaplace, Sergiu Ivanov
Bisimilar Booleanization of multivalued networks. Biosyst. 197 (2020)
Franck Delaplace, Sergiu Ivanov
Bisimilar Conversion of Multi-valued Networks to Boolean Networks. CoRR (2020)
Sergiu Ivanov, Ion Petre
Controllability of reaction systems. CoRR (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 (2020)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov
Register machines over groups. NCMA (2019)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov
Variants of P systems with activation and blocking of rules. Nat. Comput. 18 (3) (2019)
Jérémie Pardo, Sergiu Ivanov, Franck Delaplace
Sequential Reprogramming of Biological Network Fate. CMSB (2019)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov
Sequential Grammars with Activation and Blocking of Rules. MCU (2018)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald, Sergey Verlan
Chocolate P Automata. Enjoying Natural Computing (2018)
Sergiu Ivanov, Vladimir Rogojin, Sepinoud Azimi, Ion Petre
WEBRSIM: A Web-Based Reaction Systems Simulator. Enjoying Natural Computing (2018)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
Tissue P Systems with Point Mutation Rules. Int. Conf. on Membrane Computing (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) (2018)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov
P Systems with Activation and Blocking of Rules. UCNC (2018)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov
Hierarchical P Systems with Randomized Right-Hand Sides of Rules. Int. Conf. on Membrane Computing (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 (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 (2017)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
(Tissue) P Systems with Vesicles of Multisets. AFL (2017)
Quoc-Trung Vuong, Roselyne J. 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)
Sergiu Ivanov, Sergey Verlan
Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems. Fundam. Informaticae 155 (1-2) (2017)
Artiom Alhazov, Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan
Small Universal Deterministic Petri Nets with Inhibitor Arcs. J. Autom. Lang. Comb. 21 (1-2) (2016)
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
SymPy: Symbolic computing in Python. PeerJ Prepr. 4 (2016)
Artiom Alhazov, Bogdan Aman, Rudolf Freund, Sergiu Ivanov
Simulating R Systems by P Systems. Int. Conf. on Membrane Computing (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 (2016)
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)
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) (2016)
Rudolf Freund, Sergiu Ivanov, Ludwig Staiger
Going Beyond Turing with P Automata: Partial Adult Halting and Regular Observer ω-Languages. UCNC (2015)
Rudolf Freund, Sergiu Ivanov, Sergey Verlan
P Systems with Generalized Multisets Over Totally Ordered Abelian Groups. Int. Conf. on Membrane Computing (2015)
Sergiu Ivanov, Sergey Verlan
Random Context and Semi-conditional Insertion-deletion Systems. Fundam. Informaticae 138 (1-2) (2015)
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Ion Petre
Dependency graphs and mass conservation in reaction systems. Theor. Comput. Sci. 598 (2015)
Sergiu Ivanov
Annotation on PhD Thesis. Comput. Sci. J. Moldova 23 (3) (2015)
Sergiu Ivanov, Sergey Verlan
Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States. MCU (2015)
Sergiu Ivanov
Polymorphic P Systems with Non-cooperative Rules and No Ingredients. Int. Conf. on Membrane Computing (2014)
Sergiu Ivanov, Yurii Rogozhin, Sergey Verlan
Small Universal Networks of Evolutionary Processors. J. Autom. Lang. Comb. 19 (1-4) (2014)
Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan
Small Universal Non-deterministic Petri Nets with Inhibitor Arcs. DCFS (2014)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov
Length P Systems. Fundam. Informaticae 134 (1-2) (2014)
Sergiu Ivanov, Sergey Verlan
About One-Sided One-Symbol Insertion-Deletion P Systems. Int. Conf. on Membrane Computing (2013)
Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan
Small Universal Petri Nets with Inhibitor Arcs. CoRR (2013)
Henning Fernau, Rudolf Freund, Sergiu Ivanov, Markus L. Schmid, K. G. Subramanian
Array Insertion and Deletion P Systems. UCNC (2013)
Sergiu Ivanov
A formal framework for clock-free networks of cells. Int. J. Comput. Math. 90 (4) (2013)
Rudolf Freund, Sergiu Ivanov, Marion Oswald, K. G. Subramanian
One-dimensional Array Grammars and P Systems with Array Insertion and Deletion Rules. MCU (2013)
Sergiu Ivanov
Static and Dynamic Membrane Structures. Comput. Sci. J. Moldova 20 (3) (2012)
Sergiu Ivanov, Sergey Verlan
Random Context and Semi-Conditional Insertion-Deletion Systems CoRR (2011)
Sergiu Ivanov, Artiom Alhazov, Vladimir Rogojin, Miguel A. Gutiérrez-Naranjo
Forward and Backward Chaining with P Systems. Int. J. Nat. Comput. Res. 2 (2) (2011)
Sergiu Ivanov
Basic Concurrency Resolution in Clock-Free P Systems. Int. Conf. on Membrane Computing (2011)
Artiom Alhazov, Constantin Ciubotaru, Sergiu Ivanov, Yurii Rogozhin
The Family of Languages Generated by Non-cooperative Membrane Systems. Int. Conf. on Membrane Computing (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) (2010)
Artiom Alhazov, Sergiu Ivanov, Yurii Rogozhin
Polymorphic P Systems. Int. Conf. on Membrane Computing (2010)
Artiom Alhazov, Constantin Ciubotaru, Sergiu Ivanov, Yurii Rogozhin
Membrane Systems Languages Are Polynomial-Time Parsable. Comput. Sci. J. Moldova 18 (2) (2010)

Sergiu Ivanov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sergiu Ivanov