Publications de Serghei Verlan

Vous pouvez consulter également la liste de mes publications sur DBLP, Google Scholar, ResearchGate et HAL.

JQuery est en train de chargement...

Journaux internationaux

  1. J. Liu, L. Wang, G. Zhang, S. Verlan & M. Zhu (2024), "Universal enzymatic numerical P systems with small number of enzymatic rules", Theoretical Computer Science. Vol. 1004, pp. 114630.

    DOI URL

  2. A. Alhazov, R. Freund, S. Ivanov & S. Verlan (2023), "Numerical networks of cells", Theor. Comput. Sci.. Vol. 958, pp. 113873.

    DOI URL

  3. Z. Shang, Z. Wei, S. Verlan, J. Li & Z. He (2023), "An FPGA Architecture for the RRT Algorithm Based on Membrane Computing", Electronics. Vol. 12(12)

    DOI URL

  4. S. Verlan & G. Zhang (2023), "A Tutorial on the Formal Framework for Spiking Neural P Systems", Natural Computing. Vol. 22(1), pp. 181-194.

    DOI

  5. A. Alhazov, R. Freund, S. Ivanov & S. Verlan (2022), "Regulated Insertion-Deletion Systems", J. Autom. Lang. Comb.. Vol. 27(1-3), pp. 15-45.

    DOI

  6. A. Alhazov, R. Freund, S. Ivanov & S. Verlan (2022), "Tissue P Systems with Vesicles of Multisets", Int. J. Found. Comput. Sci.. Vol. 33(3{\&}4), pp. 179-202.

    DOI URL

  7. A. Alhazov, R. Freund, S. Ivanov & S. Verlan (2021), "Variants of derivation modes for which catalytic P systems with one catalyst are computationally complete", Journal of Membrane Computing. Vol. 3(4), pp. 233-245.

    DOI URL

  8. S. Ivanov & S. Verlan (2021), "Single semi-contextual insertion-deletion systems", Natural Computing. Vol. 20(4), pp. 703-712.

    DOI

  9. Z. Shang, S. Verlan, G. Zhang & H. Rong (2021), "FPGA Implementation of Numerical P Systems", International Journal of Unconventional Computing. Vol. 16(2-3), pp. 279-302.

    DOI URL

  10. G. Zhang, Z. Shang, S. Verlan, M. Á.M. del-Amor, C. Yuan, L. Valencia-Cabrera & M.J. Pérez-Jiménez (2020), "An Overview of Hardware Implementation of Membrane Computing Models", ACM Computing Surveys. New York, NY, USA, August, 2020. Vol. 53(4) Association for Computing Machinery.

    DOI URL

  11. E.H. Boudjema, S. Verlan, L. Mokdad & C. Faure (2020), "VYPER: Vulnerability detection in binary code", Security and Privacy. Vol. 3(2), pp. e100.

    DOI URL

  12. S. Verlan, R. Freund, A. Alhazov, S. Ivanov & L. Pan (2020), "A Formal Framework for Spiking Neural P Systems", Journal of Membrane Computing. Vol. 2, pp. 355-368.

    DOI

  13. S. Verlan, H. Fernau & L. Kuppusamy (2020), "Universal insertion grammars of size two", Theoretical Computer Science. Vol. 843, pp. 153-163.

    DOI

  14. R. Freund, V. Rogojin & S. Verlan (2019), "Variants of Networks of Evolutionary Processors with Polarizations and a Small Number of Processors", International Journal of Foundations of Computer Science. Vol. 30(06n07), pp. 1005-1027.

    DOI URL

  15. Z. Shang, S. Verlan, I. Petre & G. Zhang (2019), "Reaction Systems and Synchronous Digital Circuits", Molecules. Vol. 24(10)

    DOI URL

  16. A. Alhazov, R. Freund, S. Ivanov, M. Oswald & S. Verlan (2018), "Extended spiking neural P systems with white hole rules and their red-green variants", Natural Computing. Vol. 17(2), pp. 297-310.

    DOI

  17. S. Ivanov & S. Verlan (2017), "Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems", Fundam. Inform.. Vol. 155(1-2), pp. 163-185.

    DOI

  18. A. Alhazov, S. Ivanov, E. Pelz & S. Verlan (2016), "Small Universal Deterministic Petri Nets with Inhibitor Arcs", Journal of Automata, Languages and Combinatorics. Vol. 21(1-2), pp. 7-26.

    URL

  19. J. Quiros, S. Verlan, J. Viejo, A. Millan & M.J. Bellido (2016), "Fast Hardware Implementations of Static P Systems", Computing and Informatics. Vol. 35(3), pp. 687-718.

    URL

  20. S. Ivanov & S. Verlan (2015), "On the Lower Bounds for Leftist Insertion-Deletion Languages", Annals of the University of Bucharest (informatics series). Vol. LXII(2), pp. 77-88.

    URL

  21. S. Ivanov & S. Verlan (2015), "Random Context and Semi-conditional Insertion-deletion Systems", Fundamenta Informaticae. Vol. 138(1-2), pp. 127-144.

    DOI URL

  22. R. Freund, Y. Rogozhin & S. Verlan (2014), "Generating and Accepting P Systems with Minimal Left and Right Insertion and Deletion", Natural Computing. Vol. 13(2), pp. 257-268.

    DOI URL

  23. S. Ivanov, Y. Rogozhin & S. Verlan (2014), "Small Universal Networks of Evolutionary Processors", Journal of Automata, Languages and Combinatorics. Vol. 19(1-4), pp. 133-144.

    URL

  24. R. Freund, I. Pérez-Hurtado, A. Riscos-Núñez & S. Verlan (2013), "A Formalization of Membrane Systems with Dynamically Evolving Structures", International Journal of Computer Mathematics. Vol. 90(4), pp. 801-815.

    DOI URL

  25. A. Alhazov, Y. Rogozhin & S. Verlan (2012), "On Small Universal Splicing Systems", International Journal of Foundations of Computer Science. Vol. 23(07), pp. 1423-1438.

    DOI URL

  26. I. Petre & S. Verlan (2012), "Matrix Insertion-Deletion Systems", Theoretical Computer Science. Vol. 456(0), pp. 80 - 88.

    DOI URL

  27. Y. Rogozhin & S. Verlan (2012), "P Systems Based on Tag Operations", Computer Science Journal of Moldova. Vol. 20(3), pp. 366-373.

    URL

  28. A. Alhazov, M. Kogler, M. Margenstern, Y. Rogozhin & S. Verlan (2011), "Small Universal TVDH and Test Tube Systems", International Journal of Foundations of Computer Science. Vol. 22(1), pp. 143-154.

    DOI

  29. A. Alhazov, A. Krassovitskiy, Y. Rogozhin & S. Verlan (2011), "P Systems with Minimal Insertion and Deletion", Theoretical Computer Science. Vol. 412(1-2), pp. 136-144.

    DOI

  30. A. Alhazov, A. Krassovitskiy, Y. Rogozhin & S. Verlan (2011), "P Systems with Insertion and Deletion Exo-Operations", Fundamenta Informaticae. Vol. 110(1-4), pp. 13-28.

    DOI

  31. A. Alhazov & S. Verlan (2011), "Minimization Strategies for Maximally Parallel Multiset Rewriting Systems", Theoretical Computer Science. Vol. 412(17), pp. 1581 - 1591.

    DOI URL

  32. E. Csuhaj-Varjú & S. Verlan (2011), "On Generalized Communicating P Systems with Minimal Interaction Rules", Theoretical Computer Science. Vol. 412(1-2), pp. 124-135.

    DOI

  33. R. Freund & S. Verlan (2011), "(Tissue) P systems working in the k-restricted minimally or maximally parallel transition mode", Natural Computing. Vol. 10(2), pp. 821-833.

    DOI

  34. A. Krassovitskiy, Y. Rogozhin & S. Verlan (2011), "Computational Power of Insertion-Deletion (P) Systems with Rules of Size Two", Natural Computing. Vol. 10(2), pp. 835-852.

    DOI

  35. A. Spicher & S. Verlan (2011), "Generalized Communicating P Systems Working in Fair Sequential Mode", Scientific Annals of Computer Science. Vol. 21(2), pp. 227-247. ``A.I. Cuza'' University Press, Ia¸ si.

    URL

  36. S. Verlan & M. Margenstern (2011), "Universality of Splicing Test Tube Systems with Two Tubes", Fundam. Inform.. Vol. 110(1-4), pp. 329-342.

    DOI

  37. A. Alhazov, E. Boian, L. Burteva, C. Ciubotaru, S. Cojocaru, A. Colesnicov, V. Demidova, S. Ivanov, V. Macari, G. Magariu, L. Malahov, V. Rogojin, I. Rogojin, T. Tofan, S. Verlan & T. Verlan (2010), "Investigations on Natural Computing in the Institute of Mathematics and Computer Science", Computer Science Journal of Moldova. Vol. 18(2), pp. 101-138.

    URL

  38. S. Verlan, A. Alhazov & I. Petre (2010), "A Sequence-Based Analysis of the Pointer Distribution of Stichotrichous Ciliates", Biosystems. Vol. 101(2), pp. 109 - 116.

    DOI URL

  39. S. Verlan (2010), "Recent Developments on Insertion-Deletion Systems", Computer Science Journal of Moldova. Vol. 18(2), pp. 210-245.

    URL

  40. A. Alhazov, M. Oswald, R. Freund & S. Verlan (2009), "Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions", Fundam. Inform.. Vol. 91(1), pp. 17-34.

    DOI

  41. F. Bernardini, M. Gheorghe, M. Margenstern & S. Verlan (2009), "Maximal, Locally-Maximal, and Minimal Parallelism in Networks of Cells", International Journal of Unconventional Computing. Vol. 5(5), pp. 391-409.

    DOI

  42. F. Bernardini, M. Gheorghe, M. Margenstern & S. Verlan (2008), "How to Synchronize the Activity of All Components of a P System?", International Journal of Foundations of Computer Science. Vol. 19(5), pp. 1183-1198.

    DOI

  43. E. Csuhaj-Varjú & S. Verlan (2008), "On Length-Separating Test Tube Systems", Natural Computing. Vol. 7(2), pp. 167-181.

    DOI

  44. S. Verlan, F. Bernardini, M. Gheorghe & M. Margenstern (2008), "Generalized Communicating P Systems", Theoretical Computer Science. Vol. 404(1-2), pp. 170-184.

    DOI

  45. A. Alhazov, Y. Rogozhin & S. Verlan (2007), "Minimal Cooperation in Symport/Antiport Tissue P Systems", International Journal of Foundations of Computer Science. Vol. 18(1), pp. 163-180.

    DOI

  46. E. Csuhaj-Varjú, M. Margenstern, G. Vaszil & S. Verlan (2007), "On Small Universal Antiport P Systems", Theoretical Computer Science. Vol. 372(2-3), pp. 152-164.

    DOI

  47. S. Verlan (2007), "On Minimal Context-Free Insertion-Deletion Systems", Journal of Automata, Languages and Combinatorics. Vol. 12(1-2), pp. 317-328.

    URL

  48. M. Margenstern, G. Păun, Y. Rogozhin & S. Verlan (2005), "Context-Free Insertion-Deletion Systems", Theoretical Computer Science. Vol. 330(2), pp. 339-348.

    DOI

  49. M. Margenstern, Y. Rogozhin & S. Verlan (2005), "Time-Varying Distributed H Systems: An Overview", Fundamenta Informaticae. Vol. 64(1-4), pp. 291-306.

    DOI

  50. S. Verlan (2005), "A Boundary Result on Enhanced Time-Varying Distributed H Systems with Parallel Computations", Theoretical Computer Science. Vol. 344(2-3), pp. 226-242. Elsevier Science Publishers Ltd..

    DOI

  51. S. Verlan & M. Margenstern (2005), "About Splicing P Systems with One Membrane", Fundamenta Informaticae. Vol. 65(3), pp. 279-290.

    DOI

  52. S. Verlan (2002), "On Enhanced Time-Varying Distributed H Systems", Computer Science Journal of Moldova. Vol. 10(3), pp. 263-279. Kishinev.

    URL

Conférences internationales avec comite de lecture et publication des actes

  1. A. Alhazov, R. Freund, S. Ivanov & S. Verlan (2022), "Prescribed Teams of Rules Working on Several Objects", In Machines, Computations, and Universality - 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 - September 2, 2022, Proceedings. Lecture Notes in Computer Science, Volume 13419, pp. 27-41. Springer.

    DOI URL

  2. Z. Shang, I. Perez-Hurtado, S. Verlan & G. Zhang (2020), "FPGA Architecture for Generalized Numerical P System Arranged Rapidly-Exploring Random Tree Algorithm", In Preliminary proceedings of International Conference on Membrane Computing 2020.

  3. Z. Shang, S. Verlan, G. Zhang & I. Pérez-Hurtado (2019), "FPGA Implementation of Robot Obstacle Avoidance Controller based on Enzymatic Numerical P Systems", In Pre-Proceedings of The 8th Asian Conference on Membrane Computing (ACMC2019), November 14--17, 2019, Xiamen, China. , pp. 184-214.

    URL

  4. S. Verlan, R. Freund, A. Alhazov & L. Pan (2019), "A Formal Framework for Spiking Neural P Systems", In Proceedings of the 20th International Conference on Membrane Computing, CMC20, August 5-8, 2019, Curtea de Arges, Romania.

    URL

  5. Z. Shang, S. Verlan & G. Zhang (2019), "Hardware Implementation of Numerical P Systems", In Proceedings of the 20th International Conference on Membrane Computing, CMC20, August 5-8, 2019, Curtea de Arges, Romania. , pp. 463-474.

    URL

  6. A. Alhazov, R. Freund, S. Ivanov & S. Verlan (2018), "Tissue P Systems with Point Mutation Rules", In Membrane Computing - 19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018, Revised Selected Papers. Lecture Notes in Computer Science, Volume 11399, pp. 33-56. Springer.

    DOI URL

  7. Z. Shang, S. Verlan, G. Zhang, M.A.M. del-Amor & L. Valencia-Cabrera (2017), "An Overview of Hardware Implementations of P Systems", In Pre-proceedings of the 6th Asian Conference on Membrane Computing (ACMC2017), Chengdu, China, September 21-25, 2017.. , pp. 469-508. Xihua University.

  8. E. Csuhaj-Varjú & S. Verlan (2017), "Bi-simulation Between P Colonies and P Systems with Multi-stable Catalysts", In Membrane Computing - 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers. Lecture Notes in Computer Science, Volume 10725, pp. 105-117. Springer.

    DOI

  9. E. Csuhaj-Varjú & S. Verlan (2017), "Computationally Complete Generalized Communicating P Systems with Three Cells", In Membrane Computing - 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers. Lecture Notes in Computer Science, Volume 10725, pp. 118-128. Springer.

    DOI

  10. R. Freund, V. Rogojin & S. Verlan (2017), "Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors", In Descriptional Complexity of Formal Systems - 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings. Lecture Notes in Computer Science, Volume 10316, pp. 140-151. Springer.

    DOI

  11. H. Fernau, L. Kuppusamy & S. Verlan (2017), "Universal Matrix Insertion Grammars with Small Size", In Unconventional Computation and Natural Computation - 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings. Lecture Notes in Computer Science, Volume 10240, pp. 182-193. Springer.

    DOI

  12. A. Alhazov, R. Freund, S. Ivanov & S. Verlan (2017), "(Tissue) P Systems with Vesicles of Multisets", In Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017.. EPTCS, Volume 252, pp. 11-25.

    DOI

  13. A. Alhazov, R. Freund & S. Verlan (2016), "P Systems Working in Maximal Variants of the Set Derivation Mode", In Membrane Computing - 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers. Lecture Notes in Computer Science, Volume 10105, pp. 83-102. Springer.

    DOI

  14. I. Potapov, O. Prianychnykova & S. Verlan (2016), "Insertion-Deletion Systems over Relational Words", In Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. Lecture Notes in Computer Science, Volume 9899, pp. 177-191. Springer.

    DOI URL

  15. A. Alhazov, R. Freund & S. Verlan (2015), "Bridging Deterministic P Systems and Conditional Grammars", In Membrane Computing - 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers. Lecture Notes in Computer Science, Volume 9504, pp. 63-76. Springer.

    DOI URL

  16. R. Freund, S. Ivanov & S. Verlan (2015), "P Systems with Generalized Multisets Over Totally Ordered Abelian Groups", In Membrane Computing - 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers. Lecture Notes in Computer Science, Volume 9504, pp. 117-136. Springer.

    DOI URL

  17. S. Ivanov & S. Verlan (2015), "Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States", In Machines, Computations, and Universality - 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings. Lecture Notes in Computer Science, Volume 9288, pp. 79-93. Springer.

    DOI URL

  18. S. Verlan (2015), "Universality in Molecular and Cellular Computing", In Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings. Lecture Notes in Computer Science, Volume 9136, pp. 95-104. Springer.

    DOI URL

  19. A. Alhazov, R. Freund & S. Verlan (2014), "Promoters and Inhibitors in Purely Catalytic P Systems", In Membrane Computing - 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers. Lecture Notes in Computer Science, Volume 8961, pp. 126-138. Springer.

    DOI URL

  20. S. Ivanov, E. Pelz & S. Verlan (2014), "Small Universal Non-deterministic Petri Nets with Inhibitor Arcs", In Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings. Lecture Notes in Computer Science, Volume 8614, pp. 186-197. Springer.

    DOI URL

  21. R. Freund, A. Leporati, G. Mauri, A.E. Porreca, S. Verlan & C. Zandron (2013), "Flattening in (Tissue) P Systems", In Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers. Lecture Notes in Computer Science, Volume 8340, pp. 173-188. Springer.

    DOI

  22. S. Ivanov & S. Verlan (2013), "About One-Sided One-Symbol Insertion-Deletion P Systems", In Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers. Lecture Notes in Computer Science, Volume 8340, pp. 225-237. Springer.

    DOI

  23. S. Verlan (2013), "Using the Formal Framework for P Systems", In Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers. Lecture Notes in Computer Science, Volume 8340, pp. 56-79. Springer. Invited paper.

    DOI

  24. A. Alhazov, R. Freund, H. Heikenwälder, M. Oswald, Y. Rogozhin & S. Verlan (2012), "Sequential P Systems with Regular Control", In Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers. Lecture Notes in Computer Science, Volume 7762, pp. 112-127. Springer.

    DOI

  25. R. Freund, I. Pérez-Hurtado, A. Riscos-Núñez & S. Verlan (2012), "A Formal Framework for P Systems with Dynamic Structure", In Proceedings of 13th International Conference on Membrane Computing. , pp. 199-210. MTA SZTAKI, Hungarian Academy of Sciences.

    URL

  26. R. Freund, Y. Rogozhin & S. Verlan (2012), "P Systems with Minimal Left and Right Insertion and Deletion", In Unconventional Computation and Natural Computation - 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings. Lecture Notes in Computer Science, Volume 7445, pp. 82-93. Springer.

    DOI

  27. S. Verlan & J. Quiros (2012), "Fast Hardware Implementations of P Systems", In Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers. Lecture Notes in Computer Science, Volume 7762, pp. 404-423. Springer.

    DOI

  28. A. Alhazov, Y. Rogozhin & S. Verlan (2010), "A Small Universal Splicing P System", In Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers. Lecture Notes in Computer Science, Volume 6501, pp. 95-102. Springer.

    DOI

  29. E. Csuhaj-Varjú, G. Vaszil & S. Verlan (2010), "On Generalized Communicating P Systems with One Symbol", In Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers. Lecture Notes in Computer Science, Volume 6501, pp. 160-174. Springer.

    DOI

  30. R. Freund, M. Kogler, Y. Rogozhin & S. Verlan (2010), "Graph-Controlled Insertion-Deletion Systems", In Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems. Electronic Proceedings in Theoretical Computer Science, Volume 31, pp. 88-98.

    DOI

  31. R. Freund, M. Kogler & S. Verlan (2009), "P Automata with Controlled Use of Minimal Communication Rules", In Workshop on Non-Classical Models of Automata and Applications, NCMA 2009, Wroclaw, Poland. , pp. 107-120. Oesterreichische Computer Gesellschaft.

    URL

  32. A. Krassovitskiy, Y. Rogozhin & S. Verlan (2009), "Computational Power of P Systems with Small Size Insertion and Deletion Rules", In Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008. Electronic Proceedings in Theoretical Computer Science, Volume 1, pp. 108-117.

    DOI

  33. S. Verlan (2009), "Look-Ahead Evolution for P Systems", In Membrane Computing, 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers. Lecture Notes in Computer Science, Volume 5957, pp. 479-485. Springer.

    DOI

  34. A. Alhazov, M. Margenstern & S. Verlan (2008), "Fast Synchronization in P Systems", In Membrane Computing - 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers. Lecture Notes in Computer Science, Volume 5391, pp. 118-128. Springer.

    DOI

  35. R. Freund & S. Verlan (2008), "P Systems Working in the k-Restricted Minimally Parallel Mode", In International Workshop on Computing with Biomolecules, August 27th, 2008, Wien, Austria. Volume 244, pp. 43-52. Oesterreichische Computer Gesellschaft.

    URL

  36. A. Krassovitskiy, Y. Rogozhin & S. Verlan (2008), "Further Results on Insertion-Deletion Systems with One-Sided Contexts", In Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers. Lecture Notes in Computer Science, Volume 5196, pp. 333-344. Springer.

    DOI

  37. A. Krassovitskiy, Y. Rogozhin & S. Verlan (2008), "One-Sided Insertion and Deletion: Traditional and P Systems Case", In International Workshop on Computing with Biomolecules, August 27th, 2008, Wien, Austria. Volume 244, pp. 53-64. Oesterreichische Computer Gesellschaft.

    URL

  38. S. Verlan & Y. Rogozhin (2008), "New Choice for Small Universal Devices: Symport/Antiport P Systems", In Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings. , pp. 305-314. Cork University Press. Invited Paper.

    URL

  39. A. Krassovitskiy, Y. Rogozhin & S. Verlan (2008), "Computational Power of P Systems with Small Size Insertion and Deletion Rules", In Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings. , pp. 137-148. Cork University Press. Invited Paper.

    URL

  40. S. Verlan & Y. Rogozhin (2008), "New Choice for Small Universal Devices: Symport/Antiport P Systems", In Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008. Electronic Proceedings in Theoretical Computer Science, Volume 1, pp. 235-241.

    URL

  41. A. Alhazov, R. Freund, M. Oswald & S. Verlan (2007), "Partial Halting in P Systems Using Membrane Rules with Permitting Contexts", In Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings. Lecture Notes in Computer Science, Volume 4664, pp. 110-121. Springer.

    DOI

  42. F. Bernardini, M. Gheorghe, M. Margenstern & S. Verlan (2007), "Producer/Consumer in Membrane Systems and Petri Nets", In Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings. Lecture Notes in Computer Science, Volume 4497, pp. 43-52. Springer.

    DOI

  43. F. Bernardini, M. Gheorghe, M. Margenstern & S. Verlan (2007), "How to Synchronize the Activity of All Components of a P System?", In International Workshop: Automata for Cellular and Molecular Computing, Budapest, Hungary, August 31, 2007, Proceedings. , pp. 11-23. MTA SZTAKI.

  44. R. Freund & S. Verlan (2007), "A Formal Framework for Static (Tissue) P Systems", In Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers. Lecture Notes in Computer Science, Volume 4860, pp. 271-284. Springer.

    DOI

  45. A. Matveevici, Y. Rogozhin & S. Verlan (2007), "Insertion-Deletion Systems with One-Sided Contexts", In Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings. Lecture Notes in Computer Science, Volume 4664, pp. 205-217. Springer.

    DOI

  46. E. Csuhaj-Varjú & S. Verlan (2006), "Length-Separating Test Tube Systems", In DNA Computing, 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers. Lecture Notes in Computer Science, Volume 4287, pp. 58-70. Springer.

    DOI

  47. S. Verlan, F. Bernardini, M. Gheorghe & M. Margenstern (2006), "Computational Completeness of Tissue P Systems with Conditional Uniport", In Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers. Lecture Notes in Computer Science, Volume 4361, pp. 521-535. Springer.

    DOI

  48. A. Alhazov, M. Margenstern, V. Rogozhin, Y. Rogozhin & S. Verlan (2005), "Communicative P Systems with Minimal Cooperation", In International Workshop WMC5, Milano, Italy, 2004, LNCS, Springer, 2005. Lecture Notes in Computer Science, Volume 3365, pp. 161-177. Springer.

    DOI URL

  49. F. Bernardini, F.J. Romero-Campero, M. Gheorghe, M.J. Perez-Jimenez, M. Margenstern, S. Verlan & N. Krasnogor (2005), "On P Systems with Bounded Parallelism", In SYNASC '05: Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Washington, DC, USA. , pp. 399-406. IEEE Computer Society.

    DOI

  50. Y. Rogozhin & S. Verlan (2005), "On the Rule Complexity of Universal Tissue P Systems", In Membrane Computing, 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers. Lecture Notes in Computer Science, Volume 3850, pp. 356-362. Springer.

    DOI

  51. S. Verlan (2005), "On Minimal Context-Free Insertion-Deletion Systems", In Seventh International Workshop on Descriptional Complexity of Formal Systems, June 30 -- July 2, 2005 Como, Italy. Proceedings.. , pp. 285-292. Technical repport no. 06-05, University of Milan.

  52. M. Margenstern, Y. Rogozhin & S. Verlan (2004), "Time-Varying Distributed H Systems with Parallel Computations: the Problem is Solved", In DNA Computing: 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003. Revised Papers. Lecture Notes in Computer Science, Volume 2943, pp. 48-53. Springer.

    DOI URL

  53. S. Verlan (2004), "Tissue P Systems with Minimal Symport/Antiport", In Developments in Language Theory: 8th International Conference, DLT 2004. Auckland, New Zealand, December 13-17, 2004. Proceedings. Lecture Notes in Computer Science, Volume 3340, pp. 418-430. Springer Verlag, Berlin, Heidelberg, New York.

    DOI URL

  54. F. Freund, R. Freund, M. Oswald, M. Margenstern, Y. Rogozhin & S. Verlan (2003), "P Systems with Cutting/Recombination Rules Assigned to Membranes", In Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain, July, 17-22, 2003, Revised Papers. July 2003. Lecture Notes in Computer Science, Volume 2933, pp. 191-202. Springer.

    DOI URL

  55. M. Margenstern, G. Paun, Y. Rogozhin & S. Verlan (2003), "Context-Free Insertion-Deletion Systems", In Proceedings of DCFS'03, Fifth International Workshop, Descriptional Complexity of Formal Systems, Budapest, Hungary, July 12-14, 2003. , pp. 265-273. MTA SZTAKI.

  56. S. Verlan (2003), "A Frontier Result on Enhanced Time-Varying Distributed H Systems with Parallel Computations", In Proceedings of DCFS'03, Fifth International Workshop, Descriptional Complexity of Formal Systems, Budapest, Hungary, July 12-14, 2003. , pp. 221-232. MTA SZTAKI.

  57. S. Verlan (2003), "About Splicing P Systems with Immediate Communication and Non-Extended Splicing P Systems", In Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain, July, 17-22, 2003, Revised Papers. July 2003. Lecture Notes in Computer Science, Volume 2933, pp. 369-382. Springer.

    DOI URL

  58. S. Verlan & R. Zizza (2003), "1-splicing vs. 2-splicing: Separating Results", In Proceedings of WORDS'03, 4th International Conference on Combinatorics on Words, September 10-13, 2003, Turku, Finland. , pp. 320-331. TUCS General Publication No. 27.

    URL

  59. M. Margenstern, Y. Rogozhin & S. Verlan (2002), "Time-Varying Distributed H Systems of Degree 2 Can Carry Out Parallel Computations", In DNA Computing: 8th International Workshop on DNA-Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002. Revised Papers. Lecture Notes in Computer Science, Volume 2568, pp. 326-336. Springer Verlag, Berlin, Heidelberg, New York.

    DOI

Chapitres de livres

  1. E. Csuhaj-Varjú, M. Gheorghe, A. Leporati, M. Á.M. del-Amor, L. Pan, P. Paul, A. Păun, I. Péerez-Hurtado, M.J. Péerez-Jiméenez, B. Song, L. Valencia-Cabrera, S. Verlan, T. Wu, C. Zandron & G. Zhang (2021), "Membrane Computing Concepts, Theoretical Developments and Applications", In Alternative Computing. , pp. 70. World Scientific.

    URL

  2. G. Zhang, M.J. Pérez-Jiménez, A.R. Núñes, S. Verlan, S. Konur, T. Hinze & M. Gheorghe (2021), "Membrane Computing Models: Implementations" Springer.

    URL

  3. J. Durand-Lose, J. Kari & S. Verlan (2021), "Special Issue on Machines, Computations and Universality (MCU 2018)" Vol. 181(2-3)

    DOI

  4. S. Stepney & S. Verlan (2019), "Special Issue: Unconventional Computing and Natural Computing 2018 - Selected papers from the Unconventional Computing and Natural Computing Conference 2018" Natural Computing, Vol. 18(1)

    DOI

  5. A. Alhazov, S. Verlan & R. Freund (2018), "Small Universal Reversible Counter Machines", In Reversibility and Universality: Essays Presented to Kenichi Morita on the Occasion of his 70th Birthday. Cham. , pp. 433-446. Springer International Publishing.

    DOI URL

  6. A. Alhazov, R. Freund, S. Ivanov, M. Oswald & S. Verlan (2018), "Chocolate P Automata", In Enjoying Natural Computing - Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday. Lecture Notes in Computer Science, Volume 11270, pp. 1-20. Springer.

    DOI URL

  7. J. Durand-Lose & S. Verlan (2018), "Machines, Computations, and Universality - 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings" Lecture Notes in Computer Science, Vol. 10881 Springer.

    DOI URL

  8. S. Stepney & S. Verlan (2018), "Unconventional Computation and Natural Computation - 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings" Lecture Notes in Computer Science, Vol. 10867 Springer.

    DOI URL

  9. M. Gheorghe, A. Păun, S. Verlan & G. Zhang (2017), "Applications of P Systems", In Encyclopedia of Complexity and Systems Science. Berlin, Heidelberg. , pp. 1-15. Springer Berlin Heidelberg.

    DOI URL

  10. M. Gheorghe, A. Păun, S. Verlan & G. Zhang (2017), "Membrane Computing, Power and Complexity", In Encyclopedia of Complexity and Systems Science. Berlin, Heidelberg. , pp. 1-16. Springer Berlin Heidelberg.

    DOI URL

  11. M. Margenstern, P. Mayer & S. Verlan (2015), "String Displacement Systems and DNA Circuits Based on Isothermal Constrained Loop Extension DNA Amplification", In Multidisciplinary Creativity. Homage to Gheorghe Păun on his 65th Birthday. Spandugino.

    URL

  12. Y. Rogozhin & S. Verlan (2015), "Computational Models Based on Splicing", In Automata, Universality, Computation. Emergence, Complexity and Computation, Vol. 12, pp. 237-258. Springer.

    DOI

  13. Y. Rogozhin & S. Verlan (2015), "Computational Models Based on Splicing", In Automata, Universality, Computation. Emergence, Complexity and Computation, Vol. 12, pp. 237-258. Springer.

    DOI

  14. S. Cojocaru, M. Margenstern, G. Păun & S. Verlan (2015), "Special Issue in Memoriam Yurii Rogozhin" Fundamenta Informaticae, Vol. 138(1-2)

    DOI URL

  15. A. Alhazov, Y. Rogozhin & S. Verlan (2014), "Small Universal Devices", In Computing with New Resources. Lecture Notes in Computer Science, Vol. 8808, pp. 249-263. Springer.

    DOI URL

  16. M. Gheorghe, G. Paun, G. Rozenberg, A. Salomaa & S. Verlan (2012), "Membrane Computing - 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers" Lecture Notes in Computer Science, Vol. 7184 Springer.

    DOI

  17. G. Bel-Enguix, A. Krassovitskiy, Y. Rogozhin & S. Verlan (2011), "On the Lower Bounds for Asymmetrical Insertion-deletion Languages", In Biology, Computation and Linguistics: New Interdisciplinary Paradigms. Frontiers in Artificial Intelligence and Applications, Vol. 228, pp. 145-154. IOS Press.

    URL

  18. A. Alhazov, A. Krassovitskiy, Y. Rogozhin & S. Verlan (2010), "Small Size Insertion and Deletion Systems", In Scientific Applications of Language Methods. Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory, Vol. 2, pp. 459-524. World Scientific.

    DOI

  19. R. Freund, A. Alhazov, Y. Rogozhin & S. Verlan (2009), "Communication P Systems", In The Oxford Handbook of Membrane Computing. , pp. 118-143. Oxford University Press.

    URL

  20. S. Verlan & P. Frisco (2009), "Splicing P Systems", In The Oxford Handbook of Membrane Computing. , pp. 198-226. Oxford University Press.

    URL

  21. S. Verlan (2004), "Communicating Distributed H Systems with Alternating Filters", In Aspects of Molecular Computing. Essays Dedicated to Tom Head on the Occasion of His 70th Birthday. Lecture Notes in Computer Science, Vol. 2950, pp. 367-384. Springer Verlag, Berlin, Heidelberg, New York.

    DOI URL

Conférences sans comité de lecture et les rapports techniques

  1. S. Cojocaru, M. Margenstern, G. Păun & S. Verlan (2015), "Preface", Fundam. Inform.. Vol. 138(1-2)

    DOI URL

  2. I. Potapov, O. Prianychnykova & S. Verlan (2015), "On insertion-deletion systems over relational words", CoRR. Vol. abs/1510.03231

    URL

  3. S. Ivanov, E. Pelz & S. Verlan (2014), "Small Universal Petri Nets with Inhibitor Arcs", In Tenth Conference on Computability in Europe, CiE 2014, Collection of Unpublished Abstracts. , pp. 128-137.

  4. S. Ivanov, E. Pelz & S. Verlan (2013), "Small Universal Petri Nets with Inhibitor Arcs", CoRR. Vol. abs/1312.4414

    URL

  5. S. Verlan (2012), "A Note on the Probabilistic Evolution for P Systems", In Proc. of Tenth Brainstorming Week on Membrane Computing Sevilla, January 20 -- February 3, 2012. Volume II, pp. 229-234. Fénix Editora, Sevilla.

    URL

  6. S. Ivanov & S. Verlan (2011), "Random Context and Semi-Conditional Insertion-Deletion Systems", CoRR. Vol. abs/1112.5947

    URL

  7. M. Margenstern, P. Mayer & S. Verlan (2011), "DNA Circuits Based on Isothermal Constrained Loop Extension DNA Amplification", CoRR. Vol. abs/1105.1424

    URL

  8. A. Spicher & S. Verlan (2011), "Generalized Communicating P Systems Working in Fair Sequential Mode", CoRR. Vol. abs/1108.3432

    URL

  9. A. Alhazov & S. Verlan (2010), "Minimization Strategies for Maximally Parallel Multiset Rewriting Systems", CoRR. Vol. abs/1009.2706

    URL

  10. I. Petre & S. Verlan (2010), "Matrix Insertion-Deletion Systems", CoRR. Vol. abs/1012.5248

    URL

  11. A. Alhazov, A. Krassovitskiy, Y. Rogozhin & S. Verlan (2009), "P Systems with Minimal Insertion and Deletion", In Proc. of Seventh Brainstorming Week on Membrane Computing Sevilla, February 2–-6, 2009. Volume I, pp. 9-21. Fénix Editora, Sevilla.

    URL

  12. A. Alhazov, I. Petre & S. Verlan (2008), "A Sequence-Based Analysis of the Pointer Distribution of Ciliate Genes". TUCS Repport No. 902TUCS Repport No. 902, Technical Report 902, 2008.

    URL

  13. A. Alhazov & S. Verlan (2008), "Minimization Strategies for Maximally Parallel Multiset Rewriting Systems". TUCS Repport No. 862TUCS Repport No. 862, Technical Report 862, 2008.

    URL

  14. F. Bernardini, M. Gheorghe, M. Margenstern & S. Verlan (2007), "Networks of Cells and Petri Nets", In Proceedings of the Fifth Brainstorming Week on Membrane Computing. Sevilla (Spain), January 29th - February 2, 2007. , pp. 33-62.

  15. E. Csuhaj-Varjú, M. Margenstern, G. Vaszil & S. Verlan (2006), "Small Computationally Complete Symport/Antiport P Systems", In Fourth Brainstorming Week on Membrane Computing, Sevilla, January 30 - February 3, 2006. Volume I. , pp. 267-282. Fénix Editora.

  16. A. Alhazov & S. Verlan (2005), "Sevilla Carpets of Deterministic Non-Cooperative P Systems", In Proceedings of the ESF Exploratory Workshop on Cellular Computing (Complexity Aspects), Sevilla (Spain), January 31st - February 2nd. , pp. 53-60.

    URL

  17. A. Alhazov, Y. Rogozhin & S. Verlan (2005), "Symport/Antiport Tissue P Systems with Minimal Cooperation", In Proceedings of the ESF Exploratory Workshop on Cellular Computing (Complexity Aspects), Sevilla (Spain), January 31st - February 2nd. , pp. 37-52.

Articles avant 2002

Retour