Home

Biblio

Export 30 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: Author is Carmen Graciani-Díaz  [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 
U
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., & 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
S
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
Graciani-Díaz, C., Pérez-Jiménez M. J., & Romero-Jiménez Á. (2000).  Some Functional Schemes in Arithmetic. Logic Colloquium 2000. 154.
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.
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.
Díaz-Pernil, D., Graciani-Díaz C., Gutiérrez-Naranjo M. A., Pérez-Hurtado I., & Pérez-Jiménez M. J. (2010).  Software for P systems. (Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Ed.).The Oxford Handbook of Membrane Computing. 437-454.
Gutiérrez-Naranjo, M. A., Díaz-Pernil D., Graciani-Díaz C., Paun G., Pérez-Hurtado I., & Pérez-Jiménez M. J. (2008).  Sixth brainstorming week on membrane computing. 6th Brainstorming Week on Membrane Computing.
Orellana-Martín, D., Graciani-Díaz C., Macías-Ramos L. F., Martínez-del-Amor M. A., Riscos-Núñez A., Romero-Jiménez Á., et al. (2014).  Sevilla Carpets Revisited: Enriching Membrane Computing Toolbox. Fundamenta Informaticae. 134, 153–166.
R
Orellana-Martín, D., Graciani-Díaz C., Martínez-del-Amor M. A., Riscos-Núñez A., & Valencia-Cabrera L. (2014).  Revisiting Sevilla Carpets: A New Tool for the P-Lingua Era. Twelfth Brainstorming Week on Membrane Computing (BWMC2014). 281-292.
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., 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
P
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., 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.
N
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.
M
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.
L
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
I
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.
G
Romero-Jiménez, Á., Gutiérrez-Naranjo M. A., & Pérez-Jiménez M. J. (2006).  The Growth of Branching Structures with P Systems. (Carmen Graciani-Díaz, Gheorghe Paun, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Fourth Brainstorming Week on Membrane Computing . II, 253-265.
Rivero-Gil, E., Gutiérrez-Naranjo M. A., & Pérez-Jiménez M. J. (2008).  Graphics and P systems: Experiments with JPLANT. (Daniel Díaz-Pernil, Carmen Graciani-Díaz, Miguel A. Gutiérrez-Naranjo, Gheorghe Paun, Ignacio Pérez-Hurtado, Agustín Riscos-Núñez, Ed.).Proceedings of the Sixth Brainstorming Week on Membrane Computing. 241-254.
F
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.
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.
D
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.
Martínez-del-Amor, M. A., Pérez-Hurtado I., García-Quismondo M., Macías-Ramos L. F., Valencia-Cabrera L., Romero-Jiménez Á., et al. (2013).  DCBA: Simulating population dynamics P systems with proportional objects distribution. (Erzsebet Csuhaj-Varjú, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil, Ed.).Lecture Notes in Computer Science. 257-276. Abstract
Martínez-del-Amor, M. A., Pérez-Hurtado I., García-Quismondo M., Macías-Ramos L. F., Valencia-Cabrera L., Romero-Jiménez Á., et al. (2012).  DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution. Tenth Brainstorming Week on Membrane Computing. II, 27-56. Abstract

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)