( en | de | ru )

 

Disambiguation of "Pérez-Jiménez, Mario J."

Author of the publication

copydeleteadd this publication to your clipboard
Characterizing Tractability by Cell-Like Membrane Systems.

, , , , and . Formal Models, Languages and Applications, volume 66 of Series in Machine Perception and Artificial Intelligence, page 137-154. World Scientific, (2007)

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.

Javier Jiménez Pérez

Mario Javier Pérez-Rivas

Raúl Jiménez

Carlos Jiménez

Víctor Jiménez

 

Other publications of authors with the same name

Computationally Hard Problems Addressed Through P Systems., , and . Applications of Membrane Computing, Springer, (2006)Simulation of Rapidly-Exploring Random Trees in Membrane Computing with P-Lingua and Automatic Programming., , , and . Int. J. Comput. Commun. Control, 13 (6): 1007-1031 (2018)Looking for Small Efficient P Systems., , , and . Fundam. Informaticae, 110 (1-4): 295-308 (2011)Membrane Computing Schema: A New Approach to Computation Using String Insertions., and . Algorithmic Bioprocesses, page 293-309. Springer, (2009)A P-Lingua Programming Environment for Membrane Computing., , , and . Workshop on Membrane Computing, volume 5391 of Lecture Notes in Computer Science, page 187-203. Springer, (2008)An Overview of P-Lingua 2.0., , , , and . Workshop on Membrane Computing, volume 5957 of Lecture Notes in Computer Science, page 264-288. Springer, (2009)Implementing P Systems Parallelism by Means of GPUs., , , , , and . Workshop on Membrane Computing, volume 5957 of Lecture Notes in Computer Science, page 227-241. Springer, (2009)Computing Partial Recursive Functions by Virus Machines., , , and . Int. Conf. on Membrane Computing, volume 9504 of Lecture Notes in Computer Science, page 353-368. Springer, (2015)Membrane Computing (Tutorial)., , , and . UC, volume 6714 of Lecture Notes in Computer Science, page 38-39. Springer, (2011)Specification of Adleman's Restricted Model Using an Automated Reasoning System: Verification of Lipton's Experiment., , and . UMC, volume 2509 of Lecture Notes in Computer Science, page 126-136. Springer, (2002)