( en | de | ru )

 

Disambiguation of "Pérez-Hurtado, Ignacio"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Verification of P Systems with Active Membranes through Model Checking.

, , , , and . Int. Conf. on Membrane Computing, volume 7184 of Lecture Notes in Computer Science, page 215-225. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ignacio Pérez Domínguez

Ignacio Dolado Pérez

Ignacio Figueroa Pérez

Ignacio Pérez Heredia y Valle

Roberto Francisco Pérez Benito

 

Other publications of authors with the same name

A new simulation algorithm for multienvironment probabilistic P systems., , , , and . BIC-TA, page 59-68. IEEE, (2010)A P-Lingua based simulator for tissue P systems., , , and . J. Log. Algebraic Methods Program., 79 (6): 374-382 (2010)A uniform framework for modeling based on P systems., , , , and . BIC-TA, page 616-621. IEEE, (2010)Decision-Theoretic Planning with Person Trajectory Prediction for Social Navigation., , , and . ROBOT (2), volume 418 of Advances in Intelligent Systems and Computing, page 247-258. Springer, (2015)MeCoSim: A general purpose software tool for simulating biological phenomena by means of P systems., , , , and . BIC-TA, page 637-643. IEEE, (2010)Spiking neural P systems with inhibitory rules., , , , , , , , and . Knowl. Based Syst., (2020)Formal Verification of P Systems with Active Membranes through Model Checking., , , , and . Int. Conf. on Membrane Computing, volume 7184 of Lecture Notes in Computer Science, page 215-225. Springer, (2011)A Simulation Workflow for Membrane Computing: From MeCoSim to PMCGPU Through P-Lingua., , and . Enjoying Natural Computing, volume 11270 of Lecture Notes in Computer Science, page 291-303. Springer, (2018)A Rete-based Algorithm for Rule Selection in P Systems., , , , and . Int. J. Unconv. Comput., 9 (5-6): 367-384 (2013)An extension of GHMMs for environments with occlusions and automatic goal discovery for person trajectory prediction., , , and . ECMR, page 1-7. IEEE, (2015)