Skip to Main content
Number of documents

170


Journal articles66 documents

  • El Habib Boudjema, Sergey Verlan, Lynda Mokdad, Christèle Faure. VYPER: Vulnerability detection in binary code. Security and Privacy , Wiley, 2019, ⟨10.1002/spy2.100⟩. ⟨hal-02485434⟩
  • Rudolf Freund, Vladimir Rogojin, Sergey Verlan. Variants of Networks of Evolutionary Processors with Polarizations and a Small Number of Processors. International Journal of Foundations of Computer Science, World Scientific Publishing, 2019, 30 (06n07), pp.1005-1027. ⟨10.1142/S0129054119400264⟩. ⟨hal-02485429⟩
  • Zeyi Shang, Sergey Verlan, Ion Petre, Gexiang Zhang. Reaction Systems and Synchronous Digital Circuits. Molecules, MDPI, 2019, 24 (10), pp.1961. ⟨10.3390/molecules24101961⟩. ⟨hal-02485427⟩
  • Susan Stepney, Sergey Verlan. UCNC 2018 special issue editorial. Natural Computing, Springer Verlag, 2019, 18 (3), pp.513-514. ⟨10.1007/s11047-019-09750-w⟩. ⟨hal-02485373⟩
  • Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald, Sergey Verlan. Extended spiking neural P systems with white hole rules and their red–green variants. Natural Computing, Springer Verlag, 2018, 17 (2), pp.297-310. ⟨10.1007/s11047-017-9649-7⟩. ⟨hal-02485423⟩
  • Sergey Verlan, Sergiu Ivanov. Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2017, 155 (1-2), pp.163 - 185. ⟨10.3233/FI-2017-1580⟩. ⟨hal-01638789⟩
  • Sergey Verlan, Juan Quiros, Julian Viejo, Alejandro Millan, Manuel J. Bellido. Fast Hardware Implementations of Static P Systems. Computing and Informatics, Slovak University Press, Bratislava, 2016, 35 (3), pp.687-718. ⟨hal-01757344⟩
  • Artiom Alhazov, Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan. Small Universal Deterministic Petri Nets with Inhibitor Arcs. Journal of Automata Languages and Combinatorics, Otto-von-Guericke-Universität Magdeburg, 2016, 21 (1-2), pp.7-26. ⟨hal-01757332⟩
  • Sergiu Ivanov, Sergey Verlan. On the Lower Bounds for Leftist Insertion-Deletion Languages. Annals of the University of Bucharest (informatics series), 2015, LXII (2), pp.77-88. ⟨hal-01352291⟩
  • Sergiu Ivanov, Sergey Verlan. On the Lower Bounds for Leftist Insertion-Deletion Languages. Annals of the University of Bucharest (informatics series), 2015, LXII (2), pp.77-88. ⟨hal-01352362⟩
  • Sergiu Ivanov, Sergey Verlan. Random Context and Semi-conditional Insertion-deletion Systems. Fundam. Inform., 2015, 138 (1-2), pp.127--144. ⟨10.3233/FI-2015-1203⟩. ⟨hal-01161696⟩
  • Sergiu Ivanov, Yurii Rogozhin, Sergey Verlan. Small Universal Networks of Evolutionary Processors. Journal of Automata Languages and Combinatorics, Otto-von-Guericke-Universität Magdeburg, 2014, 19 (1-4), pp.133--144. ⟨hal-01161700⟩
  • Rudolf Freund, Yurii Rogozhin, Sergey Verlan. Generating and Accepting P Systems with Minimal Left and Right Insertion and Deletion. Natural Computing, Springer Verlag, 2014, 13 (2), pp.257--268. ⟨10.1007/s11047-013-9396-3⟩. ⟨hal-01352295⟩
  • Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan. Small Universal Petri Nets with Inhibitor Arcs. CoRR, 2013, abs/1312.4414, pp.1-18. ⟨hal-01161702⟩
  • Rudolf Freund, Ignacio Pérez-Hurtado, Agustín Riscos-Núñez, Sergey Verlan. A Formalization of Membrane Systems with Dynamically Evolving Structures. International Journal of Computer Mathematics, Taylor & Francis, 2013, 90 (4), pp.801-815. ⟨10.1080/00207160.2012.748899⟩. ⟨hal-01352298⟩
  • Yurii Rogozhin, Sergey Verlan. P Systems Based on Tag Operations. Computer Science Journal of Moldova, 2012, 20 (3), pp.366-373. ⟨hal-01352370⟩
  • Yurii Rogozhin, Sergey Verlan. P Systems Based on Tag Operations. Computer Science Journal of Moldova, 2012, 20 (3), pp.366-373. ⟨hal-01352306⟩
  • Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. On Small Universal Splicing Systems. International Journal of Foundations of Computer Science, World Scientific Publishing, 2012, 23 (07), pp.1423-1438. ⟨10.1142/S0129054112400564⟩. ⟨hal-01352305⟩
  • Ion Petre, Sergey Verlan. Matrix Insertion-Deletion Systems. Theoretical Computer Science, Elsevier, 2012, 456, pp.80 - 88. ⟨10.1016/j.tcs.2012.07.002⟩. ⟨hal-01352302⟩
  • Sergey Verlan, Maurice Margenstern. Universality of Splicing Test Tube Systems with Two Tubes. Fundam. Inform., 2011, 110 (1-4), pp.329-342. ⟨hal-01352308⟩
  • Antoine Spicher, Sergey Verlan. Generalized Communicating P Systems Working in Fair Sequential Mode. Scientific Annals of Computer Science, 2011, 21 (2), pp.227--247. ⟨hal-01352373⟩
  • Antoine Spicher, Sergey Verlan. Generalized Communicating P Systems Working in Fair Sequential Mode. Scientific Annals of Computer Science, 2011, 21 (2), pp.227--247. ⟨hal-01352309⟩
  • Sergey Verlan, Maurice Margenstern. Universality of Splicing Test Tube Systems with Two Tubes. Fundam. Inform., 2011, 110 (1-4), pp.329-342. ⟨hal-01352372⟩
  • Sergiu Ivanov, Sergey Verlan. Random Context and Semi-Conditional Insertion-Deletion Systems. CoRR, 2011, abs/1112.5947, pp.1-13. ⟨hal-01161707⟩
  • Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. P Systems with Insertion and Deletion Exo-Operations. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2011, 110 (1-4), pp.13-28. ⟨hal-01352313⟩
  • Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. P Systems with Insertion and Deletion Exo-Operations. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2011, 110 (1-4), pp.13-28. ⟨hal-01352377⟩
  • Artiom Alhazov, Marian Kogler, Maurice Margenstern, Yurii Rogozhin, Sergey Verlan. Small Universal TVDH and Test Tube Systems. International Journal of Foundations of Computer Science, World Scientific Publishing, 2011, 22 (1), pp.143-154. ⟨hal-01352374⟩
  • Artiom Alhazov, Marian Kogler, Maurice Margenstern, Yurii Rogozhin, Sergey Verlan. Small Universal TVDH and Test Tube Systems. International Journal of Foundations of Computer Science, World Scientific Publishing, 2011, 22 (1), pp.143-154. ⟨hal-01352310⟩
  • Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. P Systems with Minimal Insertion and Deletion. Theoretical Computer Science, Elsevier, 2011, 412 (1-2), pp.136-144. ⟨hal-01352378⟩
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. On Generalized Communicating P Systems with Minimal Interaction Rules. Theoretical Computer Science, Elsevier, 2011, 412 (1-2), pp.124-135. ⟨hal-01352379⟩
  • Artiom Alhazov, Sergey Verlan. Minimization Strategies for Maximally Parallel Multiset Rewriting Systems. Theoretical Computer Science, Elsevier, 2011, 412 (17), pp.1581 - 1591. ⟨hal-01352380⟩
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. On Generalized Communicating P Systems with Minimal Interaction Rules. Theoretical Computer Science, Elsevier, 2011, 412 (1-2), pp.124-135. ⟨hal-01352315⟩
  • Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. P Systems with Minimal Insertion and Deletion. Theoretical Computer Science, Elsevier, 2011, 412 (1-2), pp.136-144. ⟨hal-01352314⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Computational Power of Insertion-Deletion (P) Systems with Rules of Size Two. Natural Computing, Springer Verlag, 2011, 10 (2), pp.835-852. ⟨hal-01352375⟩
  • Rudolf Freund, Sergey Verlan. (Tissue) P systems working in the ıt k-restricted minimally or maximally parallel transition mode. Natural Computing, Springer Verlag, 2011, 10 (2), pp.821-833. ⟨hal-01352371⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Computational Power of Insertion-Deletion (P) Systems with Rules of Size Two. Natural Computing, Springer Verlag, 2011, 10 (2), pp.835-852. ⟨hal-01352311⟩
  • Rudolf Freund, Sergey Verlan. (Tissue) P systems working in the ıt k-restricted minimally or maximally parallel transition mode. Natural Computing, Springer Verlag, 2011, 10 (2), pp.821-833. ⟨hal-01352307⟩
  • Sergey Verlan. Recent Developments on Insertion-Deletion Systems. Computer Science Journal of Moldova, 2010, 18 (2), pp.210-245. ⟨hal-01352319⟩
  • Sergey Verlan. Recent Developments on Insertion-Deletion Systems. Computer Science Journal of Moldova, 2010, 18 (2), pp.210-245. ⟨hal-01352384⟩
  • Artiom Alhazov, Elena Boian, Liudmila Burtseva, Constantin Ciubotaru, Svetlana Cojocaru, et al.. Investigations on Natural Computing in the Institute of Mathematics and Computer Science. The Computer Science Journal of Moldova, 2010, 18 (2), pp.101--138. ⟨hal-01161713⟩
  • Sergey Verlan, Artiom Alhazov, Ion Petre. A Sequence-Based Analysis of the Pointer Distribution of Stichotrichous Ciliates. BioSystems, Elsevier, 2010, 101 (2), pp.109 - 116. ⟨hal-01352381⟩
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. Maximal, Locally-Maximal, and Minimal Parallelism in Networks of Cells. International Journal of Unconventional Computing, Old City Publishing, 2009, 5 (5), pp.391-409. ⟨hal-01352390⟩
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. Maximal, Locally-Maximal, and Minimal Parallelism in Networks of Cells. International Journal of Unconventional Computing, Old City Publishing, 2009, 5 (5), pp.391-409. ⟨hal-01352325⟩
  • Artiom Alhazov, Marion Oswald, Rudolf Freund, Sergey Verlan. Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions. Fundam. Inform., 2009, 91 (1), pp.17-34. ⟨hal-01352391⟩
  • Artiom Alhazov, Marion Oswald, Rudolf Freund, Sergey Verlan. Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions. Fundam. Inform., 2009, 91 (1), pp.17-34. ⟨hal-01352326⟩
  • Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern. Generalized Communicating P Systems. TCS, 2008, 404 (1-2), pp.170-184. ⟨hal-01352328⟩
  • Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern. Generalized Communicating P Systems. TCS, 2008, 404 (1-2), pp.170-184. ⟨hal-01352393⟩
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. How to Synchronize the Activity of All Components of a P System?. International Journal of Foundations of Computer Science, World Scientific Publishing, 2008, 19 (5), pp.1183-1198. ⟨hal-01352334⟩
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. How to Synchronize the Activity of All Components of a P System?. International Journal of Foundations of Computer Science, World Scientific Publishing, 2008, 19 (5), pp.1183-1198. ⟨hal-01352399⟩
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. On Length-Separating Test Tube Systems. Natural Computing, Springer Verlag, 2008, 7 (2), pp.167-181. ⟨hal-01352337⟩
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. On Length-Separating Test Tube Systems. Natural Computing, Springer Verlag, 2008, 7 (2), pp.167-181. ⟨hal-01352402⟩
  • Sergey Verlan. On Minimal Context-Free Insertion-Deletion Systems. Journal of Automata, Languages and Combinatorics, 2007, 12 (1-2), pp.317-328. ⟨hal-01352405⟩
  • Sergey Verlan. On Minimal Context-Free Insertion-Deletion Systems. Journal of Automata, Languages and Combinatorics, 2007, 12 (1-2), pp.317-328. ⟨hal-01352340⟩
  • Erzsébet Csuhaj-Varjú, Maurice Margenstern, György Vaszil, Sergey Verlan. On Small Universal Antiport P Systems. TCS, 2007, 372 (2-3), pp.152-164. ⟨hal-01352338⟩
  • Erzsébet Csuhaj-Varjú, Maurice Margenstern, György Vaszil, Sergey Verlan. On Small Universal Antiport P Systems. TCS, 2007, 372 (2-3), pp.152-164. ⟨hal-01352403⟩
  • Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. Minimal Cooperation in Symport/Antiport Tissue P Systems. International Journal of Foundations of Computer Science, World Scientific Publishing, 2007, 18 (1), pp.163-180. ⟨hal-01352344⟩
  • Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. Minimal Cooperation in Symport/Antiport Tissue P Systems. International Journal of Foundations of Computer Science, World Scientific Publishing, 2007, 18 (1), pp.163-180. ⟨hal-01352409⟩
  • Maurice Margenstern, Gheorghe Păun, Yurii Rogozhin, Sergey Verlan. Context-Free Insertion-Deletion Systems. TCS, 2005, 330 (2), pp.339-348. ⟨hal-01352415⟩
  • Maurice Margenstern, Gheorghe Păun, Yurii Rogozhin, Sergey Verlan. Context-Free Insertion-Deletion Systems. TCS, 2005, 330 (2), pp.339-348. ⟨hal-01352350⟩
  • Sergey Verlan, Maurice Margenstern. About Splicing P Systems with One Membrane. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2005, 65 (3), pp.279-290. ⟨hal-01352419⟩
  • Maurice Margenstern, Yurii Rogozhin, Sergey Verlan. Time-Varying Distributed H Systems: An Overview. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2005, 64 (1-4), pp.291-306. ⟨hal-01352349⟩
  • Maurice Margenstern, Yurii Rogozhin, Sergey Verlan. Time-Varying Distributed H Systems: An Overview. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2005, 64 (1-4), pp.291-306. ⟨hal-01352414⟩
  • Sergey Verlan, Maurice Margenstern. About Splicing P Systems with One Membrane. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2005, 65 (3), pp.279-290. ⟨hal-01352353⟩
  • Sergey Verlan. A Boundary Result on Enhanced Time-Varying Distributed H Systems with Parallel Computations. Theoretical Computer Science, Elsevier, 2005, 344 (2-3), pp.226--242. ⟨hal-01352418⟩
  • Sergey Verlan. On Enhanced Time-Varying Distributed H Systems. Computer Science Journal of Moldova, 2002, 10 (3), pp.263-279. ⟨hal-01352361⟩
  • Sergey Verlan. On Enhanced Time-Varying Distributed H Systems. Computer Science Journal of Moldova, 2002, 10 (3), pp.263-279. ⟨hal-01352424⟩

Conference papers81 documents

  • Sergey Verlan, Artiom Alhazov, Rudolf Freund, Sergiu Ivanov. (Tissue) P Systems with Vesicles of Multisets. 15th International Conference on Automata and Formal Languages, AFL 2017, Sep 2017, Debrecen, Hungary. pp.11 - 25, ⟨10.4204/EPTCS.252.6⟩. ⟨hal-01638707⟩
  • Henning Fernau, Lakshmanan Kuppusamy, Sergey Verlan. Universal Matrix Insertion Grammars with Small Size. Unconventional Computation and Natural Computation - 16th International Conference, UCNC 2017, Jun 2017, Fayetteville, United States. pp.182-193. ⟨hal-01638808⟩
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. Bi-simulation Between P Colonies and P Systems with Multi-stable Catalysts. 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⟩. ⟨hal-01757528⟩
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. Computationally Complete Generalized Communicating P Systems with Three Cells. 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⟩. ⟨hal-01757529⟩
  • Sergey Verlan, Artiom Alhazov, Rudolf Freund. P Systems Working in Maximal Variants of the Set Derivation Mode. Membrane Computing - 17th International Conference, Jul 2016, Milan, Italy. pp.83-102. ⟨hal-01757362⟩
  • Igor Potapov, Olena Prianychnykova, Sergey Verlan. Insertion-Deletion Systems over Relational Words. In Reachability Problems - 10th International Workshop, RP 2016, 2016, Aalborg, Denmark. pp.177-191. ⟨hal-01757410⟩
  • Sergiu Ivanov, Sergey Verlan. Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States. 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⟩. ⟨hal-01352286⟩
  • Rudolf Freund, Sergiu Ivanov, Sergey Verlan. P Systems with Generalized Multisets Over Totally Ordered Abelian Groups. 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⟩. ⟨hal-01352290⟩
  • Sergey Verlan. Universality in Molecular and Cellular Computing. 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⟩. ⟨hal-01352288⟩
  • Artiom Alhazov, Rudolf Freund, Sergey Verlan. Bridging Deterministic P Systems and Conditional Grammars. 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⟩. ⟨hal-01352292⟩
  • Artiom Alhazov, Rudolf Freund, Sergey Verlan. Promoters and Inhibitors in Purely Catalytic P Systems. 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⟩. ⟨hal-01352294⟩
  • Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan. Small Universal Non-deterministic Petri Nets with Inhibitor Arcs. 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⟩. ⟨hal-01161698⟩
  • Rudolf Freund, Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Sergey Verlan, et al.. Flattening in (Tissue) P Systems. 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. ⟨hal-01352363⟩
  • Rudolf Freund, Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Sergey Verlan, et al.. Flattening in (Tissue) P Systems. 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. ⟨hal-01352296⟩
  • Sergey Verlan. Using the Formal Framework for P Systems. 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.56-79. ⟨hal-01352364⟩
  • Sergiu Ivanov, Sergey Verlan. About One-Sided One-Symbol Insertion-Deletion P Systems. 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⟩. ⟨hal-01161704⟩
  • Sergey Verlan. Using the Formal Framework for P Systems. CMC 1414th International Conference Membrane Computing ,, Aug 2013, Chisinau, Moldova. pp.56-79. ⟨hal-01352297⟩
  • Rudolf Freund, Ignacio Pérez-Hurtado, Agustín Riscos-Núñez, Sergey Verlan. A Formal Framework for P Systems with Dynamic Structure. Proceedings of 13th International Conference on Membrane Computing, 2012, Unknown, Unknown Region. pp.199--210. ⟨hal-01352299⟩
  • Artiom Alhazov, Rudolf Freund, Hilbert Heikenwälder, Marion Oswald, Yurii Rogozhin, et al.. Sequential P Systems with Regular Control. Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers, 2012, Unknown, Unknown Region. pp.112-127. ⟨hal-01352301⟩
  • Sergey Verlan, Juan Quiros. Fast Hardware Implementations of P Systems. Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers, 2012, Unknown, Unknown Region. pp.404-423. ⟨hal-01352369⟩
  • Rudolf Freund, Yurii Rogozhin, Sergey Verlan. P Systems with Minimal Left and Right Insertion and Deletion. 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. ⟨hal-01352366⟩
  • Artiom Alhazov, Rudolf Freund, Hilbert Heikenwälder, Marion Oswald, Yurii Rogozhin, et al.. Sequential P Systems with Regular Control. Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers, 2012, Unknown, Unknown Region. pp.112-127. ⟨hal-01352367⟩
  • Rudolf Freund, Ignacio Pérez-Hurtado, Agustín Riscos-Núñez, Sergey Verlan. A Formal Framework for P Systems with Dynamic Structure. Proceedings of 13th International Conference on Membrane Computing, 2012, Unknown, Unknown Region. pp.199--210. ⟨hal-01352365⟩
  • Rudolf Freund, Yurii Rogozhin, Sergey Verlan. P Systems with Minimal Left and Right Insertion and Deletion. 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. ⟨hal-01352300⟩
  • Sergey Verlan, Juan Quiros. Fast Hardware Implementations of P Systems. Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers, 2012, Unknown, Unknown Region. pp.404-423. ⟨hal-01352304⟩
  • Rudolf Freund, Marian Kogler, Yurii Rogozhin, Sergey Verlan. Graph-Controlled Insertion-Deletion Systems. Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, 2010, Unknown, Unknown Region. pp.88-98. ⟨hal-01352382⟩
  • Rudolf Freund, Marian Kogler, Yurii Rogozhin, Sergey Verlan. Graph-Controlled Insertion-Deletion Systems. Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, 2010, Unknown, Unknown Region. pp.88-98. ⟨hal-01352317⟩
  • Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. A Small Universal Splicing P System. Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, 2010, Unknown, Unknown Region. pp.95-102. ⟨hal-01352318⟩
  • Erzsébet Csuhaj-Varjú, György Vaszil, Sergey Verlan. On Generalized Communicating P Systems with One Symbol. Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, 2010, Unknown, Unknown Region. pp.160-174. ⟨hal-01352320⟩
  • Erzsébet Csuhaj-Varjú, György Vaszil, Sergey Verlan. On Generalized Communicating P Systems with One Symbol. Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, 2010, Unknown, Unknown Region. pp.160-174. ⟨hal-01352385⟩
  • Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. A Small Universal Splicing P System. Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers, 2010, Unknown, Unknown Region. pp.95-102. ⟨hal-01352383⟩
  • Sergey Verlan. Look-Ahead Evolution for P Systems. 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. ⟨hal-01352388⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Computational Power of P Systems with Small Size Insertion and Deletion Rules. Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008, 2009, Unknown, Unknown Region. pp.108-117. ⟨hal-01352322⟩
  • Rudolf Freund, Marian Kogler, Sergey Verlan. P Automata with Controlled Use of Minimal Communication Rules. Workshop on Non-Classical Models of Automata and Applications, NCMA 2009, Wroclaw, Poland, 2009, Unknown, Unknown Region. pp.107--120. ⟨hal-01352321⟩
  • Sergey Verlan. Look-Ahead Evolution for P Systems. 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. ⟨hal-01352323⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Computational Power of P Systems with Small Size Insertion and Deletion Rules. Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008, 2009, Unknown, Unknown Region. pp.108-117. ⟨hal-01352387⟩
  • Rudolf Freund, Marian Kogler, Sergey Verlan. P Automata with Controlled Use of Minimal Communication Rules. Workshop on Non-Classical Models of Automata and Applications, NCMA 2009, Wroclaw, Poland, 2009, Unknown, Unknown Region. pp.107--120. ⟨hal-01352386⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. One-Sided Insertion and Deletion: Traditional and P Systems Case. International Workshop on Computing with Biomolecules, August 27th, 2008, Wien, Austria, 2008, Unknown, Unknown Region. pp.53--64. ⟨hal-01352396⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Further Results on Insertion-Deletion Systems with One-Sided Contexts. 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. ⟨hal-01352400⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Computational Power of P Systems with Small Size Insertion and Deletion Rules. Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings, 2008, Unknown, Unknown Region. pp.137-148. ⟨hal-01352401⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Further Results on Insertion-Deletion Systems with One-Sided Contexts. 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. ⟨hal-01352335⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Computational Power of P Systems with Small Size Insertion and Deletion Rules. Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings, 2008, Unknown, Unknown Region. pp.137-148. ⟨hal-01352336⟩
  • Sergey Verlan, Yurii Rogozhin. New Choice for Small Universal Devices: Symport/Antiport P Systems. Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008, 2008, Unknown, Unknown Region. pp.235-241. ⟨hal-01352398⟩
  • Artiom Alhazov, Maurice Margenstern, Sergey Verlan. Fast Synchronization in P Systems. 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. ⟨hal-01352394⟩
  • Rudolf Freund, Sergey Verlan. P Systems Working in the k-Restricted Minimally Parallel Mode. International Workshop on Computing with Biomolecules, August 27th, 2008, Wien, Austria, 2008, Unknown, Unknown Region. pp.43--52. ⟨hal-01352395⟩
  • Sergey Verlan, Yurii Rogozhin. New Choice for Small Universal Devices: Symport/Antiport P Systems. Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings, 2008, Unknown, Unknown Region. pp.305-314. ⟨hal-01352397⟩
  • Artiom Alhazov, Maurice Margenstern, Sergey Verlan. Fast Synchronization in P Systems. 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. ⟨hal-01352329⟩
  • Rudolf Freund, Sergey Verlan. P Systems Working in the k-Restricted Minimally Parallel Mode. International Workshop on Computing with Biomolecules, August 27th, 2008, Wien, Austria, 2008, Unknown, Unknown Region. pp.43--52. ⟨hal-01352330⟩
  • Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. One-Sided Insertion and Deletion: Traditional and P Systems Case. International Workshop on Computing with Biomolecules, August 27th, 2008, Wien, Austria, 2008, Unknown, Unknown Region. pp.53--64. ⟨hal-01352331⟩
  • Sergey Verlan, Yurii Rogozhin. New Choice for Small Universal Devices: Symport/Antiport P Systems. Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings, 2008, Unknown, Unknown Region. pp.305-314. ⟨hal-01352332⟩
  • Sergey Verlan, Yurii Rogozhin. New Choice for Small Universal Devices: Symport/Antiport P Systems. Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008, 2008, Unknown, Unknown Region. pp.235-241. ⟨hal-01352333⟩
  • Rudolf Freund, Sergey Verlan. A Formal Framework for Static (Tissue) P Systems. 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. ⟨hal-01352339⟩
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. Producer/Consumer in Membrane Systems and Petri Nets. 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. ⟨hal-01352343⟩
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. Producer/Consumer in Membrane Systems and Petri Nets. 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. ⟨hal-01352408⟩
  • Artiom Matveevici, Yurii Rogozhin, Sergey Verlan. Insertion-Deletion Systems with One-Sided Contexts. Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.205-217. ⟨hal-01352410⟩
  • Artiom Alhazov, Rudolf Freund, Marion Oswald, Sergey Verlan. Partial Halting in P Systems Using Membrane Rules with Permitting Contexts. Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.110-121. ⟨hal-01352341⟩
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. 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. ⟨hal-01352342⟩
  • Artiom Alhazov, Rudolf Freund, Marion Oswald, Sergey Verlan. Partial Halting in P Systems Using Membrane Rules with Permitting Contexts. Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.110-121. ⟨hal-01352406⟩
  • Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan. 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. ⟨hal-01352407⟩
  • Artiom Matveevici, Yurii Rogozhin, Sergey Verlan. Insertion-Deletion Systems with One-Sided Contexts. Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.205-217. ⟨hal-01352345⟩
  • Rudolf Freund, Sergey Verlan. A Formal Framework for Static (Tissue) P Systems. 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. ⟨hal-01352404⟩
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. Length-Separating Test Tube Systems. 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. ⟨hal-01352411⟩
  • Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern. Computational Completeness of Tissue P Systems with Conditional Uniport. 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. ⟨hal-01352412⟩
  • Erzsébet Csuhaj-Varjú, Sergey Verlan. Length-Separating Test Tube Systems. 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. ⟨hal-01352346⟩
  • Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern. Computational Completeness of Tissue P Systems with Conditional Uniport. 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. ⟨hal-01352347⟩
  • Francesco Bernardini, Francisco J. Romero-Campero, Marian Gheorghe, Mario J. Perez-Jimenez, Maurice Margenstern, et al.. On P Systems with Bounded Parallelism. 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. ⟨hal-01352416⟩
  • Sergey Verlan. On Minimal Context-Free Insertion-Deletion Systems. Seventh International Workshop on Descriptional Complexity of Formal Systems, June 30 ― July 2, 2005 Como, Italy. Proceedings., 2005, Unknown, Unknown Region. pp.285-292. ⟨hal-01352417⟩
  • Sergey Verlan. On Minimal Context-Free Insertion-Deletion Systems. Seventh International Workshop on Descriptional Complexity of Formal Systems, June 30 ― July 2, 2005 Como, Italy. Proceedings., 2005, Unknown, Unknown Region. pp.285-292. ⟨hal-01352351⟩
  • Yurii Rogozhin, Sergey Verlan. On the Rule Complexity of Universal Tissue P Systems. 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. ⟨hal-01352413⟩
  • Yurii Rogozhin, Sergey Verlan. On the Rule Complexity of Universal Tissue P Systems. 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. ⟨hal-01352348⟩
  • Artiom Alhazov, Maurice Margenstern, Vladimir Rogozhin, Yurii Rogozhin, Sergey Verlan. Communicative P Systems with Minimal Cooperation. International Workshop WMC5, Milano, Italy, 2004, LNCS, Springer, 2005, 2005, Unknown, Unknown Region. pp.161-177, ⟨10.1007/b106721⟩. ⟨hal-01352352⟩
  • Sergey Verlan. Tissue P Systems with Minimal Symport/Antiport. 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⟩. ⟨hal-01352354⟩
  • Maurice Margenstern, Yurii Rogozhin, Sergey Verlan. Time-Varying Distributed H Systems with Parallel Computations: the Problem is Solved. 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⟩. ⟨hal-01352355⟩
  • Sergey Verlan, Rosalba Zizza. 1-splicing vs. 2-splicing: Separating Results. Proceedings of WORDS'03, 4th International Conference on Combinatorics on Words, September 10-13, 2003, Turku, Finland, 2003, Unknown, Unknown Region. pp.320--331. ⟨hal-01352356⟩
  • Sergey Verlan. A Frontier Result on Enhanced Time-Varying Distributed H Systems with Parallel Computations. 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. ⟨hal-01352357⟩
  • Maurice Margenstern, Gheorghe Păun, Yurii Rogozhin, Sergey Verlan. Context-Free Insertion-Deletion Systems. 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. ⟨hal-01352358⟩
  • Sergey Verlan. A Frontier Result on Enhanced Time-Varying Distributed H Systems with Parallel Computations. 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. ⟨hal-01352422⟩
  • Sergey Verlan. About Splicing P Systems with Immediate Communication and Non-Extended Splicing P Systems. Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain, July, 17-22, 2003, Revised Papers, 2003, Unknown, Unknown Region. pp.369--382, ⟨10.1007/b95207⟩. ⟨hal-01352359⟩
  • Sergey Verlan, Rosalba Zizza. 1-splicing vs. 2-splicing: Separating Results. Proceedings of WORDS'03, 4th International Conference on Combinatorics on Words, September 10-13, 2003, Turku, Finland, 2003, Unknown, Unknown Region. pp.320--331. ⟨hal-01352421⟩
  • Maurice Margenstern, Gheorghe Păun, Yurii Rogozhin, Sergey Verlan. Context-Free Insertion-Deletion Systems. 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. ⟨hal-01352423⟩
  • Maurice Margenstern, Yurii Rogozhin, Sergey Verlan. Time-Varying Distributed H Systems of Degree 2 Can Carry Out Parallel Computations. 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⟩. ⟨hal-01352360⟩

Book sections15 documents

  • Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald, Sergey Verlan. Chocolate P Automata. Lecture Notes in Computer Science, 11270, pp.1--20, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-00265-7_1⟩. ⟨hal-01949068⟩
  • Artiom Alhazov, Sergey Verlan, Rudolf Freund. Small Universal Reversible Counter Machines. 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⟩. ⟨hal-01757525⟩
  • Marian Gheorghe, Andrei Păun, Sergey Verlan, Gexiang Zhang. Applications of P Systems. Meyers, Robert A. Encyclopedia of Complexity and Systems Science, Springer Berlin Heidelberg, pp.1--15, 2017, 978-3-642-27737-5. ⟨hal-01757526⟩
  • Marian Gheorghe, Andrei Păun, Sergey Verlan, Gexiang Zhang. Membrane Computing, Power and Complexity. 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⟩. ⟨hal-01757527⟩
  • Yurii Rogozhin, Sergey Verlan. Computational Models Based on Splicing. Andrew Adamatzky. Automata, Universality, Computation, 12, Springer, pp.237--258, 2015, Emergence, Complexity and Computation, ⟨10.1007/978-3-319-09039-9_11⟩. ⟨hal-01352287⟩
  • Maurice Margenstern, Pascal Mayer, Sergey Verlan. String Displacement Systems and DNA Circuits Based on Isothermal Constrained Loop Extension DNA Amplification. 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. ⟨hal-02485401⟩
  • Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. Small Universal Devices. 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⟩. ⟨hal-01352293⟩
  • Gemma Bel-Enguix, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. On the Lower Bounds for Asymmetrical Insertion-deletion Languages. 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. ⟨hal-01352376⟩
  • Gemma Bel-Enguix, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. On the Lower Bounds for Asymmetrical Insertion-deletion Languages. 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. ⟨hal-01352312⟩
  • Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan. Small Size Insertion and Deletion Systems. 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⟩. ⟨hal-01352316⟩
  • Sergey Verlan, Pierluigi Frisco. Splicing P Systems. Gh. Păun and G. Rozenberg and A. Salomaa. The Oxford Handbook of Membrane Computing, Oxford University Press, pp.198--226, 2009. ⟨hal-01352324⟩
  • Rudolf Freund, Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. Communication P Systems. Gh. Păun and G. Rozenberg and A. Salomaa. The Oxford Handbook of Membrane Computing, Oxford University Press, pp.118--143, 2009. ⟨hal-01352392⟩
  • Rudolf Freund, Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. Communication P Systems. Gh. Păun and G. Rozenberg and A. Salomaa. The Oxford Handbook of Membrane Computing, Oxford University Press, pp.118--143, 2009. ⟨hal-01352327⟩
  • Sergey Verlan, Pierluigi Frisco. Splicing P Systems. Gh. Păun and G. Rozenberg and A. Salomaa. The Oxford Handbook of Membrane Computing, Oxford University Press, pp.198--226, 2009. ⟨hal-01352389⟩
  • Sergey Verlan. Communicating Distributed H Systems with Alternating Filters. 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. ⟨hal-01352420⟩

Directions of work or proceedings7 documents

  • Susan Stepney, Sergey Verlan. Special Issue: Unconventional Computing and Natural Computing 2018 - Selected papers from the Unconventional Computing and Natural Computing Conference 2018. Susan Stepney; Sergey Verlan. Natural Computing, 18 (3), Springer, 2019. ⟨hal-02485388⟩
  • Susan Stepney, Sergey Verlan. Unconventional Computation and Natural Computation - 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings. Susan Stepney; Sergey Verlan. Springer, 2018, ⟨10.1007/978-3-319-92435-9⟩. ⟨hal-02485345⟩
  • Jérôme Durand-Lose, Sergey Verlan. Machines, Computations, and Universality - 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings. Jérôme Durand-Lose; Sergey Verlan. Springer, 2018, ⟨10.1007/978-3-319-92402-1⟩. ⟨hal-02485361⟩
  • Jérôme Durand-Lose, Serghei Verlan. Machines, Computations and Universality (MCU 2018). Durand-Lose, Jérôme; Verlan, Sergey. Machines, Computations and Universality (MCU 2018), Jun 2018, Fontainebleau, France. Springer, 2018, LNCS. ⟨hal-01792687⟩
  • Svetlana Cojocaru, Maurice Margenstern, Gheorghe Păun, Sergey Verlan. Special Issue in Memoriam Yurii Rogozhin. Svetlana Cojocaru and Maurice Margenstern and Gheorghe Păun and Sergey Verlan. 138 (1-2), 2015, Fundamenta Informaticae, ⟨10.3233/FI-2015-1193⟩. ⟨hal-01352289⟩
  • Marian Gheorghe, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan. Membrane Computing - 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers. Marian Gheorghe and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa and Sergey Verlan. 7184, Springer, 2012, Lecture Notes in Computer Science, 978-3-642-28023-8. ⟨hal-01352303⟩
  • Marian Gheorghe, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan. Membrane Computing - 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers. Marian Gheorghe and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa and Sergey Verlan. 7184, Springer, 2012, Lecture Notes in Computer Science, 978-3-642-28023-8. ⟨hal-01352368⟩

Theses1 document