Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSergiu Ivanov 0001
Person information
- affiliation: Université Évry Paris-Saclay, France
- affiliation (former): Université Paris Est, France
Other persons with the same name
- Sergiu Ivanov 0002 — University of Craiova, Romania
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2015
[b1]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
Journal Articles
- 2023
- [j34]Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
:
Numerical networks of cells. Theor. Comput. Sci. 958: 113873 (2023) - [j33]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: 114056 (2023) - 2022
- [j32]Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan:
Tissue P Systems with Vesicles of Multisets. Int. J. Found. Comput. Sci. 33(3&4): 179-202 (2022) - [j31]Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan:
Regulated Insertion-Deletion Systems. J. Autom. Lang. Comb. 27(1-3): 15-45 (2022) - [j30]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: 95-112 (2022) - 2021
- [j29]Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald:
Relations between Control Mechanisms for Sequential Grammars. Fundam. Informaticae 181(2-3): 239-271 (2021) - [j28]Artiom Alhazov, Rudolf Freund, Sergiu Ivanov:
P systems with limited number of objects. J. Membr. Comput. 3(1): 1-9 (2021) - [j27]Artiom Alhazov, Rudolf Freund, Sergiu Ivanov:
When catalytic P systems with one catalyst can be computationally complete. J. Membr. Comput. 3(3): 170-181 (2021) - [j26]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): 233-245 (2021) - [j25]Sergiu Ivanov, Sergey Verlan:
Single semi-contextual insertion-deletion systems. Nat. Comput. 20(4): 703-712 (2021) - [j24]Jérémie Pardo, Sergiu Ivanov, Franck Delaplace:
Sequential reprogramming of biological network fate. Theor. Comput. Sci. 872: 97-116 (2021) - 2020
- [j23]Franck Delaplace, Sergiu Ivanov:
Bisimilar Booleanization of multivalued networks. Biosyst. 197: 104205 (2020) - [j22]Sergiu Ivanov, Ion Petre:
Controllability of reaction systems. J. Membr. Comput. 2(4): 290-302 (2020) - [j21]Sergey Verlan, Rudolf Freund, Artiom Alhazov, Sergiu Ivanov, Linqiang Pan:
A formal framework for spiking neural P systems. J. Membr. Comput. 2(4): 355-368 (2020) - [j20]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) - [j19]Artiom Alhazov, Rudolf Freund, Sergiu Ivanov:
P systems with randomized right-hand sides of rules. Theor. Comput. Sci. 805: 144-160 (2020) - 2019
- [j18]Artiom Alhazov, Rudolf Freund, Sergiu Ivanov:
Variants of P systems with activation and blocking of rules. Nat. Comput. 18(3): 593-608 (2019) - 2018
- [j17]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) - 2017
- [j16]Sergiu Ivanov, Sergey Verlan:
Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems. Fundam. Informaticae 155(1-2): 163-185 (2017) - [j15]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) - [j14]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) - 2016
- [j13]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) - [j12]Artiom Alhazov, Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan:
Small Universal Deterministic Petri Nets with Inhibitor Arcs. J. Autom. Lang. Comb. 21(1-2): 7-26 (2016) - [j11]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) - 2015
- [j10]Sergiu Ivanov:
Annotation on PhD Thesis. Comput. Sci. J. Moldova 23(3): 386-388 (2015) - [j9]Sergiu Ivanov, Sergey Verlan:
Random Context and Semi-conditional Insertion-deletion Systems. Fundam. Informaticae 138(1-2): 127-144 (2015) - [j8]Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Ion Petre:
Dependency graphs and mass conservation in reaction systems. Theor. Comput. Sci. 598: 23-39 (2015) - 2014
- [j7]Artiom Alhazov, Rudolf Freund, Sergiu Ivanov:
Length P Systems. Fundam. Informaticae 134(1-2): 17-37 (2014) - [j6]Sergiu Ivanov, Yurii Rogozhin, Sergey Verlan:
Small Universal Networks of Evolutionary Processors. J. Autom. Lang. Comb. 19(1-4): 133-144 (2014) - 2013
- [j5]Sergiu Ivanov:
A formal framework for clock-free networks of cells. Int. J. Comput. Math. 90(4): 776-788 (2013) - 2012
- [j4]Sergiu Ivanov:
Static and Dynamic Membrane Structures. Comput. Sci. J. Moldova 20(3): 374-402 (2012) - 2011
- [j3]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): 56-66 (2011) - 2010
- [j2]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) - [j1]Artiom Alhazov, Constantin Ciubotaru, Sergiu Ivanov, Yurii Rogozhin:
Membrane Systems Languages Are Polynomial-Time Parsable. Comput. Sci. J. Moldova 18(2): 139-148 (2010)
Conference and Workshop Papers
- 2022
- [c27]Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan:
Prescribed Teams of Rules Working on Several Objects. MCU 2022: 27-41 - [c26]Artiom Alhazov, Rudolf Freund, Sergiu Ivanov:
P versus B: P Systems as a Formal Framework for Controllability of Boolean Networks. NCMA 2022: 28-48 - 2021
- [c25]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: 1-6 - 2020
- [c24]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: 372-385 - 2019
- [c23]Jérémie Pardo, Sergiu Ivanov, Franck Delaplace:
Sequential Reprogramming of Biological Network Fate. CMSB 2019: 20-41 - [c22]Artiom Alhazov, Rudolf Freund, Sergiu Ivanov:
Register machines over groups. NCMA 2019: 31-46 - 2018
- [c21]Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald, Sergey Verlan:
Chocolate P Automata. Enjoying Natural Computing 2018: 1-20 - [c20]Sergiu Ivanov, Vladimir Rogojin, Sepinoud Azimi, Ion Petre:
WEBRSIM: A Web-Based Reaction Systems Simulator. Enjoying Natural Computing 2018: 170-181 - [c19]Artiom Alhazov, Rudolf Freund, Sergiu Ivanov:
Sequential Grammars with Activation and Blocking of Rules. MCU 2018: 51-68 - [c18]Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan:
Tissue P Systems with Point Mutation Rules. Int. Conf. on Membrane Computing 2018: 33-56 - [c17]Artiom Alhazov, Rudolf Freund, Sergiu Ivanov:
P Systems with Activation and Blocking of Rules. UCNC 2018: 1-15 - 2017
- [c16]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: 567-579 - [c15]Artiom Alhazov, Rudolf Freund, Sergiu Ivanov:
Hierarchical P Systems with Randomized Right-Hand Sides of Rules. Int. Conf. on Membrane Computing 2017: 15-39 - [c14]Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan:
(Tissue) P Systems with Vesicles of Multisets. AFL 2017: 11-25 - 2016
- [c13]Artiom Alhazov, Bogdan Aman, Rudolf Freund, Sergiu Ivanov:
Simulating R Systems by P Systems. Int. Conf. on Membrane Computing 2016: 51-66 - [c12]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 - 2015
- [c11]Sergiu Ivanov, Sergey Verlan:
Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States. MCU 2015: 79-93 - [c10]Rudolf Freund, Sergiu Ivanov, Sergey Verlan:
P Systems with Generalized Multisets Over Totally Ordered Abelian Groups. Int. Conf. on Membrane Computing 2015: 117-136 - [c9]Rudolf Freund, Sergiu Ivanov, Ludwig Staiger:
Going Beyond Turing with P Automata: Partial Adult Halting and Regular Observer ω-Languages. UCNC 2015: 169-180 - 2014
- [c8]Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan:
Small Universal Non-deterministic Petri Nets with Inhibitor Arcs. DCFS 2014: 186-197 - [c7]Sergiu Ivanov:
Polymorphic P Systems with Non-cooperative Rules and No Ingredients. Int. Conf. on Membrane Computing 2014: 258-273 - 2013
- [c6]Sergiu Ivanov, Sergey Verlan:
About One-Sided One-Symbol Insertion-Deletion P Systems. Int. Conf. on Membrane Computing 2013: 225-237 - [c5]Henning Fernau, Rudolf Freund, Sergiu Ivanov, Markus L. Schmid, K. G. Subramanian:
Array Insertion and Deletion P Systems. UCNC 2013: 67-78 - [c4]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 - 2011
- [c3]Sergiu Ivanov:
Basic Concurrency Resolution in Clock-Free P Systems. Int. Conf. on Membrane Computing 2011: 226-242 - 2010
- [c2]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 - [c1]Artiom Alhazov, Sergiu Ivanov, Yurii Rogozhin:
Polymorphic P Systems. Int. Conf. on Membrane Computing 2010: 81-94
Informal and Other Publications
- 2023
- [i7]Artiom Alhazov, Vincent Ferrari-Dominguez, Rudolf Freund, Nicolas Glade, Sergiu Ivanov:
A P Systems Variant for Reasoning about Sequential Controllability of Boolean Networks. CoRR abs/2303.00110 (2023) - 2021
- [i6]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
- [i5]Franck Delaplace, Sergiu Ivanov:
Bisimilar Conversion of Multi-valued Networks to Boolean Networks. CoRR abs/2001.07371 (2020) - [i4]Sergiu Ivanov, Ion Petre:
Controllability of reaction systems. CoRR abs/2007.09461 (2020) - 2016
- [i3]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: e2083 (2016) - 2013
- [i2]Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan:
Small Universal Petri Nets with Inhibitor Arcs. CoRR abs/1312.4414 (2013) - 2011
- [i1]Sergiu Ivanov, Sergey Verlan:
Random Context and Semi-Conditional Insertion-Deletion Systems. CoRR abs/1112.5947 (2011)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-02-06 23:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
