Accéder directement au contenu

Sergey Verlan

Professeur à l'Université Paris Est Créteil, IUT de Sénart-Fontainebleau
141
Documents
Affiliations actuelles
  • 182989
Identifiants chercheurs

Publications

Image document

A tutorial on the formal framework for spiking neural P systems

Sergey Verlan , Gexiang Zhang
Natural Computing, 2023, ⟨10.1007/s11047-022-09896-0⟩
Article dans une revue hal-04032294v1

Numerical networks of cells

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Sergey Verlan
Theoretical Computer Science, 2023, 958, pp.113873. ⟨10.1016/j.tcs.2023.113873⟩
Article dans une revue hal-04076498v1
Image document

An FPGA Architecture for the RRT Algorithm Based on Membrane Computing

Zeyi Shang , Zhe Wei , Sergey Verlan , Jianming Li , Zhige He
Electronics, 2023, 12 (12), pp.2741. ⟨10.3390/electronics12122741⟩
Article dans une revue hal-04435563v1
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
Image document

Tissue P Systems with Vesicles of Multisets

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Sergey Verlan
International Journal of Foundations of Computer Science, 2022, 33 (3-4), pp.179--202. ⟨10.1142/S0129054122410015⟩
Article dans une revue hal-03672466v1
Image document

An Overview of Hardware Implementation of Membrane Computing Models

Gexiang Zhang , Zeyi Shang , Sergey Verlan , Miguel Á. Martínez-Del-Amor , Chengxun Yuan
ACM Computing Surveys, 2021, 53 (4), pp.90. ⟨10.1145/3402456⟩
Article dans une revue hal-03550487v1
Image document

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

Single semi-contextual insertion-deletion systems

Sergiu Ivanov , Sergey Verlan
Natural Computing, 2021, 20, pp.703-712. ⟨10.1007/s11047-021-09861-3⟩
Article dans une revue hal-03311601v1
Image document

FPGA Implementation of Numerical P Systems

Zeyi Shang , Sergey Verlan , Gexiang Zhang , Haina Rong
International Journal of Unconventional Computing, 2021, 16 (2-3), pp.279-302
Article dans une revue hal-04032275v1
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⟩
Article dans une revue hal-04032280v1
Image document

Universal insertion grammars of size two

Sergey Verlan , Henning Fernau , Lakshmanan Kuppusamy
Theoretical Computer Science, 2020, 843, pp.153-163. ⟨10.1016/j.tcs.2020.09.002⟩
Article dans une revue hal-03550102v1

UCNC 2018 special issue editorial

Susan Stepney , Sergey Verlan
Natural Computing, 2019, 18 (3), pp.513-514. ⟨10.1007/s11047-019-09750-w⟩
Article dans une revue hal-02485373v1
Image document

VYPER: Vulnerability detection in binary code

El Habib Boudjema , Sergey Verlan , Lynda Mokdad , Christèle Faure
Security and Privacy , 2019, 3 (2), pp.e100. ⟨10.1002/spy2.100⟩
Article dans une revue hal-02485434v1

Variants of Networks of Evolutionary Processors with Polarizations and a Small Number of Processors

Rudolf Freund , Vladimir Rogojin , Sergey Verlan
International Journal of Foundations of Computer Science, 2019, 30 (06n07), pp.1005-1027. ⟨10.1142/S0129054119400264⟩
Article dans une revue hal-02485429v1
Image document

Reaction Systems and Synchronous Digital Circuits

Zeyi Shang , Sergey Verlan , Ion Petre , Gexiang Zhang
Molecules, 2019, 24 (10), pp.1961. ⟨10.3390/molecules24101961⟩
Article dans une revue hal-02485427v1
Image document

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

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Marion Oswald , Sergey Verlan
Natural Computing, 2018, 17 (2), pp.297-310. ⟨10.1007/s11047-017-9649-7⟩
Article dans une revue hal-02485423v1

Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems

Sergey Verlan , Sergiu Ivanov
Fundamenta Informaticae, 2017, 155 (1-2), pp.163 - 185. ⟨10.3233/FI-2017-1580⟩
Article dans une revue hal-01638789v1

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

Fast Hardware Implementations of Static P Systems

Sergey Verlan , Juan Quiros , Julian Viejo , Alejandro Millan , Manuel J. Bellido
Computing and Informatics, 2016, 35 (3), pp.687-718
Article dans une revue hal-01757344v1

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

On the Lower Bounds for Leftist Insertion-Deletion Languages

Sergiu Ivanov , Sergey Verlan
Annals of the University of Bucharest (informatics series), 2015, LXII (2), pp.77-88
Article dans une revue hal-01352362v1

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

Generating and Accepting P Systems with Minimal Left and Right Insertion and Deletion

Rudolf Freund , Yurii Rogozhin , Sergey Verlan
Natural Computing, 2014, 13 (2), pp.257--268. ⟨10.1007/s11047-013-9396-3⟩
Article dans une revue hal-01352295v1

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

A Formalization of Membrane Systems with Dynamically Evolving Structures

Rudolf Freund , Ignacio Pérez-Hurtado , Agustín Riscos-Núñez , Sergey Verlan
International Journal of Computer Mathematics, 2013, 90 (4), pp.801-815. ⟨10.1080/00207160.2012.748899⟩
Article dans une revue hal-01352298v1

P Systems Based on Tag Operations

Yurii Rogozhin , Sergey Verlan
Computer Science Journal of Moldova, 2012, 20 (3), pp.366-373
Article dans une revue hal-01352370v1

Matrix Insertion-Deletion Systems

Ion Petre , Sergey Verlan
Theoretical Computer Science, 2012, 456, pp.80 - 88. ⟨10.1016/j.tcs.2012.07.002⟩
Article dans une revue hal-01352302v1

On Small Universal Splicing Systems

Artiom Alhazov , Yurii Rogozhin , Sergey Verlan
International Journal of Foundations of Computer Science, 2012, 23 (07), pp.1423-1438. ⟨10.1142/S0129054112400564⟩
Article dans une revue hal-01352305v1

On Generalized Communicating P Systems with Minimal Interaction Rules

Erzsébet Csuhaj-Varjú , Sergey Verlan
Theoretical Computer Science, 2011, 412 (1-2), pp.124-135
Article dans une revue hal-01352315v1

Minimization Strategies for Maximally Parallel Multiset Rewriting Systems

Artiom Alhazov , Sergey Verlan
Theoretical Computer Science, 2011, 412 (17), pp.1581 - 1591
Article dans une revue hal-01352380v1

On Generalized Communicating P Systems with Minimal Interaction Rules

Erzsébet Csuhaj-Varjú , Sergey Verlan
Theoretical Computer Science, 2011, 412 (1-2), pp.124-135
Article dans une revue hal-01352379v1

P Systems with Insertion and Deletion Exo-Operations

Artiom Alhazov , Alexander Krassovitskiy , Yurii Rogozhin , Sergey Verlan
Fundamenta Informaticae, 2011, 110 (1-4), pp.13-28
Article dans une revue hal-01352377v1

P Systems with Minimal Insertion and Deletion

Artiom Alhazov , Alexander Krassovitskiy , Yurii Rogozhin , Sergey Verlan
Theoretical Computer Science, 2011, 412 (1-2), pp.136-144
Article dans une revue hal-01352378v1

Universality of Splicing Test Tube Systems with Two Tubes

Sergey Verlan , Maurice Margenstern
Fundam. Inform., 2011, 110 (1-4), pp.329-342
Article dans une revue hal-01352308v1

Generalized Communicating P Systems Working in Fair Sequential Mode

Antoine Spicher , Sergey Verlan
Scientific Annals of Computer Science, 2011, 21 (2), pp.227--247
Article dans une revue hal-01352373v1

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

Small Universal TVDH and Test Tube Systems

Artiom Alhazov , Marian Kogler , Maurice Margenstern , Yurii Rogozhin , Sergey Verlan
International Journal of Foundations of Computer Science, 2011, 22 (1), pp.143-154
Article dans une revue hal-01352310v1

Computational Power of Insertion-Deletion (P) Systems with Rules of Size Two

Alexander Krassovitskiy , Yurii Rogozhin , Sergey Verlan
Natural Computing, 2011, 10 (2), pp.835-852
Article dans une revue hal-01352311v1

(Tissue) P systems working in the ıt k-restricted minimally or maximally parallel transition mode

Rudolf Freund , Sergey Verlan
Natural Computing, 2011, 10 (2), pp.821-833
Article dans une revue hal-01352307v1

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

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

Recent Developments on Insertion-Deletion Systems

Sergey Verlan
Computer Science Journal of Moldova, 2010, 18 (2), pp.210-245
Article dans une revue hal-01352319v1

A Sequence-Based Analysis of the Pointer Distribution of Stichotrichous Ciliates

Sergey Verlan , Artiom Alhazov , Ion Petre
BioSystems, 2010, 101 (2), pp.109 - 116
Article dans une revue hal-01352381v1

Maximal, Locally-Maximal, and Minimal Parallelism in Networks of Cells

Francesco Bernardini , Marian Gheorghe , Maurice Margenstern , Sergey Verlan
International Journal of Unconventional Computing, 2009, 5 (5), pp.391-409
Article dans une revue hal-01352390v1

Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions

Artiom Alhazov , Marion Oswald , Rudolf Freund , Sergey Verlan
Fundam. Inform., 2009, 91 (1), pp.17-34
Article dans une revue hal-01352391v1

How to Synchronize the Activity of All Components of a P System?

Francesco Bernardini , Marian Gheorghe , Maurice Margenstern , Sergey Verlan
International Journal of Foundations of Computer Science, 2008, 19 (5), pp.1183-1198
Article dans une revue hal-01352334v1

On Length-Separating Test Tube Systems

Erzsébet Csuhaj-Varjú , Sergey Verlan
Natural Computing, 2008, 7 (2), pp.167-181
Article dans une revue hal-01352337v1

Generalized Communicating P Systems

Sergey Verlan , Francesco Bernardini , Marian Gheorghe , Maurice Margenstern
TCS, 2008, 404 (1-2), pp.170-184. ⟨10.1016/j.tcs.2008.04.008⟩
Article dans une revue hal-01352393v1

On Minimal Context-Free Insertion-Deletion Systems

Sergey Verlan
Journal of Automata, Languages and Combinatorics, 2007, 12 (1-2), pp.317-328
Article dans une revue hal-01352405v1

On Small Universal Antiport P Systems

Erzsébet Csuhaj-Varjú , Maurice Margenstern , György Vaszil , Sergey Verlan
TCS, 2007, 372 (2-3), pp.152-164. ⟨10.1016/j.tcs.2006.11.023⟩
Article dans une revue hal-01352403v1

Minimal Cooperation in Symport/Antiport Tissue P Systems

Artiom Alhazov , Yurii Rogozhin , Sergey Verlan
International Journal of Foundations of Computer Science, 2007, 18 (1), pp.163-180
Article dans une revue hal-01352409v1

Context-Free Insertion-Deletion Systems

Maurice Margenstern , Gheorghe Păun , Yurii Rogozhin , Sergey Verlan
TCS, 2005, 330 (2), pp.339-348. ⟨10.1016/j.tcs.2004.06.031⟩
Article dans une revue hal-01352350v1

Time-Varying Distributed H Systems: An Overview

Maurice Margenstern , Yurii Rogozhin , Sergey Verlan
Fundamenta Informaticae, 2005, 64 (1-4), pp.291-306
Article dans une revue hal-01352414v1

Context-Free Insertion-Deletion Systems

Maurice Margenstern , Gheorghe Păun , Yurii Rogozhin , Sergey Verlan
TCS, 2005, 330 (2), pp.339-348. ⟨10.1016/j.tcs.2004.06.031⟩
Article dans une revue hal-01352415v1

Time-Varying Distributed H Systems: An Overview

Maurice Margenstern , Yurii Rogozhin , Sergey Verlan
Fundamenta Informaticae, 2005, 64 (1-4), pp.291-306
Article dans une revue hal-01352349v1

A Boundary Result on Enhanced Time-Varying Distributed H Systems with Parallel Computations

Sergey Verlan
Theoretical Computer Science, 2005, 344 (2-3), pp.226--242. ⟨10.1016/j.tcs.2005.03.056⟩
Article dans une revue hal-01352418v1

About Splicing P Systems with One Membrane

Sergey Verlan , Maurice Margenstern
Fundamenta Informaticae, 2005, 65 (3), pp.279-290
Article dans une revue hal-01352419v1

About Splicing P Systems with One Membrane

Sergey Verlan , Maurice Margenstern
Fundamenta Informaticae, 2005, 65 (3), pp.279-290
Article dans une revue hal-01352353v1

On Enhanced Time-Varying Distributed H Systems

Sergey Verlan
Computer Science Journal of Moldova, 2002, 10 (3), pp.263-279
Article dans une revue hal-01352361v1

On Enhanced Time-Varying Distributed H Systems

Sergey Verlan
Computer Science Journal of Moldova, 2002, 10 (3), pp.263-279
Article dans une revue hal-01352424v1
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

Universal Matrix Insertion Grammars with Small Size

Henning Fernau , Lakshmanan Kuppusamy , Sergey Verlan
Unconventional Computation and Natural Computation - 16th International Conference, UCNC 2017, Jun 2017, Fayetteville, United States. pp.182-193
Communication dans un congrès hal-01638808v1

(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

Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors

Rudolf Freund , Vladimir Rogojin , Sergey Verlan
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.140-151, ⟨10.1007/978-3-319-60252-3_11⟩
Communication dans un congrès hal-01657015v1

Bi-simulation Between P Colonies and P Systems with Multi-stable Catalysts

Erzsébet Csuhaj-Varjú , Sergey Verlan
Membrane Computing - 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers, 2017, Unknown, Unknown Region. pp.105--117, ⟨10.1007/978-3-319-73359-3_7⟩
Communication dans un congrès hal-01757528v1

Computationally Complete Generalized Communicating P Systems with Three Cells

Erzsébet Csuhaj-Varjú , Sergey Verlan
Membrane Computing - 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers, 2017, Unknown, Unknown Region. pp.118--128, ⟨10.1007/978-3-319-73359-3_8⟩
Communication dans un congrès hal-01757529v1

P Systems Working in Maximal Variants of the Set Derivation Mode

Sergey Verlan , Artiom Alhazov , Rudolf Freund
Membrane Computing - 17th International Conference, Jul 2016, Milan, Italy. pp.83-102
Communication dans un congrès hal-01757362v1

Insertion-Deletion Systems over Relational Words

Igor Potapov , Olena Prianychnykova , Sergey Verlan
In Reachability Problems - 10th International Workshop, RP 2016, 2016, Aalborg, Denmark. pp.177-191
Communication dans un congrès hal-01757410v1

Bridging Deterministic P Systems and Conditional Grammars

Artiom Alhazov , Rudolf Freund , Sergey Verlan
Membrane Computing - 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers, 2015, Unknown, Unknown Region. pp.63--76, ⟨10.1007/978-3-319-28475-0_5⟩
Communication dans un congrès hal-01352292v1

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

Universality in Molecular and Cellular Computing

Sergey Verlan
Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, 2015, Unknown, Unknown Region. pp.95--104, ⟨10.1007/978-3-319-20028-6_10⟩
Communication dans un congrès hal-01352288v1

P Systems with Generalized Multisets Over Totally Ordered Abelian Groups

Rudolf Freund , Sergiu Ivanov , Sergey Verlan
Membrane Computing - 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers, 2015, Unknown, Unknown Region. pp.117--136, ⟨10.1007/978-3-319-28475-0_9⟩
Communication dans un congrès hal-01352290v1

Promoters and Inhibitors in Purely Catalytic P Systems

Artiom Alhazov , Rudolf Freund , Sergey Verlan
Membrane Computing - 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers, 2014, Unknown, Unknown Region. pp.126--138, ⟨10.1007/978-3-319-14370-5_8⟩
Communication dans un congrès hal-01352294v1

Small Universal Non-deterministic Petri Nets with Inhibitor Arcs

Sergiu Ivanov , Elisabeth Pelz , Sergey Verlan
Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings, 2014, Unknown, Unknown Region. pp.186--197, ⟨10.1007/978-3-319-09704-6_17⟩
Communication dans un congrès hal-01161698v1

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

Flattening in (Tissue) P Systems

Rudolf Freund , Alberto Leporati , Giancarlo Mauri , Antonio E. Porreca , 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.173-188
Communication dans un congrès hal-01352363v1
Image document

Using the Formal Framework for P Systems

Sergey Verlan
CMC 1414th International Conference Membrane Computing ,, Aug 2013, Chisinau, Moldova. pp.56-79
Communication dans un congrès hal-01352297v1

P Systems with Minimal Left and Right Insertion and Deletion

Rudolf Freund , Yurii Rogozhin , Sergey Verlan
Unconventional Computation and Natural Computation - 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings, 2012, Unknown, Unknown Region. pp.82-93
Communication dans un congrès hal-01352366v1

A Formal Framework for P Systems with Dynamic Structure

Rudolf Freund , Ignacio Pérez-Hurtado , Agustín Riscos-Núñez , Sergey Verlan
Proceedings of 13th International Conference on Membrane Computing, 2012, Unknown, Unknown Region. pp.199--210
Communication dans un congrès hal-01352365v1

Fast Hardware Implementations of P Systems

Sergey Verlan , Juan Quiros
Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers, 2012, Unknown, Unknown Region. pp.404-423
Communication dans un congrès hal-01352304v1

Sequential P Systems with Regular Control

Artiom Alhazov , Rudolf Freund , Hilbert Heikenwälder , Marion Oswald , Yurii Rogozhin
Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers, 2012, Unknown, Unknown Region. pp.112-127
Communication dans un congrès hal-01352301v1

Graph-Controlled Insertion-Deletion Systems

Rudolf Freund , Marian Kogler , Yurii Rogozhin , Sergey Verlan
Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, 2010, Unknown, Unknown Region. pp.88-98
Communication dans un congrès hal-01352317v1

On Generalized Communicating P Systems with One Symbol

Erzsébet Csuhaj-Varjú , György Vaszil , Sergey Verlan
Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, 2010, Unknown, Unknown Region. pp.160-174
Communication dans un congrès hal-01352320v1

A Small Universal Splicing P System

Artiom Alhazov , Yurii Rogozhin , Sergey Verlan
Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, 2010, Unknown, Unknown Region. pp.95-102
Communication dans un congrès hal-01352318v1

Computational Power of P Systems with Small Size Insertion and Deletion Rules

Alexander Krassovitskiy , Yurii Rogozhin , Sergey Verlan
Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008, 2009, Unknown, Unknown Region. pp.108-117
Communication dans un congrès hal-01352322v1

P Automata with Controlled Use of Minimal Communication Rules

Rudolf Freund , Marian Kogler , Sergey Verlan
Workshop on Non-Classical Models of Automata and Applications, NCMA 2009, Wroclaw, Poland, 2009, Unknown, Unknown Region. pp.107--120
Communication dans un congrès hal-01352321v1

Look-Ahead Evolution for P Systems

Sergey Verlan
Membrane Computing, 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers, 2009, Unknown, Unknown Region. pp.479-485
Communication dans un congrès hal-01352323v1

Fast Synchronization in P Systems

Artiom Alhazov , Maurice Margenstern , Sergey Verlan
Membrane Computing - 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers, 2008, Unknown, Unknown Region. pp.118-128
Communication dans un congrès hal-01352329v1

P Systems Working in the k-Restricted Minimally Parallel Mode

Rudolf Freund , Sergey Verlan
International Workshop on Computing with Biomolecules, August 27th, 2008, Wien, Austria, 2008, Unknown, Unknown Region. pp.43--52
Communication dans un congrès hal-01352395v1

New Choice for Small Universal Devices: Symport/Antiport P Systems

Sergey Verlan , Yurii Rogozhin
Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008, 2008, Unknown, Unknown Region. pp.235-241
Communication dans un congrès hal-01352398v1

Computational Power of P Systems with Small Size Insertion and Deletion Rules

Alexander Krassovitskiy , Yurii Rogozhin , Sergey Verlan
Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings, 2008, Unknown, Unknown Region. pp.137-148
Communication dans un congrès hal-01352336v1

New Choice for Small Universal Devices: Symport/Antiport P Systems

Sergey Verlan , Yurii Rogozhin
Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings, 2008, Unknown, Unknown Region. pp.305-314
Communication dans un congrès hal-01352397v1

One-Sided Insertion and Deletion: Traditional and P Systems Case

Alexander Krassovitskiy , Yurii Rogozhin , Sergey Verlan
International Workshop on Computing with Biomolecules, August 27th, 2008, Wien, Austria, 2008, Unknown, Unknown Region. pp.53--64
Communication dans un congrès hal-01352331v1

Further Results on Insertion-Deletion Systems with One-Sided Contexts

Alexander Krassovitskiy , Yurii Rogozhin , Sergey Verlan
Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers, 2008, Unknown, Unknown Region. pp.333-344
Communication dans un congrès hal-01352335v1

Partial Halting in P Systems Using Membrane Rules with Permitting Contexts

Artiom Alhazov , Rudolf Freund , Marion Oswald , Sergey Verlan
Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.110-121
Communication dans un congrès hal-01352406v1

A Formal Framework for Static (Tissue) P Systems

Rudolf Freund , Sergey Verlan
Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers, 2007, Unknown, Unknown Region. pp.271-284
Communication dans un congrès hal-01352339v1

How to Synchronize the Activity of All Components of a P System?

Francesco Bernardini , Marian Gheorghe , Maurice Margenstern , Sergey Verlan
International Workshop: Automata for Cellular and Molecular Computing, Budapest, Hungary, August 31, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.11--23
Communication dans un congrès hal-01352342v1

Insertion-Deletion Systems with One-Sided Contexts

Artiom Matveevici , Yurii Rogozhin , Sergey Verlan
Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.205-217
Communication dans un congrès hal-01352410v1

Producer/Consumer in Membrane Systems and Petri Nets

Francesco Bernardini , Marian Gheorghe , Maurice Margenstern , Sergey Verlan
Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.43-52
Communication dans un congrès hal-01352408v1

Computational Completeness of Tissue P Systems with Conditional Uniport

Sergey Verlan , Francesco Bernardini , Marian Gheorghe , Maurice Margenstern
Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers, 2006, Unknown, Unknown Region. pp.521-535
Communication dans un congrès hal-01352347v1

Length-Separating Test Tube Systems

Erzsébet Csuhaj-Varjú , Sergey Verlan
DNA Computing, 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers, 2006, Unknown, Unknown Region. pp.58-70
Communication dans un congrès hal-01352346v1

On P Systems with Bounded Parallelism

Francesco Bernardini , Francisco J. Romero-Campero , Marian Gheorghe , Mario J. Perez-Jimenez , Maurice Margenstern
SYNASC '05: Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2005, Washington, DC, USA, Unknown Region. pp.399-406
Communication dans un congrès hal-01352416v1

On Minimal Context-Free Insertion-Deletion Systems

Sergey Verlan
Seventh International Workshop on Descriptional Complexity of Formal Systems, June 30 ― July 2, 2005 Como, Italy. Proceedings., 2005, Unknown, Unknown Region. pp.285-292
Communication dans un congrès hal-01352351v1

On Minimal Context-Free Insertion-Deletion Systems

Sergey Verlan
Seventh International Workshop on Descriptional Complexity of Formal Systems, June 30 ― July 2, 2005 Como, Italy. Proceedings., 2005, Unknown, Unknown Region. pp.285-292
Communication dans un congrès hal-01352417v1

On the Rule Complexity of Universal Tissue P Systems

Yurii Rogozhin , Sergey Verlan
Membrane Computing, 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers, 2005, Unknown, Unknown Region. pp.356-362
Communication dans un congrès hal-01352413v1

On the Rule Complexity of Universal Tissue P Systems

Yurii Rogozhin , Sergey Verlan
Membrane Computing, 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers, 2005, Unknown, Unknown Region. pp.356-362
Communication dans un congrès hal-01352348v1

Communicative P Systems with Minimal Cooperation

Artiom Alhazov , Maurice Margenstern , Vladimir Rogozhin , Yurii Rogozhin , Sergey Verlan
International Workshop WMC5, Milano, Italy, 2004, LNCS, Springer, 2005, 2005, Unknown, Unknown Region. pp.161-177, ⟨10.1007/b106721⟩
Communication dans un congrès hal-01352352v1

Tissue P Systems with Minimal Symport/Antiport

Sergey Verlan
Developments in Language Theory: 8th International Conference, DLT 2004. Auckland, New Zealand, December 13-17, 2004. Proceedings, 2004, Unknown, Unknown Region. pp.418--430, ⟨10.1007/b103739⟩
Communication dans un congrès hal-01352354v1

Time-Varying Distributed H Systems with Parallel Computations: the Problem is Solved

Maurice Margenstern , Yurii Rogozhin , Sergey Verlan
DNA Computing: 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003. Revised Papers, 2004, Unknown, Unknown Region. pp.48--53, ⟨10.1007/b95518⟩
Communication dans un congrès hal-01352355v1

1-splicing vs. 2-splicing: Separating Results

Sergey Verlan , Rosalba Zizza
Proceedings of WORDS'03, 4th International Conference on Combinatorics on Words, September 10-13, 2003, Turku, Finland, 2003, Unknown, Unknown Region. pp.320--331
Communication dans un congrès hal-01352356v1

A Frontier Result on Enhanced Time-Varying Distributed H Systems with Parallel Computations

Sergey Verlan
Proceedings of DCFS'03, Fifth International Workshop, Descriptional Complexity of Formal Systems, Budapest, Hungary, July 12-14, 2003, 2003, Unknown, Unknown Region. pp.221--232
Communication dans un congrès hal-01352422v1

Context-Free Insertion-Deletion Systems

Maurice Margenstern , Gheorghe Păun , Yurii Rogozhin , Sergey Verlan
Proceedings of DCFS'03, Fifth International Workshop, Descriptional Complexity of Formal Systems, Budapest, Hungary, July 12-14, 2003, 2003, Unknown, Unknown Region. pp.265--273
Communication dans un congrès hal-01352358v1

A Frontier Result on Enhanced Time-Varying Distributed H Systems with Parallel Computations

Sergey Verlan
Proceedings of DCFS'03, Fifth International Workshop, Descriptional Complexity of Formal Systems, Budapest, Hungary, July 12-14, 2003, 2003, Unknown, Unknown Region. pp.221--232
Communication dans un congrès hal-01352357v1

About Splicing P Systems with Immediate Communication and Non-Extended Splicing P Systems

Sergey Verlan
Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain, July, 17-22, 2003, Revised Papers, 2003, Unknown, Unknown Region. pp.369--382, ⟨10.1007/b95207⟩
Communication dans un congrès hal-01352359v1

Context-Free Insertion-Deletion Systems

Maurice Margenstern , Gheorghe Păun , Yurii Rogozhin , Sergey Verlan
Proceedings of DCFS'03, Fifth International Workshop, Descriptional Complexity of Formal Systems, Budapest, Hungary, July 12-14, 2003, 2003, Unknown, Unknown Region. pp.265--273
Communication dans un congrès hal-01352423v1

1-splicing vs. 2-splicing: Separating Results

Sergey Verlan , Rosalba Zizza
Proceedings of WORDS'03, 4th International Conference on Combinatorics on Words, September 10-13, 2003, Turku, Finland, 2003, Unknown, Unknown Region. pp.320--331
Communication dans un congrès hal-01352421v1

Time-Varying Distributed H Systems of Degree 2 Can Carry Out Parallel Computations

Maurice Margenstern , Yurii Rogozhin , Sergey Verlan
DNA Computing: 8th International Workshop on DNA-Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002. Revised Papers, 2002, Unknown, Unknown Region. pp.326--336, ⟨10.1007/3-540-36440-4_29⟩
Communication dans un congrès hal-01352360v1

Membrane Computing Concepts, Theoretical Developments and Applications

Erzsébet Csuhaj-Varjú , Marian Gheorghe , Alberto Leporati , Miguel Ángel Martínez-Del-Amor , Linqiang Pan
Handbook of Unconventional Computing, 1, World Scientific, pp.261-339, 2021, ⟨10.1142/9789811235726_0008⟩
Chapitre d'ouvrage hal-04435586v1
Image document

Small Universal Reversible Counter Machines

Artiom Alhazov , Sergey Verlan , Rudolf Freund
Adamatzky, Andrew. Reversibility and Universality: Essays Presented to Kenichi Morita on the Occasion of his 70th Birthday, Springer International Publishing, pp.433--446, 2018, 978-3-319-73216-9. ⟨10.1007/978-3-319-73216-9_20⟩
Chapitre d'ouvrage hal-01757525v1

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⟩
Chapitre d'ouvrage hal-01949068v1

Membrane Computing, Power and Complexity

Marian Gheorghe , Andrei Păun , Sergey Verlan , Gexiang Zhang
Meyers, Robert A. Encyclopedia of Complexity and Systems Science, Springer Berlin Heidelberg, pp.1--16, 2017, 978-3-642-27737-5. ⟨10.1007/978-3-642-27737-5_697-1⟩
Chapitre d'ouvrage hal-01757527v1

Applications of P Systems

Marian Gheorghe , Andrei Păun , Sergey Verlan , Gexiang Zhang
Meyers, Robert A. Encyclopedia of Complexity and Systems Science, Springer Berlin Heidelberg, pp.1--15, 2017, 978-3-642-27737-5
Chapitre d'ouvrage hal-01757526v1

Computational Models Based on Splicing

Yurii Rogozhin , Sergey Verlan
Andrew Adamatzky. Automata, Universality, Computation, 12, Springer, pp.237--258, 2015, Emergence, Complexity and Computation, ⟨10.1007/978-3-319-09039-9_11⟩
Chapitre d'ouvrage hal-01352287v1
Image document

String Displacement Systems and DNA Circuits Based on Isothermal Constrained Loop Extension DNA Amplification

Maurice Margenstern , Pascal Mayer , Sergey Verlan
Marian Gheorghe; Ion Petre; Mario J. Perez-Jimenez; Grzegorz Rozenberg; Arto Salomaa. Multidisciplinary Creativity. Homage to Gheorghe Păun on his 65th Birthday., Spandugino, 2015, 978-606-8401-63-8
Chapitre d'ouvrage hal-02485401v1

Small Universal Devices

Artiom Alhazov , Yurii Rogozhin , Sergey Verlan
Calude, Cristian S. and Freivalds, Rūsi\cn\us and Kazuo, Iwama. Computing with New Resources, 8808, Springer, pp.249-263, 2014, Lecture Notes in Computer Science, 978-3-319-13349-2. ⟨10.1007/978-3-319-13350-8_19⟩
Chapitre d'ouvrage hal-01352293v1

On the Lower Bounds for Asymmetrical Insertion-deletion Languages

Gemma Bel-Enguix , Alexander Krassovitskiy , Yurii Rogozhin , Sergey Verlan
G. Bel-Enguix and V. Dahl and M.D. Jiménez-López. Biology, Computation and Linguistics: New Interdisciplinary Paradigms, 228, IOS Press, pp.145-154, 2011, Frontiers in Artificial Intelligence and Applications
Chapitre d'ouvrage hal-01352312v1

Small Size Insertion and Deletion Systems

Artiom Alhazov , Alexander Krassovitskiy , Yurii Rogozhin , Sergey Verlan
C. Martin-Vide. Scientific Applications of Language Methods, 2, World Scientific, pp.459--524, 2010, Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory, ⟨10.1142/9781848165458_0009⟩
Chapitre d'ouvrage hal-01352316v1

Communication P Systems

Rudolf Freund , Artiom Alhazov , Yurii Rogozhin , Sergey Verlan
Gh. Păun and G. Rozenberg and A. Salomaa. The Oxford Handbook of Membrane Computing, Oxford University Press, pp.118--143, 2009
Chapitre d'ouvrage hal-01352392v1

Splicing P Systems

Sergey Verlan , Pierluigi Frisco
Gh. Păun and G. Rozenberg and A. Salomaa. The Oxford Handbook of Membrane Computing, Oxford University Press, pp.198--226, 2009
Chapitre d'ouvrage hal-01352324v1

Communicating Distributed H Systems with Alternating Filters

Sergey Verlan
N. Jonoska and Gh. Paun and G. Rozenberg. Aspects of Molecular Computing. Essays Dedicated to Tom Head on the Occasion of His 70th Birthday, 2950, Springer, pp.367--384, 2004, Lecture Notes in Computer Science
Chapitre d'ouvrage hal-01352420v1

Tissue P Systems with Point Mutation Rules

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Sergey Verlan
Membrane Computing - 19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018, Revised Selected Papers, 11399, Springer International Publishing, pp.33-56, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-12797-8_4⟩
Proceedings/Recueil des communications hal-04435604v1

Unconventional Computation and Natural Computation

Susan Stepney , Sergey Verlan
Unconventional Computation and Natural Computation - 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings, 10867, Springer International Publishing, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-92435-9⟩
Proceedings/Recueil des communications hal-04435609v1

Machines, Computations, and Universality

Jérôme Durand-Lose , Sergey Verlan
Machines, Computations, and Universality - 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings, 10881, Springer International Publishing, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-92402-1⟩
Proceedings/Recueil des communications hal-01792687v1

Special Issue on MCU 2018

Jérôme Durand-Lose , Jarkko Kari , Sergey Verlan
Machines, Computations and Universality 2018, Fundamenta Informaticae, 181 (2-3), 2021
N°spécial de revue/special issue hal-03427217v1

Preface

Jérôme Durand-Lose , Jarkko Kari , Sergey Verlan
Fundamenta Informaticae, 181 (2-3), pp.i-iii, 2021, ⟨10.3233/FI-2021-2052⟩
N°spécial de revue/special issue hal-04435581v1

UCNC 2018 special issue editorial

Susan Stepney , Sergey Verlan
Natural Computing, 18 (3), pp.513-514, 2019, ⟨10.1007/s11047-019-09750-w⟩
N°spécial de revue/special issue hal-04435610v1

Special Issue: Unconventional Computing and Natural Computing 2018 - Selected papers from the Unconventional Computing and Natural Computing Conference 2018

Susan Stepney , Sergey Verlan
Susan Stepney; Sergey Verlan. Natural Computing, 18 (3), 2019
N°spécial de revue/special issue hal-02485388v1