Directorio
MARIA CARMEN GRACIANI DIAZ
Categoría
Profesor Contratado Doctor
Departamento
Área
Ciencia de la Computación e Inteligenc. Artificial
Docencia
Asignaturas que imparte
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
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.
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.
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.
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.
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.
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
