|
|
GRACIANI DÍAZ, Mª DEL CARMENPerfil en ORCID: 0000-0002-3887-3494 Perfil en ResearcherID: I-3745-2015 Perfil en Scopus: 56429496700\ Perfil en Dialnet: 2549344 Grupos de Investigación Responsable de los siguientes proyectos/ayudas en la USParticipa los siguientes proyectos/ayudas en la USProyectos: - 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 ).
PublicacionesLibros: - 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
|