Home

Biblio

Export 50 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: Author is Fernando Sancho-Caparrini  [Clear All Filters]
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 
B
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
C
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., & Sancho-Caparrini F. (2004).  A Prolog simulator for deterministic P systems with active membranes. New Generation Computing. 22(4), 349-363 . Abstract
Cordón-Franco, A., & Sancho-Caparrini F. (2005).  Approximating Non-discrete P Systems. Lecture Notes in Computer Science. 3365, 287-295. Abstract
Cordón-Franco, A., & Sancho-Caparrini F. (2004).  A Note on Complexity Measures for Probabilistic P Systems. Journal of Universal Computer Science. 10(5), 559-566. 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
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.
D
Díaz-Pernil, D., Gutiérrez-Naranjo M. A., & Pérez-Jiménez M. J. (2006).  Solving 3-COL with Tissue P Systems. (Carmen Graciani-Díaz, Gheorghe Paun, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Fourth Brainstorming Week on Membrane Computing . II, 17-29.
G
Graciani-Díaz, C., Paun G., Romero-Jiménez Á., & Sancho-Caparrini F. (2006).  Fourth Brainstorming Week on Membrane Computing. Fourth Brainstorming Week on Membrane Computing. II, XII+278.
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.
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
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.
Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., Riscos-Núñez A., & Romero-Campero F. J. (2006).  An Approach to the degree of parallelism in P systems. (Carmen Graciani-Díaz, Gheorghe Paun, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Fourth Brainstorming Week on Membrane Computing . II, 87-104.
M
Martín-Mateos, F. J., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2002).  Molecular Computation Models in ACL2: A Simulation of Lipton's SAT Experiment in the Adleman's Restricted Model. Third International Workshop on the ACL2 Theorem Prover and its Applications. 175-187.
Martín-Vide, C., Mitrana V., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2003).  Hybrid Networks of Evolutionary Processors. Lecture Notes in Computer Science. 2723, 401-412. Abstract
Martínez-del-Amor, M. A., Pérez-Hurtado I., Pérez-Jiménez M. J., Riscos-Núñez A., & Sancho-Caparrini F. (2011).  A simulation algorithm for multienvironment probabilistic P systems: A formal verification. International Journal of Foundations of Computer Science. 22(1), 107-118.
P
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).  Tissue P systems with cell division. (Gheorghe Paun, Agustín Riscos-Núñez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Second Brainstorming Week on Membrane Computing. 380-386.
Paun, G., Riscos-Núñez A., Romero-Jiménez Á., & Sancho-Caparrini F. (2004).  Second Brainstorming Week on Membrane Computing. Second Brainstorming Week on Membrane Computing. 456.
Paun, G. (2006).  2006 Reseacrh Topics in Membrane Computing. (Carmen Graciani-Díaz, Gheorghe Paun, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Fourth Brainstorming Week on Membrane Computing . II, 235-251.
Paun, G., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2002).  On the Reachability Problem for P System with Porters. 10th International Conference on Automata and Formal Languages. 1-3.
Pérez-Jiménez, M. J. (2004).  A CLIPS simulator for recognizer P systems with active membranes. (Gheorghe Paun, Agustín Riscos-Núñez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Second Brainstorming Week on Membrane Computing. 387-413.
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. (2002).  A Formalization of Transition P Systems. Fundamenta Informaticae. 49(1-3), 261-272. Abstract
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2006).  Computationally Hard Problems Addressed Through P Systems. (Gabriel Ciobanu, Gheorghe Paun, Mario J. Pérez-Jiménez, Ed.).Applications of Membrane Computing. 315-346.

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)