Search - Université d'Évry Access content directly

Filter your results

20 Results
authIdHal_s : sergiu-ivanov

P Systems with Anti-Membranes

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov
20th Conference on Membrane Computing (CMC 2019), Aug 2019, Arges, Romania
Conference papers hal-02433555v1

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

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Sergey Verlan
Journal of Membrane Computing, 2021, 3, pp.233-245. ⟨10.1007/s41965-021-00085-z⟩
Journal articles hal-03438339v1
Image document

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
21st IEEE International Conference on BioInformatics and BioEngineering (BIBE 2021), Oct 2021, Kragujevac, Serbia. pp.175551, ⟨10.1109/BIBE52308.2021.9635403⟩
Conference papers hal-03408740v1
Image document

P systems with randomized right-hand sides of rules

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov
Theoretical Computer Science, 2020, 805, pp.144--160. ⟨10.1016/j.tcs.2018.07.016⟩
Journal articles hal-01879398v1
Image document

Bisimilar Conversion of Multi-valued Networks to Boolean Networks

Franck Delaplace , Sergiu Ivanov
2020
Preprints, Working Papers, ... hal-02437363v1

WEBRSIM: A Web-Based Reaction Systems Simulator

Sergiu Ivanov , Vladimir Rogojin , Sepinoud Azimi , Ion Petre
Lecture Notes in Computer Science, 11270, pp.170--181, 2018
Book sections hal-01948642v1

Sequential Reprogramming of Biological Network Fate

Jérémie Pardo , Sergiu Ivanov , Franck Delaplace
17th International Conference on Computational Methods in Systems Biology (CMSB 2019), Sep 2019, Trieste, Italy. pp.20--41, ⟨10.1007/978-3-030-31304-3_2⟩
Conference papers hal-02388236v1

Sequential grammars with activation and blocking of rules

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov
8th International Conference on Machines, Computations, and Universality (MCU 2018), Jun 2018, Fontainebleau, France. pp.51--68, ⟨10.1007/978-3-319-92402-1_3⟩
Conference papers hal-01825162v1
Image document

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

Rémi Segretain , Sergiu Ivanov , Laurent Trilling , Nicolas Glade
9th International Conference on Complex Networks and their Applications (COMPLEX NETWORKS 2020), Dec 2020, Madrid, Spain. pp.372-385, ⟨10.1007/978-3-030-65351-4_30⟩
Conference papers hal-03168800v1

When catalytic P systems with one catalyst can be computationally complete

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov
Journal of Membrane Computing, 2021, 3, pp.170--181. ⟨10.1007/s41965-021-00079-x⟩
Journal articles hal-03320415v1

Relations between Control Mechanisms for Sequential Grammars1

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Marion Oswald
Fundamenta Informaticae, 2021, 181 (2-3), pp.239--271. ⟨10.3233/FI-2021-2058⟩
Journal articles hal-03324134v1
Image document

Bisimilar Booleanization of multivalued networks

Franck Delaplace , Sergiu Ivanov
BioSystems, 2020, 197, pp.104205. ⟨10.1016/j.biosystems.2020.104205⟩
Journal articles hal-02895809v1
Image document

Network modeling methods for precision medicine

Elio Nushi , Victor-Bogdan Popescu , Jose-Angel Sanchez Martin , Sergiu Ivanov , Eugen Czeizler , et al.
Elisabetta De Maria. Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools, pp.363--423, 2022, 978-1-119-71658-7. ⟨10.1002/9781119716600.ch10⟩
Book sections hal-03921110v1

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

Artiom Alhazov , Vincent Ferrari-Dominguez , Rudolf Freund , Nicolas Glade , Sergiu Ivanov
Theoretical Computer Science, 2023, 970, pp.114056. ⟨10.1016/j.tcs.2023.114056⟩
Journal articles hal-04166694v1

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

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Linqiang Pan , Bosheng Song
Theoretical Computer Science, 2020, 805, pp.127--143. ⟨10.1016/j.tcs.2018.09.009⟩
Journal articles hal-01893373v1
Image document

A formal framework for spiking neural P systems

Sergey Verlan , Rudolf Freund , Artiom Alhazov , Sergiu Ivanov , Linqiang Pan
Journal of Membrane Computing, 2020, 2 (4), pp.355-368. ⟨10.1007/s41965-020-00050-2⟩
Journal articles hal-04032280v1
Image document

Sequential reprogramming of biological network fate

Jérémie Pardo , Sergiu Ivanov , Franck Delaplace
Theoretical Computer Science, 2021, 872, pp.97--116. ⟨10.1016/j.tcs.2021.03.013⟩
Journal articles hal-03180429v1

Variants of P systems with activation and blocking of rules

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov
Natural Computing, 2019, 18 (3), pp.593--608. ⟨10.1007/s11047-019-09747-5⟩
Journal articles hal-02275967v1

Chocolate P Automata

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Marion Oswald , Sergey Verlan
Lecture Notes in Computer Science, 11270, pp.1--20, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-00265-7_1⟩
Book sections hal-01949068v1

Single semi-contextual insertion-deletion systems

Sergiu Ivanov , Sergey Verlan
Natural Computing, 2021, 20, pp.703-712. ⟨10.1007/s11047-021-09861-3⟩
Journal articles hal-03311601v1