Sergey Verlan
Full professor at the University of Paris Est Créteil, IUT de Sénart-Fontainebleau
134
Documents
Current affiliations
- 182989
Researcher identifiers
sergey-verlan
-
0000-0001-7800-1618
- IdRef : 081672446
Publications
|
Prescribed Teams of Rules Working on Several Objects9th 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 CellsMembrane 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 Multisets15th 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 SizeUnconventional Computation and Natural Computation - 16th International Conference, UCNC 2017, Jun 2017, Fayetteville, United States. pp.182-193
Conference papers
hal-01638808v1
|
|
|
Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors19th 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 CatalystsMembrane 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 WordsIn 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 ModeMembrane Computing - 17th International Conference, Jul 2016, Milan, Italy. pp.83-102
Conference papers
hal-01757362v1
|
|
P Systems with Generalized Multisets Over Totally Ordered Abelian GroupsMembrane 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 ComputingEvolving 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 StatesMachines, 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 GrammarsMembrane 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 ArcsDescriptional 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 SystemsMembrane 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 SystemsMembrane 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 SystemsMembrane 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
|
|
|
Using the Formal Framework for P SystemsCMC 1414th International Conference Membrane Computing ,, Aug 2013, Chisinau, Moldova. pp.56-79
Conference papers
hal-01352297v1
|
Sequential P Systems with Regular ControlMembrane 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 SystemsMembrane 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 DeletionUnconventional 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 StructureProceedings of 13th International Conference on Membrane Computing, 2012, Unknown, Unknown Region. pp.199--210
Conference papers
hal-01352365v1
|
|
A Small Universal Splicing P SystemMembrane 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 SymbolMembrane 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 SystemsProceedings 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 SystemsMembrane 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 RulesWorkshop 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 RulesProceedings 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 ModeInternational 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 SystemsComplexity 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 SystemsMembrane 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 SystemsProceedings 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 RulesComplexity 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 CaseInternational 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 ContextsLanguage 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?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 NetsComputation 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 ContextsMachines, 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 SystemsMembrane 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 ContextsMachines, 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 SystemsDNA 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 UniportMembrane 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 CooperationInternational 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 SystemsMembrane 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 SystemsSeventh 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 SystemsMembrane 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 ParallelismSYNASC '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 SystemsSeventh 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 SolvedDNA 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/AntiportDevelopments 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 SystemsMembrane 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 ResultsProceedings 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 SystemsProceedings 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 SystemsProceedings 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 ComputationsProceedings 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 ResultsProceedings 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 ComputationsProceedings 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 ComputationsDNA 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
|
Unconventional Computation and Natural Computation - 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, ProceedingsSusan Stepney; Sergey Verlan. Springer, 2018, ⟨10.1007/978-3-319-92435-9⟩
Books
hal-02485345v1
|
|
Special Issue in Memoriam Yurii RogozhinSvetlana Cojocaru and Maurice Margenstern and Gheorghe Păun and Sergey Verlan. 138 (1-2), 2015, Fundamenta Informaticae, ⟨10.3233/FI-2015-1193⟩
Books
hal-01352289v1
|
|
Membrane Computing - 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected PapersMarian 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
Books
hal-01352303v1
|
Chocolate P AutomataLecture 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
|
|
|
Small Universal Reversible Counter MachinesAdamatzky, 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 SystemsMeyers, 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 ComplexityMeyers, 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 SplicingAndrew 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
|
|
|
String Displacement Systems and DNA Circuits Based on Isothermal Constrained Loop Extension DNA AmplificationMarian 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 DevicesCalude, 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 LanguagesG. 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 SystemsC. 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 SystemsGh. 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 SystemsGh. 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 FiltersN. 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
|
|
Systèmes de Head et applications à la bio-informatiqueAutre [cs.OH]. Université Paul Verlaine - Metz, 2004. Français. ⟨NNT : 2004METZ004S⟩
Theses
tel-01750252v1
|
Machines, Computations and Universality (MCU 2018)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 2018Machines, 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 2018Susan Stepney; Sergey Verlan. Natural Computing, 18 (3), Springer, 2019
Special issue
hal-02485388v1
|