Sergey Verlan

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

Publications

Publications

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-04839019 v1
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-04032294 v1
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-04435563 v1

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-04076498 v1
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-03766387 v1
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-03672466 v1
Image document

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-03550487 v1
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-03438339 v1

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-03311601 v1
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-04032275 v1
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-04032280 v1
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-03550102 v1
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-02485434 v1

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

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-02485373 v1
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-02485427 v1
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-02485423 v1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

(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-01352307 v1

Recent Developments on Insertion-Deletion Systems

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

About Splicing P Systems with One Membrane

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

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

About Splicing P Systems with One Membrane

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

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

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-01352424 v1
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-03762652 v1

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-01638808 v1
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-01657015 v1

(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-01638707 v1

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

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

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

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

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

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

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

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

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

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

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-01352363 v1
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-01352297 v1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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-04435586 v1
Image document

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-01949068 v1
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-01757525 v1

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

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

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-01352287 v1
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-02485401 v1

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

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

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

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

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

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

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

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

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

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

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

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

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