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 Titulares (E.U.)
D. Antonio de Jesús Pérez Jiménez
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 Asociados (LOU) y asimilados
D. Antonio Jiménez Mavillard
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. Fernando Gómez Marín
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 | 24.102,00 € |
| Programas de Doctorado | 7.359,89 € |
| Plan Propio de la Universidad de Sevilla | 1.675,00 € |
| Ayuda para Infraestructura y Equipamiento Docente | 12.225,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/2006 (Grupos PAI) Vigencia: 2006-2009 - Junta de Andalucía (Plan Andaluz de Investigación): 8.455,01 €.
- 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 €.
- 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 - 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 - Mymem. Plataforma de servicios de movilidad (68/83) Vigencia: 2007-2009 - Asociación de Investigación y Cooperación Industrial de Andalucía: 29.220,40 €.
Integrantes: Mario de Jesús Pérez Jiménez (Resp.), Hanane Chttou , Andrés Cordón Franco, Juan Carlos García Vázquez, Antonio de Jesús Pérez Jiménez, Fernando Sancho Caparrini - 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), Mª del Carmen Graciani Díaz, Miguel Angel Gutierrez Naranjo, Miguel Ángel Martínez del Amor, Gheorghe Paun , Ignacio Pérez Hurtado de Mendoza, Antonio Jesus Perez Jimenez, Agustin Riscos Nuñez, Francisco José Romero Campero, Álvaro Romero Jiménez, Fernando Sancho Caparrini
Ayudas/Contratos/Proyectos gestionados por la USE en los que participan miembros de este Grupo en el Departamento:
- Análisis computacional y simulación de procesos biológicos en computación celular (PN-2006) Vigencia: 2006-2009 - Ministerio de Educación y Ciencia: 145.200,00 €.
Integrantes: Mario de Jesús Pérez Jiménez (Resp.), Delia Balbontín Noval, María del Carmen Graciani Díaz, Miguel Ángel Gutiérrez Naranjo, Gheorghe V. Paün , Agustín Riscos Núñez, Álvaro Romero Jiménez, Francisco José Romero Campero, Fernando Sancho Caparrini - Ayuda a la Consolidación del Grupo de Investigación TIC-193/2006 (Grupos PAI) Vigencia: 2006-2009 - Junta de Andalucía (Plan Andaluz de Investigación): 15.078,42 €.
- 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, María del Carmen Graciani Díaz, Rosa M. Gutiérrez Escudero, Miguel Ángel Gutiérrez Naranjo, Miguel Angel Martínez del Amor, Enrique Francisco Orejuela Pinedo, Gheorghe V. Paün , Agustín Riscos Núñez, Álvaro Romero Jiménez - 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.) - Desarrollo de modelos y herramientas de computación celular con membranas para aplicaciones en biología y economía (Proy. Exce. J.A.) Vigencia: 2006-2009 - Junta de Andalucía (Plan Andaluz de Investigación): 97.199,96 €.
Integrantes: Mario de Jesús Pérez Jiménez (Resp.), Daniel Carrasco Diaz, Gregorio García Herdugo, María del Carmen Graciani Díaz, Miguel Ángel Gutiérrez Naranjo, Beverley Marie Henley , Gheorghe V. Paün , Agustín Riscos Núñez, Francisco José Romero Campero, Álvaro Romero Jiménez, Fernando Sancho Caparrini, Dragos Florin Sburlan , Damien Paul Woods - Eighth Brainstormingweek on Membrane Computing. (Plan Propio) - Universidad de Sevilla 2.500,00 €.
Integrantes: Mario de Jesús Pérez Jiménez (Resp.) - Estancia de movilidad en el extranjero "Programa José Castillejo" (OPN - Movilidad) - Ministerio de Ciencia e Innovación: 45.450,00 €.
Integrantes: Fernando Sancho Caparrini (Resp.) - 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, 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, Damien Paul Woods - Mymem. Plataforma de servicios de movilidad (68/83) Vigencia: 2007-2009 - Asociación de Investigación y Cooperación Industrial de Andalucía: 29.220,40 €.
Integrantes: Mario de Jesús Pérez Jiménez (Resp.), Hanane Chttou , Andrés Cordón Franco, Juan Carlos García Vázquez, Antonio de Jesús Pérez Jiménez, Fernando Sancho Caparrini - 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
Publicaciones:
Libros
David Wolfe Corne, Pierluigi Frisco, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Membrane Computing. 9th International Workshop, WMC 2008, Revised Selected and Invited Papers. Berlín, Alemania. Springer-Verlag
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: The Oxford Handbook of Membrane Computing. Oxford, Inglaterra. Oxford University Press
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: The Oxford Handbook of Membrane Computing. Oxford, Inglaterra. Oxford University Press
Capítulos en Libros
Jose Antonio Alonso Jimenez, Joaquin Borrego Diaz, Antonia Mª Chavez Gonzalez: Inconsistency, Logic Databases and Ontologies. Handbook of Research on Innovations in Database Technologies and Applications: Current and Future Trends. Hershey Pa. Igi Global. Pag. 452-459
Joaquin Borrego Diaz: Artificial Intelligence and the Semantics of (Virtual) Space. Inclusiva Net: Redes Digitales y Espacio Físico || Inclusiva Net: Digital Nets and Physical Space. Madrid, España. Media Lab Madrid. Vol. 1. Pag. 52-68
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
Andres Cordon Franco, Alejandro Fernandez Margarit, Francisco Felix Lara Martin: On Conservation Results for Parameter Free ΠN-Induction. Studies in Weak Arithmetics. Standford, Estados Unidos. Csli Publications. Pag. 49-97
Andres Cordon Franco, Alejandro Fernandez Margarit: On Conservation Results for Parameter-Free $\pi_n$-Induction. Studies in Weak Arithmetics. Chicago, Estados Unidos. The University of Chicago Press. Pag. 49-97
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
Francisco Jesus Martin Mateos, Jose Luis Ruiz Reina, Julio Rubio García, Laureano Lambán Pardo: Verificación y Eficiencia en Programas para el Cálculo Simbólico: Estudio de un Caso. IX Jornadas Sobre Programación y Lenguajes. San Sebastián, España. Pag. 7-14
Francisco Jesus Martin Mateos, Luis Carlos González Valencia, Rafael Serrano Bello: Sistema Experto para el Control en Tiempo Real de Procesos de Mecanizado. Actas de la XIII Conferencia de la Asociación Española para la Inteligencia Artificial. Sevilla, España. Asociación Española para la Inteligencia Artificial. Pag. 477-496
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, Mario Jesus Perez Jimenez: Spiking Neural P Systems: Recent Results, Research Topics. Algorithmic Bioprocesses. Leiden, the Netherlands. Springer-Verlag. Pag. 273-291
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
Gheorghe Paun: Membrane Computing: History and Brief Introduction. Fundamentals Concepts in Computer Science. Londres, Reino Unido. Pag. 17-41
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, Takashi Yokomori: Membrane Computing Schema: a New Approach to Computation Using String Insertion. Algorithmic Bioprocesses. Leiden, the Netherlands. Springer-Verlag. Pag. 293-309
Mario Jesus Perez Jimenez: Métodos Formales en Computación Bio-Inspirada. Lógica e Filosofia da Ciência. Lisboa. Centro de Filosofia das Ciências Universidade de Lisboa. Pag. 185-212
Joaquin Borrego Diaz: Artificial Intelligence and the Semantics of (Virtual) Space. Inclusiva Net: Redes Digitales y Espacio Físico || Inclusiva Net: Digital Nets and Physical Space. Madrid, España. Media Lab Madrid. Vol. 1. Pag. 52-68
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
Andres Cordon Franco, Alejandro Fernandez Margarit, Francisco Felix Lara Martin: On Conservation Results for Parameter Free ΠN-Induction. Studies in Weak Arithmetics. Standford, Estados Unidos. Csli Publications. Pag. 49-97
Andres Cordon Franco, Alejandro Fernandez Margarit: On Conservation Results for Parameter-Free $\pi_n$-Induction. Studies in Weak Arithmetics. Chicago, Estados Unidos. The University of Chicago Press. Pag. 49-97
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
Francisco Jesus Martin Mateos, Jose Luis Ruiz Reina, Julio Rubio García, Laureano Lambán Pardo: Verificación y Eficiencia en Programas para el Cálculo Simbólico: Estudio de un Caso. IX Jornadas Sobre Programación y Lenguajes. San Sebastián, España. Pag. 7-14
Francisco Jesus Martin Mateos, Luis Carlos González Valencia, Rafael Serrano Bello: Sistema Experto para el Control en Tiempo Real de Procesos de Mecanizado. Actas de la XIII Conferencia de la Asociación Española para la Inteligencia Artificial. Sevilla, España. Asociación Española para la Inteligencia Artificial. Pag. 477-496
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, Mario Jesus Perez Jimenez: Spiking Neural P Systems: Recent Results, Research Topics. Algorithmic Bioprocesses. Leiden, the Netherlands. Springer-Verlag. Pag. 273-291
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
Gheorghe Paun: Membrane Computing: History and Brief Introduction. Fundamentals Concepts in Computer Science. Londres, Reino Unido. Pag. 17-41
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, Takashi Yokomori: Membrane Computing Schema: a New Approach to Computation Using String Insertion. Algorithmic Bioprocesses. Leiden, the Netherlands. Springer-Verlag. Pag. 293-309
Mario Jesus Perez Jimenez: Métodos Formales en Computación Bio-Inspirada. Lógica e Filosofia da Ciência. Lisboa. Centro de Filosofia das Ciências Universidade de Lisboa. Pag. 185-212
Publicaciones en Revistas
Gonzalo Antonio Aranda Corral, Joaquin Borrego Diaz, Magdalena Fernandez Lebron: Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations. Lecture Notes in Artificial Intelligence. Vol. 5625/2009. Pag. 45-58
Joaquin Borrego Diaz, Gonzalo Antonio Aranda Corral: Toward Semantic Mobile Web 2.0 Through Multiagent Systems. Lecture Notes in Artificial Intelligence. Vol. 5559. Pag. 400-409
Nadia Busi, Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez: Efficient Computation in Rational-Valued P Systems. Mathematical Structures in Computer Science. Vol. 19. Núm. 6. Pag. 1125-1139
Monica Cardona, Maria Angels Colomer Cugat, Agustin Riscos Nuñez, Miquel Rius Font: P Systems Computing the Period of Irreducible Markov Chains. International Journal of Computers, Communication & Control. Vol. 4. Núm. 3. Pag. 291-300
Monica Cardona, Maria Angels Colomer Cugat, Mario Jesus Perez Jimenez, Delfí Sanuy, Antoni Margalida: Modeling Ecosystems Using P Systems: the Bearded Vulture, a Case Study. Lecture Notes in Computer Science. Vol. 5391. Pag. 137-156
Matteo Cavaliere, Omer Egecioglu, Oscar Ibarra, Mihai Ionescu, Gheorghe Paun, et. al.: Asynchronous Spiking Neural P Systems. Theoretical Computer Science . Vol. 410. Núm. 24-25. Pag. 2352-2364
Gabriel Ciobanu, Salomon Marcus, Gheorghe Paun: New Strategies of Using the Rules of a P System in a Maximal Way. Power and Complexity. Romanian Journal of Information Science and Technology. Vol. 12. Núm. 2. Pag. 157-173
Andres Cordon Franco, Alejandro Fernandez Margarit, Francisco Felix Lara Martin: Existentially Closed Models and Conservation Results in Bounded Arithmetic. Journal of Logic and Computation . Vol. 19. Núm. 1. Pag. 123-143
Daniel Díaz Pernil, Ignacio Pérez Hurtado de Mendoza, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: A P-Lingua Programming Environment for Membrane Computing. Lecture Notes in Computer Science. Vol. 5391. Pag. 187-203
Daniel Díaz Pernil, Mario Jesus Perez Jimenez, Alvaro Romero Jimenez: Efficient Simulation of Tissue-Like P Systems by Transition Cell-Like P Systems. Natural Computing. Vol. 8. Pag. 797-806
Daniel Díaz Pernil, Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: Solving the Independent Set Problem by Using Tissue-Like P Systems With Cell Division. Lecture Notes in Computer Science. Vol. 5601. Pag. 213-222
Daniel Díaz Pernil, Pilar Gallego Ortiz, Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: Descriptional Complexity of Tissue-Like P Systems With Cell Division. Lecture Notes in Computer Science. Vol. 5715. Pag. 168-178
Manuel Garcia-Quismondo Fernández, Rosa María Gutiérrez Escudero, Miguel Ángel Martínez del Amor, Enrique Orejuela Pinedo, Ignacio Pérez Hurtado de Mendoza: P-Lingua 2.0: a Software Framework for Cell-Like P Systems. International Journal of Computers, Communication & Control. Vol. 4. Núm. 3. Pag. 234-243
Mª del Carmen Graciani Diaz, Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez: An Approach to Ballistic Deposition Based on Membrane Computing. International Journal of Unconventional Computing. Vol. 5. Núm. 5. Pag. 427-439
Miguel Angel Gutierrez Naranjo, Alberto Leporati: First Steps Towards a CPU Made of Spiking Neural P Systems. International Journal of Computers, Communication & Control. Vol. 4. Núm. 3. Pag. 244-252
Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez, Francisco José Romero Campero: On the Efficiency of Cell-Like and Tissue-Like Recognizing Membrane Systems. International Journal of Intelligent Systems. Vol. 24. Núm. 7. Pag. 747-765
Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez: Hebbian Learning From Spiking Neural P Systems View. Lecture Notes in Computer Science. Vol. 5391. Pag. 217-230
Oscar Ibarra, Mario Jesus Perez Jimenez, Takashi Yokomori: On Spiking Neural P Systems. Natural Computing
Alberto Leporati, Claudio Ferretti, Giancarlo Mauri, Mario Jesus Perez Jimenez, Claudio Zandron: Complexity Aspects of Polarizationless Membrane Systems. Natural Computing. Vol. 8. Pag. 703-717
Alberto Leporati, Giancarlo Mauri, Claudio Zandron, Gheorghe Paun, Mario Jesus Perez Jimenez: Uniform Solutions to SAT and Subset Sum by Spiking Neural P Systems. Natural Computing. Vol. 8. Núm. 4. Pag. 681-702
Francisco Jesus Martin Mateos, Julio Rubio García, Jose Luis Ruiz Reina: Acl2 Verification of Simplicial Degeneracy Programs in the Kenzo System. Lecture Notes in Artificial Intelligence. Vol. 5625. Pag. 106-121
Francisco Jesus Martin Mateos, Rafael Serrano Bello, Luis Carlos González Valencia: Architecture for the Optimization of a Machining Process in Real Time Through Rule-Based Expert System. American Institute of Physics Conference Proceedings Series. Vol. 1181. Pag. 652-661
Linqiang Pan, Gheorghe Paun: Spiking Neural P Systems With Anti-Spikes. International Journal of Computers, Communication & Control. Vol. 4. Núm. 3. Pag. 273-282
Gheorghe Paun, Mario Jesus Perez Jimenez: Foreword. Special Issue: Membrane Computing. Fifth Brainstorming Week on Membrane Computing. International Journal of Unconventional Computing. Vol. 5. Núm. 5. Pag. 389-390
Mario Jesus Perez Jimenez: Computational Complexity in P Systems. Scholarpedia. Vol. 4. Núm. 11. Pag. 9290-9290
Agustin Riscos Nuñez: A Framework for Complexity Classes in Membrane Computing. Electronic Notes in Theoretical Computer Science. Vol. 225. Núm. C. Pag. 319-328
Francisco José Romero Campero, Jamie Twycross, Cao Hongqing, Jonathan Blakes, Natalio Krasnogor: A Multiscale Modelling Framework Based on P Systems. Lecture Notes in Computer Science. Vol. 5391. Pag. 63-77
Francisco José Romero Campero, Jamie Twycross, Miguel Cámara, Malcolm Bennett, Marian Gheorghe, et. al.: Modular Assembly of Cell Systems Biology Models Using P Systems. International Journal of Foundations of Computer Science. Vol. 20. Núm. 3. Pag. 427-442
Damien Paul Woods, Niall Murphy, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: Membrane Dissolution and Division in P. Lecture Notes in Computer Science. Vol. 5715. Pag. 262-276
Joaquin Borrego Diaz, Gonzalo Antonio Aranda Corral: Toward Semantic Mobile Web 2.0 Through Multiagent Systems. Lecture Notes in Artificial Intelligence. Vol. 5559. Pag. 400-409
Nadia Busi, Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez: Efficient Computation in Rational-Valued P Systems. Mathematical Structures in Computer Science. Vol. 19. Núm. 6. Pag. 1125-1139
Monica Cardona, Maria Angels Colomer Cugat, Agustin Riscos Nuñez, Miquel Rius Font: P Systems Computing the Period of Irreducible Markov Chains. International Journal of Computers, Communication & Control. Vol. 4. Núm. 3. Pag. 291-300
Monica Cardona, Maria Angels Colomer Cugat, Mario Jesus Perez Jimenez, Delfí Sanuy, Antoni Margalida: Modeling Ecosystems Using P Systems: the Bearded Vulture, a Case Study. Lecture Notes in Computer Science. Vol. 5391. Pag. 137-156
Matteo Cavaliere, Omer Egecioglu, Oscar Ibarra, Mihai Ionescu, Gheorghe Paun, et. al.: Asynchronous Spiking Neural P Systems. Theoretical Computer Science . Vol. 410. Núm. 24-25. Pag. 2352-2364
Gabriel Ciobanu, Salomon Marcus, Gheorghe Paun: New Strategies of Using the Rules of a P System in a Maximal Way. Power and Complexity. Romanian Journal of Information Science and Technology. Vol. 12. Núm. 2. Pag. 157-173
Andres Cordon Franco, Alejandro Fernandez Margarit, Francisco Felix Lara Martin: Existentially Closed Models and Conservation Results in Bounded Arithmetic. Journal of Logic and Computation . Vol. 19. Núm. 1. Pag. 123-143
Daniel Díaz Pernil, Ignacio Pérez Hurtado de Mendoza, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: A P-Lingua Programming Environment for Membrane Computing. Lecture Notes in Computer Science. Vol. 5391. Pag. 187-203
Daniel Díaz Pernil, Mario Jesus Perez Jimenez, Alvaro Romero Jimenez: Efficient Simulation of Tissue-Like P Systems by Transition Cell-Like P Systems. Natural Computing. Vol. 8. Pag. 797-806
Daniel Díaz Pernil, Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: Solving the Independent Set Problem by Using Tissue-Like P Systems With Cell Division. Lecture Notes in Computer Science. Vol. 5601. Pag. 213-222
Daniel Díaz Pernil, Pilar Gallego Ortiz, Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: Descriptional Complexity of Tissue-Like P Systems With Cell Division. Lecture Notes in Computer Science. Vol. 5715. Pag. 168-178
Manuel Garcia-Quismondo Fernández, Rosa María Gutiérrez Escudero, Miguel Ángel Martínez del Amor, Enrique Orejuela Pinedo, Ignacio Pérez Hurtado de Mendoza: P-Lingua 2.0: a Software Framework for Cell-Like P Systems. International Journal of Computers, Communication & Control. Vol. 4. Núm. 3. Pag. 234-243
Mª del Carmen Graciani Diaz, Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez: An Approach to Ballistic Deposition Based on Membrane Computing. International Journal of Unconventional Computing. Vol. 5. Núm. 5. Pag. 427-439
Miguel Angel Gutierrez Naranjo, Alberto Leporati: First Steps Towards a CPU Made of Spiking Neural P Systems. International Journal of Computers, Communication & Control. Vol. 4. Núm. 3. Pag. 244-252
Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez, Francisco José Romero Campero: On the Efficiency of Cell-Like and Tissue-Like Recognizing Membrane Systems. International Journal of Intelligent Systems. Vol. 24. Núm. 7. Pag. 747-765
Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez: Hebbian Learning From Spiking Neural P Systems View. Lecture Notes in Computer Science. Vol. 5391. Pag. 217-230
Oscar Ibarra, Mario Jesus Perez Jimenez, Takashi Yokomori: On Spiking Neural P Systems. Natural Computing
Alberto Leporati, Claudio Ferretti, Giancarlo Mauri, Mario Jesus Perez Jimenez, Claudio Zandron: Complexity Aspects of Polarizationless Membrane Systems. Natural Computing. Vol. 8. Pag. 703-717
Alberto Leporati, Giancarlo Mauri, Claudio Zandron, Gheorghe Paun, Mario Jesus Perez Jimenez: Uniform Solutions to SAT and Subset Sum by Spiking Neural P Systems. Natural Computing. Vol. 8. Núm. 4. Pag. 681-702
Francisco Jesus Martin Mateos, Julio Rubio García, Jose Luis Ruiz Reina: Acl2 Verification of Simplicial Degeneracy Programs in the Kenzo System. Lecture Notes in Artificial Intelligence. Vol. 5625. Pag. 106-121
Francisco Jesus Martin Mateos, Rafael Serrano Bello, Luis Carlos González Valencia: Architecture for the Optimization of a Machining Process in Real Time Through Rule-Based Expert System. American Institute of Physics Conference Proceedings Series. Vol. 1181. Pag. 652-661
Linqiang Pan, Gheorghe Paun: Spiking Neural P Systems With Anti-Spikes. International Journal of Computers, Communication & Control. Vol. 4. Núm. 3. Pag. 273-282
Gheorghe Paun, Mario Jesus Perez Jimenez: Foreword. Special Issue: Membrane Computing. Fifth Brainstorming Week on Membrane Computing. International Journal of Unconventional Computing. Vol. 5. Núm. 5. Pag. 389-390
Mario Jesus Perez Jimenez: Computational Complexity in P Systems. Scholarpedia. Vol. 4. Núm. 11. Pag. 9290-9290
Agustin Riscos Nuñez: A Framework for Complexity Classes in Membrane Computing. Electronic Notes in Theoretical Computer Science. Vol. 225. Núm. C. Pag. 319-328
Francisco José Romero Campero, Jamie Twycross, Cao Hongqing, Jonathan Blakes, Natalio Krasnogor: A Multiscale Modelling Framework Based on P Systems. Lecture Notes in Computer Science. Vol. 5391. Pag. 63-77
Francisco José Romero Campero, Jamie Twycross, Miguel Cámara, Malcolm Bennett, Marian Gheorghe, et. al.: Modular Assembly of Cell Systems Biology Models Using P Systems. International Journal of Foundations of Computer Science. Vol. 20. Núm. 3. Pag. 427-442
Damien Paul Woods, Niall Murphy, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: Membrane Dissolution and Division in P. Lecture Notes in Computer Science. Vol. 5715. Pag. 262-276
Libros de Actas
Rosa María Gutiérrez Escudero, Miguel Angel Gutierrez Naranjo, Gheorghe Paun, Ignacio Pérez Hurtado de Mendoza, Agustin Riscos Nuñez: Seventh Brainstorming Week on Membrane Computing.volume I. Num. 7. Sevilla. Sevilla. Fenix Editora
Francisco Jesus Martin Mateos: Computational Logics and Artificial Intelligence. Num. 1. Sevilla. Sevilla, España
Miguel Ángel Martínez del Amor, Enrique Orejuela Pinedo, Gheorghe Paun, Ignacio Pérez Hurtado de Mendoza, Agustin Riscos Nuñez: Seventh Brainstorming Week on Membrane Computing. Volume II. Num. 7. Sevilla. Sevilla. Fenix Editora
Gheorghe Paun, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: Proceedings of the Tenth Workshop on Membrane Computing. Num. 9. Curtea de Arges, Rumanía. Sevilla. Marpa Publicidad S.L.U.
Francisco Jesus Martin Mateos: Computational Logics and Artificial Intelligence. Num. 1. Sevilla. Sevilla, España
Miguel Ángel Martínez del Amor, Enrique Orejuela Pinedo, Gheorghe Paun, Ignacio Pérez Hurtado de Mendoza, Agustin Riscos Nuñez: Seventh Brainstorming Week on Membrane Computing. Volume II. Num. 7. Sevilla. Sevilla. Fenix Editora
Gheorghe Paun, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: Proceedings of the Tenth Workshop on Membrane Computing. Num. 9. Curtea de Arges, Rumanía. Sevilla. Marpa Publicidad S.L.U.
Aportaciones a Congresos
Jose Antonio Alonso Jimenez, Edgardo Samuel Barraza Verdesoto, Fabián Fernando Serrano Suárez: Formalización de la Demostración de Completitud de la Lógica Proposicional en Isabelle/Isar. Computational Logics and Artificial Intelligence. Computational Logics and Artificial Intelligence (). Sevilla. Pag. 47-58
Jose Antonio Alonso Jimenez, Edgardo Samuel Barraza Verdesoto: Algoritmo para Resolver K-SAT Basado en Cláusulas. Computational Logics and Artificial Intelligence. Computational Logics and Artificial Intelligence (). Sevilla. Pag. 113-124
Gonzalo Antonio Aranda Corral, Jose Antonio Alonso Jimenez, Joaquin Borrego Diaz: Sistema Certificado de Decisión Proposicional Basado en Polinomios. Computational Logics and Artificial Intelligence. Computational Logics and Artificial Intelligence (1). Num. 1. Sevilla. Pag. 101-111
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. Proceedings of the Tenth Workshop on Membrane Computing. Workshop on Membrane Computing (9). Num. 9. Curtea de Arges, Rumanía. Marpa Publicidad S.L.U. Pag. 153-168
Monica Cardona, Maria Angels Colomer Cugat, Mario Jesus Perez Jimenez: Characterizing the Aperiodicity of Irreducible Markov Chains by Using P Systems. Seventh Brainstorming Week on Membrane Computing.volume I. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 81-96
Jose Maria Cecilia, Ginés D. Guerrero, José Manuel García Carrasco, Miguel Ángel Martínez del Amor, Ignacio Pérez Hurtado de Mendoza, et. al.: Simulation of P Systems Eith Active Membranes on Cuda. Proceedings of the 2009 International Workshop on High Performance Computational System Biology. 2009 International Workshop on High Performance Computational System Biology (). Trento, Italia. IEEE Computer Society. Pag. 61-70
Jose Maria Cecilia, Ginés D. Guerrero, José Manuel García Carrasco, Miguel Ángel Martínez del Amor, Ignacio Pérez Hurtado de Mendoza, et. al.: Simulation of P Systems With Active Membranes on Cuda. Proceedings of the 2009 International Workshop on High Performance Computational System Biology. 2009 International Workshop on High Performance Computational System Biology (). Trento, Italia. IEEE Computer Society. Pag. 61-70
Daniel Díaz Pernil, Pilar Gallego Ortiz, Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: Cell-Like Versus Tissue-Like P Systems by Means of Sevilla Carpets. Seventh Brainstorming Week on Membrane Computing.volume I. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 109-122
Manuel Garcia-Quismondo Fernández, Beverly Henley, Ignacio Pérez Hurtado de Mendoza, Agustin Riscos Nuñez: A First Attempt to Model Notch Signalling by Means of P Systems. Proceedings of the Tenth Workshop on Membrane Computing. Workshop on Membrane Computing (9). Num. 9. Curtea de Arges, Rumanía. Marpa Publicidad S.L.U. Pag. 265-268
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. Proceedings of the Tenth Workshop on Membrane Computing. Workshop on Membrane Computing (9). Num. 9. Curtea de Arges, Rumanía. Marpa Publicidad S.L.U. Pag. 240-264
Manuel Garcia-Quismondo Fernández, Rosa María Gutiérrez Escudero, Ignacio Pérez Hurtado de Mendoza, Mario Jesus Perez Jimenez: P-Lingua 2.0: New Features and First Applications. Seventh Brainstorming Week on Membrane Computing.volume I. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 141-168
Ginés D. Guerrero, Jose Maria Cecilia, José Manuel García Carrasco, Miguel Ángel Martínez del Amor, Ignacio Pérez Hurtado de Mendoza, et. al.: Analysis of P Systems Simulation on Cuda. Actas de las XX Jornadas de Paralelismo. XX Jornadas de Paralelismo (). A Coruña. Servizo de Publicacións, Universidade da Coruña. Pag. 219-224
Miguel Angel Gutierrez Naranjo, Alberto Leporati: Performing Arithmetic Operations With Spiking Neural P Systems. Seventh Brainstorming Week on Membrane Computing.volume I. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 181-198
Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez: Computing Backwards With P Systems. Seventh Brainstorming Week on Membrane Computing.volume I. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 211-226
Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez: Searching Previous Configurations in Membrane Computing. Proceedings of the Tenth Workshop on Membrane Computing. Workshop on Membrane Computing (9). Num. 9. Curtea de Arges, Rumanía. Marpa Publicidad S.L.U. Pag. 282-297
Miguel Angel Gutierrez Naranjo, Miguel Ángel Martínez del Amor, Ignacio Pérez Hurtado de Mendoza, Mario Jesus Perez Jimenez: Solving the N-Queens Puzzle With P Systems. Seventh Brainstorming Week on Membrane Computing.volume I. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 199-210
Rosa María Gutiérrez Escudero, Mario Jesus Perez Jimenez, Miquel Rius Font: Characterizing Tractability by Tissue-Like P Systems. Proceedings of the Tenth Workshop on Membrane Computing. Workshop on Membrane Computing (9). Num. 9. Curtea de Arges, Rumanía. Marpa Publicidad S.L.U. Pag. 269-281
Rosa María Gutiérrez Escudero, Mario Jesus Perez Jimenez, Miquel Rius Font: Characterizing Tractability by Tissue-Like P Systems. Seventh Brainstorming Week on Membrane Computing.volume I. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 169-180
Francisco Jesus Martin Mateos, Jose Luis Ruiz Reina, Julio Rubio García: Acl2 Verification of Simplicial Degeneracy Programs in the Kenzo System. Intelligent Computer Mathematics. 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning, Calculemus 2009 (16). Num. 16. Grand Bend, Cánada. Pag. 106-121
Francisco Jesus Martin Mateos, Jose Luis Ruiz Reina, Laureano Lambán Pardo: Polinomios Simpliciales: una Herramienta para la Formalización de la Topología Simplicial en Acl2. Computational Logics and Artificial Intelligence. Computational Logics and Artificial Intelligence (). Sevilla. Pag. 35-45
Francisco Jesus Martin Mateos, Laureano Lambán Pardo, Julio Rubio García, Jose Luis Ruiz Reina: Verificación y Eficiencia en Programas para el Cálculo Simbólico: Estudio de un Caso. IX Jornadas Sobre Programación y Lenguajes. IX Jornadas Sobre Programación y Lenguajes (9). Num. 9. San Sebastián. Pag. 7-14
Francisco Jesus Martin Mateos, Luis Carlos González Valencia, Rafael Serrano Bello: Arquitectura para la Optimización de un Proceso de Mecanizado en Tiempo Real Mediante un Sistema Experto. Third Manufacturing Engineering Society International Conference. Third Manufacturing Engineering Society International Conference (3). Num. 3. Alcoy. Pag. 378-341
Francisco Jesus Martin Mateos, Luis Carlos González Valencia, Rafael Serrano Bello: Sistema Experto para el Control en Tiempo Real de Procesos de Mecanizado. Actas de la XIII Conferencia de la Asociación Española para la Inteligencia Artificial. Conferencia de la Asociación Española para la Inteligencia Artificial (13). Num. 13. Sevilla. Asociación Española para la Inteligencia Artificial. Pag. 477-486
Miguel Ángel Martínez del Amor, Ignacio Pérez Hurtado de Mendoza, Mario Jesus Perez Jimenez, Jose Maria Cecilia, Ginés D. Guerrero, et. al.: Simulating Active Membrane Systems Using Gpus. Proceedings of the Tenth Workshop on Membrane Computing. Workshop on Membrane Computing (9). Num. 9. Curtea de Arges, Rumanía. Marpa Publicidad S.L.U. Pag. 369-384
Miguel Ángel Martínez del Amor, Ignacio Pérez Hurtado de Mendoza, Mario Jesus Perez Jimenez, Jose Maria Cecilia, Ginés D. Guerrero, et. al.: Simulation of Recognizer P Systems by Using Manycore Gpus. Seventh Brainstorming Week on Membrane Computing. Volume II. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 45-58
Linqiang Pan, Gheorghe Paun, Mario Jesus Perez Jimenez: Spiking Neural P Systems With Neuron Division and Budding. Seventh Brainstorming Week on Membrane Computing. Volume II. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 151-168
Linqiang Pan, Gheorghe Paun: New Normal Forms for Spiking Neural P Systems. Seventh Brainstorming Week on Membrane Computing. Volume II. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 127-138
Linqiang Pan, Gheorghe Paun: Spiking Neural P Systems With Anti-Spikes. Seventh Brainstorming Week on Membrane Computing. Volume II. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 139-150
Linqiang Pan, Mario Jesus Perez Jimenez: Efficiency of Tissue P Systems With Cell Separation. Seventh Brainstorming Week on Membrane Computing. Volume II. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 169-196
Gheorghe Paun, Hendrik J. Hoogeboom, Linqiang Pan, Jun Wang: Spiking Neural P Systems With Weights and Tresholds. Proceedings of the Tenth Workshop on Membrane Computing. Workshop on Membrane Computing (9). Num. 9. Curtea de Arges, Rumanía. Marpa Publicidad S.L.U. Pag. 514-533
Gheorghe Paun: A Bibliography of Spiking Neural P Systems. Seventh Brainstorming Week on Membrane Computing. Volume II. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 207-212
Gheorghe Paun: Some Open Problems Collected During 7th Bwmc. Seventh Brainstorming Week on Membrane Computing. Volume II. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 197-206
Mario Jesus Perez Jimenez: A Computational Complexity Theory in Membrane Computing. Proceedings of the Tenth Workshop on Membrane Computing. Workshop on Membrane Computing (9). Num. 9. Curtea de Arges, Rumanía. Marpa Publicidad S.L.U. Pag. 82-105
Jose Luis Ruiz Reina, David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Stroother Moore, et. al.: Efficient Execution in an Automated Reasoning Environment. IX Jornadas Sobre Programación y Lenguajes. IX Jornadas Sobre Programación y Lenguajes (9). Num. 9. San Sebastián. Pag. 96-96
Jose Antonio Alonso Jimenez, Edgardo Samuel Barraza Verdesoto: Algoritmo para Resolver K-SAT Basado en Cláusulas. Computational Logics and Artificial Intelligence. Computational Logics and Artificial Intelligence (). Sevilla. Pag. 113-124
Gonzalo Antonio Aranda Corral, Jose Antonio Alonso Jimenez, Joaquin Borrego Diaz: Sistema Certificado de Decisión Proposicional Basado en Polinomios. Computational Logics and Artificial Intelligence. Computational Logics and Artificial Intelligence (1). Num. 1. Sevilla. Pag. 101-111
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. Proceedings of the Tenth Workshop on Membrane Computing. Workshop on Membrane Computing (9). Num. 9. Curtea de Arges, Rumanía. Marpa Publicidad S.L.U. Pag. 153-168
Monica Cardona, Maria Angels Colomer Cugat, Mario Jesus Perez Jimenez: Characterizing the Aperiodicity of Irreducible Markov Chains by Using P Systems. Seventh Brainstorming Week on Membrane Computing.volume I. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 81-96
Jose Maria Cecilia, Ginés D. Guerrero, José Manuel García Carrasco, Miguel Ángel Martínez del Amor, Ignacio Pérez Hurtado de Mendoza, et. al.: Simulation of P Systems Eith Active Membranes on Cuda. Proceedings of the 2009 International Workshop on High Performance Computational System Biology. 2009 International Workshop on High Performance Computational System Biology (). Trento, Italia. IEEE Computer Society. Pag. 61-70
Jose Maria Cecilia, Ginés D. Guerrero, José Manuel García Carrasco, Miguel Ángel Martínez del Amor, Ignacio Pérez Hurtado de Mendoza, et. al.: Simulation of P Systems With Active Membranes on Cuda. Proceedings of the 2009 International Workshop on High Performance Computational System Biology. 2009 International Workshop on High Performance Computational System Biology (). Trento, Italia. IEEE Computer Society. Pag. 61-70
Daniel Díaz Pernil, Pilar Gallego Ortiz, Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez, Agustin Riscos Nuñez: Cell-Like Versus Tissue-Like P Systems by Means of Sevilla Carpets. Seventh Brainstorming Week on Membrane Computing.volume I. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 109-122
Manuel Garcia-Quismondo Fernández, Beverly Henley, Ignacio Pérez Hurtado de Mendoza, Agustin Riscos Nuñez: A First Attempt to Model Notch Signalling by Means of P Systems. Proceedings of the Tenth Workshop on Membrane Computing. Workshop on Membrane Computing (9). Num. 9. Curtea de Arges, Rumanía. Marpa Publicidad S.L.U. Pag. 265-268
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. Proceedings of the Tenth Workshop on Membrane Computing. Workshop on Membrane Computing (9). Num. 9. Curtea de Arges, Rumanía. Marpa Publicidad S.L.U. Pag. 240-264
Manuel Garcia-Quismondo Fernández, Rosa María Gutiérrez Escudero, Ignacio Pérez Hurtado de Mendoza, Mario Jesus Perez Jimenez: P-Lingua 2.0: New Features and First Applications. Seventh Brainstorming Week on Membrane Computing.volume I. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 141-168
Ginés D. Guerrero, Jose Maria Cecilia, José Manuel García Carrasco, Miguel Ángel Martínez del Amor, Ignacio Pérez Hurtado de Mendoza, et. al.: Analysis of P Systems Simulation on Cuda. Actas de las XX Jornadas de Paralelismo. XX Jornadas de Paralelismo (). A Coruña. Servizo de Publicacións, Universidade da Coruña. Pag. 219-224
Miguel Angel Gutierrez Naranjo, Alberto Leporati: Performing Arithmetic Operations With Spiking Neural P Systems. Seventh Brainstorming Week on Membrane Computing.volume I. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 181-198
Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez: Computing Backwards With P Systems. Seventh Brainstorming Week on Membrane Computing.volume I. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 211-226
Miguel Angel Gutierrez Naranjo, Mario Jesus Perez Jimenez: Searching Previous Configurations in Membrane Computing. Proceedings of the Tenth Workshop on Membrane Computing. Workshop on Membrane Computing (9). Num. 9. Curtea de Arges, Rumanía. Marpa Publicidad S.L.U. Pag. 282-297
Miguel Angel Gutierrez Naranjo, Miguel Ángel Martínez del Amor, Ignacio Pérez Hurtado de Mendoza, Mario Jesus Perez Jimenez: Solving the N-Queens Puzzle With P Systems. Seventh Brainstorming Week on Membrane Computing.volume I. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 199-210
Rosa María Gutiérrez Escudero, Mario Jesus Perez Jimenez, Miquel Rius Font: Characterizing Tractability by Tissue-Like P Systems. Proceedings of the Tenth Workshop on Membrane Computing. Workshop on Membrane Computing (9). Num. 9. Curtea de Arges, Rumanía. Marpa Publicidad S.L.U. Pag. 269-281
Rosa María Gutiérrez Escudero, Mario Jesus Perez Jimenez, Miquel Rius Font: Characterizing Tractability by Tissue-Like P Systems. Seventh Brainstorming Week on Membrane Computing.volume I. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 169-180
Francisco Jesus Martin Mateos, Jose Luis Ruiz Reina, Julio Rubio García: Acl2 Verification of Simplicial Degeneracy Programs in the Kenzo System. Intelligent Computer Mathematics. 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning, Calculemus 2009 (16). Num. 16. Grand Bend, Cánada. Pag. 106-121
Francisco Jesus Martin Mateos, Jose Luis Ruiz Reina, Laureano Lambán Pardo: Polinomios Simpliciales: una Herramienta para la Formalización de la Topología Simplicial en Acl2. Computational Logics and Artificial Intelligence. Computational Logics and Artificial Intelligence (). Sevilla. Pag. 35-45
Francisco Jesus Martin Mateos, Laureano Lambán Pardo, Julio Rubio García, Jose Luis Ruiz Reina: Verificación y Eficiencia en Programas para el Cálculo Simbólico: Estudio de un Caso. IX Jornadas Sobre Programación y Lenguajes. IX Jornadas Sobre Programación y Lenguajes (9). Num. 9. San Sebastián. Pag. 7-14
Francisco Jesus Martin Mateos, Luis Carlos González Valencia, Rafael Serrano Bello: Arquitectura para la Optimización de un Proceso de Mecanizado en Tiempo Real Mediante un Sistema Experto. Third Manufacturing Engineering Society International Conference. Third Manufacturing Engineering Society International Conference (3). Num. 3. Alcoy. Pag. 378-341
Francisco Jesus Martin Mateos, Luis Carlos González Valencia, Rafael Serrano Bello: Sistema Experto para el Control en Tiempo Real de Procesos de Mecanizado. Actas de la XIII Conferencia de la Asociación Española para la Inteligencia Artificial. Conferencia de la Asociación Española para la Inteligencia Artificial (13). Num. 13. Sevilla. Asociación Española para la Inteligencia Artificial. Pag. 477-486
Miguel Ángel Martínez del Amor, Ignacio Pérez Hurtado de Mendoza, Mario Jesus Perez Jimenez, Jose Maria Cecilia, Ginés D. Guerrero, et. al.: Simulating Active Membrane Systems Using Gpus. Proceedings of the Tenth Workshop on Membrane Computing. Workshop on Membrane Computing (9). Num. 9. Curtea de Arges, Rumanía. Marpa Publicidad S.L.U. Pag. 369-384
Miguel Ángel Martínez del Amor, Ignacio Pérez Hurtado de Mendoza, Mario Jesus Perez Jimenez, Jose Maria Cecilia, Ginés D. Guerrero, et. al.: Simulation of Recognizer P Systems by Using Manycore Gpus. Seventh Brainstorming Week on Membrane Computing. Volume II. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 45-58
Linqiang Pan, Gheorghe Paun, Mario Jesus Perez Jimenez: Spiking Neural P Systems With Neuron Division and Budding. Seventh Brainstorming Week on Membrane Computing. Volume II. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 151-168
Linqiang Pan, Gheorghe Paun: New Normal Forms for Spiking Neural P Systems. Seventh Brainstorming Week on Membrane Computing. Volume II. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 127-138
Linqiang Pan, Gheorghe Paun: Spiking Neural P Systems With Anti-Spikes. Seventh Brainstorming Week on Membrane Computing. Volume II. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 139-150
Linqiang Pan, Mario Jesus Perez Jimenez: Efficiency of Tissue P Systems With Cell Separation. Seventh Brainstorming Week on Membrane Computing. Volume II. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 169-196
Gheorghe Paun, Hendrik J. Hoogeboom, Linqiang Pan, Jun Wang: Spiking Neural P Systems With Weights and Tresholds. Proceedings of the Tenth Workshop on Membrane Computing. Workshop on Membrane Computing (9). Num. 9. Curtea de Arges, Rumanía. Marpa Publicidad S.L.U. Pag. 514-533
Gheorghe Paun: A Bibliography of Spiking Neural P Systems. Seventh Brainstorming Week on Membrane Computing. Volume II. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 207-212
Gheorghe Paun: Some Open Problems Collected During 7th Bwmc. Seventh Brainstorming Week on Membrane Computing. Volume II. Brainstormig Week on Membrane Computing (7). Num. 7. Sevilla. Fenix Editora. Pag. 197-206
Mario Jesus Perez Jimenez: A Computational Complexity Theory in Membrane Computing. Proceedings of the Tenth Workshop on Membrane Computing. Workshop on Membrane Computing (9). Num. 9. Curtea de Arges, Rumanía. Marpa Publicidad S.L.U. Pag. 82-105
Jose Luis Ruiz Reina, David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Stroother Moore, et. al.: Efficient Execution in an Automated Reasoning Environment. IX Jornadas Sobre Programación y Lenguajes. IX Jornadas Sobre Programación y Lenguajes (9). Num. 9. San Sebastián. Pag. 96-96
Otras Publicaciones
Joaquin Borrego Diaz: Infoxicación Amiga, Ruido en Tu Creciente Vecindario Digital. Informes, Estudios, Trabajos y Dictámenes. Sevilla, España