Home

Biblio

Export 42 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Type is Contributions to Book Chapters  [Clear All Filters]
2005
Graciani-Díaz, C., & Pérez-Jiménez M. J. (2005).  Automated reasoning systems and molecular computing. (Mario J. Pérez-Jiménez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Recent Results in Natural Computing. Abstract
Cordón-Franco, A., Gutiérrez-Naranjo M. A., Pérez-Jiménez M. J., & Riscos-Núñez A. (2005).  Cellular solutions to some numerical NP-complete problems: A Prolog implementation. (Marian Gheorghe, Ed.).Molecular Computational Models: Unconventional Approaches. 115-149. Abstract
Pérez-Jiménez, M. J. (2005).  Computational complexity aspects of membrane computing: Ideas, results, open problems. (Miguel A. Gutiérrez-Naranjo, Gheorghe Paun, Mario J. Pérez-Jiménez, Ed.).Cellular Computing (Complexity Aspects). 277-292. 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., & Sancho-Caparrini F. (2005).  Generating pairwise disjoint families through DNA computations. (Mario J. Pérez-Jiménez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Recent Results in Natural Computing. 231-246.
Pérez-Jiménez, M. J., & Romero-Campero F. J. (2005).  Membrane computing as production systems. (Mario J. Pérez-Jiménez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Recent Results in Natural Computing. 167-204.
Paun, G. (2005).  Membrane Computing. Main ideas, basic results, applications. Molecular Computation Models: Unconventional Approaches. 1-31.
Paun, G. (2005).  Membrane Computing. Some recent results and current research topics. (Miguel A. Gutiérrez-Naranjo, Gheorghe Paun, Mario J. Pérez-Jiménez, Ed.).Cellular Computing (Complexity Aspects). 135-166.
Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Riscos-Núñez A. (2005).  Multidimensional Sevilla Carpets associated with P systems. (Miguel A. Gutiérrez-Naranjo, Gheorghe Paun, Mario J. Pérez-Jiménez, Ed.).Cellular Computing (Complexity Aspects). 225-235. Abstract
Gutiérrez-Naranjo, M. A., & Pérez-Jiménez M. J. (2005).  P systems with membrane creation and rule input. Cellular Computing (Complexity Aspects). 209-224. Abstract
Bernardini, F., Gheorghe M., Krasnogor N., & Paun G. (2005).  Turing machines with cells on the tape. (Miguel A. Gutiérrez-Naranjo, Gheorghe Paun, Mario J. Pérez-Jiménez, Ed.).Cellular Computing (Complexity Aspects). 61-73.
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
Cardelli, L., & Paun G. (2005).  An universality result for a membrane calculus based on mate/drips operations. (Miguel A. Gutiérrez-Naranjo, Gheorghe Paun, Mario J. Pérez-Jiménez, Ed.).Cellular Computing (Complexity Aspects). 75-94.
2004
Paun, G. (2004).  Membrane Computing: Some Non-standard Ideas. Lecture Notes in Computer Science. 2950, 322-337. 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., & Riscos-Núñez A. (2004).  P systems with tables of rules. Lecture Notes in Computer Science. 3113, 235-249. Abstract
2003
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.

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)