Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

54 résultats

Small universal deterministic Petri nets with inhibitor arcs

Elisabeth Pelz , Artiom Alhazov , Sergey Verlan , Sergiu Ivanov
Journal of Automata Languages and Combinatorics, 2016
Article dans une revue hal-01667580v1

Polymorphic P Systems with Non-cooperative Rules and No Ingredients

Sergiu Ivanov
Membrane Computing - 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers, 2014, Unknown, Unknown Region. pp.258--273, ⟨10.1007/978-3-319-14370-5_16⟩
Communication dans un congrès hal-01161697v1

Small Universal Networks of Evolutionary Processors

Sergiu Ivanov , Yurii Rogozhin , Sergey Verlan
Journal of Automata Languages and Combinatorics, 2014, 19 (1-4), pp.133--144
Article dans une revue hal-01161700v1
Image document

Prescribed Teams of Rules Working on Several Objects

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Sergey Verlan
9th International Conference on Machines, Computations, and Universality (MCU 2022), Aug 2022, Debrecen, Hungary. pp.27--41, ⟨10.1007/978-3-031-13502-6_6⟩
Communication dans un congrès hal-03762652v1

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

Sergiu Ivanov , Sergey Verlan
Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers, 2013, Unknown, Unknown Region. pp.225--237, ⟨10.1007/978-3-642-54239-8_16⟩
Communication dans un congrès hal-01161704v1

Investigations on Natural Computing in the Institute of Mathematics and Computer Science

Artiom Alhazov , Elena Boian , Liudmila Burtseva , Constantin Ciubotaru , Svetlana Cojocaru , et al.
Computer Science Journal of Moldova, 2010, 18 (2), pp.101--138
Article dans une revue hal-01161713v1
Image document

Bisimilar Booleanization of multivalued networks

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

Regulated insertion-deletion systems

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Sergey Verlan
Journal of Automata, Languages and Combinatorics, 2022, 27, pp.15--45. ⟨10.25596/jalc-2022-015⟩
Article dans une revue hal-03766387v1

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⟩
Article dans une revue hal-03324134v1

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

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Marion Oswald
Theoretical Computer Science, 2022, 920, pp.95--112. ⟨10.1016/j.tcs.2022.03.007⟩
Article dans une revue hal-03650217v1

Random Context and Semi-Conditional Insertion-Deletion Systems

Sergiu Ivanov , Sergey Verlan
CoRR, 2011, abs/1112.5947, pp.1-13
Article dans une revue hal-01161707v1

Array Insertion and Deletion P Systems

Henning Fernau , Rudolf Freund , Sergiu Ivanov , Markus L. Schmid , K. G. Subramanian
Unconventional Computation and Natural Computation - 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings, 2013, Unknown, Unknown Region. pp.67--78, ⟨10.1007/978-3-642-39074-6_8⟩
Communication dans un congrès istex hal-01161701v1

P Systems with Anti-Membranes

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov
20th Conference on Membrane Computing (CMC 2019), Aug 2019, Arges, Romania
Communication dans un congrès hal-02433555v1
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⟩
Communication dans un congrès hal-03408740v1

SymPy: Symbolic computing in Python

Aaron Meurer , Christopher P Smith , Mateusz Paprocki , Ondřej Čertík , Sergey B Kirpichev , et al.
PeerJ Computer Science, 2017, 3, pp.e103. ⟨10.7287/peerj.preprints.2083v3⟩
Article dans une revue hal-01404156v1

(Tissue) P Systems with Vesicles of Multisets

Sergey Verlan , Artiom Alhazov , Rudolf Freund , Sergiu Ivanov
15th International Conference on Automata and Formal Languages, AFL 2017, Sep 2017, Debrecen, Hungary. pp.11 - 25, ⟨10.4204/EPTCS.252.6⟩
Communication dans un congrès hal-01638707v1
Image document

On the Power and Universality of Biologically-inspired Models of Computation

Sergiu Ivanov
Computation and Language [cs.CL]. Université Paris-Est, 2015. English. ⟨NNT : 2015PESC1012⟩
Thèse tel-01272318v1

Basic Concurrency Resolution in Clock-Free P Systems

Sergiu Ivanov
Membrane Computing - 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers, 2011, Unknown, Unknown Region. pp.226--242, ⟨10.1007/978-3-642-28024-5_16⟩
Communication dans un congrès istex hal-01161708v1

Small Universal Petri Nets with Inhibitor Arcs

Sergiu Ivanov , Elisabeth Pelz , Sergey Verlan
CoRR, 2013, abs/1312.4414, pp.1-18
Article dans une revue hal-01161702v1

SymPy: symbolic computing in Python

Aaron Meurer , Christopher P. Smith , Mateusz Paprocki , Ondřej Čertík , Sergey B. Kirpichev , et al.
PeerJ Comput.Sci., 2017, 3, pp.e103. ⟨10.7717/peerj-cs.103⟩
Article dans une revue hal-01645958v1

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

Sergiu Ivanov , Sergey Verlan
Machines, Computations, and Universality - 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings, 2015, Unknown, Unknown Region. pp.79--93, ⟨10.1007/978-3-319-23111-2_6⟩
Communication dans un congrès hal-01352286v1
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⟩
Article dans une revue hal-01879398v1

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

Rudolf Freund , Sergiu Ivanov , Marion Oswald , K. G. Subramanian
Proceedings Machines, Computations and Universality 2013, MCU 2013, Zürich, Switzerland, September 9-11, 2013., 2013, Unknown, Unknown Region. pp.62--75, ⟨10.4204/EPTCS.128.14⟩
Communication dans un congrès hal-01161703v1

Length P Systems

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov
Fundam. Inform., 2014, 134 (1-2), pp.17--37. ⟨10.3233/FI-2014-1088⟩
Article dans une revue hal-01161699v1

Random Context and Semi-conditional Insertion-deletion Systems

Sergiu Ivanov , Sergey Verlan
Fundam. Inform., 2015, 138 (1-2), pp.127--144. ⟨10.3233/FI-2015-1203⟩
Article dans une revue hal-01161696v1

The Family of Languages Generated by Non-cooperative Membrane Systems

Artiom Alhazov , Constantin Ciubotaru , Sergiu Ivanov , Yurii Rogozhin
Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, 2010, Unknown, Unknown Region. pp.65--80, ⟨10.1007/978-3-642-18123-8_8⟩
Communication dans un congrès istex hal-01161711v1

Membrane Systems Languages Are Polynomial-Time Parsable

Artiom Alhazov , Constantin Ciubotaru , Sergiu Ivanov , Yurii Rogozhin
Computer Science Journal of Moldova, 2010, 18 (2), pp.139--148
Article dans une revue hal-01161712v1

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
Chapitre d'ouvrage hal-01948642v1
Image document

Bisimilar Conversion of Multi-valued Networks to Boolean Networks

Franck Delaplace , Sergiu Ivanov
2020
Pré-publication, Document de travail hal-02437363v1

Forward and Backward Chaining with P Systems

Sergiu Ivanov , Artiom Alhazov , Vladimir Rogojin , Miguel A. Gutiérrez-Naranjo
IJNCR, 2011, 2 (2), pp.56--66. ⟨10.4018/jncr.2011040105⟩
Article dans une revue hal-01161709v1