Home

Biblio

Export 833 results:
Sort by: [ Author (Asc)] Title Type Year
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 
G
Gheorghe, M., Paun G., & Verlan S. (2011).  Proceedings of the 12th International Conference on Membrane Computing (CMC12). 12th International Conference on Membrane Computing (CMC12). vi + 511.
Gheorghe, M., Ipate F., Dragomir C., Mierla L., Valencia-Cabrera L., García-Quismondo M., et al. (2013).  Kernel P Systems - Version I. Eleventh Brainstorming Week on Membrane Computing (11BWMC). 97-124. Abstract
Gheorghe, M., Paun G., & Pérez-Jiménez M. J. (2012).  Frontiers of Membrane Computing: Open problems and research topics. Tenth Brainstorming Week on Membrane Computing. I, 171-250. Abstract
Graciani, C., Martínez-del-Amor M. A., & Riscos-Núñez A. (2015).  A New Strategy to Improve the Performance of PDP-Systems Simulator. Lecture Notes in Computer Science. 9504, 171-184.
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.
Graciani-Díaz, C., Gutiérrez-Naranjo M. A., & Riscos-Núñez A. (2013).  Rete Algorithm for P Systems Simulators. Eleventh Brainstorming Week on Membrane Computing (11BWMC). 125-136. Abstract
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., Paun G., Riscos-Núñez A., & Valencia-Cabrera L. (2017).  Proceedings of the Fifteenth Week on Membrane Computing. Fifteenth Brainstorming Week on Membrane Computing. x+292.
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
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.
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., Orellana-Martín D., Riscos-Núñez A., Romero-Jiménez Á., & Valencia-Cabrera L. (2016).  Proceedings of the Fourteenth Brainstorming Week on Membrane Computing. Fourteenth Brainstorming Week on Membrane Computing. xi+362.
Graciani-Díaz, C., Gutiérrez-Naranjo M. A., & Pérez-Jiménez M. J. (2009).  An approach to ballistic deposition based on Membrane Computing. International Journal of Unconventional Computing. 5(5), 427-439. Abstract
Graciani-Díaz, C., Gutiérrez-Naranjo M. A., & Pérez-Jiménez M. J. (2007).  A Membrane Computing Model for Ballistic Depositions. (Miguel A. Gutiérrez-Naranjo, Gheorghe Paun, Álvaro Romero-Jiménez, Agustín Riscos-Núñez, Ed.).Fifth Brainstorming Week on Membrane Computing . 179-197.
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., & Riscos-Núñez A. (2005).  Looking for Simple Common Schemes to Design Recognizer P Systems with Active Membranes That Solve Numerical Decision Problems . Lecture Notes in Computer Science. 3699, 94-104. Abstract
Graciani-Díaz, C., Gutiérrez-Naranjo M. A., Pérez-Hurtado I., Riscos-Núñez A., & Romero-Jiménez Á. (2013).  A Rete-based Algorithm for Rule Selection in P Systems. International Journal of Unconventional Computing. 9(5-6), 367-384.
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
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
Guerrero, G. D., Cecilia J. M., García J. M., Martínez-del-Amor M. A., Pérez-Hurtado I., & Pérez-Jiménez M. J. (2009).  Analysis of P systems simulation on CUDA. XX Jornadas de Paralelismo. 289-294. Abstract
Gutiérrez-Escudero, R., Gutiérrez-Naranjo M. A., Paun G., Pérez-Hurtado I., & Riscos-Núñez A. (2009).  Seventh Brainstorming Week on Membrane Computing. Volumen I. 7th Brainstorming Week on Membrane Computing. I, X+248.
Gutiérrez-Escudero, R., Pérez-Jiménez M. J., & Rius-Font M. (2009).  Characterizing tractability by tissue-like P systems. (Gheorghe Paun, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Ed.).10th Workshop on Membrane Computing. 269-281. Abstract
Gutiérrez-Escudero, R., Pérez-Jiménez M. J., & Rius-Font M. (2010).  Characterizing tractability by tissue-like P systems. Lecture Notes in Computer Science. 5957, 289-300. Abstract
Gutiérrez-Escudero, R., Pérez-Jiménez M. J., & Rius-Font M. (2009).  Characterizing tractability by tissue-like P systems . 7th Brainstorming Week on Membrane Computing. I, 169-180. Abstract