Ciencias de la Computación e Inteligencia Artificial
Sede y centros afectados
Dirección:
|
Facultad de Matemáticas C/ Tarfia, s/n 41012 - Sevilla |
|
Docencia en otros Centros:
E.T.S. de Ingeniería InformáticaComponentes del Departamento
Catedráticos
Dr. D. Mario de Jesús Pérez Jiménez
Profesores Titulares
Dr. D. José Antonio Alonso Jiménez (Director del Departamento)
Dr. D. Juan José Arrabal Parrilla
Dr. D. Joaquín Borrego Díaz
Dr. D. Miguel Ángel Gutiérrez Naranjo
Dra. Dª. María José Hidalgo Doblado
Dr. D. Francisco Félix Lara Martín
Dr. D. Agustín Riscos Fernández
Profesores Contratados Doctores (LOU)
Dª. Antonia María Chávez González
Dr. D. Andrés Cordón Franco
Dra. Dª. María del Carmen Graciani Díaz (Secretaria del Departamento)
Dr. D. Francisco Jesús Martín Mateos
Dr. D. Agustín Riscos Núñez
Dr. D. Álvaro Romero Jiménez
Dr. D. José Luis Ruiz Reina
Dr. D. Fernando Sancho Caparrini
Profesores Sustitutos Interinos
Dr. D. David Fernández Duque
D. Ignacio Pérez Hurtado de Mendoza
D. Luis Valencia Cabrera
Profesores Asociados
Dr. D. José Francisco Quesada Moreno (Adscrito al Dpto. de Ciencias de la Computación)
Contratados Retorno Juan de la Cierva
Dr. D. Francisco José Romero Campero
Contratados con cargo a Proyectos
D. Juan Galán Páez
D. Luis Felipe Macías Ramos
Dr. D. Gheorghe V. Paün
Personal Investigador en Formación
D. Manuel Garcia-Quismondo Fernandez
D. Miguel Angel Martínez del Amor
Colaboradores y Asistentes
D. Gonzalo Antonio Aranda Corral
Personal de Administración y Servicios
Dª. María del Carmen Pérez Cardona
Financiación general del Departamento
| Presupuesto General | 21.290,00 € |
| Programas de Doctorado | 1.174,95 € |
| Plan Propio de la Universidad de Sevilla | 1.425,00 € |
Grupos de Investigación adscritos al Departamento
Estud.estad.e Hist.series Temp.en Andalucia,XIX-XX (SEJ189): Universidad de Sevilla
Responsable: Juan Jose Arrabal Parrilla
Componentes: Inglis Gordon Douglas(*), Miguel de la Hoz Gandara(*), Luis Lobo Manzano(*), Jose Morilla Critz(*)
Logica, Computacion e Ingenieria del Conocimiento (TIC137): Universidad de Sevilla
Responsable: Jose Antonio Alonso Jimenez
Componentes: Gonzalo Antonio Aranda Corral, Joaquin Borrego Diaz, Antonia Mª Chavez Gonzalez, Andres Cordon Franco, Alejandro Fernandez Margarit(*), David Fernández Duque, Maria Jose Hidalgo Doblado, Francisco Felix Lara Martin, Francisco Jesus Martin Mateos, Agustin Riscos Fernandez, Jose Luis Ruiz Reina
Ayudas/Contratos/Proyectos gestionados por la USE en los que participan miembros de este Grupo en el Departamento:
- Conceptos Emergentes en Sistemas Complejos. Aplicaciones en Entornos Urbanos y en Complejidad Cultural (Proy. Exce. J.A.) Vigencia: 2011-2015 - Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas: 191.625,00 €.
Integrantes: Joaquín Borrego Díaz (Resp.), José Antonio Alonso Jiménez, Gonzalo Antonio Aranda Corral, William Rey Ashfield , Rafael Blanquero Bravo, Antonia María Chávez González, Juan Carlos García Vázquez, Francisco Félix Lara Martín, María del Mar Loren Méndez, José Pérez de Lama Halcón, Fernando Sancho Caparrini, Juan Luis Suarez Sánchez de León - Conciencia, Lógica y Computación (PN-2011 - Coordinado) Vigencia: 2012-2014 - Ministerio de Ciencia e Innovación: 58.080,00 €.
Integrantes: Ángel Nepomuceno Fernández (Resp.), Atocha Aliseda Llera, Cristina Barés Gómez, Juliana Bueno Soler, Walter Alexandre Carnielli , Marcelo Esteban Coniglio , David Fernández Duque, Ignacio Hernández Antón, María Teresa López Soto, José Francisco Quesada Moreno, Francisco José Salguero Lamillar, Fernando Soler Toscano, Tero Eljas Tulenheimo , Hans Pieter Van Ditmarsch - Interpretaciones Alternativas de Lógicas no Clásicas (Ialnoc) (Proy. Exce. J.A.) Vigencia: 2011-2015 - Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas: 158.247,00 €.
Integrantes: Ángel Nepomuceno Fernández (Resp.), Atocha Aliseda Llera, Cristina Barés Gómez, Juliana Bueno Soleer, Walter Alexandre Carnielli , Marcelo Esteban Coniglio , Andrés Cordón Franco, David Fernández Duque, Emilio francisco Gomez-caminero Parejo, Ignacio Hernández Antón, Joost Johannes Joosten , Francisco Félix Lara Martín, Francisco José Salguero Lamillar, Fernando Soler Toscano, Tero Eljas Tulenheimo , Hans Pieter Van Ditmarsch , Fernando Velázquez Quesada - La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención (OPN - Internal. I+D+i) Vigencia: 2011-2012 - Ministerio de Ciencia e Innovación: 5.000,00 €.
Integrantes: Francisco José Salguero Lamillar (Resp.), Cristina Barés Gómez, Andrés Cordón Franco, David Fernández Duque, Luis Fernández Moreno, Ignacio Hernández Antón, Joost Johannes Joosten , Pascual Martínez Freire, Ángel Nepomuceno Fernández, Mario de Jesús Pérez Jiménez, Olga Pombo Martins, Andrés Rivadulla Rodríguez, Fernando Soler Toscano, Hans Pieter Van Ditmarsch - Lógica de Protocolos Incondicionalmente Seguros (Proy. Exce. J.A.) Vigencia: 2009-2014 - Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas: 506.623,68 €.
Integrantes: Hans Pieter Van Ditmarsch (Resp.), Atocha Aliseda Llera, Cristina Barés Gómez, Andrés Cordón Franco, David Fernández Duque, Emilio francisco Gomez-caminero Parejo, Ángel Nepomuceno Fernández, Francisco José Salguero Lamillar, Fernando Soler Toscano, Ángel Vahí Serrano - Modelo lógico-computacional para la evolución de teorías sobre conceptos formales (PN-2009) Vigencia: 2010-2012 - Ministerio de Ciencia e Innovación: 57.959,00 €.
Integrantes: Joaquín Borrego Díaz (Resp.), José Antonio Alonso Jiménez, Gonzalo Antonio Aranda Corral, Antonia María Chávez González
Computacion Natural (TIC193): Universidad de Sevilla
Grupo Interdepartamental con el Dpto. Análisis Matemático(1).
Responsable: Mario Jesús Pérez Jiménez
Componentes: Juan Carlos García Vázquez(1), Manuel Garcia Quismondo Fernandez, Mª del Carmen Graciani Díaz, Miguel Angel Gutierrez Naranjo, Luis Felipe Macias Ramos, Miguel Ángel Martínez del Amor, Gheorghe Paun , Ignacio Pérez Hurtado de Mendoza, Agustin Riscos Nuñez, Álvaro Romero Jiménez, Francisco José Romero Campero, Fernando Sancho Caparrini, Luis Valencia Cabrera
Ayudas/Contratos/Proyectos gestionados por la USE en los que participan miembros de este Grupo en el Departamento:
- Computación celular: aplicación a la biología de sistema y sintética (PN-2009) Vigencia: 2010-2012 - Ministerio de Ciencia e Innovación: 149.556,00 €.
Integrantes: Mario de Jesús Pérez Jiménez (Resp.), María Angels Colomer Cugat, Daniel Díaz Pernil, Manuel Garcia-Quismondo Fernandez, María del Carmen Graciani Díaz, Miguel Ángel Gutiérrez Naranjo, Rosa M. Gutiérrez Escudero, Miguel Angel Martínez del Amor, Enrique Francisco Orejuela Pinedo, Gheorghe V. Paün , Agustín Riscos Núñez, Álvaro Romero Jiménez, Francisco José Romero Campero - Conceptos Emergentes en Sistemas Complejos. Aplicaciones en Entornos Urbanos y en Complejidad Cultural (Proy. Exce. J.A.) Vigencia: 2011-2015 - Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas: 191.625,00 €.
Integrantes: Joaquín Borrego Díaz (Resp.), José Antonio Alonso Jiménez, Gonzalo Antonio Aranda Corral, William Rey Ashfield , Rafael Blanquero Bravo, Antonia María Chávez González, Juan Carlos García Vázquez, Francisco Félix Lara Martín, María del Mar Loren Méndez, José Pérez de Lama Halcón, Fernando Sancho Caparrini, Juan Luis Suarez Sánchez de León - Congreso Internacional sobre Desarrollos en Computación con Membranas (Acc. Compl.) Vigencia: 2012-2013 - Ministerio de Ciencia e Innovación: 5.000,00 €.
Integrantes: Mario de Jesús Pérez Jiménez (Resp.), Gheorghe Paun , Agustín Riscos Núñez, Francisco José Romero Campero - De la Computación Celular a la Computación de Alto Rendimiento. Aplicación a la Dinámica de Poblaciones. (PN 2012) Vigencia: 2013-2015 - Ministerio de Economía y Competitividad 94.208,40 €.
Integrantes: Mario de Jesús Pérez Jiménez (Resp.), Manuel Garcia-Quismondo Fernandez, María del Carmen Graciani Díaz, Miguel Ángel Gutiérrez Naranjo, Miguel Angel Martínez del Amor, Gheorghe Paun , Ignacio Pérez Hurtado de Mendoza, Agustín Riscos Núñez, Francisco José Romero Campero, Álvaro Romero Jiménez - La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención (OPN - Internal. I+D+i) Vigencia: 2011-2012 - Ministerio de Ciencia e Innovación: 5.000,00 €.
Integrantes: Francisco José Salguero Lamillar (Resp.), Cristina Barés Gómez, Andrés Cordón Franco, David Fernández Duque, Luis Fernández Moreno, Ignacio Hernández Antón, Joost Johannes Joosten , Pascual Martínez Freire, Ángel Nepomuceno Fernández, Mario de Jesús Pérez Jiménez, Olga Pombo Martins, Andrés Rivadulla Rodríguez, Fernando Soler Toscano, Hans Pieter Van Ditmarsch - Modelado y Simulación Computacional en Biología de Sistemas (Proy. Exce. J.A.) Vigencia: 2009-2013 - Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas: 528.403,68 €.
Integrantes: Gheorghe V. Paün (Resp.), Daniel Díaz Pernil, Manuel Garcia-Quismondo Fernandez, María del Carmen Graciani Díaz, Miguel Ángel Gutiérrez Naranjo, Beverley Marie Henley , Luis Felipe Macías Ramos, Mario de Jesús Pérez Jiménez, Ignacio Pérez Hurtado de Mendoza, Agustín Riscos Núñez, Álvaro Romero Jiménez, Francisco José Romero Campero, Luis Valencia Cabrera, Damien Paul Woods - Renovación y nuevas actividades de la red temática en computación biomolecular y biocelular (Acc. Compl.) - Ministerio de Ciencia e Innovación: 11.000,00 €.
Integrantes: Mario de Jesús Pérez Jiménez (Resp.), Juan Bautista Castellanos Peñuela, María Angels Colomer Cugat, Alfonso Rodríguez-Patón Aradas, José María Sempere Luna - The Hispanic Baroque: Complexity in the First Atlantic Culture (Internal.) Vigencia: 2009-2014 - The University of Western Ontario (Social Sciences and Humanities Research Council of Canada) (Social Sciences and Humanities Research Council of Canada): 73.532,80 €.
Integrantes: Fernando Sancho Caparrini (Resp.)
Investigadores en Grupos de Investigación de otras Instituciones
Sistemas de Diálogo Hablado y Multimodal (TIC018): Universidad de Granada
Componentes: Jose Francisco Quesada Moreno
Ayudas/Contratos/Proyectos gestionados por la USE en los que participan miembros de este Grupo en el Departamento:
- Conciencia, Lógica y Computación (PN-2011 - Coordinado) Vigencia: 2012-2014 - Ministerio de Ciencia e Innovación: 58.080,00 €.
Integrantes: Ángel Nepomuceno Fernández (Resp.), Atocha Aliseda Llera, Cristina Barés Gómez, Juliana Bueno Soler, Walter Alexandre Carnielli , Marcelo Esteban Coniglio , David Fernández Duque, Ignacio Hernández Antón, María Teresa López Soto, José Francisco Quesada Moreno, Francisco José Salguero Lamillar, Fernando Soler Toscano, Tero Eljas Tulenheimo , Hans Pieter Van Ditmarsch
Otros Proyectos
- Epistemic protocol synthesis (STARTING GRANT) (Acc. Compl.) Vigencia: 2012-2014 - Ministerio de Ciencia e Innovación: 75.000,00 €.
Integrantes: Fernando Soler Toscano (Resp.), Hans Pieter Van Ditmarsch (Resp.), Andrés Cordón Franco, David Fernández Duque, Fernando Velázquez Quesada
Tesis doctorales
"Formalización en Isar de la metalógica de primer orden"
Doctorando: Serrano-Suárez, Fabián Fernando
Directores: José Antonio Alonso Jiménez y Francisco Jesús Martín Mateos
Calificación: Sobresaliente cum laude, E.T.S. Ingeniería Informática, 12 de junio.
Publicaciones
Libros
Alonso Jimenez, Jose Antonio: Ejercicios de Lógica Informática (2012-13). Sevilla, España. OpenLibra. 2012. 338
Capítulos en Libros
Aranda Corral, Gonzalo Antonio, Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª: Repairing conceptual relations in ontologies by means of an interactive visual reasoning: Cognitive and design principles. Vol. 1. Pag. 739-744. En: Cognitive Infocommunications (CogInfoCom), 2012 IEEE 3rd International Conference on. IEEE Xplore. 2012. ISBN 978-1-4673-5187-4
Garcia Quismondo Fernandez, Manuel, Macias Ramos, Luis Felipe, Pérez Jiménez, Mario Jesús: Implementing enzymatic numerical P systems for AI applications by means of graphic processing units. Vol. 4. Pag. 137-159. En: Beyond Artificial Intelligence. Topics in Intelligent Engineering and Informatics. Springer Berlin Heidelberg. 2012. ISBN 978-3-642-34421-3
Garcia Quismondo Fernandez, Manuel, Macias Ramos, Luis Felipe, Pérez Jiménez, Mario Jesús: Implementing enzymatic numerical P systems for AI applications by means of graphic processing units. Vol. 4. Pag. 137-159. En: Beyond Artificial Intelligence. Topics in Intelligent Engineering and Informatics. Springer Berlin Heidelberg. 2012. ISBN 978-3-642-34421-3
Publicaciones en Revistas
Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª: Semantic Geodemography and Urban Interoperability. En: Communications in computer and information science (Print). 2012. Núm. 343. Pag. 1-12
Cabarle, Francis G., Adorna, Henry N., Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús: Improving GPU Simulations of Spiking Neural P Systems. En: Romanian Journal of Information Science and Technology. 2012. Vol. 15. Núm. 1. Pag. 5-20
Cabarle, Francis G., Adorna, Henry, Martínez del Amor, Miguel Ángel: A Spiking Neural P System Simulator Based on CUDA. En: Lecture Notes in Computer Science. 2012. Vol. 7184. Pag. 87-103
Cecilia, Jose Maria, García, Jose Mª, Guerrero, Ginés D., Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús, et. al.: The Gpu on the Simulation of Cellular Computing Models. En: Soft computing (Berlin. Print). 2012. Vol. 16. Núm. 2. Pag. 231-246
Colomer Cardona, María Angels, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin: Comparing simulation algorithms for multienvironment probabilistic Psystem over a standard virtual ecosystem. En: Natural Computing. 2012. Vol. 11. Pag. 369-379
Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, Soler Toscano, Fernando: A secure additive protocol for card players. En: The Australasian Journal of Combinatorics. 2012. Vol. 54. Pag. 163-175
Díaz Pernil, Daniel, Christinal, Hepzibah Anandharaj, Gutierrez Naranjo, Miguel Angel, Real Jurado, Pedro: Using Membrane Computing for Effective Homology. En: Applicable Algebra in Engineering, Communication and Computing. 2012. Vol. 23. Núm. 5-6. Pag. 233-249
Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel, Molina Abril, Helena, Real Jurado, Pedro: Designing a New Software Tool for Digital Imagery Based on P Systems. En: Natural Computing. 2012. Vol. 11. Núm. 3. Pag. 381-386
Fernandez Duque, David: A sound and complete axiomatization for dynamic topological logic. En: The Journal of symbolic logic. 2012. Vol. 77. Núm. 3. Pag. 947-969
Fernandez Duque, David: Dynamic topological logic of metric spaces. En: The Journal of symbolic logic. 2012. Vol. 77. Núm. 1. Pag. 308-328
Fernandez Duque, David: Tangled modal logic for topological dynamics. En: Annals of pure and applied logic (Print). 2012. Vol. 163. Núm. 4. Pag. 467-481
Gheorghe, Marian, Ipate, Florentin, Lefticaru, Raluca, Pérez Jiménez, Mario Jesús, Turcanu, Adrian, et. al.: 3-COL problem modelling using simple Kernel P systems. En: International Journal of Computer Mathematics. 2012. Vol. 90. Núm. 4. Pag. 816-830
Gutierrez Naranjo, Miguel Angel: Designing a new software tool for Digital Imagery based on P systems. En: Natural Computing. 2012. Vol. 11. Núm. 3. Pag. 381-386
Ipate, Florentin, Lefticaru, Raluca, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Tudose, Christina: Formal verification of P systems with active membranes through model checking. En: Lecture Notes in Computer Science. 2012. Vol. 7184. Pag. 215-225
Ipate, Florentin, Lefticaru, Raluca, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Tudose, Cristina: Formal verification of P systems with active membranes through model checking. En: Lecture Notes in Computer Science. 2012. Vol. 7184. Pag. 215-225
Lambán Pardo, Laureano, Martin Mateos, Francisco Jesus, Rubio García, Julio, Ruiz Reina, Jose Luis: Formalization of a Normalization Theorem in Simplicial Topology. En: Annals of mathematics and artificial intelligence. 2012. Vol. 64. Núm. 1. Pag. 1-37
López Cózar Delgado, Ramón, Ábalos Serrano, Nieves, Espejo Pérez, Gonzalo, Griol Barres, David, Quesada Moreno, Jose Francisco: Sistema Basado en Procesamiento de Lenguaje Natural para Apoyo al Aprendizaje de Alumnos Universitarios. En: Relada. 2012. Vol. 6(2). Pag. 206-214
Macias Ramos, Luis Felipe, Pérez Hurtado de Mendoza, Ignacio, Garcia Quismondo Fernandez, Manuel, Valencia Cabrera, Luis, Pérez Jiménez, Mario Jesús: A P-Lingua based simulator for Spiking Neural P systems. En: Lecture Notes in Computer Science. 2012. Vol. 7184. Pag. 257-281
Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Gastalver Rubio, Adolfo, Elster, Anne C., Pérez Jiménez, Mario Jesús: Population Dynamics P Systems on CUDA. En: Lecture Notes in Computer Science. 2012. Vol. 7605. Pag. 247-266
Nepomuceno Fernandez, Angel, Pérez Jiménez, Mario Jesús: Programas Moleculares y Sistemas Lógico-formales. En: Kairos. Revista da Filosofia e Ciencia. 2012. Vol. 5. Pag. 77-89
Niu, Yunyun, Pérez Jiménez, Mario Jesús: Solving Common Algorithmic Problem with recognizer tissue P systems. En: Romanian Journal of Information Science and Technology. 2012. Vol. 15. Núm. 1. Pag. 33-49
Paun, Gheorghe, Pérez Jiménez, Mario Jesús: An infinite hierarchy of languages defined by dP systems. En: Theoretical computer science. 2012. Vol. 431. Pag. 4-12
Paun, Gheorghe, Pérez Jiménez, Mario Jesús: Languages and P systems: Recent developments. En: Computer Science Journal of Moldova. 2012. Vol. 20. Núm. 2-59. Pag. 112-132
Paun, Gheorghe, Pérez Jiménez, Mario Jesús: P automata revisited. En: Theoretical computer science. 2012. Vol. 454. Pag. 222-230
Paun, Gheorghe, Pérez Jiménez, Mario Jesús: Towards bridging two cell-inspired models: P systems and R systems. En: Theoretical computer science. 2012. Vol. 429. Pag. 258-264
Paun, Gheorghe, Pérez Jiménez, Mario Jesús: dP automata versus right-linear simple matrix grammars. En: Lecture Notes in Computer Science. 2012. Vol. 7160. Pag. 376-387
Peng, Hong, Wang, Jun, Pérez Jiménez, Mario Jesús, Wang, Hao, Shao, Jie, et. al.: Fuzzy reasoning spiking neural P system for fault diagnosis. En: Information Sciences. 2012. Vol. 235. Pag. 106-116
Peña Cantillana, Francisco, Berciano Alcaraz, Ainhoa, Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel: Parallel Skeletonizing of Digital Images by Using Cellular Automata. En: Lecture Notes in Computer Science. 2012. Vol. 7309. Pag. 39-48
Salguero Lamillar, Francisco Jose, Fernandez Duque, David, Nepomuceno Fernandez, Angel: Tableaux for Structural Abduction. En: Logic journal of the IGPL (Print). 2012. Vol. 20. Núm. 2. Pag. 388-399
Soler Toscano, Fernando, Fernandez Duque, David, Nepomuceno Fernandez, Angel: A modal framework for modelling abductive reasoning. En: Logic journal of the IGPL (Print). 2012. Vol. 20. Núm. 2. Pag. 438-444
Stepney, Susan, Abramsky, Samson, Bechmann, Matthias, Gorecki, Jerzy, Kendon, Viv, et. al.: Heterotic Computing Examples with Optics, Bacteria, and Chemicals. En: Lecture Notes in Computer Science. 2012. Vol. 7445. Pag. 198-209
Cabarle, Francis G., Adorna, Henry N., Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús: Improving GPU Simulations of Spiking Neural P Systems. En: Romanian Journal of Information Science and Technology. 2012. Vol. 15. Núm. 1. Pag. 5-20
Cabarle, Francis G., Adorna, Henry, Martínez del Amor, Miguel Ángel: A Spiking Neural P System Simulator Based on CUDA. En: Lecture Notes in Computer Science. 2012. Vol. 7184. Pag. 87-103
Cecilia, Jose Maria, García, Jose Mª, Guerrero, Ginés D., Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús, et. al.: The Gpu on the Simulation of Cellular Computing Models. En: Soft computing (Berlin. Print). 2012. Vol. 16. Núm. 2. Pag. 231-246
Colomer Cardona, María Angels, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin: Comparing simulation algorithms for multienvironment probabilistic Psystem over a standard virtual ecosystem. En: Natural Computing. 2012. Vol. 11. Pag. 369-379
Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, Soler Toscano, Fernando: A secure additive protocol for card players. En: The Australasian Journal of Combinatorics. 2012. Vol. 54. Pag. 163-175
Díaz Pernil, Daniel, Christinal, Hepzibah Anandharaj, Gutierrez Naranjo, Miguel Angel, Real Jurado, Pedro: Using Membrane Computing for Effective Homology. En: Applicable Algebra in Engineering, Communication and Computing. 2012. Vol. 23. Núm. 5-6. Pag. 233-249
Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel, Molina Abril, Helena, Real Jurado, Pedro: Designing a New Software Tool for Digital Imagery Based on P Systems. En: Natural Computing. 2012. Vol. 11. Núm. 3. Pag. 381-386
Fernandez Duque, David: A sound and complete axiomatization for dynamic topological logic. En: The Journal of symbolic logic. 2012. Vol. 77. Núm. 3. Pag. 947-969
Fernandez Duque, David: Dynamic topological logic of metric spaces. En: The Journal of symbolic logic. 2012. Vol. 77. Núm. 1. Pag. 308-328
Fernandez Duque, David: Tangled modal logic for topological dynamics. En: Annals of pure and applied logic (Print). 2012. Vol. 163. Núm. 4. Pag. 467-481
Gheorghe, Marian, Ipate, Florentin, Lefticaru, Raluca, Pérez Jiménez, Mario Jesús, Turcanu, Adrian, et. al.: 3-COL problem modelling using simple Kernel P systems. En: International Journal of Computer Mathematics. 2012. Vol. 90. Núm. 4. Pag. 816-830
Gutierrez Naranjo, Miguel Angel: Designing a new software tool for Digital Imagery based on P systems. En: Natural Computing. 2012. Vol. 11. Núm. 3. Pag. 381-386
Ipate, Florentin, Lefticaru, Raluca, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Tudose, Christina: Formal verification of P systems with active membranes through model checking. En: Lecture Notes in Computer Science. 2012. Vol. 7184. Pag. 215-225
Ipate, Florentin, Lefticaru, Raluca, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Tudose, Cristina: Formal verification of P systems with active membranes through model checking. En: Lecture Notes in Computer Science. 2012. Vol. 7184. Pag. 215-225
Lambán Pardo, Laureano, Martin Mateos, Francisco Jesus, Rubio García, Julio, Ruiz Reina, Jose Luis: Formalization of a Normalization Theorem in Simplicial Topology. En: Annals of mathematics and artificial intelligence. 2012. Vol. 64. Núm. 1. Pag. 1-37
López Cózar Delgado, Ramón, Ábalos Serrano, Nieves, Espejo Pérez, Gonzalo, Griol Barres, David, Quesada Moreno, Jose Francisco: Sistema Basado en Procesamiento de Lenguaje Natural para Apoyo al Aprendizaje de Alumnos Universitarios. En: Relada. 2012. Vol. 6(2). Pag. 206-214
Macias Ramos, Luis Felipe, Pérez Hurtado de Mendoza, Ignacio, Garcia Quismondo Fernandez, Manuel, Valencia Cabrera, Luis, Pérez Jiménez, Mario Jesús: A P-Lingua based simulator for Spiking Neural P systems. En: Lecture Notes in Computer Science. 2012. Vol. 7184. Pag. 257-281
Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Gastalver Rubio, Adolfo, Elster, Anne C., Pérez Jiménez, Mario Jesús: Population Dynamics P Systems on CUDA. En: Lecture Notes in Computer Science. 2012. Vol. 7605. Pag. 247-266
Nepomuceno Fernandez, Angel, Pérez Jiménez, Mario Jesús: Programas Moleculares y Sistemas Lógico-formales. En: Kairos. Revista da Filosofia e Ciencia. 2012. Vol. 5. Pag. 77-89
Niu, Yunyun, Pérez Jiménez, Mario Jesús: Solving Common Algorithmic Problem with recognizer tissue P systems. En: Romanian Journal of Information Science and Technology. 2012. Vol. 15. Núm. 1. Pag. 33-49
Paun, Gheorghe, Pérez Jiménez, Mario Jesús: An infinite hierarchy of languages defined by dP systems. En: Theoretical computer science. 2012. Vol. 431. Pag. 4-12
Paun, Gheorghe, Pérez Jiménez, Mario Jesús: Languages and P systems: Recent developments. En: Computer Science Journal of Moldova. 2012. Vol. 20. Núm. 2-59. Pag. 112-132
Paun, Gheorghe, Pérez Jiménez, Mario Jesús: P automata revisited. En: Theoretical computer science. 2012. Vol. 454. Pag. 222-230
Paun, Gheorghe, Pérez Jiménez, Mario Jesús: Towards bridging two cell-inspired models: P systems and R systems. En: Theoretical computer science. 2012. Vol. 429. Pag. 258-264
Paun, Gheorghe, Pérez Jiménez, Mario Jesús: dP automata versus right-linear simple matrix grammars. En: Lecture Notes in Computer Science. 2012. Vol. 7160. Pag. 376-387
Peng, Hong, Wang, Jun, Pérez Jiménez, Mario Jesús, Wang, Hao, Shao, Jie, et. al.: Fuzzy reasoning spiking neural P system for fault diagnosis. En: Information Sciences. 2012. Vol. 235. Pag. 106-116
Peña Cantillana, Francisco, Berciano Alcaraz, Ainhoa, Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel: Parallel Skeletonizing of Digital Images by Using Cellular Automata. En: Lecture Notes in Computer Science. 2012. Vol. 7309. Pag. 39-48
Salguero Lamillar, Francisco Jose, Fernandez Duque, David, Nepomuceno Fernandez, Angel: Tableaux for Structural Abduction. En: Logic journal of the IGPL (Print). 2012. Vol. 20. Núm. 2. Pag. 388-399
Soler Toscano, Fernando, Fernandez Duque, David, Nepomuceno Fernandez, Angel: A modal framework for modelling abductive reasoning. En: Logic journal of the IGPL (Print). 2012. Vol. 20. Núm. 2. Pag. 438-444
Stepney, Susan, Abramsky, Samson, Bechmann, Matthias, Gorecki, Jerzy, Kendon, Viv, et. al.: Heterotic Computing Examples with Optics, Bacteria, and Chemicals. En: Lecture Notes in Computer Science. 2012. Vol. 7445. Pag. 198-209
Otra participación en Libros de Actas
Martínez del Amor, Miguel Ángel (Editor), Paun, Gheorghe (Editor), Pérez Hurtado de Mendoza, Ignacio (Editor), Romero Campero, Francisco José (Editor): "Tenth Brainstorming Week on Membrane Computing. Volume I". 2012. ISBN 978-84-940056-5-7. - Sevilla - ESPAÑA
Aportaciones a Congresos
Ardelean, Ioan, Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel, Peña Cantillana, Francisco, Reina Molina, Raúl, et. al.: Counting Cells with Tissue-like P Systems. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012
Díaz Pernil, Daniel, Peña Cantillana, Francisco, Gutierrez Naranjo, Miguel Angel: Skeletonizing Images by Using Spiking Neural P Systems. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. 2012
Freund, Rudolf, Pérez Hurtado de Mendoza, Ignacio, Riscos Nuñez, Agustin, Verlan, Sergey: A formal framework for P systems with dynamic structure. Comunicación en congreso. 13th International Conference on Membrane Computing. Budapest , Hungría. 2012
Garcia Quismondo Fernandez, Manuel, Pavel, Ana B., Pérez Jiménez, Mario Jesús: Simulating Large-Scale ENPS Models by Means of GPU. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012
Garcia Quismondo Fernandez, Manuel, Valencia Cabrera, Luis, Su, Yansen, Pérez Jiménez, Mario Jesús, Pan, Linqiang, et. al.: Modeling logic gene networks by means of probabilistic dynamic P systems. Comunicación en congreso. Asian Conference on Membrane Computing. Wuhan - CHINA. 2012
García Vázquez, Juan Carlos, Sancho Caparrini, Fernando, Rodríguez Gómez, Salvador: Biham-Middleton-Levine traffic model in two dimensional hexagonal lattice. Comunicación en congreso. European Conference on Complex Systems Satellites. Bélgica, Bruselas. 2012
Juayong, Richelle A. B., Cabarle, Francis G., Adorna, Henry N., Martínez del Amor, Miguel Ángel: On the Simulations of Evolution-Communication P Systems with Energy without Antiport Rules for GPUs. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. DEPARTAMENTO DE CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL DE LA UNIVERSIDAD DE SEVILLA, Universidad de Sevilla, Universidad de Sevilla. 2012
Macias Ramos, Luis Felipe, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Rius Font, Miquel, Valencia Cabrera, Luis: The efficiency of tissue P systems with cell separation relies on the environment. Comunicación en congreso. Thirteen International Conference on Membrane Computing. Budapest, Hungría. 2012
Martínez del Amor, Miguel Ángel, Karlin, Ian, Jensen, Rune E., Pérez Jiménez, Mario Jesús, Elster, Anne C.: Parallel Simulation of Probabilistic P Systems on Multicore Platforms. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. DEPARTAMENTO DE CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL DE LA UNIVERSIDAD DE SEVILLA, Universidad de Sevilla, Universidad de Sevilla. 2012
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. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012
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
Pérez Jiménez, Mario Jesús, Gheorghe, Marian, Paun, Gheorghe: Frontiers of Membrane Computing: Open problems and research topics. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012
Pérez Jiménez, Mario Jesús, Ipate, Florentin, Dragomir, Ciprian, Lefticaru, Raluca, Mierla, Laurentiu: Using A Kernel P Systems To Solve The 3-Col Problem. Comunicación en congreso. 13th International Conference on Membrane Computing. Budapest , Hungría. 2012
Pérez Jiménez, Mario Jesús, Macias Ramos, Luis Felipe: On recent developments in P-lingua based simulators for Spiking Neural P Systems. Comunicación en congreso. Asian Conference on Membrane Computing. Wuhan - CHINA. 2012
Pérez Jiménez, Mario Jesús, Macias Ramos, Luis Felipe: Spiking Neural P systems with functional astrocytes. Comunicación en congreso. 13th International Conference on Membrane Computing. Budapest , Hungría. 2012
Pérez Jiménez, Mario Jesús, Peng, Hong, Shao, Jie, Li, Bing, Wang, Jun, et. al.: Image tresholding with cell-like P systems. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012
Pérez Jiménez, Mario Jesús, Porreca, Antonio, Murphy, Niall: An optimal frontier of the efficiency of tissue P systems with cell division. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Sevilla, Spain. 2012
Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Rius, Miquel, Romero Campero, Francisco José: The role of the environment in tissue like P systems with cell division. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012
Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Rius, Miquel: The efficiency of tissue P systems with cell separation relies on the environment. Comunicación en congreso. 13th International Conference on Membrane Computing. Budapest , Hungría. 2012
Pérez Jiménez, Mario Jesús, Romero Campero, Francisco José: P systems as a modeling framework for molecular Systems Biology. Comunicación en congreso. Asian Conference on Membrane Computing. Wuhan - CHINA. 2012
Valencia Cabrera, Luis, Pérez Jiménez, Mario Jesús: Towards an integrated approach for model simulation, property extraction and verification P systems. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012
Zhang, Gexiang, Gutierrez Naranjo, Miguel Angel, Qin, Yanhui, Gheorghe, Marian, Cheng, Jixiang: A Population-Membrane-System-Inspired Evolutionary Algorithm for Distribution Network Reconfiguration. Comunicación en congreso. Asian Conference on Membrane Computing 2012. Wuhan - CHINA. 2012
Díaz Pernil, Daniel, Peña Cantillana, Francisco, Gutierrez Naranjo, Miguel Angel: Skeletonizing Images by Using Spiking Neural P Systems. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. 2012
Freund, Rudolf, Pérez Hurtado de Mendoza, Ignacio, Riscos Nuñez, Agustin, Verlan, Sergey: A formal framework for P systems with dynamic structure. Comunicación en congreso. 13th International Conference on Membrane Computing. Budapest , Hungría. 2012
Garcia Quismondo Fernandez, Manuel, Pavel, Ana B., Pérez Jiménez, Mario Jesús: Simulating Large-Scale ENPS Models by Means of GPU. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012
Garcia Quismondo Fernandez, Manuel, Valencia Cabrera, Luis, Su, Yansen, Pérez Jiménez, Mario Jesús, Pan, Linqiang, et. al.: Modeling logic gene networks by means of probabilistic dynamic P systems. Comunicación en congreso. Asian Conference on Membrane Computing. Wuhan - CHINA. 2012
García Vázquez, Juan Carlos, Sancho Caparrini, Fernando, Rodríguez Gómez, Salvador: Biham-Middleton-Levine traffic model in two dimensional hexagonal lattice. Comunicación en congreso. European Conference on Complex Systems Satellites. Bélgica, Bruselas. 2012
Juayong, Richelle A. B., Cabarle, Francis G., Adorna, Henry N., Martínez del Amor, Miguel Ángel: On the Simulations of Evolution-Communication P Systems with Energy without Antiport Rules for GPUs. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. DEPARTAMENTO DE CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL DE LA UNIVERSIDAD DE SEVILLA, Universidad de Sevilla, Universidad de Sevilla. 2012
Macias Ramos, Luis Felipe, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Rius Font, Miquel, Valencia Cabrera, Luis: The efficiency of tissue P systems with cell separation relies on the environment. Comunicación en congreso. Thirteen International Conference on Membrane Computing. Budapest, Hungría. 2012
Martínez del Amor, Miguel Ángel, Karlin, Ian, Jensen, Rune E., Pérez Jiménez, Mario Jesús, Elster, Anne C.: Parallel Simulation of Probabilistic P Systems on Multicore Platforms. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. DEPARTAMENTO DE CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL DE LA UNIVERSIDAD DE SEVILLA, Universidad de Sevilla, Universidad de Sevilla. 2012
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. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012
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
Pérez Jiménez, Mario Jesús, Gheorghe, Marian, Paun, Gheorghe: Frontiers of Membrane Computing: Open problems and research topics. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012
Pérez Jiménez, Mario Jesús, Ipate, Florentin, Dragomir, Ciprian, Lefticaru, Raluca, Mierla, Laurentiu: Using A Kernel P Systems To Solve The 3-Col Problem. Comunicación en congreso. 13th International Conference on Membrane Computing. Budapest , Hungría. 2012
Pérez Jiménez, Mario Jesús, Macias Ramos, Luis Felipe: On recent developments in P-lingua based simulators for Spiking Neural P Systems. Comunicación en congreso. Asian Conference on Membrane Computing. Wuhan - CHINA. 2012
Pérez Jiménez, Mario Jesús, Macias Ramos, Luis Felipe: Spiking Neural P systems with functional astrocytes. Comunicación en congreso. 13th International Conference on Membrane Computing. Budapest , Hungría. 2012
Pérez Jiménez, Mario Jesús, Peng, Hong, Shao, Jie, Li, Bing, Wang, Jun, et. al.: Image tresholding with cell-like P systems. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012
Pérez Jiménez, Mario Jesús, Porreca, Antonio, Murphy, Niall: An optimal frontier of the efficiency of tissue P systems with cell division. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Sevilla, Spain. 2012
Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Rius, Miquel, Romero Campero, Francisco José: The role of the environment in tissue like P systems with cell division. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012
Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Rius, Miquel: The efficiency of tissue P systems with cell separation relies on the environment. Comunicación en congreso. 13th International Conference on Membrane Computing. Budapest , Hungría. 2012
Pérez Jiménez, Mario Jesús, Romero Campero, Francisco José: P systems as a modeling framework for molecular Systems Biology. Comunicación en congreso. Asian Conference on Membrane Computing. Wuhan - CHINA. 2012
Valencia Cabrera, Luis, Pérez Jiménez, Mario Jesús: Towards an integrated approach for model simulation, property extraction and verification P systems. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012
Zhang, Gexiang, Gutierrez Naranjo, Miguel Angel, Qin, Yanhui, Gheorghe, Marian, Cheng, Jixiang: A Population-Membrane-System-Inspired Evolutionary Algorithm for Distribution Network Reconfiguration. Comunicación en congreso. Asian Conference on Membrane Computing 2012. Wuhan - CHINA. 2012
Vicerrectorado de Investigación. Universidad de Sevilla.
Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla