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., Graciani C., Orellana-Martín D., Riscos-Núñez A., Romero-Jiménez Á., & Valencia-Cabrera L. (2017).  Fuzzy Reasoning Spiking Neural P systems revisited: A formalization. Theoretical Computer Science. 701, 216-225.
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., 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. (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., & 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. (2013).  The P versus NP problem: Unconventional insights from Membrane Computing. (Gexiang Zhang, Y. Wang, J. Cheng, T. Wang, Ed.).Second Asian Conference on Membrane Computing. 7.
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., Romero-Jiménez Á., & Sancho-Caparrini F. (2005).  Recent Results in Natural Computing. 311. Abstract
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., Riscos-Núñez A., Rius-Font M., & Romero-Jiménez Á. (2013).  Seeking sharper frontiers of efficiency in tissue P systems. International Journal of Foundations of Computer Science. 24(5), 577-579.
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-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., Riscos-Núñez A., Rius-Font M., & Romero-Campero F. J. (2012).  The Role of the Environment in Tissue P Systems with Cell Division. Tenth Brainstorming Week on Membrane Computing. II, 89-104. 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 Á. (2004).  Computing Partial Recursive Functions by Transition P Systems. Lecture Notes in Computer Science. 2933, 320-340. Abstract
Pérez-Jiménez, M. J., Riscos-Núñez A., Valencia-Cabrera L., & Orellana-Martín D. (2019).  Results on Computational Complexity in Bio-inspired Computing. Bio-Inspired Computing Models and Algorithms. 33-73. Abstract
Pérez-Jiménez, M. J., Sancho-Caparrini F., Graciani-Díaz C., & Romero-Jiménez Á. (2002).  Formalización computacional del experimento de Lipton sobre el problema SAT. Primer Congreso Español de Algoritmos Evolutivos y Bioinspirados. 326-332.
Pérez-Jiménez, M. J., & Sosík P. (2015).  An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Separatio. Fundamenta Informaticae. 138(1-2), 45-60. Abstract
Pérez-Jiménez, M. J. (2006).  Tratamiento computacional de la incertidumbre mediante sistemas celulares con membranas. V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 607-609.
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.
Pérez-Jiménez, M. J., & Romero-Campero F. J. (2005).  A study of the robustness of the EGFR signalling cascade using continuous membrane systems. Lecture Notes in Computer Science. 3561, 268-278. Abstract