MARIA CARMEN GRACIANI DIAZ

Categoría
Profesor Contratado Doctor

Contacto

Teléfono
Correo electrónico
Área
Ciencia de la Computación e Inteligenc. Artificial

Docencia

Investigación

Grupo de investigación

COMPUTACION NATURAL (CN)

Proyectos y contratos de investigación

DESARROLLO, VERIFICACIÓN Y AUTOMATIZACIÓN DE MODELOS MOLECULARES Y CELULARES CON MEMBRANAS (TIC2002-04220-C03-01 - Investigador/a)
COMPUTACIÓN NATURAL (PAI - TIC 902) (TIC 902 - Investigador/a)
FINITE MODEL THEORY AND BOUNDED ARITHMETIC (ERBFMBICT971999 - Investigador/a)
FOURTH INTERNATIONAL CONFERENCE ON UNCONVENTIONAL COMPUTATION (TIN2004-23021-E - Investigador/a)
THIRD BRAINSTORMING WEEK ON MEMBRANE COMPUTING (PP2004/01-17 - Investigador/a)
EXPLORATORY WORKSHOP ON CELLULAR COMPUTING (COMPLEXITY ASPECTS) (2004/1401 - Investigador/a)
RED TEMATICA ESPAÑOLA DE COMPUTACION MOLECULAR CON ADN Y COMPUTACION CELULAR CON MEMBRANAS (TIC 2002-10648-E - Investigador/a)
THEORY AND PRACTICE OF MEMBRANE COMPUTING (HI2005-0194 - 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)
ANÁLISIS COMPUTACIONAL Y SIMULACIÓN DE PROCESOS BIOLÓGICOS EN COMPUTACIÓN CELULAR (TIN2006-13425 - Investigador/a)
COMPUTACIÓN NATURAL (PAI - TIC 193) (TIC 193 - Investigador/a)
MODELADO Y SIMULACIÓN COMPUTACIONAL EN BIOLOGÍA DE SISTEMAS (P08-TIC-4200 - Investigador/a)
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)
Incentivo al Grupo de Investigación TIC-193 (2010/TIC-193 - Investigador/a)
MYMEM: Creación de un servicio móvil de relación entre contactos (Investigador/a)
Computación Celular: Aplicaciones a la Biología de Sistemas y Sintética (TIN2009-13192 - Investigador/a)

Libros publicados

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. 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. Pág. 114-129. Springer, Cham. Springer, Cham. 2018.
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. Pág. 141-152. Spandugino. Spandugino. 2015.
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. Pág. 437-545. Oxford University Press. Oxford University Press. 2009.
Graciani-Díaz, Mª Del Carmen;Pérez-Jiménez, Mario Jesús:
AUTOMATED REASONING SYSTEMS AND MOLECULAR COMPUTING. Pág. 47-78. FENIX EDITORIAL. FENIX EDITORIAL. 2005.
Borrego-Diaz, Joaquin;Graciani-Díaz, Mª Del Carmen;Pérez-Jiménez, Mario Jesús:
MATEMÁTICAS PARA LA VERIFICACIÓN DE PROGRAMAS. Pág. 380-385. ENGINYERIA I ARQUITECTURA LA SALLE. ENGINYERIA I ARQUITECTURA LA SALLE. 1998.

Asistencia 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
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;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;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
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:
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
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

Artículos publicados

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. Theoretical Computer Science. 2017. Vol: 701. Pág. 216-225. https://doi.org/10.1016/j.tcs.2017.04.014.
Graciani, Carmen;Martínez-del-Amor, Miguel Ángel;Riscos-Nuñez, Agustin:
A New Strategy to Improve the Performance of PDP-Systems Simulators. Lecture Notes in Computer Science. 2015. Vol: 9504. Pág. 171-184. 10.1007/978-3-319-28475-0_12.
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. Analele Universitatii din Bucuresti. Seria Informatica. 2015. Vol: Anul LXII. Pág. 47-60.
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. Fundamenta Informaticae. 2014. Vol: 134. Núm: 1-2. Pág. 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. International Journal of Unconventional Computing. 2013. Vol: 9. Núm: 5-6. Pág. 367-384.
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. Lecture Notes in Computer Science. 2013. Vol: 7762. Pág. 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. International Journal of Unconventional Computing. 2009. Vol: 5. Núm: 5. Pág. 427-439.
Graciani-Díaz, Mª Del Carmen;Pérez-Jiménez, Mario Jesús:
USING AUTOMATED REASONING SYSTEMS ON MOLECULAR COMPUTING. Lecture Notes in Computer Science. 2005. Vol: 3384. Pág. 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. Lecture Notes in Computer Science. 2005. Vol: 3699. Pág. 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. Lecture Notes in Computer Science. 2002. Vol: 2509. Pág. 126-136.