Sergey Verlan - RankMe

121 papers B 3C 10Misc 1Journal 62Unranked 39

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	An overview on simple P systems with specific variants of derivation modes. J. Membr. Comput. Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
2025	J	`jnl`	Computational completeness of minimal communication with small number of cells. J. Membr. Comput. Erzsébet Csuhaj-Varjú, Sergey Verlan
2025	J	`jnl`	Prescribed teams of insertion and deletion rules working on different objects. Nat. Comput. Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
2025	J	`jnl`	The busy beaver game for reaction systems. Nat. Comput. Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
2025	—	`conf`	Variants of Tissue P Systems with Prescribed Teams of Channel Rules. Languages of Cooperation and Communication Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald, Sergey Verlan
2024	J	`jnl`	A 15-Year Retrospective on Insertion-Deletion Systems: Progress, Evolution, and Future Directions. Comput. Sci. J. Moldova Artiom Alhazov, Sergiu Ivanov, Sergey Verlan
2024	J	`jnl`	Universal enzymatic numerical P systems with small number of enzymatic rules. Theor. Comput. Sci. Jun Liu, Leiya Wang, Gexiang Zhang, Sergey Verlan, Ming Zhu
2024	C	`conf`	Universality of Turing Tumble of Finite Size. MCU Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
2023	J	`jnl`	A tutorial on the formal framework for spiking neural P systems. Nat. Comput. Sergey Verlan, Gexiang Zhang
2023	J	`jnl`	Numerical networks of cells. Theor. Comput. Sci. Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
2022	C	`conf`	Prescribed Teams of Rules Working on Several Objects. MCU Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
2022	J	`jnl`	Regulated Insertion-Deletion Systems. J. Autom. Lang. Comb. Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
2022	J	`jnl`	Tissue P Systems with Vesicles of Multisets. Int. J. Found. Comput. Sci. Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
2021	J	`jnl`	An Overview of Hardware Implementation of Membrane Computing Models. ACM Comput. Surv. Gexiang Zhang, Zeyi Shang, Sergey Verlan, Miguel Ángel Martínez-del-Amor, Chengxun Yuan, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez
2021	J	`jnl`	FPGA Implementation of Numerical P Systems. Int. J. Unconv. Comput. Zeyi Shang, Sergey Verlan, Gexiang Zhang, Haina Rong
2021	—	`book`	Membrane Computing Models: Implementations Gexiang Zhang, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Sergey Verlan, Savas Konur, Thomas Hinze, Marian Gheorghe
2021	J	`jnl`	Preface. Fundam. Informaticae Jérôme Durand-Lose, Jarkko Kari, Sergey Verlan
2021	J	`jnl`	Single semi-contextual insertion-deletion systems. Nat. Comput. Sergiu Ivanov, Sergey Verlan
2021	J	`jnl`	Variants of derivation modes for which catalytic P systems with one catalyst are computationally complete. J. Membr. Comput. Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
2020	J	`jnl`	A formal framework for spiking neural P systems. J. Membr. Comput. Sergey Verlan, Rudolf Freund, Artiom Alhazov, Sergiu Ivanov, Linqiang Pan
2020	J	`jnl`	Universal insertion grammars of size two. Theor. Comput. Sci. Sergey Verlan, Henning Fernau, Lakshmanan Kuppusamy
2020	J	`jnl`	VYPER: Vulnerability detection in binary code. Secur. Priv. El Habib Boudjema, Sergey Verlan, Lynda Mokdad, Christèle Faure
2019	J	`jnl`	UCNC 2018 special issue editorial. Nat. Comput. Susan Stepney, Sergey Verlan
2019	J	`jnl`	Variants of Networks of Evolutionary Processors with Polarizations and a Small Number of Processors. Int. J. Found. Comput. Sci. Rudolf Freund, Vladimir Rogojin, Sergey Verlan
2018	—	`conf`	Chocolate P Automata. Enjoying Natural Computing Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald, Sergey Verlan
2018	J	`jnl`	Extended spiking neural P systems with white hole rules and their red-green variants. Nat. Comput. Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Marion Oswald, Sergey Verlan
2018	C	`ed.`	Machines, Computations, and Universality - 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings MCU Jérôme Durand-Lose, Sergey Verlan
2018	—	`ch.`	Small Universal Reversible Counter Machines. Reversibility and Universality Artiom Alhazov, Sergey Verlan, Rudolf Freund
2018	—	`conf`	Tissue P Systems with Point Mutation Rules. Int. Conf. on Membrane Computing Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
2018	—	`ed.`	Unconventional Computation and Natural Computation - 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings UCNC Susan Stepney, Sergey Verlan
2017	—	`conf`	(Tissue) P Systems with Vesicles of Multisets. AFL Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
2017	—	`conf`	Bi-simulation Between P Colonies and P Systems with Multi-stable Catalysts. Int. Conf. on Membrane Computing Erzsébet Csuhaj-Varjú, Sergey Verlan
2017	—	`conf`	Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors. DCFS Rudolf Freund, Vladimir Rogojin, Sergey Verlan
2017	—	`conf`	Computationally Complete Generalized Communicating P Systems with Three Cells. Int. Conf. on Membrane Computing Erzsébet Csuhaj-Varjú, Sergey Verlan
2017	—	`conf`	Universal Matrix Insertion Grammars with Small Size. UCNC Henning Fernau, Lakshmanan Kuppusamy, Sergey Verlan
2017	J	`jnl`	Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems. Fundam. Informaticae Sergiu Ivanov, Sergey Verlan
2016	J	`jnl`	Fast Hardware Implementations of Static P Systems. Comput. Informatics Juan Quiros, Sergey Verlan, Julian Viejo, Alejandro Millán, Manuel J. Bellido
2016	—	`conf`	Insertion-Deletion Systems over Relational Words. RP Igor Potapov, Olena Prianychnykova, Sergey Verlan
2016	—	`conf`	P Systems Working in Maximal Variants of the Set Derivation Mode. Int. Conf. on Membrane Computing Artiom Alhazov, Rudolf Freund, Sergey Verlan
2016	J	`jnl`	Small Universal Deterministic Petri Nets with Inhibitor Arcs. J. Autom. Lang. Comb. Artiom Alhazov, Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan
2015	—	`conf`	Bridging Deterministic P Systems and Conditional Grammars. Int. Conf. on Membrane Computing Artiom Alhazov, Rudolf Freund, Sergey Verlan
2015	J	`jnl`	On insertion-deletion systems over relational words. CoRR Igor Potapov, Olena Prianychnykova, Sergey Verlan
2015	—	`conf`	P Systems with Generalized Multisets Over Totally Ordered Abelian Groups. Int. Conf. on Membrane Computing Rudolf Freund, Sergiu Ivanov, Sergey Verlan
2015	J	`jnl`	Preface. Fundam. Informaticae Svetlana Cojocaru, Maurice Margenstern, Gheorghe Paun, Sergey Verlan
2015	J	`jnl`	Random Context and Semi-conditional Insertion-deletion Systems. Fundam. Informaticae Sergiu Ivanov, Sergey Verlan
2015	C	`conf`	Universality in Molecular and Cellular Computing. CiE Sergey Verlan
2015	C	`conf`	Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States. MCU Sergiu Ivanov, Sergey Verlan
2014	J	`jnl`	Generating and accepting P systems with minimal left and right insertion and deletion. Nat. Comput. Rudolf Freund, Yurii Rogozhin, Sergey Verlan
2014	—	`conf`	Promoters and Inhibitors in Purely Catalytic P Systems. Int. Conf. on Membrane Computing Artiom Alhazov, Rudolf Freund, Sergey Verlan
2014	—	`conf`	Small Universal Devices. Computing with New Resources Artiom Alhazov, Yurii Rogozhin, Sergey Verlan
2014	J	`jnl`	Small Universal Networks of Evolutionary Processors. J. Autom. Lang. Comb. Sergiu Ivanov, Yurii Rogozhin, Sergey Verlan
2014	—	`conf`	Small Universal Non-deterministic Petri Nets with Inhibitor Arcs. DCFS Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan
2013	J	`jnl`	A formalization of membrane systems with dynamically evolving structures. Int. J. Comput. Math. Rudolf Freund, Ignacio Pérez-Hurtado, Agustin Riscos-Núñez, Sergey Verlan
2013	—	`conf`	About One-Sided One-Symbol Insertion-Deletion P Systems. Int. Conf. on Membrane Computing Sergiu Ivanov, Sergey Verlan
2013	—	`conf`	Flattening in (Tissue) P Systems. Int. Conf. on Membrane Computing Rudolf Freund, Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Sergey Verlan, Claudio Zandron
2013	J	`jnl`	Small Universal Petri Nets with Inhibitor Arcs. CoRR Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan
2013	—	`conf`	Using the Formal Framework for P Systems. Int. Conf. on Membrane Computing Sergey Verlan
2012	—	`conf`	Fast Hardware Implementations of P Systems. Int. Conf. on Membrane Computing Sergey Verlan, Juan Quiros
2012	J	`jnl`	Matrix insertion-deletion systems. Theor. Comput. Sci. Ion Petre, Sergey Verlan
2012	—	`ed.`	Membrane Computing - 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers Int. Conf. on Membrane Computing Marian Gheorghe, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan
2012	J	`jnl`	On Small Universal Splicing Systems. Int. J. Found. Comput. Sci. Artiom Alhazov, Yurii Rogozhin, Sergey Verlan
2012	—	`conf`	P Systems with Minimal Left and Right Insertion and Deletion. UCNC Rudolf Freund, Yurii Rogozhin, Sergey Verlan
2012	—	`conf`	Sequential P Systems with Regular Control. Int. Conf. on Membrane Computing Artiom Alhazov, Rudolf Freund, Hilbert Heikenwälder, Marion Oswald, Yurii Rogozhin, Sergey Verlan
2011	J	`jnl`	(Tissue) P systems working in the Nat. Comput. Rudolf Freund, Sergey Verlan
2011	J	`jnl`	Computational power of insertion-deletion (P) systems with rules of size two. Nat. Comput. Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan
2011	J	`jnl`	DNA Circuits Based on Isothermal Constrained Loop Extension DNA Amplification CoRR Maurice Margenstern, Pascal Mayer, Sergey Verlan
2011	J	`jnl`	Generalized Communicating P Systems Working in Fair Sequential Mode. Sci. Ann. Comput. Sci. Antoine Spicher, Sergey Verlan
2011	J	`jnl`	Generalized Communicating P Systems Working in Fair Sequential Model CoRR Antoine Spicher, Sergey Verlan
2011	J	`jnl`	Minimization strategies for maximally parallel multiset rewriting systems. Theor. Comput. Sci. Artiom Alhazov, Sergey Verlan
2011	J	`jnl`	On generalized communicating P systems with minimal interaction rules. Theor. Comput. Sci. Erzsébet Csuhaj-Varjú, Sergey Verlan
2011	—	`ch.`	On the Lower Bounds for Asymmetrical Insertion-deletion Languages. Biology, Computation and Linguistics Gemma Bel Enguix, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan
2011	J	`jnl`	P Systems with Insertion and Deletion Exo-Operations. Fundam. Informaticae Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan
2011	J	`jnl`	P systems with minimal insertion and deletion. Theor. Comput. Sci. Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan
2011	J	`jnl`	Random Context and Semi-Conditional Insertion-Deletion Systems CoRR Sergiu Ivanov, Sergey Verlan
2011	J	`jnl`	Small Universal Tvdh and Test Tube Systems. Int. J. Found. Comput. Sci. Artiom Alhazov, Marian Kogler, Maurice Margenstern, Yurii Rogozhin, Sergey Verlan
2011	J	`jnl`	Universality of Splicing Test Tube Systems with Two Tubes. Fundam. Informaticae Sergey Verlan, Maurice Margenstern
2010	—	`conf`	A Small Universal Splicing P System. Int. Conf. on Membrane Computing Artiom Alhazov, Yurii Rogozhin, Sergey Verlan
2010	J	`jnl`	A sequence-based analysis of the pointer distribution of stichotrichous ciliates. Biosyst. Sergey Verlan, Artiom Alhazov, Ion Petre
2010	—	`conf`	Graph-Controlled Insertion-Deletion Systems DCFS Rudolf Freund, Marian Kogler, Yurii Rogozhin, Sergey Verlan
2010	J	`jnl`	Investigations on Natural Computing in the Institute of Mathematics and Computer Science. Comput. Sci. J. Moldova 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
2010	J	`jnl`	Matrix Insertion-Deletion Systems CoRR Ion Petre, Sergey Verlan
2010	J	`jnl`	Minimization Strategies for Maximally Parallel Multiset Rewriting Systems CoRR Artiom Alhazov, Sergey Verlan
2010	—	`conf`	On Generalized Communicating P Systems with One Symbol. Int. Conf. on Membrane Computing Erzsébet Csuhaj-Varjú, György Vaszil, Sergey Verlan
2010	J	`jnl`	Recent Developments on Insertion-Deletion Systems. Comput. Sci. J. Moldova Sergey Verlan
2010	—	`ch.`	Small Size Insertion and Deletion Systems. Scientific Applications of Language Methods Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan
2009	—	`conf`	Look-Ahead Evolution for P Systems. Workshop on Membrane Computing Sergey Verlan
2009	J	`jnl`	Maximal, Locally-Maximal, and Minimal Parallelism in Networks of Cells. Int. J. Unconv. Comput. Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan
2009	—	`conf`	P Automata with Controlled Use of Minimal Communication Rules. NCMA Rudolf Freund, Marian Kogler, Sergey Verlan
2009	J	`jnl`	Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions. Fundam. Informaticae Artiom Alhazov, Marion Oswald, Rudolf Freund, Sergey Verlan
2008	—	`conf`	Computational Power of P Systems with Small Size Insertion and Deletion Rules CSP Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan
2008	—	`conf`	Fast Synchronization in P Systems. Workshop on Membrane Computing Artiom Alhazov, Maurice Margenstern, Sergey Verlan
2008	C	`conf`	Further Results on Insertion-Deletion Systems with One-Sided Contexts. LATA Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan
2008	J	`jnl`	Generalized communicating P systems. Theor. Comput. Sci. Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern
2008	J	`jnl`	How to Synchronize the Activity of All Components of a P System? Int. J. Found. Comput. Sci. Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan
2008	—	`conf`	New Choice for Small Universal Devices: Symport/Antiport P Systems CSP Sergey Verlan, Yurii Rogozhin
2008	J	`jnl`	On length-separating test tube systems. Nat. Comput. Erzsébet Csuhaj-Varjú, Sergey Verlan
2007	—	`conf`	A Formal Framework for Static (Tissue) P Systems. Workshop on Membrane Computing Rudolf Freund, Sergey Verlan
2007	C	`conf`	Insertion-Deletion Systems with One-Sided Contexts. MCU Artiom Matveevici, Yurii Rogozhin, Sergey Verlan
2007	J	`jnl`	Minimal Cooperation in Symport/antiport Tissue P Systems. Int. J. Found. Comput. Sci. Artiom Alhazov, Yurii Rogozhin, Sergey Verlan
2007	J	`jnl`	On Minimal Context-Free Insertion-Deletion Systems. J. Autom. Lang. Comb. Sergey Verlan
2007	J	`jnl`	On small universal antiport P systems. Theor. Comput. Sci. Erzsébet Csuhaj-Varjú, Maurice Margenstern, György Vaszil, Sergey Verlan
2007	C	`conf`	Partial Halting in P Systems Using Membrane Rules with Permitting Contexts. MCU Artiom Alhazov, Rudolf Freund, Marion Oswald, Sergey Verlan
2007	C	`conf`	Producer/Consumer in Membrane Systems and Petri Nets. CiE Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan
2006	—	`conf`	Computational Completeness of Tissue P Systems with Conditional Uniport. Workshop on Membrane Computing Sergey Verlan, Francesco Bernardini, Marian Gheorghe, Maurice Margenstern
2006	B	`conf`	Length-Separating Test Tube Systems. DNA Erzsébet Csuhaj-Varjú, Sergey Verlan
2005	J	`jnl`	A boundary result on enhanced time-varying distributed H systems with parallel computations. Theor. Comput. Sci. Sergey Verlan
2005	J	`jnl`	About Splicing P Systems with One Membrane. Fundam. Informaticae Sergey Verlan, Maurice Margenstern
2005	J	`jnl`	Context-free insertion-deletion systems. Theor. Comput. Sci. Maurice Margenstern, Gheorghe Paun, Yurii Rogozhin, Sergey Verlan
2005	Misc	`conf`	On P Systems with Bounded Parallelism. SYNASC Francesco Bernardini, Francisco José Romero-Campero, Marian Gheorghe, Mario J. Pérez-Jiménez, Maurice Margenstern, Sergey Verlan, Natalio Krasnogor
2005	—	`conf`	On minimal context-free insertion-deletion systems. DCFS Sergey Verlan
2005	—	`conf`	On the Rule Complexity of Universal Tissue P Systems. Workshop on Membrane Computing Yurii Rogozhin, Sergey Verlan
2005	J	`jnl`	Time-Varying Distributed H Systems: An Overview. Fundam. Informaticae Maurice Margenstern, Sergey Verlan, Yurii Rogozhin
2004	—	`conf`	Communicating Distributed H Systems with Alternating Filters. Aspects of Molecular Computing Sergey Verlan
2004	—	`conf`	Communicative P Systems with Minimal Cooperation. Workshop on Membrane Computing Artiom Alhazov, Maurice Margenstern, Vladimir Rogozhin, Yurii Rogozhin, Sergey Verlan
2004	C	`conf`	Tissue P Systems with Minimal Symport/Antiport. Developments in Language Theory Sergey Verlan
2003	—	`conf`	A Frontier Result on Enhanced Time-Varying Distributed H Systems with Parallel Computations. DCFS Sergey Verlan
2003	—	`conf`	About Splicing P Systems with Immediate Communication and Non-extended Splicing P Systems. Workshop on Membrane Computing Sergey Verlan
2003	—	`conf`	Context-Free Insertion-Deletion Systems. DCFS Maurice Margenstern, Gheorghe Paun, Yurii Rogozhin, Sergey Verlan
2003	—	`conf`	P Systems with Cutting/Recombination Rules Assigned to Membranes. Workshop on Membrane Computing Franziska Freund, Rudolf Freund, Marion Oswald, Maurice Margenstern, Yurii Rogozhin, Sergey Verlan
2003	B	`conf`	Time-Varying Distributed H Systems with Parallel Computations: The Problem Is Solved. DNA Maurice Margenstern, Yurii Rogozhin, Sergey Verlan
2002	B	`conf`	Time-Varying Distributed H Systems of Degree 2 Can Carry Out Parallel Computations. DNA Maurice Margenstern, Yurii Rogozhin, Sergey Verlan