Serghei Verlan Professeur à l'Université Paris Est Créteil, IUT de Sénart-Fontainebleau

Identifiants chercheurs

IdHAL :

sergey-verlan

ORCID :

0000-0001-7800-1618

IdRef :

081672446

VIAF :

211166614

Publications

Article dans une revue (61)

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
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
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
A tutorial on the formal framework for spiking neural P systems Sergey Verlan,Gexiang Zhang Natural Computing, 2023, ⟨10.1007/s11047-022-09896-0⟩ Article dans une revue hal-04032294v1
Numerical networks of cells Artiom Alhazov,Rudolf Freund,Sergiu Ivanov,Sergey Verlan Theoretical Computer Science, 2023, 958, pp.113873. ⟨10.1016/j.tcs.2023.113873⟩ Article dans une revue hal-04076498v1
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
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
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
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
An Overview of Hardware Implementation of Membrane Computing Models Gexiang Zhang,Zeyi Shang,Sergey Verlan,Miguel Á. Martínez-Del-Amor,Chengxun Yuanet al. ACM Computing Surveys, 2021, 53 (4), pp.90. ⟨10.1145/3402456⟩ Article dans une revue hal-03550487v1
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
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
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
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
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
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
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
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
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
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
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
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 Cojocaruet 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
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
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
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 Minimal Context-Free Insertion-Deletion Systems Sergey Verlan Journal of Automata Languages and Combinatorics, 2007, 12 (1-2), pp.317-328 Article dans une revue hal-01352405v1
On Small Universal Antiport P Systems Erzsébet Csuhaj-Varjú,Maurice Margenstern,György Vaszil,Sergey Verlan TCS. Techniques Culturales Simplifiées, 2007, 372 (2-3), pp.152-164. ⟨10.1016/j.tcs.2006.11.023⟩ Article dans une revue hal-01352403v1
Minimal Cooperation in Symport/Antiport Tissue P Systems Artiom Alhazov,Yurii Rogozhin,Sergey Verlan International Journal of Foundations of Computer Science, 2007, 18 (1), pp.163-180 Article dans une revue hal-01352409v1
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

Communication dans un congrès (58)

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
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
(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
Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors Rudolf Freund,Vladimir Rogojin,Sergey Verlan 19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.140-151, ⟨10.1007/978-3-319-60252-3_11⟩ Communication dans un congrès hal-01657015v1
Bi-simulation Between P Colonies and P Systems with Multi-stable Catalysts Erzsébet Csuhaj-Varjú,Sergey Verlan Membrane Computing - 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers, 2017, Unknown, Unknown Region. pp.105--117, ⟨10.1007/978-3-319-73359-3_7⟩ Communication dans un congrès hal-01757528v1
Computationally Complete Generalized Communicating P Systems with Three Cells Erzsébet Csuhaj-Varjú,Sergey Verlan Membrane Computing - 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers, 2017, Unknown, Unknown Region. pp.118--128, ⟨10.1007/978-3-319-73359-3_8⟩ Communication dans un congrès hal-01757529v1
P Systems Working in Maximal Variants of the Set Derivation Mode Sergey Verlan,Artiom Alhazov,Rudolf Freund Membrane Computing - 17th International Conference, Jul 2016, Milan, Italy. pp.83-102 Communication dans un congrès hal-01757362v1
Insertion-Deletion Systems over Relational Words Igor Potapov,Olena Prianychnykova,Sergey Verlan In Reachability Problems - 10th International Workshop, RP 2016, 2016, Aalborg, Denmark. pp.177-191 Communication dans un congrès hal-01757410v1
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
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
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
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 Verlanet 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
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
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 Rogozhinet 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
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
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
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
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
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
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
New Choice for Small Universal Devices: Symport/Antiport P Systems Sergey Verlan,Yurii Rogozhin Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008, 2008, Unknown, Unknown Region. pp.235-241 Communication dans un congrès hal-01352398v1
Computational Power of P Systems with Small Size Insertion and Deletion Rules Alexander Krassovitskiy,Yurii Rogozhin,Sergey Verlan Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings, 2008, Unknown, Unknown Region. pp.137-148 Communication dans un congrès hal-01352336v1
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
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 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
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 Margensternet 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
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-01352357v1
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

Ouvrages (4)

Membrane Computing Models: Implementations Gexiang Zhang,Mario Pérez-Jiménez,Agustín Riscos-Núñez,Sergey Verlan,Savas Konuret al. Springer Singapore, 2021, ⟨10.1007/978-981-16-1566-5⟩ Ouvrages hal-04435583v1
Unconventional Computation and Natural Computation - 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings Susan Stepney,Sergey Verlan Susan Stepney; Sergey Verlan. Springer, 2018, ⟨10.1007/978-3-319-92435-9⟩ Ouvrages hal-02485345v1
Special Issue in Memoriam Yurii Rogozhin Svetlana Cojocaru,Maurice Margenstern,Gheorghe Păun,Sergey Verlan Svetlana Cojocaru and Maurice Margenstern and Gheorghe Păun and Sergey Verlan. 138 (1-2), 2015, Fundamenta Informaticae, ⟨10.3233/FI-2015-1193⟩ Ouvrages hal-01352289v1
Membrane Computing - 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers Marian Gheorghe,Gheorghe Păun,Grzegorz Rozenberg,Arto Salomaa,Sergey Verlan Marian Gheorghe and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa and Sergey Verlan. Springer, 7184, 2012, Lecture Notes in Computer Science, 978-3-642-28023-8 Ouvrages hal-01352303v1

Chapitre d'ouvrage (14)

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 Panet al. Handbook of Unconventional Computing, 1, World Scientific, pp.261-339, 2021, ⟨10.1142/9789811235726_0008⟩ Chapitre d'ouvrage hal-04435586v1
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
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
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

Thèse (1)

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

Proceedings/Recueil des communications (3)

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

N°spécial de revue/special issue (4)

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