Home

Biblio

Export 253 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Last Name is G  [Clear All Filters]
2005
Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Riscos-Núñez A. (2005).  Towards a programming language in cellular computing. Electronic Notes in Theoretical Computer Science. 123, 93-110. 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.
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.
Graciani-Díaz, C., & Pérez-Jiménez M. J. (2005).  Using automated reasoning systems on molecular computing. Lecture Notes in Computer Science. 3384, 128-137. Abstract
2004
Gutiérrez-Naranjo, M. A., & Rogozhin V. (2004).  Deductive Data Bases and P Systems. Second Brainstorming Week on Membrane Computing.
Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Riscos-Núñez A. (2004).  An efficient cellular solution for the Partition problem. Second Brainstorming Week on Membrane Computing. 237-246.
Cordón-Franco, A., Gutiérrez-Naranjo M. A., & Pérez-Jiménez M. J. (2004).  Looking for P truth. (Gheorghe Paun, Agustín Riscos-Núñez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Second Brainstorming Week on Membrane Computing. 134-138.
Cordón-Franco, A., Gutiérrez-Naranjo M. A., Pérez-Jiménez M. J., & Riscos-Núñez A. (2004).  Weak metrics on configurations of a P system. (Gheorghe Paun, Agustín Riscos-Núñez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Second Brainstorming Week on Membrane Computing. 139-151.
Cordón-Franco, A., Gutiérrez-Naranjo M. A., Pérez-Jiménez M. J., & Riscos-Núñez A. (2004).  Towards an efficient strategy for searching in P systems. ECAI 2004 (16th European Conference on Artificial Intelligence). 15-25.
Cordón-Franco, A., Gutiérrez-Naranjo M. A., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2004).  A Prolog simulator for deterministic P systems with active membranes. New Generation Computing. 22(4), 349-363 . Abstract
Gutiérrez-Naranjo, M. A., & Rogozhin V. (2004).  Deductive databases and P systems. Computer Science Journal of Moldova. 12(1), 80-88. 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
2003
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.
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., Alonso-Jiménez J. A., & Borrego-Díaz J. (2003).  Generalizing Logic Programs Via Subsumption. (R. Moreno-Díaz jr., A. Quesada-Arencibia, J. C. Rodríguez-Rodríguez, Ed.).International Conference on Computer Aided Systems Theory. 185-188.
Gheorghe, M., Martín-Vide C., Mitrana V., & Pérez-Jiménez M. J. (2003).  An agent based approach of collective foraging. Lecture Notes in Computer Science. 2686, 638-645. Abstract
Gutiérrez-Naranjo, M. A., Alonso-Jiménez J. A., & Borrego-Díaz J. (2003).  Generalizing Programs via Subsumption. Lecture Notes in Computer Science. 2809, 115-126. Abstract
Gutiérrez-Naranjo, M. A., & Hitzler P. (2003).  ILP Operators for Propositional Connectionist Networks . Technische Berichte Technical Reports. -, 103-106.
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.
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
Alonso-Jiménez, J. A., Borrego-Díaz J., Chávez-González A. M., Gutiérrez-Naranjo M. A., & Navarro-Marín J. D. (2002).  A Methodology for the Computer-Aided Cleaning of Complex Knowledge Databases. IECON'02.
Gutiérrez-Naranjo, M. A., Alonso-Jiménez J. A., & Borrego-Díaz J. (2002).  A Quasi-Metric for Machine Learning. Lecture Notes in Computer Science. 2527, 193-203. Abstract
Alonso-Jiménez, J. A., Borrego-Díaz J., Chávez-González A. M., & Gutiérrez-Naranjo M. A. (2002).  Towards a Practical Argumentative Reasoning with QSD. I Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial.
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.
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.

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)