Home

Biblio

Export 524 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is Mario J. Pérez-Jiménez  [Clear All Filters]
2003
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
Balbontín-Noval, D., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2003).  A MzScheme implementation of Transition P systems. Lecture Notes in Computer Science. 2597, 58-73. Abstract
Borrego-Díaz, J., Fernández-Margarit A., & Pérez-Jiménez M. J. (2003).  On Sigma-n definability in Arithmetic.. (A. Rojszczak, J. Cachro, G. Kurczewski, Ed.).Philosophical Dimensions of Logic and Science. 47-56.
Paun, G., & Pérez-Jiménez M. J. (2003).  Recent Computability Models Inspired from Biology: DNA and Membrane Computing. Theoria. 18(46), 71-84.
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. (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. (2003).  Complexity Classes in Cellular Computing with Membranes. First Joint Meeting between the RSME and the AMS. 4. Abstract
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Complexity Classes in Cellular Computing with Membranes. (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).Brainstorming Week on Membrane Computing. 270-278.
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.
Díaz-Pernil, D., Pérez-Jiménez M. J., & Ramos-Espina A. J. (2003).  Molecular programs as formal systems. (E. Alvarez, R. Bosch, L. Villamil, Ed.).12th International Congress of Logic, Methodology and Philosophy of Science. 160-161.
Pérez-Jiménez, A. J., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2003).  Computing a Partial Mapping by a P System: Design and Verification. (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).First Brainstorming Week on Membrane Computing . 247-260.
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.
Sancho-Caparrini, F., & Pérez-Jiménez M. J. (2003).  Verification of non deterministic transition P systems solving SAT problem . (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).First Brainstorming Week on Membrane Computing. 291-304.
Graciani-Díaz, C., & Pérez-Jiménez M. J. (2003).  Using automated reasoning systems in Natural Computing. First Joint Meeting between the RSME and the AMS. 4. Abstract
Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Riscos-Núñez A. (2003).  Solving numerical NP-complete problems using P systems with active membranes: the Partition problem and beyond. Second Annual Meeting of Project Molconet. 1-6.
2004
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., & 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
Cordón-Franco, A., Gutiérrez-Naranjo M. A., Pérez-Jiménez M. J., Riscos-Núñez A., & Sancho-Caparrini F. (2004).  Implementing in Prolog an effective cellular solution for the knapsack problem. Lecture Notes in Computer Science. 2933, 140-152. Abstract
Pérez-Jiménez, M. J., & Riscos-Núñez A. (2004).  A linear-time solution for the knapsack problem with active membranes. Lecture Notes in Computer Science. 2933, 250-268. Abstract
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2004).  Modelos de computación celular con membranas. Boletín de la Sociedad Española de Matemática Aplicada. 29, 57-88 .
Pérez-Jiménez, M. J., & Riscos-Núñez A. (2004).  Modelos de Computación Molecular, Celular y Cuántica . 262. Abstract
Pérez-Jiménez, M. J. (2004).  Modelos de Computación Natural. (Ángel Nepomuceno, Francisco J. Salguero, Fernando Soler-Toscano, Ed.).Bases biológicas, lingüísticas, lógicas y computacionales para la conceptualización de la mente. 199-245.
Paun, G., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2004).  On the Reachability Problem for P Systems With Symport/Antiport. Publicationes Mathematicae Debrecen. 65, 603-627.
Paun, G., Pérez-Jiménez M. J., & Riscos-Núñez A. (2004).  P systems with tables of rules. (Juhani Karhumaki, Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg, Ed.).Lecture Notes in Computer Science. 3113, 235-249.
Paun, G., Pérez-Jiménez M. J., & Riscos-Núñez A. (2004).  P systems with tables of rules. Lecture Notes in Computer Science. 3113, 235-249. Abstract

Statistics

  • Books (11)
  • Edited Books (28)
  • Contributions to Book Chapters (42)
  • Journal Papers (421)
  • Papers in Collective Volumes (0)
  • Technical Reports (3)
  • Conference Contributions (289)
  • Conference Proceedings (38)