The following pages link to P-Lingua (Q39432):
Displaying 28 items.
- Modelling and verification of weighted spiking neural systems (Q264538) (← links)
- Accelerated execution of P systems with active membranes to solve the \(N\)-queens problem (Q403007) (← links)
- A linear time complexity of breadth-first search using P system with membrane division (Q459939) (← links)
- An empirical evaluation of P system testing techniques (Q537817) (← links)
- A computational modeling for real ecosystems based on P systems (Q537825) (← links)
- Spatial calculus of looping sequences (Q652132) (← links)
- A sublinear Sudoku solution in cP systems and its formal verification (Q821319) (← links)
- Simulating a P system based efficient solution to SAT by using GPUs (Q987962) (← links)
- Test generation from P systems using model checking (Q987969) (← links)
- Solving the N-queens problem using dP systems with active membranes (Q1643128) (← links)
- A simulation workflow for membrane computing: from mecosim to PMCGPU through \(\mathrm{P}\)-lingua (Q1709922) (← links)
- The computational complexity of tissue P systems with evolutional symport/antiport rules (Q1722689) (← links)
- Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem (Q1761729) (← links)
- Designing a new software tool for digital imagery based on P systems (Q1761730) (← links)
- Formal verification of cP systems using PAT3 and ProB (Q1982961) (← links)
- Tissue P systems with promoter simulation with MeCoSim and P-Lingua framework (Q1982962) (← links)
- Simulation challenges in membrane computing (Q1982994) (← links)
- Alternative space definitions for P systems with active membranes (Q1983009) (← links)
- Membrane computing models and robot controller design, current results and challenges (Q1983032) (← links)
- Alternative representations of P systems solutions to the graph colouring problem (Q2299885) (← links)
- Parallel simulation of population dynamics P systems: updates and roadmap (Q2311265) (← links)
- Spiking neural P systems with rules on synapses and anti-spikes (Q2413311) (← links)
- Simulating and model checking membrane systems using strategies in Maude (Q2667188) (← links)
- The environment as a frontier of efficiency in tissue P systems with communication rules (Q2699217) (← links)
- Evolutionary Design of a Simple Membrane System (Q2890292) (← links)
- Formal Verification of P Systems with Active Membranes through Model Checking (Q2890294) (← links)
- Current Developments on Computational Modeling Using P Systems (Q3091462) (← links)
- DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution (Q4913844) (← links)
