Access content directly

Sergey Verlan

Full professor at the University of Paris Est Créteil, IUT de Sénart-Fontainebleau
134
Documents
Current affiliations
  • 182989
Researcher identifiers

Publications

A tutorial on the formal framework for spiking neural P systems

Sergey Verlan , Gexiang Zhang
Natural Computing, 2023, ⟨10.1007/s11047-022-09896-0⟩
Journal articles 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⟩
Journal articles hal-04076498v1
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⟩
Journal articles 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⟩
Journal articles hal-03672466v1
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
Journal articles 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⟩
Journal articles hal-03311601v1

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

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⟩
Journal articles hal-03550487v1
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⟩
Journal articles hal-03550102v1
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

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⟩
Journal articles hal-02485429v1

Reaction Systems and Synchronous Digital Circuits

Zeyi Shang , Sergey Verlan , Ion Petre , Gexiang Zhang
Molecules, 2019, 24 (10), pp.1961. ⟨10.3390/molecules24101961⟩
Journal articles hal-02485427v1
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⟩
Journal articles hal-02485434v1

UCNC 2018 special issue editorial

Susan Stepney , Sergey Verlan
Natural Computing, 2019, 18 (3), pp.513-514. ⟨10.1007/s11047-019-09750-w⟩
Journal articles hal-02485373v1

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⟩
Journal articles 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⟩
Journal articles hal-01638789v1

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
Journal articles hal-01757344v1

Small universal deterministic Petri nets with inhibitor arcs

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

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
Journal articles 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⟩
Journal articles 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⟩
Journal articles 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
Journal articles hal-01161700v1

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⟩
Journal articles hal-01352298v1

Small Universal Petri Nets with Inhibitor Arcs

Sergiu Ivanov , Elisabeth Pelz , Sergey Verlan
CoRR, 2013, abs/1312.4414, pp.1-18
Journal articles hal-01161702v1

Matrix Insertion-Deletion Systems

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

P Systems Based on Tag Operations

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

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⟩
Journal articles hal-01352305v1

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
Journal articles 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
Journal articles hal-01352378v1

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
Journal articles hal-01352379v1

(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
Journal articles hal-01352307v1

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
Journal articles 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
Journal articles hal-01352311v1

Random Context and Semi-Conditional Insertion-Deletion Systems

Sergiu Ivanov , Sergey Verlan
CoRR, 2011, abs/1112.5947, pp.1-13
Journal articles hal-01161707v1

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
Journal articles hal-01352315v1

Minimization Strategies for Maximally Parallel Multiset Rewriting Systems

Artiom Alhazov , Sergey Verlan
Theoretical Computer Science, 2011, 412 (17), pp.1581 - 1591
Journal articles hal-01352380v1

Generalized Communicating P Systems Working in Fair Sequential Mode

Antoine Spicher , Sergey Verlan
Scientific Annals of Computer Science, 2011, 21 (2), pp.227--247
Journal articles hal-01352373v1

Universality of Splicing Test Tube Systems with Two Tubes

Sergey Verlan , Maurice Margenstern
Fundam. Inform., 2011, 110 (1-4), pp.329-342
Journal articles hal-01352308v1

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
Journal articles 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
Journal articles hal-01352381v1

Recent Developments on Insertion-Deletion Systems

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

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
Journal articles hal-01352391v1

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
Journal articles hal-01352390v1

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
Journal articles hal-01352334v1

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⟩
Journal articles hal-01352393v1

On Length-Separating Test Tube Systems

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

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
Journal articles hal-01352409v1

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⟩
Journal articles hal-01352403v1

On Minimal Context-Free Insertion-Deletion Systems

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

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⟩
Journal articles hal-01352418v1

About Splicing P Systems with One Membrane

Sergey Verlan , Maurice Margenstern
Fundamenta Informaticae, 2005, 65 (3), pp.279-290
Journal articles hal-01352419v1

About Splicing P Systems with One Membrane

Sergey Verlan , Maurice Margenstern
Fundamenta Informaticae, 2005, 65 (3), pp.279-290
Journal articles hal-01352353v1

Time-Varying Distributed H Systems: An Overview

Maurice Margenstern , Yurii Rogozhin , Sergey Verlan
Fundamenta Informaticae, 2005, 64 (1-4), pp.291-306
Journal articles hal-01352349v1

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⟩
Journal articles hal-01352350v1

Time-Varying Distributed H Systems: An Overview

Maurice Margenstern , Yurii Rogozhin , Sergey Verlan
Fundamenta Informaticae, 2005, 64 (1-4), pp.291-306
Journal articles 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⟩
Journal articles hal-01352415v1

On Enhanced Time-Varying Distributed H Systems

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

On Enhanced Time-Varying Distributed H Systems

Sergey Verlan
Computer Science Journal of Moldova, 2002, 10 (3), pp.263-279
Journal articles 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⟩
Conference papers hal-03762652v1

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⟩
Conference papers hal-01757529v1

(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⟩
Conference papers 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
Conference papers hal-01638808v1
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⟩
Conference papers 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⟩
Conference papers hal-01757528v1

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
Conference papers 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
Conference papers 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⟩
Conference papers hal-01352290v1

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⟩
Conference papers hal-01352288v1

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⟩
Conference papers hal-01352286v1

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⟩
Conference papers hal-01352292v1

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⟩
Conference papers hal-01161698v1

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⟩
Conference papers hal-01352294v1

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⟩
Conference papers 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
Conference papers 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
Conference papers hal-01352297v1

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
Conference papers hal-01352301v1

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
Conference papers hal-01352304v1

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
Conference papers 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
Conference papers hal-01352365v1

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
Conference papers hal-01352318v1

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
Conference papers hal-01352320v1

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
Conference papers 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
Conference papers hal-01352323v1

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
Conference papers hal-01352321v1

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
Conference papers hal-01352322v1

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
Conference papers hal-01352395v1

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
Conference papers hal-01352397v1

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
Conference papers hal-01352329v1

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
Conference papers 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
Conference papers hal-01352336v1

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
Conference papers 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
Conference papers hal-01352335v1

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
Conference papers 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
Conference papers 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
Conference papers hal-01352410v1

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
Conference papers hal-01352339v1

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
Conference papers hal-01352406v1

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
Conference papers hal-01352346v1

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
Conference papers hal-01352347v1

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⟩
Conference papers hal-01352352v1

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
Conference papers hal-01352348v1

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
Conference papers 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
Conference papers hal-01352413v1

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
Conference papers 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
Conference papers hal-01352417v1

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⟩
Conference papers hal-01352355v1

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⟩
Conference papers hal-01352354v1

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⟩
Conference papers hal-01352359v1

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
Conference papers hal-01352421v1

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
Conference papers hal-01352423v1

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
Conference papers 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
Conference papers hal-01352422v1

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
Conference papers 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
Conference papers hal-01352357v1

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⟩
Conference papers hal-01352360v1

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
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⟩
Book sections hal-01757525v1

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
Book sections hal-01757526v1

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⟩
Book sections hal-01757527v1

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⟩
Book sections 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
Book sections 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⟩
Book sections 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
Book sections 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⟩
Book sections hal-01352316v1

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
Book sections hal-01352324v1

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
Book sections hal-01352392v1

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
Book sections hal-01352420v1

Machines, Computations and Universality (MCU 2018)

Jérôme Durand-Lose , Serghei Verlan
Durand-Lose, Jérôme; Verlan, Sergey. Machines, Computations and Universality (MCU 2018), Jun 2018, Fontainebleau, France. 10881, Springer, 2018, LNCS, ⟨10.1007/978-3-319-92402-1⟩
Proceedings 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
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), Springer, 2019
Special issue hal-02485388v1