Memoria de Investigación - 2010

Ciencias de la Computación e Inteligencia Artificial

Sede y centros afectados

Dirección:

Facultad de Matemáticas
C/ Tarfia, s/n
41012 - Sevilla
TELF: 95.455.65.80
FAX: 95.455.65.99
WEB: http://www.cs.us.es

Docencia en otros Centros:

E.T.S. de Ingeniería Informática

Componentes 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:
  1. 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 €.
  2. 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.)
  3. 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.)
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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:
  1. 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 €.
  2. 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 €.
  3. 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 €.
  4. 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
  5. 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
  6. 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.)
  7. Eighth Brainstormingweek on Membrane Computing (Plan Propio) - Universidad de Sevilla: 2.500,00 €.
    Integrantes: Mario de Jesús Pérez Jiménez (Resp.)
  8. 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
  9. 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
  10. 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, Grzegorz Rozenberg, Arto Salomaa: The Oxford Handbook of Membrane Computing. Oxford, Inglaterra. Oxford University Press

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

Gonzalo Antonio Aranda Corral, Joaquin Borrego Diaz: Mereotopological Analysis of Formal Concepts in Security Ontologies. Computational Intelligence in Security for Information Systems 2010 Proceedings of the 3rd International Conference on Computational Intelligence in Security for Information Systems (Cisis¿10). Spain. Springer-Verlag Berlin. Pag. 33-40

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

Henry Adorna, Gheorghe Paun, Mario Jesus Perez Jimenez: Foreword. Special Issue on Membrane Computing. Romanian Journal of Information Science and Technology. Vol. 13. Núm. 2. Pag. 111-112

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

Marian Gheorghe, Thomas Hinze, Gheorghe Paun: Proceedings of the Eleventh International Conference on Membrane Computing. Jena, Alemania. Jena, Alemania. Pro Business Gmbh

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

Henry Adorna, Gheorghe Paun, Mario Jesus Perez Jimenez: On Communication Complexity in Evolution-Communication P Systems. Eighth Brainstorming Week on Membrane Computing. Eighth Brainstorming Week on Membrane Computing (8). Num. 8. Sevilla, España. Fenix Editora. Pag. 1-22

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

Otras Publicaciones

Gonzalo Antonio Aranda Corral, Joaquin Borrego Diaz, Jesús Giráldez Cru: Sinnet. Red Social Móvil con Gestión Semántica de la Información Mediante un Sitema Multiagente. Informes, Estudios, Trabajos y Dictámenes. Sevilla,