Serghei Verlan

Professeur à l'Université Paris Est Créteil, IUT de Sénart-Fontainebleau
145
Documents
Affiliation actuelle
  • Laboratoire d'Algorithmique Complexité et Logique (LACL)

Publications

Publications

An overview on simple P systems with specific variants of derivation modes

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Sergey Verlan

Journal of Membrane Computing, 2025, 7, pp.326--340. ⟨10.1007/s41965-025-00198-9⟩

Article dans une revue hal-05195631v1
Deposit thumbnail

The busy beaver game for reaction systems

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Sergey Verlan

Natural Computing, 2025, 24, pp.1013-1027. ⟨10.1007/s11047-025-10037-6⟩

Article dans une revue hal-05205514v1

A 15-Year Retrospective on Insertion-Deletion Systems: Progress, Evolution, and Future Directions

Artiom Alhazov , Sergiu Ivanov , Sergey Verlan

Computer Science Journal of Moldova, 2024, 32 (3), pp.332-371. ⟨10.56415/csjm.v32.18⟩

Article dans une revue hal-04839019v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

An Overview of Hardware Implementation of Membrane Computing Models

Gexiang Zhang , Zeyi Shang , Sergey Verlan , Miguel Á. Martínez-Del-Amor , Chengxun Yuan et al.

ACM Computing Surveys, 2021, 53 (4), pp.90. ⟨10.1145/3402456⟩

Article dans une revue hal-03550487v1
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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

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

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

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 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

Small Universal Petri Nets with Inhibitor Arcs

Sergiu Ivanov , Elisabeth Pelz , Sergey Verlan

Computing Research Repository, 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

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

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

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

Random Context and Semi-Conditional Insertion-Deletion Systems

Sergiu Ivanov , Sergey Verlan

Computing Research Repository, 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

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

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

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

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

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

(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

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

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

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

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. Techniques Culturales Simplifiées, 2008, 404 (1-2), pp.170-184. ⟨10.1016/j.tcs.2008.04.008⟩

Article dans une revue hal-01352393v1

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 Small Universal Antiport P Systems

Erzsébet Csuhaj-Varjú , Maurice Margenstern , György Vaszil , Sergey Verlan

TCS. Techniques Culturales Simplifiées, 2007, 372 (2-3), pp.152-164. ⟨10.1016/j.tcs.2006.11.023⟩

Article dans une revue hal-01352403v1

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

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

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

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. Techniques Culturales Simplifiées, 2005, 330 (2), pp.339-348. ⟨10.1016/j.tcs.2004.06.031⟩

Article dans une revue hal-01352415v1

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-01352353v1

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

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

Universality of Turing Tumble of Finite Size

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Sergey Verlan

10th International Conference on Machines, Computations, and Universality (MCU 2024), Jun 2024, Nice, France. pp.72--88, ⟨10.1007/978-3-031-81202-6_5⟩

Communication dans un congrès hal-05091896v1
Deposit thumbnail

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
Deposit thumbnail

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

(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

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

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

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

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

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

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

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

Flattening in (Tissue) P Systems

Rudolf Freund , Alberto Leporati , Giancarlo Mauri , Antonio E. Porreca , Sergey Verlan et al.

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
Deposit thumbnail

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

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

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 et al.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 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

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 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 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 P Systems with Bounded Parallelism

Francesco Bernardini , Francisco J. Romero-Campero , Marian Gheorghe , Mario J. Perez-Jimenez , Maurice Margenstern et al.

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

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

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

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

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 istex hal-01352360v1

Variants of Tissue P Systems with Prescribed Teams of Channel Rules

Artiom Alhazov , Rudolf Freund , Sergiu Ivanov , Marion Oswald , Sergey Verlan

Jim{\'e}nez L{\'o}pez, M. Dolores and Vaszil, Gy{\"o}rgy. Languages of Cooperation and Communication: Essays Dedicated to Erzs{\'e}bet Csuhaj-Varj{\'u} to Celebrate Her Scientific Career, 15840, Springer Nature Switzerland, pp.157--178, 2025, 978-3-031-97274-4. ⟨10.1007/978-3-031-97274-4_10⟩

Chapitre d'ouvrage hal-05185046v1

Membrane Computing Concepts, Theoretical Developments and Applications

Erzsébet Csuhaj-Varjú , Marian Gheorghe , Alberto Leporati , Miguel Ángel Martínez-Del-Amor , Linqiang Pan et al.

Handbook of Unconventional Computing, 1, World Scientific, pp.261-339, 2021, ⟨10.1142/9789811235726_0008⟩

Chapitre d'ouvrage hal-04435586v1
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

Systèmes de Head et applications à la bio-informatique

Serghei Verlan

Sciences agricoles. Université Paul Verlaine - Metz, 2004. Français. ⟨NNT : 2004METZ004S⟩

Thèse tel-01750252v1

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

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

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

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

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

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

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