Home

Biblio

Export 30 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is Carmen Graciani-Díaz  [Clear All Filters]
1998
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.
2000
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., & Romero-Jiménez Á. (2000).  Some Functional Schemes in Arithmetic. Logic Colloquium 2000. 154.
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.
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.
2002
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
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.
2003
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
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
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., & Pérez-Jiménez M. J. (2005).  Using automated reasoning systems on molecular computing. Lecture Notes in Computer Science. 3384, 128-137. Abstract
2006
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.
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.
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.
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.
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.
2007
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.
2008
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.
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.
2009
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
2010
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.
2012
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
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. 13th International Conference on Membrane Computing (CMC13). 291-310. Abstract
2013
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
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.

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)