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., & Romero-Campero F. J. (2004).  An efficient family of P systems for packing items into bins. Journal of Universal Computer Science. 10(5), 650-670. Abstract
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, 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., & Sancho-Caparrini F. (2002).  A Formalization of Transition P Systems. Fundamenta Informaticae. 49(1-3), 261-272. Abstract
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. (2004).  An approach to computational complexity in Membrane Computing. Brainstorming Workshop on Uncertainty in Membrane Computing. 67-94.
Pérez-Jiménez, M. J. (2005).  An Approach to Computational Complexity in Membrane Computing. Lecture Notes in Computer Science. 3365, 85-109. Abstract
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Complexity classes in models of cellular computing with membranes. Natural Computing. 2(3), 265 - 285 . 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. (2004).  Computational Complexity in P Systems. (Giancarlo Mauri, Gheorghe Paun, Claudio Zandron, Ed.).Workshop on Membrane Computing, WMC5. 63.
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.
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., & Sancho-Caparrini F. (2003).  Máquinas moleculares basadas en ADN. Colección de Divulgación Científica. 2, 255. Abstract
Pérez-Hurtado, I., Martínez-del-Amor M. A., Zhang G., Neri F., & Pérez-Jiménez M. J. (2020).  A membrane parallel rapidly-exploring random tree algorithm for robotic motion planning. Integrated Computer-Aided Engineering. 27(2), 121-138. Abstract
Pérez-Hurtado, I., Pérez-Jiménez M. J., Riscos-Núñez A., & Romero-Campero F. J. (2011).  Membrane Computing (Tutorial). Lecture Notes in Computer Science. 6714, 38-39.
Pérez-Hurtado, I., Valencia-Cabrera L., Chacón J. M., Riscos-Núñez A., & Pérez-Jiménez M. J. (2013).  A P-Lingua based simulator for tissue P systems with cell separation. (Gexiang Zhang, Y. Wang, J. Cheng, T. Wang, Ed.).Second Asian Conference on Membrane Computing. 208-220.
Pérez-Hurtado, I., Orellana-Martín D., Martínez-del-Amor M. Á., Valencia-Cabrera L., & Riscos-Núñez A. (2022).  A new P-Lingua toolkit for agile development in membrane computing. Information Sciences. 587, 1-22.
Pérez-Hurtado, I. (2017).  Generation of rapidly-exploring random tree by using a new class of membrane systems. Asian Conference on Membrane Computing (ACMC 2017). 534-546.
Pérez-Hurtado, I., Martínez-del-Amor M. A., Zhang G., Neri F., & Pérez-Jiménez M. J. (2019).  Solving the feasibility problem in robotic motion planning by means of Enzymatic Numerical P systems. The 8th Asian Conference on Membrane Computing (ACMC2019).
Pérez-Hurtado, I., Pérez-Jiménez M. J., Riscos-Núñez A., Gutiérrez-Naranjo M. A., & Rius-Font M. (2011).  On a partial affirmative answer for a Paun's conjecture. International Journal of Foundations of Computer Science. 22(1), 55-64.
Pérez-Hurtado, I., Orellana-Martín D., Zhang G., & Pérez-Jiménez M. J. (2019).  P-Lingua in two steps: flexibility and efficiency. Journal of Membrane Computing. 1, 93–102.