Computing with membranes
From MaRDI portal
Publication:1582013
Recommendations
Cites work
- scientific article; zbMATH DE number 23841 (Why is no real title available?)
- scientific article; zbMATH DE number 3569855 (Why is no real title available?)
- scientific article; zbMATH DE number 1236223 (Why is no real title available?)
- scientific article; zbMATH DE number 1343487 (Why is no real title available?)
- scientific article; zbMATH DE number 2050952 (Why is no real title available?)
- scientific article; zbMATH DE number 1543318 (Why is no real title available?)
- scientific article; zbMATH DE number 941396 (Why is no real title available?)
- scientific article; zbMATH DE number 745858 (Why is no real title available?)
- 2-testability and relabelings produce everything
- Formal language theory and DNA: An analysis of the generative capacity of specific recombinant behaviors
- Mobile ambients
- On the computational completeness of context-free parallel communicating grammar systems
- Petri net algorithms in the theory of matrix grammars
- The chemical abstract machine
Cited in
(only showing first 100 items - show all)- Multiset random context grammars, checkers, and transducers
- The conformon-P system: a molecular and cell biology-inspired computability model
- Enhanced mobile membranes: computability results
- Spatial P systems
- Spiking Neural P Systems with Thresholds
- On the computational complexity of membrane systems
- Modeling membrane systems using colored stochastic Petri nets
- On stateless two-pushdown automata and restarting automata
- The power of communication: P systems with symport/antiport
- Seeking computational efficiency boundaries: the Păun's conjecture
- A survey of timed automata for the development of real-time systems
- Computational complexity of tissue-like P systems
- Describing the immune system using enhanced mobile membranes
- MGS: a rule-based programming language for complex objects and collections
- Time-free solution to SAT problem using P systems with active membranes
- Towards “Fypercomputations” (in Membrane Computing)
- A guide to membrane computing.
- Psim: A Computational Platform for Metabolic P Systems
- Solving Numerical NP-Complete Problems with Spiking Neural P Systems
- Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study
- PARTIAL HALTING IN P SYSTEMS
- P systems and computational algebraic topology
- Cell-like spiking neural P systems with evolution rules
- Time-free spiking neural P systems
- Cell communication in tissue \(P\) systems: universality results
- Spiking neural P systems: main ideas and results
- Asynchronous P systems with active membranes
- Modeling dependencies and simultaneity in membrane system computations
- Towards bridging two cell-inspired models: P systems and R systems
- Computational efficiency and universality of timed P systems with active membranes
- Simple, Enhanced and Mutual Mobile Membranes
- Simulation of spatial P system models
- P systems with active membranes operating under minimal parallelism
- A uniform family of tissue P systems with cell division solving 3-COL in a linear time
- Reaction automata
- Time-free solution to SAT problem by P systems with active membranes and standard cell division rules
- Emergence of random selections in evolution of biological populations
- Timed P Automata
- Small universal simple spiking neural P systems with weights
- Fuzzy reasoning spiking neural P system for fault diagnosis
- Solving the N-queens problem using dP systems with active membranes
- P systems with minimal parallelism
- Solving HPP and SAT by P systems with active membranes and separation rules
- ON VARIOUS NOTIONS OF PARALLELISM IN P SYSTEMS
- P systems with symport/antiport simulating counter automata
- P systems with toxic objects
- Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources
- A Hybrid Approach to Modeling Biological Systems
- Tissue P systems.
- 3-Col problem modelling using simple kernel P systems
- P system implementation of dynamic programming stereo
- Computational efficiency and universality of timed P systems with membrane creation
- Networks of evolutionary processors: computationally complete normal forms
- New solutions for disjoint paths in P systems
- Spiking Neural P Systems with Weights
- (Mem)brane automata
- Membrane systems with proteins embedded in membranes
- Catalytic P systems, semilinear sets, and vector addition systems
- A Formal Framework for Static (Tissue) P Systems
- On the Reachability Problem in P Systems with Mobile Membranes
- On the verification of membrane systems with dynamic structure
- The Calculus of Looping Sequences for Modeling Biological Membranes
- Formal verification of cP systems using PAT3 and ProB
- An efficient time-free solution to QSAT problem using P systems with proteins on membranes
- A linear-time tissue P system based solution for the 3-coloring problem
- LMNtal as a hierarchical logic programming language
- A uniform solution to SAT using membrane creation
- Computationally universal P systems without priorities: Two catalysts are sufficient
- On languages generated by spiking neural P systems with weights
- P transducers
- Membrane computing with transport and embedded proteins
- A quick introduction to membrane computing
- Minimization strategies for maximally parallel multiset rewriting systems
- Computing with viruses
- Flat maximal parallelism in P systems with promoters
- Investigating dynamic causalities in reaction systems
- Modelling and verification of weighted spiking neural systems
- Small (purely) catalytic P systems simulating register machines
- A Petri net model for membrane systems with dynamic structure
- Cell-like P-systems based on rules of particle swarm optimization
- Spatial calculus of looping sequences
- An efficient time-free solution to SAT problem by P systems with proteins on membranes
- A P-Lingua based simulator for tissue P systems
- An overview of the K semantic framework
- Membrane computing and complexity theory: A characterization of PSPACE
- On Some Classes of Sequential Spiking Neural P Systems
- Deterministic and stochastic P systems for modelling cellular processes
- Relational state transition dynamics
- An algebraic formulation of inverse problems in MP dynamics
- Fundamentals of Computation Theory
- Hilbert words as arrays generated with P systems
- Membrane computing and brane calculi. Old, new, and future bridges
- P systems with energy accounting∗
- A software tool for verification of spiking neural P systems
- Universality in Molecular and Cellular Computing
- The metabolic algorithm for P systems: principles and applications
- P systems with control nuclei: the concept
- Simulating a P system based efficient solution to SAT by using GPUs
- Test generation from P systems using model checking
- An Artificial Chemistry for Networking
This page was built for publication: Computing with membranes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1582013)