Kernel P Systems - Version 1

No abstract is available for this paper.

• Publication year

  2013

• Venue

  Unknown venue

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• 3-Col problem modelling using simple kernel P systems

  2013cited by this paper
• Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem

  2012cited by this paper
• Deterministic and stochastic P systems for modelling cellular processes

  2010cited by this paper
• A Linear Time Solution to the Partition Problem in a Cellular Tissue-Like Model

  2010cited by this paper
• The Oxford Handbook of Membrane Computing

  2010cited by this paper
• Structured Modelling with Hyperdag~P~Systems: Part B

  2009cited by this paper
• Principles of the spin model checker

  2008cited by this paper
• A uniform family of tissue P systems with cell division solving 3-COL in a linear time

  2008cited by this paper
• Applications of Membrane Computing

  2006cited by this paper
• Static Sorting P Systems

  2006cited by this paper
• Trading polarizations for labels in P systems with active membranes

  2004cited by this paper
• Membrane Computing

  2002cited by this paper
• Maude: specification and programming in rewriting logic

  2002cited by this paper

• Spiking neural P systems and kernel P systems

  2025cites this paper
• cPV – Simulation and Verification for Membrane Computing

  2022cites this paper
• Membrane computing with harmony search algorithm for gene selection from expression and methylation data

  2022cites this paper
• A Sublinear Sudoku Solution in cP Systems and its Formal Verification

  2021cites this paper
• Formal verification of cP systems using Coq

  2021cites this paper
• Spiking neural P systems: matrix representation and formal verification

  2021influential citation
• Formal verification of cP systems using PAT3 and ProB

  2020cites this paper
• Search Based Software Engineering in Membrane Computing

  2019influential citation
• Search-based testing in membrane computing

  2019influential citation
• Testing Identifiable Kernel P Systems Using an X-Machine Approach

  2018influential citation
• Identifiable Kernel P Systems

  2018cites this paper
• P colonies and kernel P systems

  2018influential citation
• Reversing Steps in Membrane Systems Computations

  2017cites this paper
• Kernel P systems: From modelling to verification and testing

  2017cites this paper
• Automatic selection of statistical model checkers for analysis of biological models

  2017influential citation
• Evolutionary response of a native butterfly to concurrent plant invasions: Simulation of population dynamics

  2017cites this paper
• Modeling regenerative processes with membrane computing

  2017cites this paper
• Modelling and Validating an Engineering Application in Kernel P Systems

  2017influential citation
• Kernel P Systems Modelling, Testing and Verification

  2016cites this paper
• Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME

  2016cites this paper
• kPWorkbench: A Software Framework for Kernel P Systems

  2015cites this paper
• Solutions to the Subset Sum and Partition Problems Using Kernel P Systems

  2015cites this paper
• An Integrated Model Checking Toolset for Kernel P Systems

  2015cites this paper
• Agent-Based High-Performance Simulation of Biological Systems on the GPU

  2015cites this paper
• Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example

  2014cites this paper
• Probabilistic Guarded P Systems, A New Formal Modelling Framework

  2014cites this paper
• High Performance Simulations of Kernel P Systems

  2014cites this paper
• Extended Simulation and Verification Platform for Kernel P Systems

  2014cites this paper
• Probabilistic Guarded P Systems, A Formal De nition

  2014cites this paper
• A Kernel P Systems Survey

  2013cites this paper