Home

Biblio

Export 519 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Mario J. Pérez-Jiménez  [Clear All Filters]
2002
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., & Sancho-Caparrini F. (2002).  Solving Knapsack Problems in a Sticker Based Model . Lecture Notes in Computer Science. 2340, 161-171. Abstract
Graciani-Díaz, C., Martín-Mateos F. J., & Pérez-Jiménez M. J. (2002).  Specification of Adleman's Restricted Model Using An Automated Reasoning System: Verification of Lipton's Experiment. Lecture Notes in Computer Science. 2509, 126-136. Abstract
Pérez-Jiménez, M. J., & Sancho-Caparrini F. (2002).  Computación Celular con Membranas: Un Modelo no Convencional . II+107.
Pérez-Jiménez, M. J., & Sancho-Caparrini F. (2002).  A Formalization of Transition P Systems. Fundamenta Informaticae. 49(1-3), 261-272. Abstract
Romero-Jiménez, Á., & Pérez-Jiménez M. J. (2002).  Generation of Diophantine Sets by Computing P Systems with External Output. Lecture Notes in Computer Science. 2509, 176-190. Abstract
Pérez-Jiménez, M. J., & Romero-Jiménez Á. (2002).  Simulating Turing Machines by P systems with External Output. Fundamenta Informaticae. 49(1-3), 273-287 . 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., & Sancho-Caparrini F. (2002).  Verifying a P system generating squares. Romanian Journal of Information Science and Technology. 5(1-2), 181-191.
2001
Graciani-Díaz, C., Pérez-Jiménez M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2001).  Initial segments maximal Σₙ-definable sets in fragments of arithmetic. Joint Conference of the 5th Barcelona Logic Meeting and the 6th Kurt Gödel Colloquium. IV, 37-38.
Blázquez-Gallego, J., & Pérez-Jiménez M. J. (2001).   Vida Artificial: Estudio y Análisis del Programa SWARM . 104.
2000
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.
Graciani-Díaz, C., Pérez-Jiménez M. J., & Romero-Jiménez Á. (2000).  Some Functional Schemes in Arithmetic. Logic Colloquium 2000. 154.
Graciani-Díaz, C., Pérez-Jiménez M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2000).  NP-Completitud y Computación ADN. (Emilio Briales-Morales, Alfonso Carriazo-Rubio, Tomás Chacón-Rebollo, Pedro Real, Álvaro Romero-Jiménez, Ed.).Encuentro de Matemáticos Andaluces. II, 539-548.
1998
Graciani-Díaz, C., Pérez-Jiménez M. J., & Romero-Jiménez Á. (1998).  Descripciones funcionales de colección y colección fuerte en la aritmética. I Congreso Iberoamericano de Filosofía.
Alonso-Jiménez, J. A., Borrego-Díaz J., Pérez-Jiménez M. J., & Ruiz-Reina J. L. (1998).   Curso Práctico de Teoría de Conjuntos . XXV+345. Abstract
1993
Fernández-Margarit, A., & Pérez-Jiménez M. J. (1993).  Algunos Resultados y Problemas sobre Modelos de la Aritmética. Trabajos de Lógica y Computación. 42.
1992
Pérez-Jiménez, M. J. (1992).  Esquemas del Máximo en la Aritmética. 9+2 microfilms.
1988
Pérez-Jiménez, M. J. (1988).  Teoría de Clases y Conjuntos. XVIII+582.

Statistics

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