GRACIANI DÍAZ, Mª DEL CARMEN

Perfil en ORCID: 0000-0002-3887-3494

Perfil en ResearcherID: I-3745-2015

Perfil en Scopus: 56429496700\

Perfil en Dialnet: 2549344

Grupos de Investigación

• COMPUTACION NATURAL

Responsable de los siguientes proyectos/ayudas en la US

Participa los siguientes proyectos/ayudas en la US

Proyectos:

• Desarrollo de modelos computacionales de especies invasoras en el Guadalquivir: herramientas de gestión para su control y prevención ( P20_00486 - Investigador/a).
• Máquinas Bio-Inspiradas sobre plataformas de computación de altas prestaciones: un enfoque multidisciplinar ( TIN2017-89842-P - Investigador/a).
• Cell-based Membrane Computing systems and their applications in Biology ( Grant No. 61320106005 - Investigador/a).
• De la Computación Celular a la Computación de Alto Rendimiento. Aplicación a la Dinámica de Poblaciones. ( TIN2012-37434 - Investigador/a).
• Computación Celular: Aplicaciones a la Biología de Sistemas y Sintética ( TIN2009-13192 - Investigador/a).
• ANÁLISIS COMPUTACIONAL Y SIMULACIÓN DE PROCESOS BIOLÓGICOS EN COMPUTACIÓN CELULAR ( TIN2006-13425 - Investigador/a).
• DESARROLLO DE MODELOS Y HERRAMIENTAS DE COMPUTACIÓN CELULAR CON MEMBRANAS PARA APLICACIONES EN BIOLOGÍA Y ECONOMÍA ( EXC/2005/TIC-581 - Investigador/a).
• THEORY AND PRACTICE OF MEMBRANE COMPUTING ( HI2005-0194 - Investigador/a).
• MYMEM: Creación de un servicio móvil de relación entre contactos ( - Investigador/a).
• RED TEMATICA ESPAÑOLA DE COMPUTACION MOLECULAR CON ADN Y COMPUTACION CELULAR CON MEMBRANAS ( TIC 2002-10648-E - Investigador/a).
• THIRD BRAINSTORMING WEEK ON MEMBRANE COMPUTING ( PP2004/01-17 - Investigador/a).
• FOURTH INTERNATIONAL CONFERENCE ON UNCONVENTIONAL COMPUTATION ( TIN2004-23021-E - Investigador/a).
• DESARROLLO, VERIFICACIÓN Y AUTOMATIZACIÓN DE MODELOS MOLECULARES Y CELULARES CON MEMBRANAS ( TIC2002-04220-C03-01 - Investigador/a).
• FINITE MODEL THEORY AND BOUNDED ARITHMETIC ( ERBFMBICT971999 - Investigador/a).
• MODELADO Y SIMULACIÓN COMPUTACIONAL EN BIOLOGÍA DE SISTEMAS ( P08-TIC-4200 - Investigador/a).

Ayudas:

• Incentivo al Grupo de Investigación TIC-193 ( 2010/TIC-193 - Investigador/a ).
• EXPLORATORY WORKSHOP ON CELLULAR COMPUTING (COMPLEXITY ASPECTS) ( 2004/1401 - Investigador/a ).
• COMPUTACIÓN NATURAL (PAI - TIC 902) ( TIC 902 - Investigador/a ).
• COMPUTACIÓN NATURAL (PAI - TIC 193) ( TIC 193 - Investigador/a ).

Publicaciones

Libros:

• Graciani, Carmen, Riscos-Nuñez, Agustin, Paun-, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto:
  Enjoying Natural Computing. Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday. Springer, Cham. 2018. ISBN 978-3-030-00265-7

Capítulo de Libros:

• Garcia Quismondo-Fernandez, Manuel, Graciani, Carmen, Riscos-Nuñez, Agustin:
  Membrane Computing as a Modelling Tool: Looking Back and Forward from Sevilla. Pag. 114 - 129. En: Enjoying Natural Computing. Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday. Springer, Cham. 2018. ISBN 978-3-030-00265-7
• Romero-Jiménez, Álvaro, Riscos-Nuñez, Agustin, Macias-Ramos, Luis Felipe, Graciani, Carmen, Pérez-Jiménez, Mario Jesús, Valencia-Cabrera, Luis:
  Twelve Years of Sevilla Carpets: a Survey. Pag. 141 - 152. En: Multidisciplinary Creativity. Spandugino. 2015. ISBN 975-606-8401-63-8
• Díaz-Pernil, Daniel, Graciani-Díaz, Mª Del Carmen, Gutierrez-Naranjo, Miguel Angel, Pérez-Hurtado De Mendoza, Ignacio, Pérez-Jiménez, Mario Jesús:
  SOFTWARE FOR P SYSTEMS. Pag. 437 - 545. En: THE OXFORD HANDBOOK OF MEMBRANE COMPUTING. Oxford University Press. 2009. ISBN 978-0-19-955667-0
• Graciani-Díaz, Mª Del Carmen, Pérez-Jiménez, Mario Jesús:
  AUTOMATED REASONING SYSTEMS AND MOLECULAR COMPUTING. Pag. 47 - 78. En: RECENT RESULTS IN NATURAL COMPUTING. FENIX EDITORIAL. 2005. ISBN 84-609-6864-2
• Borrego-Diaz, Joaquin, Graciani-Díaz, Mª Del Carmen, Pérez-Jiménez, Mario Jesús:
  MATEMÁTICAS PARA LA VERIFICACIÓN DE PROGRAMAS. Pag. 380 - 385. En: IV JORNADES SOBRE L'ENSENYAMENT UNIVERSITARI DE LA INFORMATICA (JENUI 98). ENGINYERIA I ARQUITECTURA LA SALLE. 1998. ISBN 84-922538-3-5

Publicaciones en Revistas:

• Pérez-Jiménez, Mario Jesús, Graciani, Carmen, Orellana-martín, David, Riscos-Nuñez, Agustin, Romero-Jiménez, Álvaro, Valencia-Cabrera, Luis:
  Fuzzy reasoning spiking neural P systems revisited: A formalization. En: Theoretical Computer Science. 2017. Vol. 701. Núm. . Pag. 216-225 https://doi.org/10.1016/j.tcs.2017.04.014
• Graciani, Carmen, Macias-Ramos, Luis Felipe, Martínez-del-Amor, Miguel Ángel, Pérez-Jiménez, Mario Jesús, Riscos-Nuñez, Agustin, Romero-Jiménez, Álvaro, Valencia-Cabrera, Luis:
  Paun's conjecture beyond polarizations: Alternative formulations. En: Analele Universitatii din Bucuresti. Seria Informatica. 2015. Vol. Anul LXII. Núm. . Pag. 47-60
• Graciani, Carmen, Martínez-del-Amor, Miguel Ángel, Riscos-Nuñez, Agustin:
  A New Strategy to Improve the Performance of PDP-Systems Simulators. En: Lecture Notes in Computer Science. 2015. Vol. 9504. Núm. . Pag. 171-184 10.1007/978-3-319-28475-0_12
• Orellana-martín, David, Graciani-Díaz, Mª Del Carmen, Macias-Ramos, Luis Felipe, Martínez-del-Amor, Miguel Ángel, Riscos-Nuñez, Agustin, Romero-Jiménez, Álvaro, Valencia-Cabrera, Luis:
  Sevilla Carpets Revisited: Enriching the Membrane Computing Toolbox. En: Fundamenta Informaticae. 2014. Vol. 134. Núm. 1-2. Pag. 153-166 10.3233/FI-2014-1096
• Martínez-del-Amor, Miguel Ángel, Pérez-Jiménez, Mario Jesús, Pérez-Hurtado De Mendoza, Ignacio, Garcia Quismondo-Fernandez, Manuel, Macias-Ramos, Luis Felipe, Valencia-Cabrera, Luis, Romero-Jiménez, Álvaro, Graciani, Carmen, Colomer-cugat, Maria Angels:
  DCBA: Simulating population dynamics P systems with proportional objects distribution. En: Lecture Notes in Computer Science. 2013. Vol. 7762. Núm. . Pag. 257-276 10.1007/978-3-642-36751-9_18
• Graciani-Díaz, Mª Del Carmen, Gutierrez-Naranjo, Miguel Angel, Pérez-Hurtado De Mendoza, Ignacio, Riscos-Nuñez, Agustin, Romero-Jiménez, Álvaro:
  A Rete-based Algorithm for Rule Selection in P Systems. En: International Journal of Unconventional Computing. 2013. Vol. 9. Núm. 5-6. Pag. 367-384
• Graciani-Díaz, Mª Del Carmen, Gutierrez-Naranjo, Miguel Angel, Pérez-Jiménez, Mario Jesús:
  AN APPROACH TO BALLISTIC DEPOSITION BASED ON MEMBRANE COMPUTING. En: International Journal of Unconventional Computing. 2009. Vol. 5. Núm. 5. Pag. 427-439
• Graciani-Díaz, Mª Del Carmen, Pérez-Jiménez, Mario Jesús:
  USING AUTOMATED REASONING SYSTEMS ON MOLECULAR COMPUTING. En: Lecture Notes in Computer Science. 2005. Vol. 3384. Núm. . Pag. 128-137
• Graciani-Díaz, Mª Del Carmen, Riscos-Nuñez, Agustin:
  LOOKING FOR SIMPLE COMMON SCHEMES TO DESIGN RECOGNIZER P SYSTEMS WITH ACTIVE MEMBRANES THAT SOLVE NUMERICAL DECISION PROBLEMS. En: Lecture Notes in Computer Science. 2005. Vol. 3699. Núm. . Pag. 94-104
• Graciani-Díaz, Mª Del Carmen, Martin-Mateos, Francisco Jesus, Pérez-Jiménez, Mario Jesús:
  SPECIFICATION OF ADLEMAN'S RESTRICTED MODEL USING AN AUTOMATED REASONING SYSTEM: VERIFICATION OF LIPTON'S EXPERIMENT. En: Lecture Notes in Computer Science. 2002. Vol. 2509. Núm. . Pag. 126-136

Otra participación en Libros de Actas:

• Graciani, Carmen, Paun-, Gheorghe, Riscos-Nuñez, Agustin, Valencia-Cabrera, Luis:
  Fifteenth Brainstorming Week on Membrane Computing. 2017. ISBN 978-84-9463116-9-6. FÉNIX EDITORA
• Graciani, Carmen, Orellana-martín, David, Riscos-Nuñez, Agustin, Romero-Jiménez, Álvaro, Valencia-Cabrera, Luis:
  Proceedings of the Fourteenth Brainstorming Week on Membrane Computing. 2016. ISBN 978-84-946316-1-0. Sevilla, España
• Graciani-Díaz, Mª Del Carmen, Riscos-Nuñez, Agustin, Pérez-Hurtado:
  SIXTH BRAINSTORMING WEEK ON MEMBRANE COMPUTING. 2008. ISBN 978-84-612-4429-4. FENIX EDITORIAL Santander (ESPAÑA)
• Graciani-Díaz, Mª Del Carmen, Paun-, Gheorghe, Romero-Jiménez, Álvaro, Sancho-Caparrini, Fernando:
  Fourth Brainstorming Week on Membrane Computing (Volume II). 2006. ISBN 84-611-0519-2. FENIX EDITORIAL SEVILLA (ESPAÑA)

Aportaciones a Congresos:

• Graciani, Carmen, Martínez-del-Amor, Miguel Ángel, Riscos-Nuñez, Agustin:
  A new strategy to improve the performance of PDP - systems simulators . Comunicación en congreso. 16th International Conference on Membrane Computing. Valencia, Spain. 2015
• Orellana-martín, David, Graciani, Carmen, Martínez-del-Amor, Miguel Ángel, Riscos-Nuñez, Agustin, Valencia-Cabrera, Luis:
  Revisiting Sevilla Carpets: A New Tool for the P-Lingua Era. Comunicación en congreso. the Twelfth Brainstorming Week on Membrane Computing. Sevilla, España. 2014
• Graciani-Díaz, Mª Del Carmen, Gutierrez-Naranjo, Miguel Angel, Riscos-Nuñez, Agustin:
  Rete Algorithm for P System Simulators. Comunicación en congreso. Eleventh Brainstorming Week on Membrane Computing. . 2013
• Martínez-del-Amor, Miguel Ángel, Pérez-Jiménez, Mario Jesús, Pérez-Hurtado De Mendoza, Ignacio, Garcia Quismondo-Fernandez, Manuel, Macias-Ramos, Luis Felipe, Valencia-Cabrera, Luis, Romero-Jiménez, Álvaro, Graciani-Díaz, Mª Del Carmen, Riscos-Nuñez, Agustin, Colomer-, M. Angels:
  DCBA: Simulating population dynamics P systems with proportional object distribution. Comunicación en congreso. Thirteen International Conference on Membrane Computing. BUDAPEST, HUNGRÍA. 2012
• Graciani-Díaz, Mª Del Carmen, Gutierrez-Naranjo, Miguel Angel, Pérez-Jiménez, Mario Jesús:
  A MEMBRANE COMPUTING MODEL FOR BALLISTIC DEPOSITIONS. Comunicación en congreso. Fifth Brainstorming Week on Membrane Computing. SEVILLA (SPAIN). 2007
• Graciani-Díaz, Mª Del Carmen, Pérez-Jiménez, Mario Jesús:
  USING AUTOMATED REASONING SYSTEMS IN NATURAL COMPUTING. Conferencia Congreso no publicada. First Joint Meeting between the RSME and the AMS. Santander (ESPAÑA). 2003
• Pérez-Jiménez, Mario Jesús, Graciani-Díaz, Mª Del Carmen, Romero-Jiménez, Álvaro, Sancho-Caparrini, Fernando:
  Formalización computacional del experimento de Lipton sobre el problema SAT. Comunicación en congreso. Primer Congreso Español de Algoritmos Evolutivos y Bioinspirados. Mérida. España. 2002
• Graciani-Díaz, Mª Del Carmen, Martín-mateos, Francisco Jesús, Pérez-Jiménez, Mario Jesús:
  SPECIFICATION OF ADLEMAN`S RESTRICTED MODEL USING AN AUTOMATED REASONING SYSTEM: VERIFICATION OF LIPTON`S EXPERIMENT. Comunicación en congreso. 3RD INTERNATIONAL CONFERENCE ON UNCONVENTIONAL MODELS OF COMPUTATION. KOBE, JAPÓN. 2002
• Pérez-Jiménez, Mario Jesús, Sancho-Caparrini, Fernando, Graciani-Díaz, Mª Del Carmen, Romero-Jiménez, Álvaro:
  Soluciones moleculares del problema SAT de la Lógica Proposicional. Comunicación en congreso. Primeras Jornadas de Lógica y Lenguaje. Santander (ESPAÑA). 2000
• Graciani-Díaz, Mª Del Carmen, Pérez-Jiménez, Mario Jesús, Romero-Jiménez, Álvaro, Sancho-Caparrini, Fernando:
  NP-Completitud y Computación ADN. Comunicación en congreso. Encuentro de Matemáticos Andaluces. Sevilla, ESPAÑA. 2000
• Graciani-Díaz, Mª Del Carmen, Pérez-Jiménez, Mario Jesús, Romero-Jiménez, Álvaro:
  Some Functional Schemes in Arithmetic. Comunicación en congreso. Logic Colloquium 2000. PARÍS. FRANCIA. 2000
• Graciani-Díaz, Mª Del Carmen, Pérez-Jiménez, Mario Jesús, Romero-Jiménez, Álvaro, Sancho-Caparrini, Fernando:
  Initial segments maximal ¿¿-definable sets in fragments of arithmetic. Comunicación en congreso. Joint Conference of the 5th Barcelona Logic Meeting and the 6th Kurt Gödel Colloquium. . BARCELONA, ESPAÑA. 1999
• Borrego-Diaz, Joaquin, Graciani-Díaz, Mª Del Carmen, Pérez-Jiménez, Mario Jesús:
  MATEMÁTICAS PARA LA VERIFICACIÓN DE PROGRAMAS. Comunicación en congreso. IV JORNADAS SOBRE LA ENSEÑANZA UNIVERSITARIA DE LA INFORMATICA. ANDORRA. 1998
• Graciani-Díaz, Mª Del Carmen, Pérez-Jiménez, Mario Jesús, Romero-Jiménez, Álvaro:
  Descripciones funcionales de colección y colección fuerte en la aritmética. Comunicación en congreso. I Congreso Iberoamericano de Filosofía. Cáceres - Madrid (ESPAÑA). 1998