Ignacio Pérez-Hurtado

Available identifiers

Publication	Date of Publication	Type
A new P-lingua toolkit for agile development in membrane computing	2024-02-16	Paper
Simulation challenges in membrane computing	2021-09-14	Paper
From NP-completeness to DP-completeness: a membrane computing perspective	2020-10-21	Paper
When object production tunes the efficiency of membrane systems	2020-01-08	Paper
Design of specific P systems simulators on GPUs	2019-10-10	Paper
A simulation workflow for membrane computing: from mecosim to PMCGPU through \(\mathrm{P}\)-lingua	2019-01-15	Paper
A formalization of membrane systems with dynamically evolving structures	2013-10-08	Paper
DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution	2013-04-16	Paper
Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem	2012-11-15	Paper
Formal Verification of P Systems with Active Membranes through Model Checking	2012-06-08	Paper
Membrane Computing (Tutorial)	2011-06-17	Paper
A computational modeling for real ecosystems based on P systems	2011-05-23	Paper
ON A PARTIAL AFFIRMATIVE ANSWER FOR A PĂUN'S CONJECTURE	2011-02-23	Paper
A SIMULATION ALGORITHM FOR MULTIENVIRONMENT PROBABILISTIC P SYSTEMS: A FORMAL VERIFICATION	2011-02-23	Paper
Simulating a P system based efficient solution to SAT by using GPUs	2010-08-24	Paper
A P-Lingua based simulator for tissue P systems	2010-08-24	Paper
A P System Based Model of an Ecosystem of Some Scavenger Birds	2010-01-26	Paper
An Overview of P-Lingua 2.0	2010-01-26	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ignacio Pérez-Hurtado