Serghei Verlan
- Laboratoire d'Algorithmique Complexité et Logique (LACL)
Publications
Publications
Universality of Turing Tumble of Finite Size10th International Conference on Machines, Computations, and Universality (MCU 2024), Jun 2024, Nice, France. pp.72--88, ⟨10.1007/978-3-031-81202-6_5⟩ |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
(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⟩ |
Universal Matrix Insertion Grammars with Small SizeUnconventional Computation and Natural Computation - 16th International Conference, UCNC 2017, Jun 2017, Fayetteville, United States. pp.182-193 |
|
|
|
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⟩ |
|
|
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⟩ |
Insertion-Deletion Systems over Relational WordsIn Reachability Problems - 10th International Workshop, RP 2016, 2016, Aalborg, Denmark. pp.177-191 |
|
P Systems Working in Maximal Variants of the Set Derivation ModeMembrane Computing - 17th International Conference, Jul 2016, Milan, Italy. pp.83-102 |
|
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⟩ |
|
|
|
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⟩ |
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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 |
|
|
|
Using the Formal Framework for P SystemsCMC 1414th International Conference Membrane Computing ,, Aug 2013, Chisinau, Moldova. pp.56-79 |
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⟩ |
|
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 |
|
A Formal Framework for P Systems with Dynamic StructureProceedings of 13th International Conference on Membrane Computing, 2012, Unknown, Unknown Region. pp.199--210 |
|
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 |
|
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 |
|
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 |
|
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 |
|
Graph-Controlled Insertion-Deletion SystemsProceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, 2010, Unknown, Unknown Region. pp.88-98 |
|
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 |
|
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 |
|
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 |
|
|
|
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 |
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 |
|
|
|
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 |
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
Communicative P Systems with Minimal CooperationInternational Workshop WMC5, Milano, Italy, 2004, LNCS, Springer, 2005, 2005, Unknown, Unknown Region. pp.161-177, ⟨10.1007/b106721⟩ |
|
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 |
|
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 |
|
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 |
|
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 |
|
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⟩ |
|
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⟩ |
|
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 |
|
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 |
|
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 |
|
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 |
|
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⟩ |
|
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 |
|
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 |
|
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⟩ |
|
|
Membrane Computing Models: ImplementationsSpringer Singapore, 2021, ⟨10.1007/978-981-16-1566-5⟩ |
|
|
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⟩ |
|
|
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⟩ |
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 |
Variants of Tissue P Systems with Prescribed Teams of Channel RulesJim{\'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⟩ |
|
Membrane Computing Concepts, Theoretical Developments and ApplicationsHandbook of Unconventional Computing, 1, World Scientific, pp.261-339, 2021, ⟨10.1142/9789811235726_0008⟩ |
|
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
Applications of P SystemsMeyers, Robert A. Encyclopedia of Complexity and Systems Science, Springer Berlin Heidelberg, pp.1--15, 2017, 978-3-642-27737-5 |
|
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⟩ |
|
|
|
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 |
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⟩ |
|
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 |
|
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⟩ |
|
Communication P SystemsGh. Păun and G. Rozenberg and A. Salomaa. The Oxford Handbook of Membrane Computing, Oxford University Press, pp.118--143, 2009 |
|
Splicing P SystemsGh. Păun and G. Rozenberg and A. Salomaa. The Oxford Handbook of Membrane Computing, Oxford University Press, pp.198--226, 2009 |
|
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 |
|
|
Systèmes de Head et applications à la bio-informatiqueSciences agricoles. Université Paul Verlaine - Metz, 2004. Français. ⟨NNT : 2004METZ004S⟩ |
Tissue P Systems with Point Mutation RulesMembrane 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⟩ |
|
|
|
Machines, Computations, and UniversalityMachines, 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⟩ |
|
|
Unconventional Computation and Natural ComputationUnconventional 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⟩ |
|
|
PrefaceFundamenta Informaticae, 181 (2-3), pp.i-iii, 2021, ⟨10.3233/FI-2021-2052⟩ |
Special Issue on MCU 2018Machines, Computations and Universality 2018, Fundamenta Informaticae, 181 (2-3), 2021 |
|
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), 2019 |
|
|
|
UCNC 2018 special issue editorialNatural Computing, 18 (3), pp.513-514, 2019, ⟨10.1007/s11047-019-09750-w⟩ |