Cited in
(38)- Simulating and model checking membrane systems using strategies in Maude
- Designing a new software tool for digital imagery based on P systems
- A simulation workflow for membrane computing: from MeCoSim to PMCGPU through P-Lingua
- DCBA: simulating population dynamics P systems with proportional object distribution
- Parallel simulation of population dynamics P systems: updates and roadmap
- Simulating a P system based efficient solution to SAT by using GPUs
- Test generation from P systems using model checking
- A sublinear Sudoku solution in cP systems and its formal verification
- Current developments on computational modeling using P systems
- The computational complexity of tissue P systems with evolutional symport/antiport rules
- Alternative space definitions for P systems with active membranes
- Membrane computing models and robot controller design, current results and challenges
- Tissue P systems with promoter simulation with MeCoSim and P-Lingua framework
- Simulation challenges in membrane computing
- Solving the N-queens problem using dP systems with active membranes
- Accelerated execution of P systems with active membranes to solve the \(N\)-queens problem
- Spiking neural P systems with rules on synapses and anti-spikes
- Alternative representations of P systems solutions to the graph colouring problem
- Formal verification of P systems with active membranes through model checking
- pLinguaCore
- jSpin
- BioSPI
- MeCoSim
- PMCGPU
- WebPS
- Psim
- Electron
- CuSNP
- Formal verification of cP systems using PAT3 and ProB
- Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem
- CiteSpace
- Evolutionary design of a simple membrane system
- Modelling and verification of weighted spiking neural systems
- A computational modeling for real ecosystems based on P systems
- An empirical evaluation of P system testing techniques
- Spatial calculus of looping sequences
- A linear time complexity of breadth-first search using P system with membrane division
- The environment as a frontier of efficiency in tissue P systems with communication rules
This page was built for software: P-Lingua
