Sergey Verlan

Gexiang Zhang

Nat. Comput., March, 2023

2022

Regulated Insertion-Deletion Systems.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2022

Prescribed Teams of Rules Working on Several Objects.

[BibT_eX]

[DOI]

Proceedings of the Machines, Computations, and Universality - 9th International Conference, 2022

2021

Single semi-contextual insertion-deletion systems.

[BibT_eX]

[DOI]

Nat. Comput., 2021

Variants of derivation modes for which catalytic P systems with one catalyst are computationally complete.

[BibT_eX]

[DOI]

J. Membr. Comput., 2021

FPGA Implementation of Numerical P Systems.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2021

Preface.

[BibT_eX]

[DOI]

Jérôme Durand-Lose

Jarkko Kari

Fundam. Informaticae, 2021

An Overview of Hardware Implementation of Membrane Computing Models.

[BibT_eX]

[DOI]

Gexiang Zhang

Zeyi Shang

Miguel Ángel Martínez-del-Amor

Chengxun Yuan

Luis Valencia-Cabrera

Mario J. Pérez-Jiménez

ACM Comput. Surv., 2021

Membrane Computing Models: Implementations

[BibT_eX]

[DOI]

Gexiang Zhang

Mario J. Pérez-Jiménez

Springer, ISBN: 978-981-16-1565-8, 2021

2020

Universal insertion grammars of size two.

[BibT_eX]

[DOI]

Henning Fernau

Lakshmanan Kuppusamy

Theor. Comput. Sci., 2020

VYPER: Vulnerability detection in binary code.

[BibT_eX]

[DOI]

Secur. Priv., 2020

A formal framework for spiking neural P systems.

[BibT_eX]

[DOI]

J. Membr. Comput., 2020

2019

UCNC 2018 special issue editorial.

[BibT_eX]

[DOI]

Susan Stepney

Nat. Comput., 2019

Variants of Networks of Evolutionary Processors with Polarizations and a Small Number of Processors.

[BibT_eX]

[DOI]

Vladimir Rogojin

Int. J. Found. Comput. Sci., 2019

2018

Extended spiking neural P systems with white hole rules and their red-green variants.

[BibT_eX]

[DOI]

Nat. Comput., 2018

Tissue P Systems with Point Mutation Rules.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2018

Small Universal Reversible Counter Machines.

[BibT_eX]

[DOI]

Proceedings of the Reversibility and Universality, 2018

Chocolate P Automata.

[BibT_eX]

[DOI]

Proceedings of the Enjoying Natural Computing, 2018

2017

Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

(Tissue) P Systems with Vesicles of Multisets.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 15th International Conference on Automata and Formal Languages, 2017

Universal Matrix Insertion Grammars with Small Size.

[BibT_eX]

[DOI]

Henning Fernau

Lakshmanan Kuppusamy

Proceedings of the Unconventional Computation and Natural Computation, 2017

Computationally Complete Generalized Communicating P Systems with Three Cells.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2017

Bi-simulation Between P Colonies and P Systems with Multi-stable Catalysts.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2017

Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors.

[BibT_eX]

[DOI]

Vladimir Rogojin

Proceedings of the Descriptional Complexity of Formal Systems, 2017

2016

Small Universal Deterministic Petri Nets with Inhibitor Arcs.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2016

Fast Hardware Implementations of Static P Systems.

[BibT_eX]

[DOI]

Comput. Informatics, 2016

Insertion-Deletion Systems over Relational Words.

[BibT_eX]

[DOI]

Igor Potapov

Olena Prianychnykova

Proceedings of the Reachability Problems - 10th International Workshop, 2016

P Systems Working in Maximal Variants of the Set Derivation Mode.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

2015

Preface.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2015

Random Context and Semi-conditional Insertion-deletion Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2015

P Systems with Generalized Multisets Over Totally Ordered Abelian Groups.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2015

Bridging Deterministic P Systems and Conditional Grammars.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2015

Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States.

[BibT_eX]

[DOI]

Proceedings of the Machines, Computations, and Universality - 7th International Conference, 2015

Universality in Molecular and Cellular Computing.

[BibT_eX]

[DOI]

Proceedings of the Evolving Computability - 11th Conference on Computability in Europe, 2015

2014

Generating and accepting P systems with minimal left and right insertion and deletion.

[BibT_eX]

[DOI]

Nat. Comput., 2014

Small Universal Networks of Evolutionary Processors.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2014

Promoters and Inhibitors in Purely Catalytic P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2014

Small Universal Non-deterministic Petri Nets with Inhibitor Arcs.

[BibT_eX]

[DOI]

Elisabeth Pelz

Proceedings of the Descriptional Complexity of Formal Systems, 2014

Small Universal Devices.

[BibT_eX]

[DOI]

Proceedings of the Computing with New Resources, 2014

2013

A formalization of membrane systems with dynamically evolving structures.

[BibT_eX]

[DOI]

Ignacio Pérez-Hurtado

Agustin Riscos-Núñez

Int. J. Comput. Math., 2013

Small Universal Petri Nets with Inhibitor Arcs.

[BibT_eX]

[DOI]

Elisabeth Pelz

CoRR, 2013

Using the Formal Framework for P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2013

About One-Sided One-Symbol Insertion-Deletion P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2013

Flattening in (Tissue) P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2013

2012

Matrix insertion-deletion systems.

[BibT_eX]

[DOI]

Ion Petre

Theor. Comput. Sci., 2012

On Small Universal Splicing Systems.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2012

P systems based on tag operations.

[BibT_eX]

[DOI]

Iurie Rogojin

Comput. Sci. J. Moldova, 2012

P Systems with Minimal Left and Right Insertion and Deletion.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2012

Fast Hardware Implementations of P Systems.

[BibT_eX]

[DOI]

Juan Quiros

Proceedings of the Membrane Computing, 2012

Sequential P Systems with Regular Control.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2012

2011

On generalized communicating P systems with minimal interaction rules.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Minimization strategies for maximally parallel multiset rewriting systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

P systems with minimal insertion and deletion.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Computational power of insertion-deletion (P) systems with rules of size two.

[BibT_eX]

[DOI]

Nat. Comput., 2011

(Tissue) P systems working in the <i>k</i>-restricted minimally or maximally parallel transition mode.

[BibT_eX]

[DOI]

Nat. Comput., 2011

Small Universal Tvdh and Test Tube Systems.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2011

Universality of Splicing Test Tube Systems with Two Tubes.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

P Systems with Insertion and Deletion Exo-Operations.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Generalized Communicating P Systems Working in Fair Sequential Mode.

[BibT_eX]

[DOI]

Antoine Spicher

Sci. Ann. Comput. Sci., 2011

Abstracts of Doctor Habilitatus Thesis.

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 2011

Generalized Communicating P Systems Working in Fair Sequential Model

[BibT_eX]

[DOI]

Antoine Spicher

CoRR, 2011

DNA Circuits Based on Isothermal Constrained Loop Extension DNA Amplification

[BibT_eX]

[DOI]

Pascal Mayer

CoRR, 2011

On the Lower Bounds for Asymmetrical Insertion-deletion Languages.

[BibT_eX]

[DOI]

Gemma Bel Enguix

Proceedings of the Biology, Computation and Linguistics - New Interdisciplinary Paradigms, 2011

2010

Recent Developments on Insertion-Deletion Systems.

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 2010

Investigations on Natural Computing in the Institute of Mathematics and Computer Science.

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 2010

Graph-Controlled Insertion-Deletion Systems

[BibT_eX]

[DOI]

Proceedings of the Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, 2010

A sequence-based analysis of the pointer distribution of stichotrichous ciliates.

[BibT_eX]

[DOI]

Ion Petre

Biosyst., 2010

On Generalized Communicating P Systems with One Symbol.

[BibT_eX]

[DOI]

György Vaszil

Proceedings of the Membrane Computing, 2010

A Small Universal Splicing P System.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2010

Small Size Insertion and Deletion Systems.

[BibT_eX]

Proceedings of the Scientific Applications of Language Methods., 2010

2009

Maximal, Locally-Maximal, and Minimal Parallelism in Networks of Cells.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2009

Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

P Automata with Controlled Use of Minimal Communication Rules.

[BibT_eX]

Marian Kogler

Proceedings of the Workshop on Non-Classical Models for Automata and Applications - NCMA 2009, Wroclaw, Poland, August 31, 2009

Look-Ahead Evolution for P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 10th International Workshop, 2009

2008

Generalized communicating P systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

On length-separating test tube systems.

[BibT_eX]

[DOI]

Nat. Comput., 2008

How to Synchronize the Activity of All Components of a P System?

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2008

New Choice for Small Universal Devices: Symport/Antiport P Systems

[BibT_eX]

[DOI]

Proceedings of the Proceedings International Workshop on The Complexity of Simple Programs, 2008

Computational Power of P Systems with Small Size Insertion and Deletion Rules

[BibT_eX]

[DOI]

Proceedings of the Proceedings International Workshop on The Complexity of Simple Programs, 2008

Fast Synchronization in P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing - 9th International Workshop, 2008

Further Results on Insertion-Deletion Systems with One-Sided Contexts.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2008

2007

On small universal antiport P systems.

[BibT_eX]

[DOI]

György Vaszil

Theor. Comput. Sci., 2007

On Minimal Context-Free Insertion-Deletion Systems.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2007

Minimal Cooperation in Symport/antiport Tissue P Systems.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2007

A Formal Framework for Static (Tissue) P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 8th International Workshop, 2007

Insertion-Deletion Systems with One-Sided Contexts.

[BibT_eX]

[DOI]

Artiom Matveevici

Proceedings of the Machines, Computations, and Universality, 5th International Conference, 2007

Partial Halting in P Systems Using Membrane Rules with Permitting Contexts.

[BibT_eX]

[DOI]

Proceedings of the Machines, Computations, and Universality, 5th International Conference, 2007

Producer/Consumer in Membrane Systems and Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Computation and Logic in the Real World, 2007

2006

Computational Completeness of Tissue P Systems with Conditional Uniport.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 7th International Workshop, 2006

2005

A boundary result on enhanced time-varying distributed H systems with parallel computations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Context-free insertion-deletion systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

About Splicing P Systems with One Membrane.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2005

Time-Varying Distributed H Systems: An Overview.

[BibT_eX]

[DOI]

Francisco José Romero-Campero

Fundam. Informaticae, 2005

On P Systems with Bounded Parallelism.

[BibT_eX]

[DOI]

Francesco Bernardini

Marian Gheorghe

Mario J. Pérez-Jiménez

Natalio Krasnogor

Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

On the Rule Complexity of Universal Tissue P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 6th International Workshop, 2005

2004

Systèmes de Head et applications à la bio-informatique. (Head systems and applications to bio-informatics).

[BibT_eX]

[DOI]

PhD thesis, 2004

Communicative P Systems with Minimal Cooperation.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 5th International Workshop, 2004

Tissue P Systems with Minimal Symport/Antiport.

[BibT_eX]

[DOI]

Proceedings of the Developments in Language Theory, 2004

Communicating Distributed H Systems with Alternating Filters.

[BibT_eX]

[DOI]

Proceedings of the Aspects of Molecular Computing, 2004

2003

About Splicing P Systems with Immediate Communication and Non-extended Splicing P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, International Workshop, 2003

P Systems with Cutting/Recombination Rules Assigned to Membranes.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, International Workshop, 2003

Time-Varying Distributed H Systems with Parallel Computations: The Problem Is Solved.

[BibT_eX]

[DOI]

Proceedings of the DNA Computing, 9th International Workshop on DNA Based Computers, 2003

A Frontier Result on Enhanced Time-Varying Distributed H Systems with Parallel Computations.

[BibT_eX]

Proceedings of the 5th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2003, Budapest, Hungary, July 12, 2003

2002

On enhanced time-varying distributed H systems.

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 2002

Time-Varying Distributed H Systems of Degree 2 Can Carry Out Parallel Computations.

[BibT_eX]

[DOI]