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.
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.
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.
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.
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.
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.
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.
S. Ivanov & S. Verlan (2017), "Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems", Fundam. Inform.. Vol. 155(1-2), pp. 163-185.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
S. Verlan, F. Bernardini, M. Gheorghe & M. Margenstern (2008), "Generalized Communicating P Systems", Theoretical Computer Science. Vol. 404(1-2), pp. 170-184.
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.
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.
M. Margenstern, G. Păun, Y. Rogozhin & S. Verlan (2005), "Context-Free Insertion-Deletion Systems", Theoretical Computer Science. Vol. 330(2), pp. 339-348.
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..
Conférences internationales avec comite de lecture et publication des actes
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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)
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.
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.
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.
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.
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.
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.
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.
Y. Rogozhin & S. Verlan (2015), "Computational Models Based on Splicing", In Automata, Universality, Computation. Emergence, Complexity and Computation, Vol. 12, pp. 237-258. Springer.
Y. Rogozhin & S. Verlan (2015), "Computational Models Based on Splicing", In Automata, Universality, Computation. Emergence, Complexity and Computation, Vol. 12, pp. 237-258. Springer.
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.
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.
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.
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.
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.
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.
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.
S. Ivanov, E. Pelz & S. Verlan (2013), "Small Universal Petri Nets with Inhibitor Arcs", CoRR. Vol. abs/1312.4414
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.
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.
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.
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.
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.
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.
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.