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. 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)
Investigadores adscritos por convenio
Dr. D. Francisco José Romero Campero
Contratados con cargo a Proyectos
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
Personal de Administración y Servicios
Dª. María del Carmen Pérez Cardona
Cargos no especificados
D. Gonzalo Antonio Aranda Corral
Financiación general del Departamento
| Presupuesto General | 20.016,00 € |
| Programas de Doctorado | 3.591,13 € |
| Plan Propio de la Universidad de Sevilla | 1.425,00 € |
| Becarios de Investigación | 4.000,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:
- 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.) - 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 - Informe técnico sobre aplicabilidad de Sistemas Basados en el Conocimiento al proyecto SOLEME (68/83) - Clever Tecnología S.L.: 944,00 €.
Integrantes: Francisco Jesús Martín Mateos (Resp.) - 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: Francisco Félix Lara Martín (Resp.), Andrés Cordón Franco
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:
- 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 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 - 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.), Luis Felipe Macías Ramos - Estancias en Centros de Investigación de Excelencia Ubicados Fuera de Andalucía (Ayuda Indiv. J.A.) - Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas: 3.194,00 €.
Integrantes: Miguel Angel Martínez del Amor (Resp.) - Incentivo al Grupo de Investigación TIC-193/2011 (Grupos PAI) Vigencia: 2013-2014 - Junta de Andalucía (Consejería de Innovación, Ciencia y Empresas): 4.276,93 €.
- 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 - Mathematic and informatics of membrane-mediated processes (MIMEMP) (Ay. Trans. Tecn. OTRI) - Universidad de Sevilla (Oficina de Transferencia de Resultados de Investigación): 2.000,00 €.
Integrantes: Agustín Riscos Núñez (Resp.), Gheorghe V. Paün , Mario de Jesús Pérez Jiménez, Ignacio Pérez Hurtado de Mendoza - 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 , 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 - Patient specific therapies for tumours based on angiogenesis models (Ay. Trans. Tecn. OTRI) - Universidad de Sevilla (Oficina de Transferencia de Resultados de Investigación): 2.500,00 €.
Integrantes: Mario de Jesús Pérez Jiménez (Resp.), Gheorghe V. Paün , Agustín Riscos Núñez - 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.), María Angels Colomer Cugat - 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
"Tratamiento de la semántica emergente mediante sistemas de agentes basados en conocimiento"
Doctorando: Gonzalo Antonio Aranda Corral
Director: Joaquín Borrego Díaz
Calificación: Sobresaliente cum laude, E.T.S. Ingeniería Informática, 17 de octubre.
Publicaciones
Otra participación en Libros
Gheorghe, Marian (Editor), Hinze, Thomas (Editor), Paun, Gheorghe (Editor), Rozenberg, Grzegorz (Editor), Salomaa, Arto (Editor): Membrane Computing. Berlin, Alemania. Springer-Verlag. 2011. ISBN 978-3-642-18122-1
Capítulos en Libros
Albert, Michael, Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, et. al.: Secure Communication of Local States in Interpreted Systems. Pag. 117-124. En: International Symposium on Distributed Computing and Artificial Intelligence. 2011. ISBN 978-3-642-22358-7
Aranda Corral, Gonzalo Antonio, Borrego Diaz, Joaquin: Ontological Dimensions of Semantic Mobile Web 2.0. Pag. 667-688. En: Handbook of Research on Mobility and Computing. Ed. 2011. Hershey, Pennsylvania (USA). Igi Global. 2011
Aranda Corral, Gonzalo Antonio, Borrego Diaz, Joaquin: Ontological Dimensions of Semantic Mobile Web 2.0. Pag. 667-688. En: Handbook of Research on Mobility and Computing. Ed. 2011. Hershey, Pennsylvania (USA). Igi Global. 2011
Publicaciones en Revistas
Aranda Corral, Gonzalo Antonio, Borrego Diaz, Joaquin, Galán Páez, Juan: Bounded Rationality for Data Reasoning. En: Proceedings - International Workshop on Database and Expert Systems Applications. 2011. Pag. 350-354
Cabarle, Francis G., Adorna, Henry, Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús: Spiking Neural P System Simulations on a High Performance GPU Platform. En: Lecture Notes in Computer Science. 2011. Vol. 7017. Pag. 99-108
Cabarle, Francis G., Adorna, Henry, Martínez del Amor, Miguel Ángel: Simulating Spiking Neural P Systems Without Delays Using GPUs. En: International Journal of Natural Computing Research. 2011. Vol. 2. Núm. 2. Pag. 19-31
Cardona, Monica, Colomer, M. Angels, Margalida, Antoni, Palau, Antonio, Pérez Hurtado de Mendoza, Ignacio, et. al.: A Computational Modeling for Real Ecosystems Based on P Systems. En: Natural computing. 2011. Vol. 10. Núm. 1. Pag. 39-53
Colomer, M. Angels, Lavín, Santiago, Marco, Ignasi, Margalida, Antoni, Pérez Hurtado de Mendoza, Ignacio, et. al.: Modeling Population Growth of Pyrenean Chamois (Rupicapra P. Pyrenaica) by Using P Systems. En: Lecture Notes in Computer Science. 2011. Vol. 6501. Pag. 144-159
Colomer, M. Angels, Margalida, Antoni, Sanuy Castells, Delfí, Pérez Jiménez, Mario Jesús: A Bio-Inspired Computing Model As a New Tool for Modeling Ecosystems: the Avian Scavengers As a Case Study. En: Ecological modelling. 2011. Vol. 222. Núm. 1. Pag. 33-47
Cordon Franco, Andres, Fernández Margarit, Alejandro, Lara Martin, Francisco Felix: A Note on Parameter Free $\Pi_1$-Induction and Restricted Exponentiation. En: Mathematical logic quarterly. 2011. Vol. 57. Núm. 5. Pag. 444-455
Díaz Pernil, Daniel, Pérez Jiménez, Mario Jesús, Pan, Linqiang: Computation of Ramsey Numbers by P Systems With Active Membranes. En: International journal of foundations of computer science. 2011. Vol. 22. Núm. 1. Pag. 29-38
Freund, Rudolf, Gheorghe, Marian, Marcus, Salomon, Mitrana, Victor, Pérez Jiménez, Mario Jesús: Special Issue-Natural Computing: Theory and Applications. En: International journal of foundations of computer science. 2011. Vol. 22. Núm. 1. Pag. 1-6
Frisco, P., Paun, Gheorghe, Pérez Jiménez, Mario Jesús: Guest Editorial Preface. Special Issue on Membrane Computing. En: International Journal of Natural Computing Research. 2011. Vol. 2. Núm. 3
Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús: Depth-First Search With P Systems. En: Lecture Notes in Computer Science. 2011. Vol. 6501. Pag. 257-264
Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús: Local Search With P Systems: a Case Study. En: International Journal of Natural Computing Research. 2011. Vol. 2. Núm. 2. Pag. 47-55
Gutiérrez, Miguel A., Pérez Jiménez, Mario Jesús: Depth-First search with p systems. En: Lecture Notes in Computer Science. 2011. Vol. 6501. Pag. 257-264
Ionescu, Mihai, Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Rodríguez Patón, A.: Spiking Neural P Systems with Several Types of Spikes. En: International Journal of Computers, Communications & Control (Print). 2011. Vol. 6. Núm. 4. Pag. 648-656
Ionescu, Mihai, Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Yokomori, Takashi: Spiking Neural dP Systems. En: Fundamenta informaticae. 2011. Vol. 111. Núm. 4. Pag. 423-436
Ionescu, Mihai, Paun, Gheorghe, Rodríguez Patón, A.: Spiking Neural P systems with several types of spikes. En: International Journal of Computers, Communications & Control.. 2011. Vol. VI. Núm. 4. Pag. 648-656
Ionescu, Mihai, Paun, Gheorghe: Notes about spiking neural P systems. En: Analele Universitatii Din Bucuresti (Seria Matematica-Informatica). 2011. Vol. 60. Pag. 1-16
Ivanov, Sergiu, Alhazov, Artiom, Rogozhin, Vladimir, Gutierrez Naranjo, Miguel Angel: Forward and Backward Chaining With P Systems. En: International Journal of Natural Computing Research. 2011. Vol. 2. Núm. 2. Pag. 56-66
Lambán Pardo, Laureano, Martin Mateos, Francisco Jesus, Rubio García, Julio, Ruiz Reina, Jose Luis: Applying Acl2 to the Formalization of Algebraic Topology: Simplicial Polynomials. En: Lecture Notes in Computer Science. 2011. Vol. 6898. Pag. 200-215
Lambán Pardo, Laureano, Rubio García, Julio, Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis: Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials. En: Lecture Notes in Computer Science. 2011. Vol. 6898. Pag. 200-215
López Cózar Delgado, Ramón, Espejo Pérez, Gonzalo, Ábalos Serrano, Nieves, Callejas Carrión, Zoraida, Griol Barres, David, et. al.: Trivial: Sistema de Diálogo Hablado para Enseñanza de Contenidos Didácticos. En: Relada. 2011. Vol. 5(3). Pag. 184-192
Martin Mateos, Francisco Jesus, Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose: Proof Pearl: a Formal Proof of Higman's Lemma in Acl2. En: Journal of automated reasoning. 2011. Vol. 47. Núm. 3. Pag. 229-250
Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Sancho Caparrini, Fernando: A Simulation Algorithm for Multienvironment Probabilistic P Systems: a Formal Verification. En: International journal of foundations of computer science. 2011. Vol. 22. Pag. 107-118
Niu, Y., Pan, Linqiang, Pérez Jiménez, Mario Jesús, Rius Font,Miquel: A Tissue P System Based Uniform Solution to Tripartite Matching Problem. En: Fundamenta informaticae. 2011. Vol. 109. Pag. 179-188
Pan, Linqiang, Paun, Gheorghe, Pérez Jiménez, Mario Jesús: Spiking neural P systems with neuron division and budding. En: SCIENCE CHINA Information Sciences. 2011. Vol. 54. Núm. 8. Pag. 1596-1607
Paun, Gheorghe, Pérez Jiménez, Mario Jesús: P and dP automata: A survey. En: Lecture Notes in Computer Science. 2011. Vol. 6570. Pag. 102-115
Paun, Gheorghe: Membrane Computing -- A Quick Survey. En: Journal of computational and theoretical nanoscience. 2011. Vol. 8. Núm. 3. Pag. 304-312
Paun, Gheorghe: Membrane Computing at Twelve Years (Back to Turku). En: Lecture Notes in Computer Science. 2011. Vol. 6714. Pag. 36-37
Paun, Gheorghe: Membrane Computing at Twelve Years. En: Lecture Notes in Computer Science. 2011. Vol. 6501. Pag. 1-2
Peña Cantillana,Francisco Antonio, Díaz Pernil, Daniel, Berciano Alcaraz, Ainhoa, Gutierrez Naranjo, Miguel Angel: A Parallel Implementation of the Thresholding Problem by Using Tissue-Like P Systems. En: Lecture Notes in Computer Science. 2011. Vol. 6855. Pag. 277-284
Peña Cantillana,Francisco Antonio, Díaz Pernil, Daniel, Christinal, Hepzibah Anandharaj, Gutierrez Naranjo, Miguel Angel: Implementation on Cuda of the Smoothing Problem With Tissue-Like P Systems. En: International Journal of Natural Computing Research. 2011. Vol. 2. Núm. 3. Pag. 25-34
Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Gutierrez Naranjo, Miguel Angel, Rius Font,Miquel: On a Partial Affirmative Answer for a Paun's Conjecture. En: International journal of foundations of computer science. 2011. Vol. 22. Núm. 1. Pag. 55-64
Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Romero Campero, Francisco José: Membrane Computing (Tutorial). En: Lecture Notes in Computer Science. 2011. Vol. 6714. Pag. 38-39
Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Rius Font,Miquel: On a Partial Affirmative Answer for a Paun's Conjecture. En: International journal of foundations of computer science. 2011. Vol. 22. Pag. 55-64
Pérez Jiménez, Mario Jesús, Ortega de la Puente,Alfonso, Sempere Luna, José María: The Spanish Network on Biomolecular and Biocellular Computing: Bio-Inspired Natural Computing in Spain. En: ERCIM news. 2011. Núm. 85. Pag. 25-25
Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Rius Font, M., Romero Campero, F.j.: Looking for Small Efficient P Systems. En: Fund Inform. 2011. Vol. 110. Núm. 1-4. Pag. 295-308
Rivero Gil,Elena, Gutierrez Naranjo, Miguel Angel, Romero Jiménez, Álvaro, Riscos Nuñez, Agustin: A software tool for generating graphics by means of P systems. En: Natural Computing. 2011. Vol. 10. Núm. 2. Pag. 879-890
Roanes Lozano, Eugenio, Alonso Jimenez, Jose Antonio, Hernando, Antonio, Laita de la Rica, Luis M., Roanes Macías, Eugenio: A logic approach to decision taking in a railway interlocking system using Maple. En: Mathematics and Computers in Simulation. 2011. Vol. 82. Núm. 1. Pag. 15-28
Roanes Lozano, Eugenio, Hernando, Antonio, Alonso Jimenez, Jose Antonio, Laita de la Rica, Luis M.: The Logics¿ Explorer: a Maple package for exploring finite many-valued propositional logics. En: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas. 2011. Vol. 105. Núm. 2. Pag. 323-337
Romero Campero, Francisco José: The Infobiotics Workbench: an integrated in silico modelling platform for Systems and Synthetic Biology. En: BioInformatics. 2011. Vol. 27. Núm. 23. Pag. 3323-3324
Zeng, Xiangxiang, Adorna, Henry, Martínez del Amor, Miguel Ángel, Pan, Linqiang, Pérez Jiménez, Mario Jesús: Matrix Representation of Spiking Neural P Systems. En: Lecture Notes in Computer Science. 2011. Vol. 6501. Pag. 377-392
Zhang, X., Niu, Y., Pan, L., Pérez Jiménez, Mario Jesús: Linear time solution to prime factorization by tissue P systems with cell division. En: International Journal of Natural Computing Research. 2011. Vol. 2. Núm. 3. Pag. 49-60
Cabarle, Francis G., Adorna, Henry, Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús: Spiking Neural P System Simulations on a High Performance GPU Platform. En: Lecture Notes in Computer Science. 2011. Vol. 7017. Pag. 99-108
Cabarle, Francis G., Adorna, Henry, Martínez del Amor, Miguel Ángel: Simulating Spiking Neural P Systems Without Delays Using GPUs. En: International Journal of Natural Computing Research. 2011. Vol. 2. Núm. 2. Pag. 19-31
Cardona, Monica, Colomer, M. Angels, Margalida, Antoni, Palau, Antonio, Pérez Hurtado de Mendoza, Ignacio, et. al.: A Computational Modeling for Real Ecosystems Based on P Systems. En: Natural computing. 2011. Vol. 10. Núm. 1. Pag. 39-53
Colomer, M. Angels, Lavín, Santiago, Marco, Ignasi, Margalida, Antoni, Pérez Hurtado de Mendoza, Ignacio, et. al.: Modeling Population Growth of Pyrenean Chamois (Rupicapra P. Pyrenaica) by Using P Systems. En: Lecture Notes in Computer Science. 2011. Vol. 6501. Pag. 144-159
Colomer, M. Angels, Margalida, Antoni, Sanuy Castells, Delfí, Pérez Jiménez, Mario Jesús: A Bio-Inspired Computing Model As a New Tool for Modeling Ecosystems: the Avian Scavengers As a Case Study. En: Ecological modelling. 2011. Vol. 222. Núm. 1. Pag. 33-47
Cordon Franco, Andres, Fernández Margarit, Alejandro, Lara Martin, Francisco Felix: A Note on Parameter Free $\Pi_1$-Induction and Restricted Exponentiation. En: Mathematical logic quarterly. 2011. Vol. 57. Núm. 5. Pag. 444-455
Díaz Pernil, Daniel, Pérez Jiménez, Mario Jesús, Pan, Linqiang: Computation of Ramsey Numbers by P Systems With Active Membranes. En: International journal of foundations of computer science. 2011. Vol. 22. Núm. 1. Pag. 29-38
Freund, Rudolf, Gheorghe, Marian, Marcus, Salomon, Mitrana, Victor, Pérez Jiménez, Mario Jesús: Special Issue-Natural Computing: Theory and Applications. En: International journal of foundations of computer science. 2011. Vol. 22. Núm. 1. Pag. 1-6
Frisco, P., Paun, Gheorghe, Pérez Jiménez, Mario Jesús: Guest Editorial Preface. Special Issue on Membrane Computing. En: International Journal of Natural Computing Research. 2011. Vol. 2. Núm. 3
Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús: Depth-First Search With P Systems. En: Lecture Notes in Computer Science. 2011. Vol. 6501. Pag. 257-264
Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús: Local Search With P Systems: a Case Study. En: International Journal of Natural Computing Research. 2011. Vol. 2. Núm. 2. Pag. 47-55
Gutiérrez, Miguel A., Pérez Jiménez, Mario Jesús: Depth-First search with p systems. En: Lecture Notes in Computer Science. 2011. Vol. 6501. Pag. 257-264
Ionescu, Mihai, Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Rodríguez Patón, A.: Spiking Neural P Systems with Several Types of Spikes. En: International Journal of Computers, Communications & Control (Print). 2011. Vol. 6. Núm. 4. Pag. 648-656
Ionescu, Mihai, Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Yokomori, Takashi: Spiking Neural dP Systems. En: Fundamenta informaticae. 2011. Vol. 111. Núm. 4. Pag. 423-436
Ionescu, Mihai, Paun, Gheorghe, Rodríguez Patón, A.: Spiking Neural P systems with several types of spikes. En: International Journal of Computers, Communications & Control.. 2011. Vol. VI. Núm. 4. Pag. 648-656
Ionescu, Mihai, Paun, Gheorghe: Notes about spiking neural P systems. En: Analele Universitatii Din Bucuresti (Seria Matematica-Informatica). 2011. Vol. 60. Pag. 1-16
Ivanov, Sergiu, Alhazov, Artiom, Rogozhin, Vladimir, Gutierrez Naranjo, Miguel Angel: Forward and Backward Chaining With P Systems. En: International Journal of Natural Computing Research. 2011. Vol. 2. Núm. 2. Pag. 56-66
Lambán Pardo, Laureano, Martin Mateos, Francisco Jesus, Rubio García, Julio, Ruiz Reina, Jose Luis: Applying Acl2 to the Formalization of Algebraic Topology: Simplicial Polynomials. En: Lecture Notes in Computer Science. 2011. Vol. 6898. Pag. 200-215
Lambán Pardo, Laureano, Rubio García, Julio, Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis: Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials. En: Lecture Notes in Computer Science. 2011. Vol. 6898. Pag. 200-215
López Cózar Delgado, Ramón, Espejo Pérez, Gonzalo, Ábalos Serrano, Nieves, Callejas Carrión, Zoraida, Griol Barres, David, et. al.: Trivial: Sistema de Diálogo Hablado para Enseñanza de Contenidos Didácticos. En: Relada. 2011. Vol. 5(3). Pag. 184-192
Martin Mateos, Francisco Jesus, Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose: Proof Pearl: a Formal Proof of Higman's Lemma in Acl2. En: Journal of automated reasoning. 2011. Vol. 47. Núm. 3. Pag. 229-250
Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Sancho Caparrini, Fernando: A Simulation Algorithm for Multienvironment Probabilistic P Systems: a Formal Verification. En: International journal of foundations of computer science. 2011. Vol. 22. Pag. 107-118
Niu, Y., Pan, Linqiang, Pérez Jiménez, Mario Jesús, Rius Font,Miquel: A Tissue P System Based Uniform Solution to Tripartite Matching Problem. En: Fundamenta informaticae. 2011. Vol. 109. Pag. 179-188
Pan, Linqiang, Paun, Gheorghe, Pérez Jiménez, Mario Jesús: Spiking neural P systems with neuron division and budding. En: SCIENCE CHINA Information Sciences. 2011. Vol. 54. Núm. 8. Pag. 1596-1607
Paun, Gheorghe, Pérez Jiménez, Mario Jesús: P and dP automata: A survey. En: Lecture Notes in Computer Science. 2011. Vol. 6570. Pag. 102-115
Paun, Gheorghe: Membrane Computing -- A Quick Survey. En: Journal of computational and theoretical nanoscience. 2011. Vol. 8. Núm. 3. Pag. 304-312
Paun, Gheorghe: Membrane Computing at Twelve Years (Back to Turku). En: Lecture Notes in Computer Science. 2011. Vol. 6714. Pag. 36-37
Paun, Gheorghe: Membrane Computing at Twelve Years. En: Lecture Notes in Computer Science. 2011. Vol. 6501. Pag. 1-2
Peña Cantillana,Francisco Antonio, Díaz Pernil, Daniel, Berciano Alcaraz, Ainhoa, Gutierrez Naranjo, Miguel Angel: A Parallel Implementation of the Thresholding Problem by Using Tissue-Like P Systems. En: Lecture Notes in Computer Science. 2011. Vol. 6855. Pag. 277-284
Peña Cantillana,Francisco Antonio, Díaz Pernil, Daniel, Christinal, Hepzibah Anandharaj, Gutierrez Naranjo, Miguel Angel: Implementation on Cuda of the Smoothing Problem With Tissue-Like P Systems. En: International Journal of Natural Computing Research. 2011. Vol. 2. Núm. 3. Pag. 25-34
Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Gutierrez Naranjo, Miguel Angel, Rius Font,Miquel: On a Partial Affirmative Answer for a Paun's Conjecture. En: International journal of foundations of computer science. 2011. Vol. 22. Núm. 1. Pag. 55-64
Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Romero Campero, Francisco José: Membrane Computing (Tutorial). En: Lecture Notes in Computer Science. 2011. Vol. 6714. Pag. 38-39
Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Rius Font,Miquel: On a Partial Affirmative Answer for a Paun's Conjecture. En: International journal of foundations of computer science. 2011. Vol. 22. Pag. 55-64
Pérez Jiménez, Mario Jesús, Ortega de la Puente,Alfonso, Sempere Luna, José María: The Spanish Network on Biomolecular and Biocellular Computing: Bio-Inspired Natural Computing in Spain. En: ERCIM news. 2011. Núm. 85. Pag. 25-25
Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Rius Font, M., Romero Campero, F.j.: Looking for Small Efficient P Systems. En: Fund Inform. 2011. Vol. 110. Núm. 1-4. Pag. 295-308
Rivero Gil,Elena, Gutierrez Naranjo, Miguel Angel, Romero Jiménez, Álvaro, Riscos Nuñez, Agustin: A software tool for generating graphics by means of P systems. En: Natural Computing. 2011. Vol. 10. Núm. 2. Pag. 879-890
Roanes Lozano, Eugenio, Alonso Jimenez, Jose Antonio, Hernando, Antonio, Laita de la Rica, Luis M., Roanes Macías, Eugenio: A logic approach to decision taking in a railway interlocking system using Maple. En: Mathematics and Computers in Simulation. 2011. Vol. 82. Núm. 1. Pag. 15-28
Roanes Lozano, Eugenio, Hernando, Antonio, Alonso Jimenez, Jose Antonio, Laita de la Rica, Luis M.: The Logics¿ Explorer: a Maple package for exploring finite many-valued propositional logics. En: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas. 2011. Vol. 105. Núm. 2. Pag. 323-337
Romero Campero, Francisco José: The Infobiotics Workbench: an integrated in silico modelling platform for Systems and Synthetic Biology. En: BioInformatics. 2011. Vol. 27. Núm. 23. Pag. 3323-3324
Zeng, Xiangxiang, Adorna, Henry, Martínez del Amor, Miguel Ángel, Pan, Linqiang, Pérez Jiménez, Mario Jesús: Matrix Representation of Spiking Neural P Systems. En: Lecture Notes in Computer Science. 2011. Vol. 6501. Pag. 377-392
Zhang, X., Niu, Y., Pan, L., Pérez Jiménez, Mario Jesús: Linear time solution to prime factorization by tissue P systems with cell division. En: International Journal of Natural Computing Research. 2011. Vol. 2. Núm. 3. Pag. 49-60
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), Valencia Cabrera, Luis (Editor): Proceedings of the Ninth Brainstorming Week on Membrane Computing. 2011. ISBN 978-84-615-1837-1
Aportaciones a Congresos
Albert, Michael, Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, et. al.: Secure communication of local states in interpreted systems. Comunicación en congreso. DCAI-2011: International Symposium on Distributed Computing and Artificial Intelligence. Rectorado de la Universidad de Salamanca. 2011
Aranda Corral, Gonzalo Antonio, Borrego Diaz, Joaquin: Fca & Semantic Mobile Web 2.0. Ponencia en Congreso. Ifca: Informal Fca Workshop. Dresden. Germany. 2011
Cabarle, Francis G., Adorna, Henry, Martínez del Amor, Miguel Ángel: A Spiking Neural P system simulator based on CUDA. Comunicación en congreso. 12th International Conference on Membrane Computing (CMC12). 2011
Cabarle, Francis G., Adorna, Henry, Martínez del Amor, Miguel Ángel: An Improved GPU Simulator for Spiking Neural P Systems. Comunicación en congreso. Sixth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA). Penang, Malaysia. 2011
Cabarle, Francis G., Adorna, Henry, Martínez del Amor, Miguel Ángel: Simulating Spiking Neural P Systems Without Delays Using GPUs. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. 2011
Cabarle, Francis G., Adorna, Henry, Martínez del Amor, Miguel Ángel: Spiking neural P system without delay simulator implementation using GPGPUs. Comunicación en congreso. Eleventh Philippine Computing Science Congress. 2011
Callejas Carrión, Zoraida, Griol Barres, David, Quesada Moreno, Jose Francisco: New Technique for Handling Asr Errors At the Semantic Level in Spoken Dialogue Systems. Comunicación en congreso. Third International Workshop on Spoken Dialogue Systems. 2011
Carnero Iglesias, Javier, Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel: Designing Tissue-Like P Systems for Image Segmentation on Parallel Architectures. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. Sevilla, España. 2011
Cavaliere, Matteo, Gutierrez Naranjo, Miguel Angel: P Systems With Replicator Dynamics: a Proposal. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. Sevilla, España. 2011
Colomer Cugat, Maria Angels, Fondevilla Moreu, Christian, Valencia Cabrera, Luis: A New P System to Model the Subalpine and Alpine Plant Communities. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. Sevilla, España. 2011
Garcia Quismondo Fernandez, Manuel, Macias Ramos, Luis Felipe, Pérez Jiménez, Mario Jesús: Implementing ENPS by means of GPUs for AI applications. Comunicación en congreso. Interdisciplinary Aspects of Artificial Intelligence. Pilsen, Chequia. 2011
Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús: Implementing Local Search With Membrane Computing. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. Sevilla, España. 2011
Ionescu, M., Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Rodríguez Patón, Alfonso: Spiking Neural P systems with several types of spikes. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. Sevilla, España. 2011
Ionescu, Mihai, Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Yokomori, Takashi: Spiking neural dP systems. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. - Sevilla, ESPAÑA. 2011
Ipate, Florentin, Lefticaru, Raluca, Pérez Hurtado, Ignacio, Pérez Jiménez, Mario Jesús, Tudose, C.: Formal verification of P systems with active membranes through model checking. Comunicación en congreso. Twelfth International Conference on Membrane Computing (CMC12). Fontainebleau (Francia). 2011
Ivanov, Sergiu, Alhazov, Artiom, Rogozhin, Vladimir, Gutierrez Naranjo, Miguel Angel: Forward and Backward Chaining With P Systems. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. Sevilla, España. 2011
Lambán Pardo, Laureano, Martin Mateos, Francisco Jesus, Rubio García, Julio, Ruiz Reina, Jose Luis: Applying Acl2 to the Formalization of Algebraic Topology: Simplicial Polynomials. Comunicación en congreso. Interactive Theorem Proving. Nijmegen, Paises Bajos. 2011
Macías Ramos, Luis Felipe, Macias Ramos, Luis Felipe, Pérez Hurtado de Mendoza, Ignacio, Garcia Quismondo Fernandez, Manuel, Valencia Cabrera, Luis, et. al.: A P-Lingua based Simulator for Spiking Neural P Systems. Ponencia en Congreso. Twelfth International Conference on Membrane Computing (CMC12). Fontainebleau (Francia). 2011
Macías, Luis F., Pérez Hurtado, Ignacio, García Quismondo, Manuel, Valencia, Luis, Pérez Jiménez, Mario Jesús: A P-Lingua based simulator for Spiking Neural P systems. Comunicación en congreso. Twelfth International Conference on Membrane Computing (CMC12). Fontainebleau (Francia). 2011
Niu, Y., Pan, L., Pérez Jiménez, Mario Jesús: A Uniform Solution to common Algorithmic Problem by Tissue P systems with Cell Division. Comunicación en congreso. Sixth International Conference on Bio-Inspired computing: Theories and Applications. Penang, Malaysia. 2011
Paun, Gheorghe, Pérez Jiménez, Mario Jesús: Towards bridging two cell-inspired models: P systems and R systems. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. - Sevilla, ESPAÑA. 2011
Peña Cantillana,Francisco Antonio, Díaz Pernil, Daniel, Christinal, Hepzibah Anandharaj, Gutierrez Naranjo, Miguel Angel: Smoothing Problem in 2d Images With Tissue-Like P Systems and Parallel Implementation. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. Sevilla, España. 2011
Pérez Jiménez, Mario Jesús: Membrane systems: A bio-inspired computing modelling framework. Comunicación en congreso. Natural Information Technologies. Madrid, España. 2011
Pérez Jiménez, Mario Jesús: dP automata versus right-linear simple matrix grammars. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. Sevilla, España. 2011
Reina Molina, Raúl, Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel: Integer Linear Programming for Tissue-Like P Systems. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. Sevilla, España. 2011
Zhang, X., Niu, Y., Pan, L., Pérez Jiménez, Mario Jesús: Linear time solution to prime factorization by tissue P systems with cell division. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. - Sevilla, ESPAÑA. 2011
Aranda Corral, Gonzalo Antonio, Borrego Diaz, Joaquin: Fca & Semantic Mobile Web 2.0. Ponencia en Congreso. Ifca: Informal Fca Workshop. Dresden. Germany. 2011
Cabarle, Francis G., Adorna, Henry, Martínez del Amor, Miguel Ángel: A Spiking Neural P system simulator based on CUDA. Comunicación en congreso. 12th International Conference on Membrane Computing (CMC12). 2011
Cabarle, Francis G., Adorna, Henry, Martínez del Amor, Miguel Ángel: An Improved GPU Simulator for Spiking Neural P Systems. Comunicación en congreso. Sixth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA). Penang, Malaysia. 2011
Cabarle, Francis G., Adorna, Henry, Martínez del Amor, Miguel Ángel: Simulating Spiking Neural P Systems Without Delays Using GPUs. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. 2011
Cabarle, Francis G., Adorna, Henry, Martínez del Amor, Miguel Ángel: Spiking neural P system without delay simulator implementation using GPGPUs. Comunicación en congreso. Eleventh Philippine Computing Science Congress. 2011
Callejas Carrión, Zoraida, Griol Barres, David, Quesada Moreno, Jose Francisco: New Technique for Handling Asr Errors At the Semantic Level in Spoken Dialogue Systems. Comunicación en congreso. Third International Workshop on Spoken Dialogue Systems. 2011
Carnero Iglesias, Javier, Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel: Designing Tissue-Like P Systems for Image Segmentation on Parallel Architectures. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. Sevilla, España. 2011
Cavaliere, Matteo, Gutierrez Naranjo, Miguel Angel: P Systems With Replicator Dynamics: a Proposal. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. Sevilla, España. 2011
Colomer Cugat, Maria Angels, Fondevilla Moreu, Christian, Valencia Cabrera, Luis: A New P System to Model the Subalpine and Alpine Plant Communities. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. Sevilla, España. 2011
Garcia Quismondo Fernandez, Manuel, Macias Ramos, Luis Felipe, Pérez Jiménez, Mario Jesús: Implementing ENPS by means of GPUs for AI applications. Comunicación en congreso. Interdisciplinary Aspects of Artificial Intelligence. Pilsen, Chequia. 2011
Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús: Implementing Local Search With Membrane Computing. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. Sevilla, España. 2011
Ionescu, M., Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Rodríguez Patón, Alfonso: Spiking Neural P systems with several types of spikes. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. Sevilla, España. 2011
Ionescu, Mihai, Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Yokomori, Takashi: Spiking neural dP systems. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. - Sevilla, ESPAÑA. 2011
Ipate, Florentin, Lefticaru, Raluca, Pérez Hurtado, Ignacio, Pérez Jiménez, Mario Jesús, Tudose, C.: Formal verification of P systems with active membranes through model checking. Comunicación en congreso. Twelfth International Conference on Membrane Computing (CMC12). Fontainebleau (Francia). 2011
Ivanov, Sergiu, Alhazov, Artiom, Rogozhin, Vladimir, Gutierrez Naranjo, Miguel Angel: Forward and Backward Chaining With P Systems. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. Sevilla, España. 2011
Lambán Pardo, Laureano, Martin Mateos, Francisco Jesus, Rubio García, Julio, Ruiz Reina, Jose Luis: Applying Acl2 to the Formalization of Algebraic Topology: Simplicial Polynomials. Comunicación en congreso. Interactive Theorem Proving. Nijmegen, Paises Bajos. 2011
Macías Ramos, Luis Felipe, Macias Ramos, Luis Felipe, Pérez Hurtado de Mendoza, Ignacio, Garcia Quismondo Fernandez, Manuel, Valencia Cabrera, Luis, et. al.: A P-Lingua based Simulator for Spiking Neural P Systems. Ponencia en Congreso. Twelfth International Conference on Membrane Computing (CMC12). Fontainebleau (Francia). 2011
Macías, Luis F., Pérez Hurtado, Ignacio, García Quismondo, Manuel, Valencia, Luis, Pérez Jiménez, Mario Jesús: A P-Lingua based simulator for Spiking Neural P systems. Comunicación en congreso. Twelfth International Conference on Membrane Computing (CMC12). Fontainebleau (Francia). 2011
Niu, Y., Pan, L., Pérez Jiménez, Mario Jesús: A Uniform Solution to common Algorithmic Problem by Tissue P systems with Cell Division. Comunicación en congreso. Sixth International Conference on Bio-Inspired computing: Theories and Applications. Penang, Malaysia. 2011
Paun, Gheorghe, Pérez Jiménez, Mario Jesús: Towards bridging two cell-inspired models: P systems and R systems. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. - Sevilla, ESPAÑA. 2011
Peña Cantillana,Francisco Antonio, Díaz Pernil, Daniel, Christinal, Hepzibah Anandharaj, Gutierrez Naranjo, Miguel Angel: Smoothing Problem in 2d Images With Tissue-Like P Systems and Parallel Implementation. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. Sevilla, España. 2011
Pérez Jiménez, Mario Jesús: Membrane systems: A bio-inspired computing modelling framework. Comunicación en congreso. Natural Information Technologies. Madrid, España. 2011
Pérez Jiménez, Mario Jesús: dP automata versus right-linear simple matrix grammars. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. Sevilla, España. 2011
Reina Molina, Raúl, Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel: Integer Linear Programming for Tissue-Like P Systems. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. Sevilla, España. 2011
Zhang, X., Niu, Y., Pan, L., Pérez Jiménez, Mario Jesús: Linear time solution to prime factorization by tissue P systems with cell division. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. - Sevilla, ESPAÑA. 2011
Otras Publicaciones
Valencia Cabrera, Luis: MeCoSim (Membrane Computing Simulator). Otro Material Informatico. 2011. Inglés
Vicerrectorado de Investigación. Universidad de Sevilla.
Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla