Sergey Verlan

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 36

Top Venues

Int. Conf. on Membrane Computing

Nat. Comput.

Fundam. Informaticae

J. Autom. Lang. Comb.

Publications

Jun Liu, Leiya Wang, Gexiang Zhang, Sergey Verlan, Ming Zhu
Universal enzymatic numerical P systems with small number of enzymatic rules. Theor. Comput. Sci. 1004 (2024)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
Numerical networks of cells. Theor. Comput. Sci. 958 (2023)
Sergey Verlan, Gexiang Zhang
A tutorial on the formal framework for spiking neural P systems. Nat. Comput. 22 (1) (2023)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
Tissue P Systems with Vesicles of Multisets. Int. J. Found. Comput. Sci. 33 (3&4) (2022)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
Regulated Insertion-Deletion Systems. J. Autom. Lang. Comb. 27 (1-3) (2022)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
Prescribed Teams of Rules Working on Several Objects. MCU (2022)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
Variants of derivation modes for which catalytic P systems with one catalyst are computationally complete. J. Membr. Comput. 3 (4) (2021)
Sergiu Ivanov, Sergey Verlan
Single semi-contextual insertion-deletion systems. Nat. Comput. 20 (4) (2021)
Jérôme Durand-Lose, Jarkko Kari, Sergey Verlan
Preface. Fundam. Informaticae 181 (2-3) (2021)
Zeyi Shang, Sergey Verlan, Gexiang Zhang, Haina Rong
FPGA Implementation of Numerical P Systems. Int. J. Unconv. Comput. 16 (2-3) (2021)
Sergey Verlan, Rudolf Freund, Artiom Alhazov, Sergiu Ivanov, Linqiang Pan
A formal framework for spiking neural P systems. J. Membr. Comput. 2 (4) (2020)
Gexiang Zhang, Zeyi Shang, Sergey Verlan, Miguel Ángel Martínez-del-Amor, Chengxun Yuan, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez
An Overview of Hardware Implementation of Membrane Computing Models. ACM Comput. Surv. 53 (4) (2020)
El Habib Boudjema, Sergey Verlan, Lynda Mokdad, Christèle Faure
VYPER: Vulnerability detection in binary code. Secur. Priv. 3 (2) (2020)
Sergey Verlan, Henning Fernau, Lakshmanan Kuppusamy
Universal insertion grammars of size two. Theor. Comput. Sci. 843 (2020)
Rudolf Freund, Vladimir Rogojin, Sergey Verlan
Variants of Networks of Evolutionary Processors with Polarizations and a Small Number of Processors. Int. J. Found. Comput. Sci. 30 (6-7) (2019)
Susan Stepney, Sergey Verlan
UCNC 2018 special issue editorial. Nat. Comput. 18 (3) (2019)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald, Sergey Verlan
Chocolate P Automata. Enjoying Natural Computing (2018)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
Tissue P Systems with Point Mutation Rules. Int. Conf. on Membrane Computing (2018)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald, Sergey Verlan
Extended spiking neural P systems with white hole rules and their red-green variants. Nat. Comput. 17 (2) (2018)
Henning Fernau, Lakshmanan Kuppusamy, Sergey Verlan
Universal Matrix Insertion Grammars with Small Size. UCNC (2017)
Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
(Tissue) P Systems with Vesicles of Multisets. AFL (2017)
Erzsébet Csuhaj-Varjú, Sergey Verlan
Bi-simulation Between P Colonies and P Systems with Multi-stable Catalysts. Int. Conf. on Membrane Computing (2017)
Erzsébet Csuhaj-Varjú, Sergey Verlan
Computationally Complete Generalized Communicating P Systems with Three Cells. Int. Conf. on Membrane Computing (2017)
Rudolf Freund, Vladimir Rogojin, Sergey Verlan
Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors. DCFS (2017)
Sergiu Ivanov, Sergey Verlan
Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems. Fundam. Informaticae 155 (1-2) (2017)
Artiom Alhazov, Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan
Small Universal Deterministic Petri Nets with Inhibitor Arcs. J. Autom. Lang. Comb. 21 (1-2) (2016)
Igor Potapov, Olena Prianychnykova, Sergey Verlan
Insertion-Deletion Systems over Relational Words. RP (2016)
Juan Quiros, Sergey Verlan, Julian Viejo, Alejandro Millán, Manuel J. Bellido
Fast Hardware Implementations of Static P Systems. Comput. Informatics 35 (3) (2016)
Artiom Alhazov, Rudolf Freund, Sergey Verlan
P Systems Working in Maximal Variants of the Set Derivation Mode. Int. Conf. on Membrane Computing (2016)
Igor Potapov, Olena Prianychnykova, Sergey Verlan
On insertion-deletion systems over relational words. CoRR (2015)
Sergey Verlan
Universality in Molecular and Cellular Computing. CiE (2015)
Svetlana Cojocaru, Maurice Margenstern, Gheorghe Paun, Sergey Verlan
Preface. Fundam. Informaticae 138 (1-2) (2015)
Rudolf Freund, Sergiu Ivanov, Sergey Verlan
P Systems with Generalized Multisets Over Totally Ordered Abelian Groups. Int. Conf. on Membrane Computing (2015)
Sergiu Ivanov, Sergey Verlan
Random Context and Semi-conditional Insertion-deletion Systems. Fundam. Informaticae 138 (1-2) (2015)
Artiom Alhazov, Rudolf Freund, Sergey Verlan
Bridging Deterministic P Systems and Conditional Grammars. Int. Conf. on Membrane Computing (2015)
Sergiu Ivanov, Sergey Verlan
Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States. MCU (2015)
Artiom Alhazov, Yurii Rogozhin, Sergey Verlan
Small Universal Devices. Computing with New Resources (2014)
Sergiu Ivanov, Yurii Rogozhin, Sergey Verlan
Small Universal Networks of Evolutionary Processors. J. Autom. Lang. Comb. 19 (1-4) (2014)
Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan
Small Universal Non-deterministic Petri Nets with Inhibitor Arcs. DCFS (2014)
Rudolf Freund, Yurii Rogozhin, Sergey Verlan
Generating and accepting P systems with minimal left and right insertion and deletion. Nat. Comput. 13 (2) (2014)
Artiom Alhazov, Rudolf Freund, Sergey Verlan
Promoters and Inhibitors in Purely Catalytic P Systems. Int. Conf. on Membrane Computing (2014)
Sergiu Ivanov, Sergey Verlan
About One-Sided One-Symbol Insertion-Deletion P Systems. Int. Conf. on Membrane Computing (2013)
Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan
Small Universal Petri Nets with Inhibitor Arcs. CoRR (2013)
Sergey Verlan
Using the Formal Framework for P Systems. Int. Conf. on Membrane Computing (2013)
Rudolf Freund, Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Sergey Verlan, Claudio Zandron
Flattening in (Tissue) P Systems. Int. Conf. on Membrane Computing (2013)
Rudolf Freund, Ignacio Pérez-Hurtado, Agustin Riscos-Núñez, Sergey Verlan
A formalization of membrane systems with dynamically evolving structures. Int. J. Comput. Math. 90 (4) (2013)
Ion Petre, Sergey Verlan
Matrix insertion-deletion systems. Theor. Comput. Sci. 456 (2012)
Sergey Verlan, Juan Quiros
Fast Hardware Implementations of P Systems. Int. Conf. on Membrane Computing (2012)
Rudolf Freund, Yurii Rogozhin, Sergey Verlan
P Systems with Minimal Left and Right Insertion and Deletion. UCNC (2012)
Artiom Alhazov, Rudolf Freund, Hilbert Heikenwälder, Marion Oswald, Yurii Rogozhin, Sergey Verlan
Sequential P Systems with Regular Control. Int. Conf. on Membrane Computing (2012)
Artiom Alhazov, Yurii Rogozhin, Sergey Verlan
On Small Universal Splicing Systems. Int. J. Found. Comput. Sci. 23 (7) (2012)
Sergey Verlan, Maurice Margenstern
Universality of Splicing Test Tube Systems with Two Tubes. Fundam. Informaticae 110 (1-4) (2011)
Artiom Alhazov, Sergey Verlan
Minimization strategies for maximally parallel multiset rewriting systems. Theor. Comput. Sci. 412 (17) (2011)
Rudolf Freund, Sergey Verlan
-restricted minimally or maximally parallel transition mode. Nat. Comput. 10 (2) (2011)
Antoine Spicher, Sergey Verlan
Generalized Communicating P Systems Working in Fair Sequential Mode. Sci. Ann. Comput. Sci. 21 (2) (2011)
Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan
P systems with minimal insertion and deletion. Theor. Comput. Sci. 412 (1-2) (2011)
Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan
P Systems with Insertion and Deletion Exo-Operations. Fundam. Informaticae 110 (1-4) (2011)
Sergiu Ivanov, Sergey Verlan
Random Context and Semi-Conditional Insertion-Deletion Systems CoRR (2011)
Artiom Alhazov, Marian Kogler, Maurice Margenstern, Yurii Rogozhin, Sergey Verlan
Small Universal Tvdh and Test Tube Systems. Int. J. Found. Comput. Sci. 22 (1) (2011)
Maurice Margenstern, Pascal Mayer, Sergey Verlan
DNA Circuits Based on Isothermal Constrained Loop Extension DNA Amplification CoRR (2011)
Erzsébet Csuhaj-Varjú, Sergey Verlan
On generalized communicating P systems with minimal interaction rules. Theor. Comput. Sci. 412 (1-2) (2011)
Antoine Spicher, Sergey Verlan
Generalized Communicating P Systems Working in Fair Sequential Model CoRR (2011)
Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan
Computational power of insertion-deletion (P) systems with rules of size two. Nat. Comput. 10 (2) (2011)
Artiom Alhazov, Yurii Rogozhin, Sergey Verlan
A Small Universal Splicing P System. Int. Conf. on Membrane Computing (2010)
Rudolf Freund, Marian Kogler, Yurii Rogozhin, Sergey Verlan
Graph-Controlled Insertion-Deletion Systems DCFS (2010)
Sergey Verlan
Recent Developments on Insertion-Deletion Systems. Comput. Sci. J. Moldova 18 (2) (2010)
Ion Petre, Sergey Verlan
Matrix Insertion-Deletion Systems CoRR (2010)
Artiom Alhazov, Elena Boian, Liudmila Burtseva, Constantin Ciubotaru, Svetlana Cojocaru, Alexandru Colesnicov, Valentina Demidova, Sergiu Ivanov, Veaceslav Macari, Galina Magariu, Ludmila Malahova, Vladimir Rogojin, Yurii Rogozhin, Tatiana Tofan, Sergey Verlan, Tatiana Verlan
Investigations on Natural Computing in the Institute of Mathematics and Computer Science. Comput. Sci. J. Moldova 18 (2) (2010)
Sergey Verlan, Artiom Alhazov, Ion Petre
A sequence-based analysis of the pointer distribution of stichotrichous ciliates. Biosyst. 101 (2) (2010)
Artiom Alhazov, Sergey Verlan
Minimization Strategies for Maximally Parallel Multiset Rewriting Systems CoRR (2010)
Erzsébet Csuhaj-Varjú, György Vaszil, Sergey Verlan
On Generalized Communicating P Systems with One Symbol. Int. Conf. on Membrane Computing (2010)
Artiom Alhazov, Marion Oswald, Rudolf Freund, Sergey Verlan
Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions. Fundam. Informaticae 91 (1) (2009)
Rudolf Freund, Marian Kogler, Sergey Verlan
P Automata with Controlled Use of Minimal Communication Rules. NCMA (2009)
Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan
Maximal, Locally-Maximal, and Minimal Parallelism in Networks of Cells. Int. J. Unconv. Comput. 5 (5) (2009)
Sergey Verlan
Look-Ahead Evolution for P Systems. Workshop on Membrane Computing (2009)
Artiom Alhazov, Maurice Margenstern, Sergey Verlan
Fast Synchronization in P Systems. Workshop on Membrane Computing (2008)
Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan
Computational Power of P Systems with Small Size Insertion and Deletion Rules CSP (2008)
Sergey Verlan, Yurii Rogozhin
New Choice for Small Universal Devices: Symport/Antiport P Systems CSP (2008)
Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern
Generalized communicating P systems. Theor. Comput. Sci. 404 (1-2) (2008)
Erzsébet Csuhaj-Varjú, Sergey Verlan
On length-separating test tube systems. Nat. Comput. 7 (2) (2008)
Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan
Further Results on Insertion-Deletion Systems with One-Sided Contexts. LATA (2008)
Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan
How to Synchronize the Activity of All Components of a P System? Int. J. Found. Comput. Sci. 19 (5) (2008)
Artiom Alhazov, Yurii Rogozhin, Sergey Verlan
Minimal Cooperation in Symport/antiport Tissue P Systems. Int. J. Found. Comput. Sci. 18 (1) (2007)
Artiom Alhazov, Rudolf Freund, Marion Oswald, Sergey Verlan
Partial Halting in P Systems Using Membrane Rules with Permitting Contexts. MCU (2007)
Artiom Matveevici, Yurii Rogozhin, Sergey Verlan
Insertion-Deletion Systems with One-Sided Contexts. MCU (2007)
Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan
Producer/Consumer in Membrane Systems and Petri Nets. CiE (2007)
Rudolf Freund, Sergey Verlan
A Formal Framework for Static (Tissue) P Systems. Workshop on Membrane Computing (2007)
Sergey Verlan
On Minimal Context-Free Insertion-Deletion Systems. J. Autom. Lang. Comb. 12 (1-2) (2007)
Erzsébet Csuhaj-Varjú, Maurice Margenstern, György Vaszil, Sergey Verlan
On small universal antiport P systems. Theor. Comput. Sci. 372 (2-3) (2007)
Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern
Computational Completeness of Tissue P Systems with Conditional Uniport. Workshop on Membrane Computing (2006)
Erzsébet Csuhaj-Varjú, Sergey Verlan
Length-Separating Test Tube Systems. DNA (2006)
Sergey Verlan, Maurice Margenstern
About Splicing P Systems with One Membrane. Fundam. Informaticae 65 (3) (2005)
Francesco Bernardini, Francisco José Romero-Campero, Marian Gheorghe, Mario J. Pérez-Jiménez, Maurice Margenstern, Sergey Verlan, Natalio Krasnogor
On P Systems with Bounded Parallelism. SYNASC (2005)
Sergey Verlan
A boundary result on enhanced time-varying distributed H systems with parallel computations. Theor. Comput. Sci. 344 (2-3) (2005)
Maurice Margenstern, Gheorghe Paun, Yurii Rogozhin, Sergey Verlan
Context-free insertion-deletion systems. Theor. Comput. Sci. 330 (2) (2005)
Sergey Verlan
On minimal context-free insertion-deletion systems. DCFS (2005)
Yurii Rogozhin, Sergey Verlan
On the Rule Complexity of Universal Tissue P Systems. Workshop on Membrane Computing (2005)
Maurice Margenstern, Sergey Verlan, Yurii Rogozhin
Time-Varying Distributed H Systems: An Overview. Fundam. Informaticae 64 (1-4) (2005)
Sergey Verlan
Tissue P Systems with Minimal Symport/Antiport. Developments in Language Theory (2004)
Sergey Verlan
Communicating Distributed H Systems with Alternating Filters. Aspects of Molecular Computing (2004)

Sergey Verlan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sergey Verlan