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. Alejandro Fernández Margarit
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
D. Gonzalo Antonio Aranda Corral
D. Ignacio Pérez Hurtado de Mendoza
Profesores Asociados
Dr. D. José Francisco Quesada Moreno (Adscrito al Dpto. de Ciencias de la Computación)
Investigadores adscritos por convenio
Dr. D. Francisco José Romero Campero
Contratados con cargo a Proyectos
D. Miguel Angel Martínez del Amor
D. Enrique Francisco Orejuela Pinedo
Dr. D. Gheorghe V. Paün
Personal de Administración y Servicios
Dª. María del Carmen Pérez Cardona
Financiación general del Departamento
Presupuesto General | 21.194,00 € |
Programas de Doctorado | 5.394,73 € |
Plan Propio de la Universidad de Sevilla | 1.540,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, 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:
- Ayuda a la Consolidación del Grupo de Investigación TIC-137/2007 (Grupos PAI) Vigencia: 2007-2010 - Junta de Andalucía (Consejería de Innovación, Ciencia y Empresas): 5.856,06 €.
- CLA 2010, the International Conference on Concept Lattices and Their Applications (Acc. Compl.) - Ministerio de Ciencia e Innovación: 2.500,00 €.
Integrantes: Joaquín Borrego Díaz (Resp.) - Cla 2010, the International Conference on Concept Lattices and Their Applications. (Plan Propio) - Universidad de Sevilla 2.500,00 €.
Integrantes: Joaquín Borrego Díaz (Resp.) - Conceptos Emergentes en Sistemas Complejos. Aplicaciones en Entornos Urbanos y en Complejidad Cultural (Proy. Exce. J.A.) Vigencia: 2011-2014 - 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é Luis Pérez de Lama Halcón, Fernando Sancho Caparrini, Juan Luis Suarez Sánchez de León - Gestión mecanizada del conocimiento matemático. Aplicaciones en lógica (PN-2009) - Ministerio de Ciencia e Innovación: 4.840,00 €.
Integrantes: José Luis Ruiz Reina (Resp.), José Antonio Alonso Jiménez, María José Hidalgo Doblado, Francisco Jesús Martín Mateos - 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 - 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 - Modelos de la aritmética y álgebras de funciones computables (PN-2008) Vigencia: 2009-2011 - Ministerio de Educación y Ciencia: 19.602,00 €.
Integrantes: Alejandro Fernández Margarit (Resp.), Andrés Cordón Franco, Francisco Félix Lara Martín - Proyecto Minerva "Plataforma de servicios en movilidad Cartuja-93" Weteve (68/83) Vigencia: 2008-2010 - Asociación de Investigación y Cooperación Industrial de Andalucía: 28.147,40 €.
Integrantes: Joaquín Borrego Díaz (Resp.), Gonzalo Antonio Aranda Corral, Antonia María Chávez González, Fernando Gómez Marín
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, Miguel Ángel Martínez del Amor, Gheorghe Paun , Ignacio Pérez Hurtado de Mendoza, Agustin Riscos Nuñez, Francisco José Romero Campero, Álvaro Romero Jiménez, Fernando Sancho Caparrini, Luis Valencia Cabrera(*)
Ayudas/Contratos/Proyectos gestionados por la USE en los que participan miembros de este Grupo en el Departamento:
- Ayuda a la Consolidación del Grupo de Investigación TIC-193/2007 (Grupos PAI) Vigencia: 2007-2010 - Junta de Andalucía (Consejería de Innovación, Ciencia y Empresas): 10.174,57 €.
- Ayuda a la Consolidación del Grupo de Investigación TIC-193/2008 (Grupos PAI) Vigencia: 2009-2010 - Junta de Andalucía (Consejería de Innovación, Ciencia y Empresas): 9.257,49 €.
- Ayuda a la Consolidación del Grupo de Investigación TIC-193/2009 (Grupos PAI) Vigencia: 2009-2011 - Junta de Andalucía (Consejería de Innovación, Ciencia y Empresas): 10.544,81 €.
- 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 García-Quismondo Fernández, 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, Francisco José Romero Campero, Álvaro Romero Jiménez - Conceptos Emergentes en Sistemas Complejos. Aplicaciones en Entornos Urbanos y en Complejidad Cultural (Proy. Exce. J.A.) Vigencia: 2011-2014 - 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é Luis Pérez de Lama Halcón, Fernando Sancho Caparrini, Juan Luis Suarez Sánchez de León - Creación de una red temática en computación biomolecular y biocelular (Acc. Compl.) Vigencia: 2008-2011 - Ministerio de Ciencia e Innovación: 33.600,00 €.
Integrantes: Mario de Jesús Pérez Jiménez (Resp.) - Eighth Brainstormingweek on Membrane Computing (Plan Propio) - Universidad de Sevilla: 2.500,00 €.
Integrantes: Mario de Jesús Pérez Jiménez (Resp.) - 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 García-Quismondo Fernández, María del Carmen Graciani Díaz, Miguel Ángel Gutiérrez Naranjo, Beverley Marie Henley , 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 - The Hispanic Baroque: Complexity in the First Atlantic Culture (Internal.) - The University of Western Ontario (Social Sciences and Humanities Research Council of Canada) (Social Sciences and Humanities Research Council of Canada): 31.173,00 €.
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 en este Dpto.: Jose Francisco Quesada Moreno
Tesis doctorales
"Desarrollo y Aplicaciones de un Entorno de Programación para Computación Celular: P-Lingua"
Doctorando: Ignacio Pérez Hurtado de Mendoza
Directores: Mario de Jesús Pérez Jiménez y Agustín Riscos Núñez
Calificación: Sobresaliente cum laude, E.T.S. Ingeniería Informática, 24 de June.
Publicaciones:
Libros
Gheorghe Paun, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez, Grzegorz Rozenberg, Arto Salomaa: Membrane Computing. Berlin, Alemania. Springer-Verlag. 487
Capítulos en Libros
Matteo Cavaliere, Shankara N. Krishna, Andrei Paun, Gheorghe Paun: P Systems With Objects on Membranes. The Oxford Handbook of Membrane Computing. Oxford, Inglaterra. Oxford University Press. Pag. 363-388
Paolo Cazzaniga, Marian Gheorghe, Natalio Krasnogor, Giancarlo Mauri, Dario Pescini, et. al.: Probabilistic/Stochastic Models. The Oxford Handbook of Membrane Computing. Oxford, Inglaterra. Oxford University Press. Pag. 455-474
Daniel Díaz Pernil, Mª del Carmen Graciani Diaz, Miguel Angel Gutierrez Naranjo, Ignacio Pérez Hurtado de Mendoza, Mario Jesus Perez Jimenez: Software for P Systems. The Oxford Handbook of Membrane Computing. Oxford, Inglaterra. Oxford University Press. Pag. 437-454
Laureano Lambán Pardo, Francisco Jesus Martin Mateos, Jose Luis Ruiz Reina: Topología Simplicial en Acl2. Contribuciones Científicas en Honor de Mirian Andrés Gómez. Logroño, España. Universidad de la Rioja. Pag. 1-20
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Computability Elements for Membrane Computing. The Oxford Handbook of Membrane Computing. Oxford, Inglaterra. Oxford University Press. Pag. 58-82
Gheorghe Paun, Grzegorz Rozenberg: An Introduction to and an Overview of Membrane Computing. The Oxford Handbook of Membrane Computing. Oxford, Inglaterra. Oxford University Press. Pag. 1-27
Gheorghe Paun, Grzegorz Rozenberg: Other Topics. The Oxford Handbook of Membrane Computing. Oxford, Inglaterra. Oxford University Press. Pag. 654-663
Gheorghe Paun, R. Paun: Membrane Computing and Economics. The Oxford Handbook of Membrane Computing. Oxford, Inglaterra. Oxford University Press. Pag. 632-644
Gheorghe Paun: Active Membranes. The Oxford Handbook of Membrane Computing. Oxford, Inglaterra. Oxford University Press. Pag. 282-301
Mario Jesus Perez Jimenez, Agustin Riscos Nuñez, Alvaro Romero Jimenez, Damien Paul Woods: Complexity: Membrane Division, Membrane Creation. The Oxford Handbook of Membrane Computing. Oxford, Inglaterra. Oxford University Press. Pag. 302-336
Mario Jesus Perez Jimenez: La Mitosis Celular: una Sorprendente Frontera de la Eficiencia. Liber Amicorum Ángel Nepomuceno. Sevilla, España. Fenix Editora. Pag. 99-108
Mario Jesus Perez Jimenez: Razonando Sobre Soluciones Mecánicas, Inductivas y Cualitativas. Estudios de Lógica, Lenguaje y Epistemología. Sevilla. Fénix Editora. Pag. 211-229
Publicaciones en Revistas
Gonzalo Antonio Aranda Corral, Joaquin Borrego Diaz: Mereotopological Analysis of Formal Concepts in Security Ontologies. Advances in Soft Computing. Vol. 85. Pag. 33-40
Gonzalo Antonio Aranda Corral, Joaquin Borrego Diaz: Reconciling Knowledge in Social Tagging Web Services. Lecture Notes in Computer Science. Vol. 6076. Núm. 2. Pag. 383-390
Paola Bonizzoni, Gheorghe Paun, Grzegorz Rozenberg, Claudio Zandron: Preface. Natural Computing. Vol. 9. Núm. 2. Pag. 381-382
Joaquin Borrego Diaz, Gonzalo Antonio Aranda Corral, Antonio Jiménez Mavillard: Social Ontology Documentation for Knowledge Externalization. Communications in Computer and Information Science. Vol. 108. Pag. 137-148
Hongqing Cao, Francisco José Romero Campero, Stephan Heeb, Miguel Cámara, Natalio Krasnogor: Evolving Cell Models for Systems and Synthetic Biology. Systems and Synthetic Biology. Vol. 4. Núm. 1. Pag. 55-84
Monica Cardona, Maria Angels Colomer Cugat, Antoni Margalida, Ignacio Pérez Hurtado de Mendoza, Mario Jesus Perez Jimenez, et. al.: A P System Based Model of an Ecosystem of Some Scavenger Birds. Lecture Notes in Computer Science. Núm. 5957. Pag. 182-195
Jose Maria Cecilia, Jose Mª García, Ginés D. Guerrero, Miguel Ángel Martínez del Amor, Ignacio Pérez Hurtado de Mendoza, et. al.: Implementing P Systems Parallelism by Means of Gpus. Lecture Notes in Computer Science. Núm. 5957. Pag. 227-241
Jose Maria Cecilia, Jose Mª García, Ginés D. Guerrero, Miguel Ángel Martínez del Amor, Ignacio Pérez Hurtado de Mendoza, et. al.: Simulating a P System Based Efficient Solution to SAT by Using Gpus. Journal of Logic and Algebraic Programming. Vol. 79. Núm. 6. Pag. 317-325
Jose Maria Cecilia, Jose Mª García, Ginés D. Guerrero, Miguel Ángel Martínez del Amor, Ignacio Pérez Hurtado de Mendoza, et. al.: Simulation of P Systems With Active Membranes on Cuda. Briefings in Bioinformatics . Vol. 11. Núm. 3. Pag. 313-322
Antonia Mª Chavez Gonzalez: Mereotopololgical Patterns for Ontology Evolution and Debugging. Imagen-a. Vol. 1. Núm. 3. Pag. 151-158
Hepzibah Anandharaj Christinal, Daniel Díaz Pernil, Miguel Angel Gutierrez Naranjo, Mario J. Pérez Jiménez: Thresholding of 2d Images With Cell-Like P Systems. Romanian Journal of Information Science and Technology. Vol. 13. Núm. 2. Pag. 131-140
Daniel Díaz Pernil, Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: A Linear-Time Solution to the Partition Problem in a Cellular Tissue-Like Model. Journal of Computational and Theoretical Nanoscience . Vol. 7. Núm. 5. Pag. 884-889
Daniel Díaz Pernil, Miguel Angel Gutierrez Naranjo, Pedro Real Jurado, Vanesa Sánchez Canales: Computing Homology Groups in Binary 2d Imagery by Tissue-Like P Systems. Romanian Journal of Information Science and Technology. Vol. 13. Núm. 2. Pag. 141-152
Manuel Garcia-Quismondo Fernández, Rosa María Gutiérrez Escudero, Ignacio Pérez Hurtado de Mendoza, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: An Overview of P-Lingua 2.0. Lecture Notes in Computer Science. Núm. 5957. Pag. 264-288
Marian Gheorghe, Vincenzo Manca, Francisco José Romero Campero: Deterministic and Stochastic P Systems for Modelling Cellular Processes. Natural Computing. Vol. 9. Núm. 2. Pag. 457-473
Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez: Searching Previous Configurations in Membrane Computing. Lecture Notes in Computer Science. Vol. 5957. Pag. 301-315
Rosa María Gutiérrez Escudero, Mario Jesus Perez Jimenez, Miquel Rius Font: Characterizing Tractability by Tissue-Like P Systems. Lecture Notes in Computer Science. Vol. 5957. Pag. 289-300
Oscar Ibarra, Mario Jesus Perez Jimenez, Takashi Yokomori: On Spiking Neural P Systems. Natural Computing. Vol. 9. Núm. 2. Pag. 475-491
Florin Manea, Maurice Margenstern, Victor Mitrana, Mario Jesus Perez Jimenez: A New Characterization of NP, P, and Pspace With Accepting Hybrid Networks of Evolutionary Processors. Theory of Computing Systems. Vol. 46. Núm. 2. Pag. 174-192
Francisco Jesus Martin Mateos, Jose Luis Ruiz Reina, Jose Antonio Alonso Jimenez, Maria Jose Hidalgo Doblado: Proof Pearl: a Formal Proof of Higman's Lemma in Acl2. Journal of Automated Reasoning. Pag. 1-22
Francisco Jesus Martin Mateos, Luis Carlos González Valencia, Rafael Serrano Bello: Expert System to Real Time Control of Machining Processes. Lecture Notes in Computer Science. Vol. 5988. Pag. 281-290
Miguel Ángel Martínez del Amor, Ignacio Pérez Hurtado de Mendoza, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: A P-Lingua Based Simulator for Tissue P Systems. Journal of Logic and Algebraic Programming. Vol. 79. Pag. 374-382
Inmaculada Medina Bulo, Francisco Palomo Lozano, Jose Luis Ruiz Reina: A Verified Common Lisp Implementation of Buchberger's Algorithm in Acl2. Journal of Symbolic Computation . Vol. 45. Núm. 1. Pag. 96-123
Linqiang Pan, Mario Jesus Perez Jimenez: Computational Complexity of Tissue-Like P Systems. Journal of Complexity. Vol. 26. Núm. 3. Pag. 296-315
Gheorghe Paun, Mario Jesus Perez Jimenez, Gheorghe Stefanescu: Membrane Computing and Programming. Journal of Logic and Algebraic Programming. Vol. 79. Pag. 289-290
Gheorghe Paun, Mario Jesus Perez Jimenez: Solving Problems in a Distributed Way in Membrane Computing: Dp Systems. International Journal of Computers, Communication & Control. Vol. V. Núm. 2. Pag. 238-250
Gheorghe Paun: A Quick Introduction to Membrane Computing. Journal of Logic and Algebraic Programming. Vol. 79. Pag. 291-294
Mario Jesus Perez Jimenez: A Computational Complexity Theory in Membrane Computing. Lecture Notes in Computer Science. Vol. 5957. Pag. 125-148
Jun Wang, Hendrik Jan Hoogeboom, Linqiang Pan, Gheorghe Paun, Mario Jesus Perez Jimenez: Spiking Neural P Systems With Weights. Neural Computation . Vol. 22. Núm. 10. Pag. 2615-2646
Libros de Actas
Miguel Ángel Martínez del Amor, Gheorghe Paun, Ignacio Pérez Hurtado de Mendoza, Agustin Riscos Nuñez: Eighth Brainstorming Week on Membrane Computing. Num. 8. Sevilla, España. Sevilla, España. Fenix Editora
Mario Jesus Perez Jimenez, Paolo Milazzo: Proceedings First Workshop on Applications of Membrane Computing, Concurrency and Agent-Based Modelling in Population Biology. Num. 1. Jena, Germany. Jena, Germany. Electronic Proceedings in Theoretical Computer Science
Aportaciones a Congresos
Joaquin Borrego Diaz, Antonia Mª Chavez Gonzalez, Gonzalo Antonio Aranda Corral: Mereotopological Patterns for Ontology Evolution and Debugging. Image-a. Ctic 2010 Workshop on Computational Topology in Image Context (). Chipiona, Cádiz. Departamento de Matemática Aplicada I. Pag. 151-158
Jose Maria Cecilia, José Manuel García Carrasco, Ginés D. Guerrero, Miguel Ángel Martínez del Amor, Mario Jesus Perez Jimenez, et. al.: P Systems Simulations on Massively Parallel Architectures. Proceedings of the Third International Workshop on Parallel Architectures and Bioinspired Algorithms. Third International Workshop on Parallel Architectures (). Vienna Austria. Univ. Complutense de Madrid. Pag. 17-26
Jose Maria Cecilia, José Manuel García Carrasco, Miguel Ángel Martínez del Amor, Mario Jesus Perez Jimenez, Manuel Ujaldón Martínez: Enhancing the Simulation of P Systems for the SAT Problem on Gpus. Proceedings 2010 Symposium on Applications Accelerators in High-Performance Computing. Symposium on Application Accelerators in High-Performance Computing (). Knoxville, Tennessee (Estados Unidos). - - -. Pag. 110-112
Hepzibah Anandharaj Christinal, Daniel Díaz Pernil, Miguel Angel Gutierrez Naranjo, Mario J. Pérez Jiménez: Tissue-Like P Systems Without Environment. Eighth Brainstorming Week on Membrane Computing. Eighth Brainstorming Week on Membrane Computing (8). Num. 8. Sevilla, España. Fenix Editora. Pag. 53-64
Hepzibah a Christinal, Daniel Díaz Pernil, Miguel Angel Gutierrez Naranjo, Mario J. Pérez Jiménez: Array Tissue-Like P Systems. Eighth Brainstorming Week on Membrane Computing. Eighth Brainstorming Week on Membrane Computing (8). Num. 8. Sevilla, España. Fenix Editora. Pag. 37-51
Maria Angels Colomer Cugat, Ignacio Pérez Hurtado de Mendoza, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: Simulating Tritrophic Interactions by Means of P Systems. Proceedings of the 2010 IEEE Fifth International Conference on Bio-Inspired Computing Theories and Applications. Fifth Internationa Conference on Bio-Inspired Computing: Theories and Applications (5). Num. 5. Liverpool, Reino Unido. Institute of Electrical and Electronics Engineers, Inc. Pag. 1621-1628
Maria Angels Colomer Cugat, Miguel Ángel Martínez del Amor, Ignacio Pérez Hurtado de Mendoza, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: A Uniform Framework for Modeling Based on P Systems,. Proceedings of the 2010 IEEE Fifth International Conference on Bio-Inspired Computing Theories and Applications. Fifth Internationa Conference on Bio-Inspired Computing: Theories and Applications (5). Num. 5. Liverpool, Reino Unido. Institute of Electrical and Electronics Engineers, Inc. Pag. 616-621
Maria Angels Colomer Cugat, Santiago Lavín, Antoni Margalida, Ignasi Marco, Ignacio Pérez Hurtado de Mendoza, et. al.: Modeling Population Growth of Pyrenean Chamois (Rupicapra P. Pyrenayca) by Using P Systems. Proceedings of the Eleventh International Conference on Membrane Computing. Eleventh International Conference on Membrane Computing (). Jena, Alemania. Pro Business Gmbh. Pag. 121-135
Daniel Díaz Pernil, Carlos Manuel Fernández Márquez, Manuel Garcia-Quismondo Fernández, Miguel Angel Gutierrez Naranjo, Miguel Ángel Martínez del Amor: A Cellular Sudoku Solver. Eighth Brainstorming Week on Membrane Computing. Eighth Brainstorming Week on Membrane Computing (8). Num. 8. Sevilla, España. Fenix Editora. Pag. 77-88
Daniel Díaz Pernil, Carlos Manuel Fernández Márquez, Manuel Garcia-Quismondo Fernández, Miguel Angel Gutierrez Naranjo, Miguel Ángel Martínez del Amor: Solving Sudoku With Membrane Computing. Proceedings of the 2010 IEEE Fifth International Conference on Bio-Inspired Computing Theories and Applications. Fifth Internationa Conference on Bio-Inspired Computing: Theories and Applications (5). Num. 5. Liverpool, Reino Unido. Institute of Electrical and Electronics Engineers, Inc. Pag. 610-615
Daniel Díaz Pernil, Helena Molina Abril, Pedro Real Jurado, Miguel Angel Gutierrez Naranjo: A Bio-Inspired Software for Segmenting Digital Images. Proceedings of the 2010 IEEE Fifth International Conference on Bio-Inspired Computing Theories and Applications. Fifth Internationa Conference on Bio-Inspired Computing: Theories and Applications (5). Num. 5. Liverpool, Reino Unido. Institute of Electrical and Electronics Engineers, Inc. Pag. 1377-1381
Daniel Díaz Pernil, Miguel Angel Gutierrez Naranjo, Pedro Real Jurado, Vanesa Sánchez Canales: A Cellular Way to Obtain Homology Groups in Binary 2d Images. Eighth Brainstorming Week on Membrane Computing. Eighth Brainstorming Week on Membrane Computing (8). Num. 8. Sevilla, España. Fenix Editora. Pag. 89-99
Daniel Díaz Pernil, Miguel Angel Gutierrez Naranjo, Pedro Real Jurado, Vanesa Sánchez Canales: A New Way to Obtain Homology Groups in Binary 2d Images Using Membrane Computing. Eaca 2010. Libro de Resúmenes || Book of Abstracts. Encuentro de Álgebra Computacional y Aplicaciones (Eaca 2010) (12). Num. 12. Santiago de Compostela. Universidad de Santiago de Compostela. Servicio de Publicaciones e Intercambio Científico. Pag. 107-112
Gabi Escuela, Miguel Angel Gutierrez Naranjo: An Application of Genetic Algorithms to Membrane Computing. Eighth Brainstorming Week on Membrane Computing. Eighth Brainstorming Week on Membrane Computing (8). Num. 8. Sevilla, España. Fenix Editora. Pag. 101-108
Manuel Garcia-Quismondo Fernández, Miguel Angel Gutierrez Naranjo, Daniel Ramírez Martínez: How Does a P System Sound?. Eighth Brainstorming Week on Membrane Computing. Eighth Brainstorming Week on Membrane Computing (8). Num. 8. Sevilla, España. Fenix Editora. Pag. 123-132
Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez: Depth-First Search With P Systems. Proceedings of the Eleventh International Conference on Membrane Computing. Eleventh International Conference on Membrane Computing (). Jena, Alemania. Pro Business Gmbh. Pag. 257-267
Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez: Membrane Computing Meets Artificial Intelligence: a Case Study. Eighth Brainstorming Week on Membrane Computing. Eighth Brainstorming Week on Membrane Computing (8). Num. 8. Sevilla, España. Fenix Editora. Pag. 133-143
Ramón López-Cózar Delgado, David Griol, José Francisco Quesada Moreno: New Technique to Enhance the Performance of Spoken Dialogue Systems by Means of Implicit Recovery of Asr Errors. Proc. of Iwsds 2010. Iwsds 2010 (). Gotemba, Japón. Springer. Pag. 96-109
Ramón López-Cózar Delgado, Gonzalo Espejo Pérez, Nieves Ábalos Serrano, David Griol, José Francisco Quesada Moreno: New Asr Technique to Enhance the Performance of Spoken Dialogue Systems. Proc. VI Jornadas en Tecnología del Habla and II Iberian Sltech Workshop. VI Jornadas en Tecnolgoía del Habla and II Iberian Sltech Workshop (). Vigo, España. Red Temática en Tecnología del Habla. Pag. 43-46
Miguel Ángel Martínez del Amor, Ignacio Pérez Hurtado de Mendoza, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez, Maria Angels Colomer Cugat: A New Simulation Algorithm for Multienvironment Probabilistic P Systems. Proceedings of the 2010 IEEE Fifth International Conference on Bio-Inspired Computing Theories and Applications. Fifth Internationa Conference on Bio-Inspired Computing: Theories and Applications (5). Num. 5. Liverpool, Reino Unido. Institute of Electrical and Electronics Engineers, Inc. Pag. 59-68
Miguel Ángel Martínez del Amor, Jose Maria Cecilia, Ginés D. Guerrero, Ignacio Pérez Hurtado de Mendoza: An Overview of P System Simulation on Gpus. Proceedings I Jornadas Jóvenes Investigadores. I Jornadas Jóvenes Investigadores (). Cáceres. Universidad de Extremadura. Pag. 2-7
Gheorghe Paun, Mario Jesus Perez Jimenez: Solving Problems in a Distributed Way in Membrane Computing: Dp Systems. Eighth Brainstorming Week on Membrane Computing. Eighth Brainstorming Week on Membrane Computing (8). Num. 8. Sevilla, España. Fenix Editora. Pag. 219-233
Gheorghe Paun: Membrane Computing At Twelve Years. Proceedings of the Eleventh International Conference on Membrane Computing. Eleventh International Conference on Membrane Computing (). Jena, Alemania. Pro Business Gmbh. Pag. 3-4
Ignacio Pérez Hurtado de Mendoza, Luis Valencia Cabrera, Mario Jesus Perez Jimenez, Maria Angels Colomer Cugat, Agustin Riscos Nuñez: Mecosim: a General Purpose Software Tool for Simulating Biological Phenomena by Means of P Systems. Proceedings of the 2010 IEEE Fifth International Conference on Bio-Inspired Computing Theories and Applications. Fifth Internationa Conference on Bio-Inspired Computing: Theories and Applications (5). Num. 5. Liverpool, Reino Unido. Institute of Electrical and Electronics Engineers, Inc. Pag. 637-643
Hans Van Ditmarsch, Emilio Francisco Gomez-Caminero Parejo, David Fernandez Duque, Angel Nepomuceno Fernandez, Andres Cordon Franco: Two Mischievous Dynamic Consequence Relations. Proceedings of the Second Ilcli International Workshop on Logic and Philosophy of Knowledge, Communication and Action. Ilcli International Workshop on Logic and Philosophy of Knowledge, Communication and Action (2). Num. 2. Zarautz, Spain. University of the Basque Country Press. Pag. 197-208
Xiangxiang Zeng, Henry Adorna, Miguel Ángel Martínez del Amor, Linqiang Pan, Mario Jesus Perez Jimenez: Matrix Representation of Spiking Neural P Systems. Proceedings of the Eleventh International Conference on Membrane Computing. Eleventh International Conference on Membrane Computing (). Jena, Alemania. Pro Business Gmbh. Pag. 425-439
Xiangxiang Zeng, Henry Adorna, Miguel Ángel Martínez del Amor, Linqiang Pan: When Matrices Meet Brains. Eighth Brainstorming Week on Membrane Computing. Eighth Brainstorming Week on Membrane Computing (8). Num. 8. Sevilla, España. Fenix Editora. Pag. 255-266