PhD thesis supervised
- Desarrollo y aplicaciones de un entorno de programación para Computación Celular: P-Lingua
presentada por D. Ignacio Pérez Hurtado de Mendoza
el 24 de junio de 2010, habiendo obtenido la calificación
de Sobresaliente cum laude por unanimidad
(codirigida por Agustín Riscos Núñez).
(Tribunal: José María Sempere Luna, de la Universidad Politécnica de Valencia, Fernando Arroyo Montoro, de la Universidad Politécnica de Madrid, María Angels Colomer Cugat, de la Universidad de Lleida,
Alfonso Orteda de la Puente, de la Universidad Autónoma de Madrid,
y Miguel A. Gutiérrez Naranjo, de la
Universidad de Sevilla)
- Sistemas celulares de tejidos: Formalización y eficiencia computacional
presentada por D. Daniel Díaz Pernil
el 7 de mayo de 2008, habiendo obtenido la calificación
de Sobresaliente cum laude por unanimidad
(codirigida por Álvaro Romero Jiménez).
(Tribunal: Alfonso Rodríguez-Patón Aradas, de la
Universidad Politécnica de Madrid,
Gheorghe Paun, miembro de la Academia Europea y del Instituto de
Matemáticas de la Academia de Rumanía,
José María Sempere Luna, de la Universidad Politécnica de Valencia,
María Angels Colomer Cugat, de la Universidad de Lleida,
y Miguel A. Gutiérrez Naranjo, de la
Universidad de Sevilla)
- P Systems: A computational modelling
framework for Systems Biology
presentada por D. Francisco J. Romero Campero
el 6 de febrero de 2008, habiendo obtenido la calificación
de Sobresaliente cum laude por unanimidad y la acreditación de Doctorado
Europeo
(codirigida por Marian Gheorghe).
(Tribunal: José Mira Mira, de la Universidad Nacional de
Educación a Distancia, Gheorghe Paun, miembro de la Academia Europea y
del Instituto de Matemáticas de
la Academia de Rumanía, Pierluigi Frisco de la Universidad Heriot Wat de Edimburgo, Ioan Ardelean, del Instituto de Biología de
la Academia de Rumanía, y Francesc Rosselló Llompart, de la
Universidad de las Islas Baleares)
- Membrane Computing, Neural Inspirations,
Gene Assembly in Ciliates
presentada por D. Tseren-Onolt Ishdorj
el 28 de marzo de 2007, habiendo obtenido la calificación
de Sobresaliente cum laude por unanimidad y la acreditación de Doctorado
Europeo
(codirigida por Gheorghe Paun).
(Tribunal: Francesc Rosselló Llompart, de la
Universidad de las Islas Baleares, Marian Gheorghe, de la Universidad
de Sheffiel, UK, Rudolf Freund, de la Universidad Tecnológica de Viena,
Claudio Zandron, de la Universidad de Milano-Bicocca, y
José María Sempere Luna, de la Universidad Politécnica de Valencia)
- Evolution, communication and observation: From
Biology to Membrane Computing and back
presentada por D. Matteo Cavaliere
el 1 de febrero de 2006, habiendo obtenido la calificación
de Sobresaliente cum laude por unanimidad y la acreditación de
Doctorado Europeo (codirigida por Gheorghe Paun).
Premio Extraordinario de Doctorado.
(Tribunal: José Mira Mira, de la
Universidad Nacional de Educación a Distancia, Iurie Rogojin, del
Institute of Mathematics and Computer Science of the Academy of Science of
Moldova, Marian Gheorghe, de la Universidad
de Sheffiel, UK, Claudio Zandron, de la Universidad de Milano-Bicocca,
y Delia Balbontín Noval, de la Universidad de Sevilla)
- Promoting and inhibiting contexts in Membrane
Computing
presentada por D. Dragos Florin Sburlan
el 31 de enero de 2006, habiendo obtenido la calificación
de Sobresaliente cum laude por unanimidad y la acreditación de
Doctorado Europeo (codirigida por Gheorghe Paun).
(Tribunal: José Mira Mira, de la
Universidad Nacional de Educación a Distancia, Jurgen Dassow, de la
Universidad de Magdeburgo, Erzsebet Csuháj-Varjú, del
Computer and Automation Research Institue of the Hungarian Academy of Sciences,
Rudolf Freund, de la Universidad Tecnológica de Viena, y
Alvaro Romero Jiménez, de la Universidad de Sevilla)
- Programación celular: resolución eficiente de
problemas numéricos NP-completos
presentada por D. Agustín Riscos Núñez
el 23 de septiembre de 2004, habiendo obtenido la calificación
de Sobresaliente cum laude por unanimidad
(codirigida por Miguel A. Gutiérrez Naranjo).
Premio Extraordinario de Doctorado.
(Tribunal: Juan Pazos Sierra, de la
Universidad Politécnica de Madrid, Marian Gheorghe, de la Universidad
de Sheffiel, UK, Oscar H. Ibarra, de la Universidad
de California, Santa Bárbara, USA,
Gheorghe Paun, miembro de la Academia Europea y
del Instituto de Matemáticas de la Academia de Rumanía e
Investigador Ramón y Cajal de la Universidad de Sevilla, y
Delia Balbontín Noval, de la Universidad de Sevilla)
- Especificación y verificación de programas
moleculares en PVS
presentada por Dª.
Carmen Graciani Díaz el 29 de septiembre de 2003, habiendo obtenido
la calificación de Sobresaliente cum laude por unanimidad (codirigida
por Fernando Sancho Caparrini).
(Tribunal: Eladio Domínguez Murillo,
de la Universidad de Zaragoza, Juan Castellanos Peñuela, de la
Universidad Politécnica de Madrid, Alfonso Rodríguez-Patón Aradas, de la
Universidad Politécnica de Madrid, Francesc A. Roselló Llompart, de la
Universidad de las Islas Baleares, y José A. Alonso Jiménez, de la
Universidad de Sevilla)
- Complejidad y Universalidad en modelos de
computación celular
presentada por D. Alvaro Romero
Jiménez el 18 de junio de 2003, habiendo obtenido la calificación de
Sobresaliente cum laude por unanimidad.
(Tribunal:
Carlos Martín-Vide, de la Universidad Rovira i Virgili de Tarragona,
Gheorghe Paun, miembro de la Academia Europea y
del Instituto de Matemáticas de la Academia de Rumanía,
Rudolf Freund, de la Universidad Tecnológica de Viena,
Claudio Zandron, de la Universidad de Milano-Bicocca, Milán, y
Delia Balbontín Noval, de la Universidad de Sevilla)
- Verificación de programas en modelos de
computación no convencionales
presentada por D.
Fernando Sancho Caparrini el 27 de junio de 2002, habiendo obtenido la
calificación de Sobresaliente cum laude por unanimidad.
(Tribunal: Carlos Martín-Vide, de la Universidad Rovira i Virgili
de Tarragona, Gheorghe Paun, miembro de la Academia Europea y
del Instituto de Matemáticas de la
Academia de Rumanía, Victor Mitrana, de la Universidad de Bucarest,
Alfonso Rodríguez Patón, de la Universidad Politécnica de Madrid, y
José A. Alonso Jiménez, de la Universidad de Sevilla)
Research works supervised
-
P-Lingua: Un entorno de programación para la camputación celular con membranas
presentado por D. Ignacio Pérez Hurtado de Mendoza en septiembre de 2009,
para la obtención del
Diploma de Estudios Avanzados en Ciencias de la Computación e Inteligencia
Artificial
(codirector del trabajo: Dr. D. Agustín Riscos Núñez)
Research Group on Natural Computing Report 03/2009. Universidad de Sevilla,
2009, 87 pages
-
Estudio de la tratabilidad en sistemas celulares con membranas activas y sin
polarizaciones
presentado por D. Manuel Alejandro Fernández Soria en octubre de 2007,
para la obtención del
Diploma de Estudios Avanzados en Ciencias de la Computación e Inteligencia
Artificial
Research Group on Natural Computing Report 04/2007. Universidad de Sevilla,
2007, 98 pages
-
Minimal Parallelism for Polarizationless P Systems
presentado por D. Tseren-Onolt Ishdorj en noviembre de 2006,
para la obtención del
Diploma de Estudios Avanzados en Ciencias de la Computación e Inteligencia
Artificial (codirector del trabajo: Dr. D. Gheorghe Paun)
Research Group on Natural Computing Report 03/2006. Universidad de Sevilla,
2006, II + 28 páginas.
-
Towards P systems as a computational modelling tool for Systems Biology
presentado por D. Francisco J. Romero Campero en octubre de 2005,
para la obtención del
Diploma de Estudios Avanzados en Ciencias de la Computación e Inteligencia
Artificial
Research Group on Natural Computing Report 02/2005. Universidad de Sevilla,
2005, 53 páginas.
-
Membrane Systems with promoters/inhibitors. From computational universality
to algorithms.
presentado por D. Dragos Florin Sburlan en noviembre de 2004,
para la obtención del Diploma de Estudios Avanzados en Ciencias de la
Computación e Inteligencia Artificial (codirector del trabajo: Gheorghe
Paun).
Research Group on Natural Computing Report 04/2004. Universidad de Sevilla,
2004, 55 páginas.
-
Un nuevo modelo de computación: La computación cuántica
presentado por D. Juan A. Nepomuceno Chamorro en junio de 2004,
para la obtención del Diploma de Estudios Avanzados en Ciencias de la
Computación e Inteligencia Artificial (codirectores del trabajo:
Dr. D. Miguel A. Gutiérrez Naranjo y Dr. D. Fernando Sancho Caparrini).
Research Group on Natural Computing Report 03/2004. Universidad de Sevilla,
2004, 87 páginas.
-
SimCM: Un simulador JAVA para sistemas P de transición
presentado por Dª. Isabel Nepomuceno Chamorro en junio de 2004,
como Proyecto Fin de Carrera de Ingeniería Informática (codirector
del proyecto: Dr. D. Fernando Sancho Caparrini).
-
Effective cellular solutions for numerical NP-complete problems: Design,
Verification and Implementation
presentado por D. Agustín Riscos Núñez en septiembre de 2003, en Tarragona
dentro del First International PhD program in Formal Language and
Applications
Trabajos de Lógica y Computación, Ciencias de la Computación e Inteligencia
Artificial, Universidad de Sevilla, sección III, núm. 2 (2003), IV + 105
páginas.
-
Uso de recursos precomputados en sistemas celulares
presentado por D. Antonio J. Ramos Espina en julio de 2003, para la
obtención del Diploma de Estudios Avanzados en Ciencias de la Computación
e Inteligencia Artificial
Trabajos de Lógica y Computación, Ciencias de la Computación e Inteligencia
Artificial, Universidad de Sevilla, sección III, núm. 1 (2003), 100 páginas
-
Combinatoria en modelos moleculares sin memoria basados en ADN. Aplicaciones
presentado por D. Daniel Díaz Pernil en mayo de 2002, para la
obtención del Diploma de Estudios Avanzados en Ciencias de la Computación
e Inteligencia Artificial
Trabajos de Lógica y Computación, Ciencias de la Computación e Inteligencia
Artificial, Universidad de Sevilla, sección III, núm. 1 (2002), VI +
122 páginas.
-
Ordenación paralela externa en dos arquitecturas paralelas: SIMD-Tree y
MIMD-Pipeline
presentado por D. Agustín Riscos Núñez en diciembre de 2001, para la
obtención del Diploma de Estudios Avanzados en Ciencias de la Computación
e Inteligencia Artificial
Trabajos de Lógica y Computación, Ciencias de la Computación e Inteligencia
Artificial, Universidad de Sevilla, sección III, núm. 6 (2001), 62 páginas.
-
Simulación de Máquinas de Turing y máquinas PRAM-CREW en modelos moleculares
basados en ADN
presentado por Dª Carmen Graciani Díaz en diciembre de 2001, para la
obtención del Diploma de Estudios Avanzados en Ciencias de la Computación
e Inteligencia Artificial
Trabajos de Lógica y Computación, Ciencias de la Computación e Inteligencia
Artificial, Universidad de Sevilla, sección III, núm. 5 (2001), 60 páginas.
-
Sobre teorías aritméticas diofánticamente indecidibles
presentado por D. Alvaro Romero Jiménez en diciembre de 2001, para la
obtención del Diploma de Estudios Avanzados en Ciencias de la Computación
e Inteligencia Artificial
Trabajos de Lógica y Computación, Ciencias de la Computación e Inteligencia
Artificial, Universidad de Sevilla, sección III, núm. 4 (2001), 48 páginas.
-
Resolución y verificación de problemas numéricos NP completos en modelos
moleculares basados en ADN
presentado por D. Fernando Sancho Caparrini en diciembre de 2001, para la
obtención del Diploma de Estudios Avanzados en Ciencias de la Computación
e Inteligencia Artificial
Trabajos de Lógica y Computación, Ciencias de la Computación e Inteligencia
Artificial, Universidad de Sevilla, sección III, núm. 3 (2001), 58 páginas.
-
SWARM: Un programa de Vida Artificial
presentado por D. Justo Blázquez Gallego en noviembre de 2000, para la
obtención del Diploma de Estudios Avanzados en Ciencias de la Computación e Inteligencia Artificial
Trabajos de Lógica y Computación, Ciencias de la Computación e Inteligencia
Artificial, Universidad de Sevilla, sección III, núm. 2 (2000), IV + 97
páginas.
-
Inducción débil en OTTER
presentado por Dª. María del C. Graciani Díaz en julio de 1998, dentro del
Programa de Doctorado Computación, Inteligencia Artificial y Tecnología de Computadores
Trabajos de Lógica y Computación, Ciencias de la Computación e Inteligencia
Artificial, Universidad de Sevilla,
sección III, núm. 4 (1998), 137 páginas.
-
Exponenciación y Fragmentos de la Aritmética
Tesina presentada por D. Alvaro Romero Jiménez en junio de 1997, para optar
al grado de Licenciado en Matemáticas.
Trabajos de Lógica y Computación, Ciencias de la Computación e Inteligencia
Artificial, Universidad de Sevilla,
sección III, núm. 3 (1997), VIII + 85 páginas.
-
Un modelo matemático para la compilación y consulta eficiente de grandes bases
de conocimiento
presentado por D. José F. Quesada Moreno en diciembre de 1994, dentro del
Programa de Doctorado Computación, Inteligencia Artificial y Tecnología de Computadores