Home

Biblio

Export 833 results:
Sort by: [ Author (Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
P
Pérez-Jiménez, M. J. (2019).   Computational complexity theory in Membrane Computing: Seventeen years after. 20th International Conference on Membrane Computing, CMC20. 191-206.
Pérez-Jiménez, M. J., Ortega A., & Sempere J. M. (2011).  The Spanish Network on Biomolecular and Biocellular Computing: Bio-inspired Natural Computing in Spain. ERCIM (European Research Consortium for Informatics). 85, 25. Abstract
Pérez-Jiménez, M. J. (2010).  Computational Complexity in Membrane Computing. Algebraic Computing, Soft Computing, and Program Verification.
Pérez-Jiménez, M. J. (2004).  A CLIPS simulator for recognizer P systems with active membranes. (Gheorghe Paun, Agustín Riscos-Núñez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Second Brainstorming Week on Membrane Computing. 387-413.
Pérez-Jiménez, M. J., & Romero-Campero F. J. (2005).  Attacking the Common Algorithmic Problem by recognizer P systems. Lecture Notes in Computer Science. 3354, 304-315. Abstract
Pérez-Jiménez, M. J., Riscos-Núñez A., Rius-Font M., & Romero-Campero F. J. (2011).  Looking for small efficient P systems. Fundamenta Informaticae. 110(1-4), 295-308. Abstract
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  A Polynomial Complexity Class in P Systems Using Membrane Division. (Erzsebet Csuhaj-Varjú, C. Kintala, D. Wotschke, György Vaszil, Ed.).Fifth International Workshop on Descriptional Complexity of Formal Systems. 284-294.
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2006).  A Polynomial Complexity Class in P Systems Using Membrane Division. Journal of Automata, Languages and Combinatorics. 11(4), 423-434.
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Decision P systems and the P≠NP conjecture. Lecture Notes in Computer Science. 2597, 388-399. Abstract
Pérez-Jiménez, M. J. (2010).  La mitosis celular: una sorprendente frontera de la eficiencia. (Fernando Soler-Toscano, H. von Ditmarsch, Francisco J. Salguero, Ed.).Liber amicorum Angel Nepomuceno. 99-108.
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Complexity Classes in Cellular Computing with Membranes. First Annual Meeting of the European Molecular Computing Consortium. 18.
Pérez-Jiménez, M. J., Riscos-Núñez A., Rius-Font M., & Valencia-Cabrera L. (2013).  The relevance of the environment on the efficiency of tissue P systems. (Artiom Alhazov, S. Cojocaru, Marian Gheorghe, Yurii Rogozhin, Ed.).14th International Conference on Membrane Computing. 283-295.
Pérez-Jiménez, M. J. (2005).  Una visión computacional de la célula. (Ángel Nepomuceno, Francisco J. Salguero, Fernando Soler-Toscano, Ed.).Estudios de Lógica y Lenguaje (I). 197-228. Abstract
Pérez-Jiménez, M. J. (1992).  Esquemas del Máximo en la Aritmética. 9+2 microfilms.
Pérez-Jiménez, M. J., & Sancho-Caparrini F. (2002).  Verifying a P system generating squares. Romanian Journal of Information Science and Technology. 5(1-2), 181-191.
Pérez-Jiménez, M. J., & Romero-Campero F. J. (2006).  P systems, a new computational modelling tool for Systems Biology. Lecture Notes in Computer Science. 4220, 176-197. Abstract
Pérez-Jiménez, A. J., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2003).  Formal verification of a transition P system generating the set 2^n+n^2+n:n>=1. (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).First Brainstorming Week on Membrane Computing. 261-269.
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2005).  Recent Results in Natural Computing. 311. Abstract
Pérez-Jiménez, M. J., Graciani-Díaz C., Romero-Jiménez Á., & Sancho-Caparrini F. (2000).  Soluciones moleculares del problema SAT de la Lógica Proposicional. (Ángel Nepomuceno, José F. Quesada, Francisco J. Salguero, Ed.).Primeras Jornadas sobre Lógica y Lenguaje. 243-252.
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2002).  Teoría de la Complejidad en Modelos de Computación Celular con Membranas. II+118 pages.
Pérez-Jiménez, M. J., & Romero-Campero F. J. (2005).  Modelling EGFR signalling network using continuous membrane systems. (G. Plotkin, Ed.).Third International Workshop on Computational Methods in Systems Biology, CMSB 2005 . 118-129.
Pérez-Jiménez, M. J., & Romero-Jiménez Á. (2004).  Computing Partial Recursive Functions by Transition P Systems. Lecture Notes in Computer Science. 2933, 320-340. Abstract
Pérez-Jiménez, M. J. (2010).  A Computational Complexity Theory in Membrane Computing. Lecture Notes in Computer Science. 5957, 125-148. Abstract
Pérez-Jiménez, M. J., & Sancho-Caparrini F. (2005).  Formal verification of programs in molecular models with random access memory. (Mario J. Pérez-Jiménez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Recent results in Natural Computing. 205-229.
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Solving VALIDITY Problem by Active Membranes with Input. (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).Brainstorming Week on Membrane Computing. 279-290.