Universidad de Sevilla

Vicerrectorado de Investigación

Ficha personal - María del Carmen Graciani Díaz


María del Carmen Graciani Díaz
Telefono: 954556855
Email: Solicitar correo
Perfil en ORCID: 0000-0002-3887-3494
Perfil en WOS: I-3745-2015
Perfil en Scopus: 55664820300
Perfil en Dialnet: 2549344

Grupo de Investigación: Computacion Natural
Departamento/Unidad: Ciencias de la Computación e Inteligencia Artificial
Situación profesional: Profesor Contratado Doctor

Participa en los siguientes proyectos/ayudas en la US:

  • Proyecto de investigación:
    • Desarrollo de modelos computacionales de especies invasoras en el Guadalquivir: herramientas de gestión para su control y prevención (P20_00486 - Equipo de Investigación)
    • Máquinas Bio-Inspiradas sobre plataformas de computación de altas prestaciones: un enfoque multidisciplinar (TIN2017-89842-P - Equipo de Investigación)
    • De la Computación Celular a la Computación de Alto Rendimiento. Aplicación a la Dinámica de Poblaciones. (TIN2012-37434 - Investigador)
    • Computación celular: aplicación a la biología de sistema y sintética (TIN2009-13192 - Investigador)
    • Modelado y Simulación Computacional en Biología de Sistemas (P08-TIC-04200 - Investigador)
    • Análisis computacional y simulación de procesos biológicos en computación celular (TIN2006-13425 - Investigador)
    • Desarrollo de modelos y herramientas de computación celular con membranas para aplicaciones en biología y economía (EXC/2005/TIC-581 - Investigador)
    • Desarrollo, verificación y automatización de modelos moleculares y celulares con membranas (TIC2002-04220-C03-01 - Investigador)

  • Contrato con empresas (Arts. 68/83 LOU):
    • International Collaboration Science Program for Biological Computation (P001-23/E20 - Investigador)

  • Ayuda a la investigación:
    • Incentivo al Grupo de Investigación TIC-193 (2017/TIC-193 - Investigador)
    • Incentivo al Grupo de Investigación TIC-193 (2011/TIC-193 - Investigador)
    • Incentivo al Grupo de Investigación TIC-193 (2010/TIC-193 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-193 (2009/TIC-193 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-193 (2008/TIC-193 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-193 (2007/TIC-193 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-193 (2006/TIC-193 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-193 (2005/TIC-193 - Investigador)
    • Theory and practice of membrane computing (HI2005-0194 - Contratado)

Cobertura de la base de datos de proyectos, véase aqui


Publicaciones:

Otra participación en Libros
Graciani, Carmen (Editor/a), Riscos Nuñez, Agustin (Editor/a), Paun, Gheorghe (Editor/a), Rozenberg, Grzegorz (Editor/a), Salomaa, Arto (Editor/a):
Enjoying Natural Computing. Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday. Springer, Cham. 2018. x+331. ISBN 978-3-030-00265-7

Capítulos en 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. x+331. 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, et. al.:
Twelve Years of Sevilla Carpets: a Survey. Pag. 141-152. En: Multidisciplinary Creativity. Bucarest, Rumanía. Spandugino. 2015. X+334. 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, Inglaterra. 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. Santander (ESPAÑA). 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). . Barcelona, España. 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, et. al.:
Fuzzy reasoning spiking neural P systems revisited: A formalization. En: Theoretical Computer Science. 2017. Vol. 701. 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, et. al.:
Paun's conjecture beyond polarizations: Alternative formulations. En: Analele Universitatii din Bucuresti. Seria Informatica. 2015. Vol. Anul LXII. 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. 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, et. al.:
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

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

Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Garcia Quismondo Fernandez, Manuel, Macias Ramos, Luis Felipe, Valencia Cabrera, Luis, et. al.:
DCBA: Simulating population dynamics P systems with proportional objects distribution. En: Lecture Notes in Computer Science. 2013. Vol. 7762. Pag. 257-276. 10.1007/978-3-642-36751-9_18

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, 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. Pag. 94-104

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. Pag. 128-137

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. Pag. 126-136

Otra participación en Libros de Actas
Graciani, Carmen (Editor/a), Paun, Gheorghe (Editor/a), Riscos Nuñez, Agustin (Editor/a), Valencia Cabrera, Luis (Editor/a):
Fifteenth Brainstorming Week on Membrane Computing. 2017. ISBN 978-84-9463116-9-6. Fénix Editora

Graciani, Carmen (Editor/a), Orellana Martín, David (Editor/a), Riscos Nuñez, Agustin (Editor/a), Romero Jiménez, Álvaro (Editor/a), Valencia Cabrera, Luis (Editor/a):
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 (Editor/a), Riscos Nuñez, Agustin (Editor/a):
Sixth Brainstorming Week on Membrane Computing. 2008. ISBN 978-84-612-4429-4. Fenix Editorial. Santander (ESPAÑA)

Graciani Díaz, Mª del Carmen (Editor/a), Paun, Gheorghe (Editor/a), Romero Jiménez, Álvaro (Editor/a), Sancho Caparrini, Fernando (Editor/a):
Fourth Brainstorming Week on Membrane Computing (Volume II). 2006. ISBN 84-611-0519-2. Fenix Editorial. Sevilla (España)

Aportaciones a Congresos
Orellana Martín, David, Andreu, José Antonio, Graciani, Carmen, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
Randomly walking with PDP systems. Comunicación en congreso. 24th International Conference on Membrane Computing. Opava. 2023

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 Hurtado de Mendoza, Ignacio, Garcia Quismondo Fernandez, Manuel, Macias Ramos, Luis Felipe, Valencia Cabrera, Luis, et. al.:
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. Proceedings of the Fifth Brainstorming Week on Membrane Computing. 179. 197

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. First Joint Meeting between the RSME and the AMS. Abstracts. 4. 4

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. Unconventional Models of Computation. 126. 136

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. Primer Congreso Español de Algoritmos Evolutivos y Bioinspirados. 326. 332

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. Abstracts of Contributed Papers. LC 2000 and ELSS 2000. 154. 154

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. Lógica, Lenguaje e Información. 243. 252

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, 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. Collegium Logicum. 37. 38

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

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. IV Jornades Sobre L'ensenyament Universitari de la Infomàtica. 380. 385

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla