Logotipo de Universidad de Sevilla
VICERRECTORADO DE INVESTIGACIÓN
Logotipo Andalucía Tech
Letras Universidad de Sevilla

Ficha personal - Mario de Jesús Pérez Jiménez


Mario de Jesús Pérez Jiménez
Telefono: 95.455.79.52
Email: Solicitar correo
Perfil en ORCID: 0000-0002-5055-0102
Perfil en ResearcherID: B-2114-2008

Grupo de Investigación: Computacion Natural
Departamento/Unidad: Ciencias de la Computación e Inteligencia Artificial
Situación profesional: Catedrático de Universidad

Responsable de los siguientes proyectos/ayudas en la US:

  • Proyectos:
    • De la Computación Celular a la Computación de Alto Rendimiento. Aplicación a la Dinámica de Poblaciones. (TIN2012-37434)
    • Computación celular: aplicación a la biología de sistema y sintética (TIN2009-13192)
    • Análisis computacional y simulación de procesos biológicos en computación celular (TIN2006-13425)
    • Desarrollo de modelos y herramientas de computación celular con membranas para aplicaciones en biología y economía (EXC/2005/TIC-581)
    • Modelización y simulación de procesos biológicos y computacionales a través de sistemas celulares con membranas (TIN2005-09345-C04-01)
    • Desarrollo, verificación y automatización de modelos moleculares y celulares con membranas (TIC2002-04220-C03-01)

  • Contratos Arts. 68/83 LOU:
    • Mymem. Plataforma de servicios de movilidad (OG-128/07)

  • Plan Propio:
    • Ninth Brainstorming Week on Membrane Computing (PP2011-01-021)
    • Eighth Brainstormingweek on Membrane Computing (PP2010-01-022)
    • Eighth Brainstormingweek on Membrane Computing. (PP2009-01-045)
    • Sixth brainstorming week on membrane computing (PP2007-02-015)
    • Fifth Brainstorming Week on Membrana Computing (PP2006-01-11)
    • Fourth International Conference on Unconventional Computation (PP2005-01-15)
    • Fourth brainstorming week on membrane computing (PP2005-01-30)
    • Third Brainstorming Week on Membrane Computing (PP2004/01-17)

  • Ayudas:
    • Incentivo al Grupo de Investigación TIC-193 (2011/TIC-193)
    • Incentivo al Grupo de Investigación TIC-193 (2010/TIC-193)
    • Congreso Internacional sobre Desarrollos en Computación con Membranas (TIN2011-13199-E)
    • Renovación y nuevas actividades de la red temática en computación biomolecular y biocelular (TIN2011-15874-E)
    • Computations and bioprocesses in living celles (CoBio-Live) (OTR2010-PC22)
    • Patient specific therapies for tumours based on angiogenesis models (OTR2010-PC40)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-193 (2009/TIC-193)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-193 (2008/TIC-193)
    • Creación de una red temática en computación biomolecular y biocelular (TIN2008-04487-E)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-193 (2007/TIC-193)
    • Cellular Computing Network (OTRI/06-PC36)
    • Advancing mathematical and computacional aids for diagnosis and prognosis in molecular medicine (OTRI/08-FCIE32)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-193 (2006/TIC-193)
    • Exploratory Workshop on Cellular Computing (Complexity Aspects) (2004/1401)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-193 (2004/TIC-193)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-193 (2005/TIC-193)
    • Theory and practice of membrane computing (HI2005-0194)
    • Fourth International Conference on Unconventional Computation (TIN2004-23021-E)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-902 (2003/TIC-902)

  • Becas:

Participa en los siguientes proyectos/ayudas en la US:

  • Proyectos:
    • La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención (AIB2010PT-00106 - Investigador)
    • Modelado y Simulación Computacional en Biología de Sistemas (P08-TIC-04200 - Investigador)

  • Ayudas:
    • Mathematic and informatics of membrane-mediated processes (MIMEMP) (OTR2010-PC43 - Investigador)
    • Conferencias y cursos de carácter científico. Jornadas matemáticas (ACPAI-2003/097 - Investigador)

Cobertura de la base de datos de proyectos, véase aqui


Publicaciones:

Libros
Zhang, Gexiang, Pérez Jiménez, Mario Jesús, Gheorghe, Marian:
Real-life applications with Membrane Computing. Springer International Publishing. 2017. X+36777. ISBN 978-3-319-55987-2

Zhang, Gexiang, Pérez Jiménez, Mario Jesús, Gheorghe, Marian:
Real-life applications with Membrane Computing. Springer International Publishing. 2017. X+367. ISBN 978-3-319-55987-2

Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando:
Teoría de la Complejidad en modelos de Computación Celular con Membranas. Santander (ESPAÑA). Editorial KRONOS. 2002. 118. ISBN 84-86273-57-9

Pérez Jiménez, Mario Jesús:
Computación Celular con Membranas: Un Modelo no Convencional. Kronos. 2002. 109. ISBN 84-86273-52-8,

Pérez Jiménez, Mario Jesús:
Esquemas del Máximo en la Aritmética. Editorial de la Universidad de Sevilla. 1992. 9. ISBN 84-472-0079-5

Pérez Jiménez, Mario Jesús:
Teoría de clases y conjuntos. . Barcelona, España. Edunsa. 1988. 582. ISBN 84-7747-000-6

Otra participación en Libros
Gheorghe, Marian (Coeditor/a), Petre, Ion (Coeditor/a), Pérez Jiménez, Mario Jesús (Coeditor/a), Rozenberg, Grzegorz (Coeditor/a), Salomaa, Arto (Coeditor/a):
Multidisciplinary Creativity. Bucarest, Rumanía. Spandugino. 2015. X+334. ISBN 975-606-8401-63-8

Pan, Linqiang (Coeditor/a), Paun, Gheorghe (Coeditor/a), Pérez Jiménez, Mario Jesús (Coeditor/a), Song, Tao (Coeditor/a):
Bio-inspired Computing: Theories and Applications. Singapore. Springer. 2014. 672. ISBN 978-3-662-45048-2

Frisco, Pierluigi (Coeditor/a), Gheorghe, Marian (Coeditor/a), Pérez Jiménez, Mario Jesús (Coeditor/a):
Applications of Membrane Computing in Systems and Synthetic Biology. Springer International Publishing. 2014. xvii + 266. ISBN 978-3-319-03191-0

Paun, Gheorghe (Editor/a), Pérez Jiménez, Mario Jesús (Editor/a), Riscos Nuñez, Agustin (Editor/a), Rozenberg, Grzegorz (Editor/a), Salomaa, Arto (Editor/a):
Membrane Computing, WMC 2009. Berlin, Alemania. Springer-Verlag. 2010. Ix+487. ISBN 3-642-11466-0

Ciobanu, Gabriel (Editor/a), Pérez Jiménez, Mario Jesús (Editor/a), Paun, Gheorghe (Editor/a):
Applications of Membrane Computing. Berlín, Alemania. Springer-Verlag. 2006. ISBN 3-540-25017-4

Gutierrez Naranjo, Miguel Angel (Editor/a), Paun, Gheorghe (Editor/a), Pérez Jiménez, Mario Jesús (Editor/a):
Cellular Computing (Complexity Aspects). Ed. 1. Santander (ESPAÑA). Fenix. 2005. ISBN 84-609-5338-6

Pérez Jiménez, Mario Jesús (Editor/a), Mauri, Giancarlo (Editor/a), Paun, Gheorghe (Editor/a), Rozenberg, Grzegorz (Editor/a), Salomaa, Arto (Editor/a):
Membrane Computing : 5th International Workshop, WMC 2004 : Milan, Italy, June 14-16, 2004 : Revised Selected and Invited Papers. Berlín, Alemania. Springer. 2005. ISBN 3-540-25080-8

Pérez Jiménez, Mario Jesús (Editor/a), Romero Jiménez, Álvaro (Editor/a), Sancho Caparrini, Fernando (Editor/a):
Recent Results in Natural Computing. Santander (ESPAÑA). Fenix Editorial. 2005. ISBN 84-609-6864-2

Riscos Nuñez, Agustin (Editor/a), Pérez Jiménez, Mario Jesús (Editor/a), Díaz Pernil, Daniel (Autor/a), Nepomuceno Chamorro, Juan Antonio (Autor/a), Ramos Espina,Antonio Jesús (Autor/a):
Modelos de Computación Molecular, Celular y Cuántica. Santander (ESPAÑA). Fenix Editorial. 2004. ISBN 84-609-3200-1

Capítulos en Libros
Adorna, Henry, Cabarle, Francis G.c., Macias Ramos, Luis Felipe, Pan, Linqiang, Pérez Jiménez, Mario Jesús, et. al.:
Taking the Pulse of SN P Systems: a Quick Survey. Pag. 3-16. En: Multidisciplinary Creativity. Bucarest, Rumanía. Spandugino. 2015. X+334. ISBN 975-606-8401-63-8

Romero Jiménez, Álvaro, Riscos Nuñez, Agustin, Macias Ramos, Luis Felipe, Graciani, Carmen, Pérez Jiménez, Mario Jesús, et. al.:
Twelve Years of Sevilla Carpets: a Survey. Pag. 141-152. En: Multidisciplinary Creativity. Bucarest, Rumanía. Spandugino. 2015. X+334. ISBN 975-606-8401-63-8

Song, B., Pérez Jiménez, Mario Jesús, Pan, L.:
Computational Efficiency and Universality of Timed P Systems with Membrane Creation. Vol. 472. Pag. 389-394. En: Bio-inspired Computing: Theories and Applications. Singapore. Springer. 2014. 672. ISBN 978-3-662-45048-2

Martínez del Amor, Miguel Ángel, Macias Ramos, Luis Felipe, Valencia Cabrera, Luis, Pérez Jiménez, Mario Jesús:
Accelerated Simulation of P Systems on the GPU: A Survey. Vol. 472. Pag. 308-312. En: Bio-inspired Computing: Theories and Applications. Singapore. Springer. 2014. 672. ISBN 978-3-662-45048-2

Pérez Jiménez, Mario Jesús, Colomer, Maria Angels, Garcia Quismondo Fernandez, Manuel, Macias Ramos, Luis Felipe, Martínez del Amor, Miguel Ángel, et. al.:
Membrane System-Based Models for Specifying Dynamical Population Systems. Vol. 7. Pag. 97-132. En: Applications of Membrane Computing in Systems and Synthetic Biology. Springer International Publishing. 2014. xvii + 266. ISBN 978-3-319-03191-0

Garcia Quismondo Fernandez, Manuel, Macias Ramos, Luis Felipe, Pérez Jiménez, Mario Jesús:
Implementing enzymatic numerical P systems for AI applications by means of graphic processing units. Vol. 4. Pag. 137-159. En: Beyond Artificial Intelligence. Topics in Intelligent Engineering and Informatics. Springer Berlin Heidelberg. 2012. ISBN 978-3-642-34421-3

Pérez Jiménez, Mario Jesús:
La Mitosis Celular: una Sorprendente Frontera de la Eficiencia. Pag. 99-108. En: Liber Amicorum Ángel Nepomuceno. Santander (ESPAÑA). Fenix Editora. 2010. ISBN 978-84-614-5116-6

Pérez Jiménez, Mario Jesús:
Razonando Sobre Soluciones Mecánicas, Inductivas y Cualitativas. Pag. 211-229. En: Estudios de Lógica, Lenguaje y Epistemología. Fénix Editora. 2010. 449. ISBN 9788461442911

Pérez Jiménez, Mario Jesús:
Métodos Formales en Computación Bio-Inspirada. Pag. 185-212. En: Lógica e Filosofia da Ciência. Lisboa. Centro de Filosofia das Ciências Universidade de Lisboa. 2009. ISBN 978-989-8247-00-1

Díaz Pernil, Daniel, Graciani Díaz, Mª del Carmen, Gutierrez Naranjo, Miguel Angel, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús:
Software for P Systems. Pag. 437-545. En: The Oxford Handbook of Membrane Computing. Oxford, Inglaterra. Oxford University Press. 2009. ISBN 978-0-19-955667-0

Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Romero Jiménez, Álvaro, Woods, Damien Paul:
Complexity - Membrane division, membrane creation. Pag. 302-336. En: The Oxford Handbook of Membrane Computing. Oxford, Inglaterra. Oxford University Press. 2009. ISBN 978-0-19-955667-0

Pérez Jiménez, Mario Jesús, Yokomori, Takashi:
Membrane Computing Schema: a New Approach to Computation Using String Insertion. Pag. 293-309. En: Algorithmic Bioprocesses. Leiden, the Netherlands. Springer-Verlag. 2009. ISBN 978-3-540-88868-0

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Spiking Neural P Systems: Recent Results, Research Topics. Pag. 273-291. En: Algorithmic Bioprocesses. Leiden, the Netherlands. Springer-Verlag. 2009. ISBN 978-3-540-88868-0

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Spiking Neural P Systems: an Overview. Pag. 59-72. En: Advancing Artificial Intelligence Through Biological Process Applications. Hershey, USA. Idea Group Inc. 2008. ISBN 978-1-59904-996-0

Pérez Jiménez, Mario Jesús:
Un Marco Formal para Modelos de Computación Bio-Inspirada. Pag. 241-260. En: Lógica, Filosofía del Lenguaje y de la Lógica. Mairena del Aljarafe, Sevilla. Mergablum. 2007. ISBN 9788496378353

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Romero Campero, Francisco José, Romero Jiménez, Álvaro:
Characterizing Tractability by Cell-Like Membrane Systems. Pag. 137-154. En: Formal Models, Languages and Applications. Singapur, Singapur. World Scientific Publishing Company. 2006. ISBN 981-256-889-1

Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando:
Computationally Hard Problems Addressed Through P Systems. Pag. 315-346. En: Applications of Membrane Computing. Berlín, Alemania. Springer-Verlag. 2006. ISBN 3-540-25017-4

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Available Membrane Computing Software. Pag. 411-436. En: Applications of Membrane Computing. Berlín, Alemania. Springer-Verlag. 2006. ISBN 3-540-25017-4

Pérez Jiménez, Mario Jesús:
Una Visión Computacional de la Célula. Pag. 197-228. En: Estudios de Lógica y Lenguaje (I): Llic-S-2005-1. Santander (ESPAÑA). Mergablum. 2005. ISBN 8496378268

Ciobanu, Gabriel, Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
On the Branching Complexity of P Systems. Pag. 165-176. En: Cellular Computing (Complexity Aspects). Ed. 1. Santander (ESPAÑA). Fenix. 2005. ISBN 84-609-5338-6

Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando:
Formal Verification of Programs in Molecular Models With Random Access Memory. Pag. 205-229. En: Recent Results in Natural Computing. Santander (ESPAÑA). Fenix Editorial. 2005. ISBN 84-609-6864-2

Pérez Jiménez, Mario Jesús, Romero Campero, Francisco José:
Membrane Computing As Production Systems. Pag. 167-204. En: Recent Results in Natural Computing. Santander (ESPAÑA). Fenix Editorial. 2005. ISBN 84-609-6864-2

Graciani Díaz, Mª del Carmen, Pérez Jiménez, Mario Jesús:
Automated Reasoning Systems and Molecular Computing. Pag. 47-78. En: Recent Results in Natural Computing. Santander (ESPAÑA). Fenix Editorial. 2005. ISBN 84-609-6864-2

Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando:
Generating Pairwise Disjoint Families Through DNA Computations. Pag. 231-246. En: Recent Results in Natural Computing. Santander (ESPAÑA). Fenix Editorial. 2005. ISBN 84-609-6864-2

Pérez Jiménez, Mario Jesús:
Computational Complexity Aspects of Membrane Computing: Ideas, Results, Open Problems. Pag. 277-292. En: Cellular Computing (Complexity Aspects). Ed. 1. Santander (ESPAÑA). Fenix. 2005. ISBN 84-609-5338-6

Ceterchi, Rodica, Pérez Jiménez, Mario Jesús:
Simulating a Class of Parallel Architecture: a Broader Perspective. Pag. 131-148. En: Cellular Computing (Complexity Aspects). Ed. 1. Santander (ESPAÑA). Fenix. 2005. ISBN 84-609-5338-6

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
P Systems With Membrane Creation and Rule Input. Pag. 209-224. En: Cellular Computing (Complexity Aspects). Ed. 1. Santander (ESPAÑA). Fenix. 2005. ISBN 84-609-5338-6

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Multidimensional Sevilla Carpets Associated With P Systems. Pag. 225-235. En: Cellular Computing (Complexity Aspects). Ed. 1. Santander (ESPAÑA). Fenix. 2005. ISBN 84-609-5338-6

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Cellular Solutions for Some Numerical NP-Complete Problems: a Prolog Implementation. Pag. 115-149. En: Molecular Computational Models: Unconventional Approaches. Hershey, USA. Idea Group Inc. 2005. ISBN 1-59140-333-2

Pérez Jiménez, Mario Jesús:
Modelos de Computacion Natural. Pag. 199-245. En: Bases Biológicas, Lingüísticas, Lógicas y Computacionales para la Concepción de la Mente : Llic-S-2004-01. Mergablum Edición y Comunicación. 2004. ISBN 84-96378-04-7

Fernandez Margarit, Alejandro, Pérez Jiménez, Mario Jesús:
On Sigma_n-Definability in Arithmetic. Pag. 47-58. En: Philosophical Dimensions of Logic and Sciences. Dordrecht, Holanda. Kluwer Academic Publishers. 2003. ISBN 1-4020-1645-X

Borrego Diaz, Joaquin, Fernandez Margarit, Alejandro, Pérez Jiménez, Mario Jesús:
On Sigma_n Definability in Arithmetic. Pag. 47-56. En: Philosophical Dimensions of Logic and Sciences. Dordrecht, Holanda. Kluwer Academic Publishers. 2003. ISBN 1-4020-1645-X

Pérez Jiménez, Mario Jesús:
Computacion Molecular Sin Memoria Basada en ADN. Pag. 271-313. En: Información: Tratamiento y Representación. Secretariado de Publicaciones. 2001. ISBN 84-472-0692-0

Borrego Diaz, Joaquin, Fernandez Margarit, Alejandro, Pérez Jiménez, Mario Jesús:
Especificación y Deducción de Propiedades Temporales Factibles. el Sistema Fdux. Pag. 351-362. En: Actas de las II Jornadas de Ingeniería del Software. Murcia. D. Martín Librero-Editor, S.L. 1998. ISBN 84-95095-45-9

Borrego Diaz, Joaquin, Graciani Díaz, Mª del Carmen, Pérez Jiménez, Mario Jesús:
Matemáticas para la Verificación de Programas. Pag. 380-385. En: IV Jornades Sobre L'ensenyament Universitari de la Informatica (Jenui 98). . Barcelona, España. Enginyeria I Arquitectura la Salle. 1998. ISBN 84-922538-3-5

Arrabal Parrilla, Juan Jose, Balbontin Noval, Delia, Alonso Jimenez, Jose Antonio, Lara Martin, Francisco Felix, Martín Mateos, Francisco Jesús, et. al.:
Gti: una Herramienta de Edición de Cursos Adaptativos. Pag. 627-634. En: Actas del XIII Congreso Nacional de Ingeniería de Proyectos. Antonio F. Martin Navarro. 1997. ISBN 84-88783-30-2

Borrego Diaz, Joaquin, Fernandez Margarit, Alejandro, Pérez Jiménez, Mario Jesús:
End and Cofinal Extensions in Arithmetic. Pag. 119-137. En: The Bulletin of the Workshop on Model Theory and Complexity. Editorial Kronos. 1997. ISBN 84-88620-08-X

Borrego Diaz, Joaquin, Balbontin Noval, Delia, Pérez Jiménez, Mario Jesús:
Fundamentos de Algorítmica. Algunas Cuestiones Metodológicas. Pag. 121-122. En: Actas de las II Jornadas Nacionales de Innovación en las Enseñanzas de las Ingenierías. Ice de la Universidad de Madrid. 1996. ISBN 84-88760-05-1

Alonso Jimenez, Jose Antonio, Fernandez Margarit, Alejandro, Pérez Jiménez, Mario Jesús:
Razonamiento Automático. Pag. 189-211. En: Lógica Formal : Orígenes, Métodos y Aplicaciones. Kronos S.A. 1995. ISBN 84-88620-56-X

Pérez Jiménez, Mario Jesús, Fernandez Margarit, Alejandro:
Introducción a la Teoría de la Complejidad. Pag. 149-187. En: Lógica Formal : Orígenes, Métodos y Aplicaciones. Kronos S.A. 1995. ISBN 84-88620-56-X

Pérez Jiménez, Mario Jesús:
R-Transitividad en Zf con el Axioma de Regularidad. Pag. 687-694. En: Lenguajes Naturales y Lenguajes Formales, X. Ppu: Promociones y Publicaciones Universitarias. 1994. ISBN 84-477-0396-7

Arrabal Parrilla, Juan Jose, Alonso Jimenez, Jose Antonio, Fernandez Margarit, Alejandro, Pérez Jiménez, Mario Jesús:
Automatización de la Aritmética. Pag. 167-182. En: Lenguajes Naturales y Lenguajes Formales, X. Ppu: Promociones y Publicaciones Universitarias. 1994. ISBN 84-477-0396-7

Borrego Diaz, Joaquin, Fernandez Margarit, Alejandro, Pérez Jiménez, Mario Jesús:
Las Teoría I-Delta_n e I-Nabla_n. Pag. 128-131. En: Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia. Departamento de Reprografía de la UNED. 1993. ISBN 84-604-8342-8

Borrego Diaz, Joaquin, Fernandez Margarit, Alejandro, Pérez Jiménez, Mario Jesús:
Inducción Acotada. Pag. 122-127. En: Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia. Departamento de Reprografía de la UNED. 1993. ISBN 84-604-8342-8

Borrego Diaz, Joaquin, Fernandez Margarit, Alejandro, Pérez Jiménez, Mario Jesús:
Extensiones Cofinales de Modelos de la Aritmética. Pag. 273-277. En: Lenguajes Naturales y Lenguajes Formales, IX. Ppu: Promociones y Publicaciones Universitarias. 1993. ISBN 84-477-0264-2

Pérez Jiménez, Mario Jesús:
Sobre la Clase de Partes de la Clase Ordinal Universal. Vol. 1. Pag. 181-184. En: Actas de las IX Jornadas Hispano-Lusas. Salamanca. Ediciones Universidad de Salamanca. 1983. ISBN 84-7481-230-5

Publicaciones en Revistas
Valencia Cabrera, Luis, Orellana Martín, David, Martínez del Amor, Miguel Ángel, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
Articulo en prensa: Reaching efficiency through collaboration in membrane systems: Dissolution, polarization and cooperation. En: Theoretical Computer Science. 2017. 10.1016/j.tcs.2017.04.015

Peng, Hong, Wang, Jun, Shi, Peng, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Fault diagnosis of power systems using fuzzy tissue-like P systems. En: Integrated Computer-Aided Engineering. 2017. Vol. 24. Núm. 4. Pag. 401-411. 10.3233/ICA-170552

Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro:
Fuzzy reasoning spiking neural P systems revisited: A formalization. En: Theoretical Computer Science. 2017. https://doi.org/10.1016/j.tcs.2017.04.014

Pérez Jiménez, Mario Jesús, Graciani, Carmen, Orellana Martín, David, Riscos Nuñez, Agustin, Romero Jiménez, Álvaro, et. al.:
Articulo en prensa: Fuzzy reasoning spiking neural P systems revisited: A formalization. En: Theoretical Computer Science. 2017. https://doi.org/10.1016/j.tcs.2017.04.014

Peng, Hong, Shi, Peng, Wang, Jun, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
Multiobjective fuzzy clustering approach based on tissue-like membrane systems. En: Knowledge-Based Systems. 2017. Vol. 125. Pag. 74-82. 10.1016/j.knosys.2017.03.024

Valencia Cabrera, Luis, Wu, Tingfang, Zhang, Zhiqiang, Pan, Linqiang, Pérez Jiménez, Mario Jesús:
A simulation software tool for cell-like spiking neural P system. En: Romanian Journal of Information Science and Technology. 2017. Vol. 20. Núm. 1. Pag. 71-84

Valencia Cabrera, Luis, Orellana Martín, David, Martínez del Amor, Miguel Ángel, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
Computational efficiency of minimal cooperation and distribution in polarizationless P systems with active membranes. En: Fundamenta Informaticae. 2017. Vol. 153. Pag. 147-172. 10.3233/Fi-2017-1534

Cabarle, F.g.c, Adorna, H.n., Pérez Jiménez, Mario Jesús:
Sequential spiking neural P systems with structural plasticity based on max/min spike number. En: Neural Computing & Applications. 2016. Vol. 27. Núm. 5. Pag. 1337-1347. 10.1007/s00521-015-1937-5

Yuan, W., Zhang, G., Pérez Jiménez, Mario Jesús, Wang, T., Huang, Z.:
P systems based computing polynomials: design and formal verification. En: Natural Computing. 2016. Vol. 15. Núm. 4. Pag. 591-596. 10.1007/s11047-016-9577-y

Pérez Jiménez, Mario Jesús, Valencia Cabrera, Luis:
Computing with viruses. En: Theoretical Computer Science. 2016. Vol. 623. Pag. 146-159. 10.1016/j.tcs.2015.12.006

Martínez del Amor, Miguel Ángel, Macias Ramos, Luis Felipe, Valencia Cabrera, Luis, Pérez Jiménez, Mario Jesús:
Parallel simulation of Population Dynamics P systems: updates and roadmap. En: Natural Computing. 2016. Vol. 15. Núm. 4. Pag. 565-573. http://dx.doi.org/10.1007/s11047-016-9566-1

Peng, Hong, Wang, Jun, Shi, Peng, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
An extended membrane system with active membranes to solve automatic fuzzy clustering problems. En: International Journal of Neural Systems. 2016. Vol. 26. Núm. 3. Pag. 1650004-1-1650004-17. http://dx.doi.org/10.1142/S0129065716500040

Song, B., Pérez Jiménez, Mario Jesús, Pan, L.:
An efficient time-free solution to SAT problem by P systems with proteins on membranes. En: Journal of Computer and System Sciences. 2016. Vol. 82. Núm. 6. Pag. 1090-1099. 10.1016/j.jcss.2016.03.008

Cabarle, F.g.c., Adorna, H.n., Pérez Jiménez, Mario Jesús:
Notes on spiking neural P systems and finite automata. En: Natural Computing. 2016. Vol. 15. Núm. 4. Pag. 533-539. doi: 10.1007/s11047-016-9563-4

Song, B., Pérez Jiménez, Mario Jesús, Paun, Gheorghe, Pan, L.:
Tissue P Systems With Channel States Working in the Flat Maximally Parallel Way. En: IEEE Transactions on NanoBioscience. 2016. Vol. 15. Núm. 7. Pag. 645-656. doi: 10.1109/TNB.2016.2594380

Huang, K., Wang, T., He, Y., Zhang, G., Pérez Jiménez, Mario Jesús:
Temporal Fuzzy Reasoning Spiking Neural P Systems with Real Numbers for Power System Fault Diagnosis. En: Journal of Computational and Theoretical Nanoscience. 2016. Vol. 13. Núm. 6. Pag. 3804-3814. https://doi.org/10.1166/jctn.2016.5214

Wang, J., Peng, H., Tu, M., Pérez Jiménez, Mario Jesús, Shi, P.:
A Fault Diagnosis Method of Power Systems Based on an Improved Adaptive Fuzzy Spiking Neural P Systems and PSO Algorithms. En: Chinese Journal of electronics. 2016. Vol. 25. Núm. 2. Pag. 320-327. 10.1049/cje.2016.03.019

Song, B., Pan, L., Pérez Jiménez, Mario Jesús:
Cell-like P systems with channel states and symport/antiport rules. En: IEEE Transactions on NanoBioscience. 2016. Vol. 15. Núm. 6. Pag. 555-566. 10.1109/Tnb.2016.2594192

Gheorghe, M., Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Preface. En: Natural Computing. 2016. Vol. 15. Núm. 4. Pag. 519-520. 10.1007/s11047-016-9568-z

Song, B., Pan, L., Pérez Jiménez, Mario Jesús:
Tissue P systems with protein on cells. En: Fundamenta Informaticae. 2016. Vol. 144. Núm. 1. Pag. 77-107. 10.3233/Fi-2016-1324

Valencia Cabrera, Luis, Orellana Martín, David, Martínez del Amor, Miguel Ángel, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
Polarizationless P systems with active membranes: Computational complexity aspects. En: Journal Of Automata, Languages And Combinatorics. 2016. Vol. 21. Núm. 1-2. Pag. 107-123

Macias Ramos, Luis Felipe, Valencia Cabrera, Luis, Pérez Jiménez, Mario Jesús:
Membrane fission: A computational complexity perspective. En: Complexity. 2016. Vol. 21. Núm. 6. Pag. 321-334. 10.1002/cplx.21691

Cabarle, F.g.c., Adorna, H.n., Pérez Jiménez, Mario Jesús:
Asynchronous Spiking neural P systems with structural plasticity. En: Lecture Notes In Computer Science. 2015. Vol. 9252. Pag. 132-143. 10.1007/978-3-319-21819-9_9

Pan, L., Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Preface. En: Fundamenta Informaticae. 2015. Vol. 136. Núm. 3. 10.3233/Fi-2015-1150

Graciani, Carmen, Macias Ramos, Luis Felipe, Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, et. al.:
Paun's conjecture beyond polarizations: Alternative formulations. En: Analele Universitatii din Bucuresti. Seria Informatica. 2015. Vol. Anul LXII. Pag. 47-60

Peng, Hong, Wang, Jun, Shi, Peng, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
An automatic clustering algorithm inspired by membrane computing. En: Pattern Recognition Letters. 2015. Vol. 68. Núm. 1. Pag. 34-40. http://dx.doi.org/10.1016/j.patrec.2015.08.008

Macias Ramos, Luis Felipe, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Valencia Cabrera, Luis:
Membrane fission versus cell division: When membrane proliferation is not enough. En: Theoretical Computer Science. 2015. Vol. 608. Pag. 57-65. http://dx.doi.org/10.1016/j.tcs.2015.06.025

Macias Ramos, Luis Felipe, Pérez Jiménez, Mario Jesús, Song, T., Pan, L.:
Extending Simulation of Asynchronous Spiking Neural P Systems in P-Lingua. En: Fundamenta Informaticae. 2015. Vol. 136. Núm. 3. Pag. 253-267. 10.3233/Fi-2015-1156

Pérez Jiménez, Mario Jesús, Sosík, P.:
An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Separation. En: Fundamenta Informaticae. 2015. Vol. 138. Núm. 1-2. Pag. 45-60. 10.3233/Fi-2015-1197

Peng, Hong, Wang, Jun, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
An unsupervised learning algorithm for membrane computing. En: Information Sciences. 2015. Vol. 304. Pag. 80-91. http://dx.doi.org/10.1016/j.ins.2015.01.019

Martínez del Amor, Miguel Ángel, Garcia Quismondo Fernandez, Manuel, Macias Ramos, Luis Felipe, Valencia Cabrera, Luis, Riscos Nuñez, Agustin, et. al.:
Simulating P Systems on GPU Devices: A Survey. En: Fundamenta Informaticae. 2015. Vol. 136. Núm. 3. Pag. 269-284. 10.3233/Fi-2015-1157

Peng, H., Jiang, Y., Wang, J., Pérez Jiménez, Mario Jesús:
A membrane clustering algorithm with hybrid evolutionary mechanisms. En: Journal of Software. 2015. Vol. 26. Núm. 5. Pag. 1001-1012. 10.13328/j.cnki.jos.004657

Wang, T., Zhang, G., Zhao, J., He, Z., Wang, J., et. al.:
Fault Diagnosis of Electric Power Systems Based on Fuzzy Reasoning Spiking Neural P Systems. En: IEEE Transactions on Power Systems. 2015. Vol. 30. Núm. 3. Pag. 1182-1194

Macias Ramos, Luis Felipe, Valencia Cabrera, Luis, Song, T., Pan, L., Pérez Jiménez, Mario Jesús:
A P Lingua Based Simulator for P Systems with Symport/Antiport Rules. En: Fundamenta Informaticae. 2015. Vol. 139. Pag. 211-277. 10.3233/Fi-2015-1232

Song, B., Pérez Jiménez, Mario Jesús, Pan, L.:
Computational efficiency and universality of timed P systems with membrane creation. En: Soft Computing. 2015. Vol. 19. Núm. 11. Pag. 3043-3053. 10.1007/s00500-015-1732-3

Song, B., Pérez Jiménez, Mario Jesús, Pan, L.:
Efficient solutions to hard computational problems by P systems with symport/antiport rules and membrane division. En: Biosystems. 2015. Vol. 130. Pag. 51-58. 10.1016/j.biosystems.2015.03.002

Pan, L., Pérez Jiménez, Mario Jesús, Song, T.:
A Special Issue on Bio-Inspired Computing: Theories and Applications. En: Journal of Computational and Theoretical Nanoscience. 2015. Vol. 12. Núm. 7. Pag. 1001-1002. 10.1166/jctn.2015.3856

Cabarle, F.g.c., Adorna, H. N., Pérez Jiménez, Mario Jesús, Song, Tao:
Spiking neural P systems with structural plasticity. En: Neural Computing & Applications. 2015. Vol. 26. Núm. 8. Pag. 1905-1917. 10.1007/s00521-015-1857-4

Peng, H., Wang, J., Pérez Jiménez, Mario Jesús:
Optimal multi-level thresholding with membrane computing. En: Digital Signal Processing. 2015. Vol. 37. Pag. 53-64. 10.1016/j.dsp.2014.10.006

Wang, T., Zhang, G., Pérez Jiménez, Mario Jesús, Cheng, J.:
Weighted Fuzzy Reasoning Spiking Neural P Systems: Application to Fault Diagnosis in Traction Power Supply Systems of High-Speed Railways. En: Journal of Computational and Theoretical Nanoscience. 2015. Vol. 12. Núm. 7. Pag. 1003-1014. 10.1166/jctn.2015.3857

Zhang, G., Rong, H., Neri, F., Pérez Jiménez, Mario Jesús:
An optimization Spiking Neural P system for approximately solving combinatorial optimization problems. En: International Journal of Neural Systems. 2014. Vol. 24. Núm. 5. Pag. 1440006-1-1440006-16. 10.1142/S0129065714400061

Peng, Hong, Wang, Jun, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
The framework of P systems applied to solve optimal watermarking problem. En: Signal Processing. 2014. Vol. 101. Pag. 256-265. http://dx.doi.org/10.1016/j.sigpro.2014.02.020

Pérez Hurtado de Mendoza, Ignacio, Valencia Cabrera, Luis, Chacón, J.m., Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
A P-Lingua based simulator for tissue P systems with cell separation. En: Romanian Journal of Information Science and Technology. 2014. Vol. 17. Núm. 1. Pag. 89-102

Zhang, G., Rong, H., Ou, Z., Pérez Jiménez, Mario Jesús, Gheorghe, M.:
Automatic Design of Deterministic and Non-Halting Membrane Systems by Tuning Syntactical Ingredients. En: IEEE Transactions on NanoBioscience. 2014. Vol. 13. Núm. 3. Pag. 363-361. 10.1109/Tnb.2014.2341618

Pérez Jiménez, Mario Jesús:
The P versus NP problem from Membrane Computing view. En: European Review. 2014. Vol. 22. Núm. 1. Pag. 18-33. http://dx.doi.org/10.1017/S1062798713000598

Zhang, G., Gheorghe, M., Pan, L., Pérez Jiménez, Mario Jesús:
Evolutionary membrane computing: a comprehensive survey and new results. En: Information Sciences. 2014. Vol. 279. Pag. 528-551. 10.1016/j.ins.2014.04.007

Wang, T., Zhnag, G., Rong, H., Pérez Jiménez, Mario Jesús:
Application of Fuzzy Reasoning Spiking Neural P Systems to fault diagnosis. En: International Journal of Computers, Communications and Control. 2014. Vol. 9. Núm. 6. Pag. 786-799. http://dx.doi.org/10.15837/ijccc.2014.6

Macias Ramos, Luis Felipe, Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Valencia Cabrera, Luis:
The Role of the Direction in Tissue P Systems with Cell Separation. En: Journal Of Automata, Languages And Combinatorics. 2014. Vol. 19. Núm. 1-4. Pag. 185-199

Pérez Jiménez, Mario Jesús, Rius, M., Valencia Cabrera, Luis:
The relevance of the environment on the efficiency of tissue P systems. En: Lecture Notes in Computer Science. 2014. Vol. 8340. Pag. 308-321. 10.1007/978-3-642-54239-8_22

Zhen, Xiangxiang, Pan, Linqiang, Pérez Jiménez, Mario Jesús:
Small universal simple Spiking Neural P Systems with weights. En: Science China Information Sciences. 2014. Vol. 57. Núm. 9. Pag. 1-11. http://dx.doi.org/10.1007/s11432-013-4848-z

Song, Tao, Macias Ramos, Luis Felipe, Pan, Linqiang, Pérez Jiménez, Mario Jesús:
Time-free solution to SAT problem using P systems with active membranes. En: Theoretical Computer Science. 2014. Vol. 529. Pag. 61-68. 10.1016/j.tcs.2013.11.014

Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Rius, Miquel, Romero Campero, Francisco José:
A polynomial alternative to unbounded environment for tissue P systems with cell division. En: International Journal of Computer Mathematics. 2013. Vol. 90. Núm. 4. Pag. 760-775. 10.1080/00207160.2012.748898

Peng, Hong, Wang, Jun, Pérez Jiménez, Mario Jesús, Wang, Hao, Shao, Jie, et. al.:
Fuzzy reasoning spiking neural P system for fault diagnosis. En: Information Sciences. 2013. Vol. 235. Pag. 106-116. 10.1016/j.ins.2012.07.015

Macias Ramos, Luis Felipe, Pérez Jiménez, Mario Jesús, Rius Font, Miquel:
The efficiency of tissue P systems with cell separation relies on the environment. En: Lecture Notes in Computer Science. 2013. Vol. 7762. Pag. 243-256. 10.1007/978-3-642-36751-9_17

Colomer, M. Angels, Margalida, A., Pérez Jiménez, Mario Jesús:
Population Dynamics P System (PDP) Models: A Standardized Protocol for Describing and Applying Novel Bio-Inspired Computing Tools. En: PloS One. 2013. Vol. 8. Núm. 4. Pag. 1-13. doi: 10.1371/journal.pone.0060698

Peng, Hong, Wang, Jun, Pérez Jiménez, Mario Jesús, Shi, Peng:
A novel image thresholding method based on membrane computing and fuzzy entropy. En: Journal of Intelligent and Fuzzy Systems. 2013. Vol. 24. Núm. 2. Pag. 229-237. http://dx.doi.org/10.3233/IFS-2012-0549

Gheorghe, Marian, Ipate, Florentin, Lefticaru, Raluca, Pérez Jiménez, Mario Jesús, Turcanu, Adrian, et. al.:
3-COL problem modelling using simple Kernel P systems. En: International Journal of Computer Mathematics. 2013. Vol. 90. Núm. 4. Pag. 816-830. 10.1080/00207160.2012.743712

Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Rius, M., Romero Jiménez, Álvaro:
Seeking sharper frontiers of efficiency in tissue P systems. En: International Journal of Foundations of Computer Science. 2013. Vol. 24. Núm. 5. Pag. 577-579

Gheorghe, Marian, Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Foreword. Special Issue: Membrane Computing. En: International Journal of Unconventional Computing. 2013. Vol. 9. Núm. 5-6. Pag. 347-349

Nepomuceno Fernandez, Angel, Pérez Jiménez, Mario Jesús:
Programas Moleculares y Sistemas Lógico-formales. En: Kairós. Revista de Filosofia e Ciência. 2013. Vol. 5. Pag. 79-91. D.L.332459/11

Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Garcia Quismondo Fernandez, Manuel, Macias Ramos, Luis Felipe, Valencia Cabrera, Luis, et. al.:
DCBA: Simulating population dynamics P systems with proportional objects distribution. En: Lecture Notes In Computer Science. 2013. Vol. 7762. Pag. 257-276. 10.1007/978-3-642-36751-9_18

Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Rozenberg, Grzegorz:
Bridging Membrane and Reaction Systems. Further Results and Research Topics. En: International Journal of Foundations of Computer Science. 2013. Vol. 127. Núm. 1-4. Pag. 99-114. 10.3233/Fi-2013-898

Martínez del Amor, Miguel Ángel, Pérez Carrasco, Jesús, Pérez Jiménez, Mario Jesús:
Characterizing the Parallel Simulation of P Systems on the GPU. En: International Journal of Unconventional Computing. 2013. Vol. 9. Núm. 5-6. Pag. 405-424

Valencia Cabrera, Luis, Garcia Quismondo Fernandez, Manuel, Pérez Jiménez, Mario Jesús, Su, Yansen, Hui, Yu, et. al.:
Modeling Logic Gene Networks by Means of Probabilistic Dynamic P Systems. En: International Journal of Unconventional Computing. 2013. Vol. 9. Núm. 5-6. Pag. 445-464

Gheorghe, Marian, Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Rozenberg, Grzegorz:
Research frontiers in Membrane Computing: Open problems and research topics. En: International Journal of Foundations of Computer Science. 2013. Vol. 24. Núm. 5. Pag. 547-557. http://dx.doi.org/10.1142/S0129054113500202

Shi, P., Peng, Hong, Pérez Jiménez, Mario Jesús, Wang, T.:
Weighted Fuzzy Spiking Neural P Systems. En: IEEE Transactions on Fuzzy Systems. 2013. Vol. 21. Núm. 2. Pag. 209-220. 10.1109/Tfuzz.2012.2208974

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Editorial. Foreword. Special Issue: A selection of papers from the 10th Brainstorming Week on Membrane Computing. En: International Journal of Computer Mathematics. 2013. Vol. 90. Núm. 4. Pag. 747-749. 10.1080/00207160.2013.788318

Cecilia, Jose Maria, García, Jose Mª, Guerrero, Ginés D., Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús, et. al.:
The Gpu on the Simulation of Cellular Computing Models. En: Soft Computing. 2012. Vol. 16. Núm. 2. Pag. 231-246. 10.1007/s00500-011-0716-1

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
An infinite hierarchy of languages defined by dP systems. En: Theoretical Computer Science. 2012. Vol. 431. Pag. 4-12

Ipate, Florentin, Lefticaru, Raluca, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Tudose, Cristina:
Formal verification of P systems with active membranes through model checking. En: Lecture Notes In Computer Science. 2012. Vol. 7184. Pag. 215-225. 10.1007/978-3-642-28024-5_15

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Towards bridging two cell-inspired models: P systems and R systems. En: Theoretical Computer Science. 2012. Vol. 429. Pag. 258-264

Colomer, M. Angels, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Comparing simulation algorithms for multienvironment probabilistic Psystem over a standard virtual ecosystem. En: Natural Computing. 2012. Vol. 11. Pag. 369-379. 10.1007/s11047-011-9289-2

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
dP automata versus right-linear simple matrix grammars. En: Lecture Notes In Computer Science. 2012. Vol. 7160. Pag. 376-387

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
P automata revisited. En: Theoretical Computer Science. 2012. Vol. 454. Pag. 222-230

Macias Ramos, Luis Felipe, Pérez Hurtado de Mendoza, Ignacio, Garcia Quismondo Fernandez, Manuel, Valencia Cabrera, Luis, Pérez Jiménez, Mario Jesús:
A P-Lingua based simulator for Spiking Neural P systems. En: Lecture Notes In Computer Science. 2012. Vol. 7184. Pag. 257-281. 10.1007/978-3-642-28024-5_18

Stepney, Susan, Abramsky, Samson, Bechmann, Matthias, Gorecki, Jerzy, Kendon, Viv, et. al.:
Heterotic Computing Examples with Optics, Bacteria, and Chemicals. En: Lecture Notes In Computer Science. 2012. Vol. 7445. Pag. 198-209

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Languages and P systems: Recent developments. En: Computer Science Journal of Moldova. 2012. Vol. 20. Núm. 2-59. Pag. 112-132

Niu, Yunyun, Pérez Jiménez, Mario Jesús:
Solving Common Algorithmic Problem with recognizer tissue P systems. En: Romanian Journal of Information Science and Technology. 2012. Vol. 15. Núm. 1. Pag. 33-49

Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Gastalver Rubio, Adolfo, Elster, Anne C., Pérez Jiménez, Mario Jesús:
Population Dynamics P Systems on CUDA. En: Lecture Notes In Computer Science. 2012. Vol. 7605. Pag. 247-266. 10.1007/978-3-642-33636-2_15

Nepomuceno Fernandez, Angel, Pérez Jiménez, Mario Jesús:
Programas Moleculares y Sistemas Lógico-formales. En: Kairos. Revista da Filosofia e Ciencia. 2012. Vol. 5. Pag. 77-89

Cabarle, Francis G., Adorna, Henry N., Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús:
Improving GPU Simulations of Spiking Neural P Systems. En: Romanian Journal of Information Science and Technology. 2012. Vol. 15. Núm. 1. Pag. 5-20

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. 10.1142/S0129054111007824

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

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

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

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

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 and Control. 2011. Vol. 6. Núm. 4. Pag. 648-656

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

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. 10.4018/jncr.2011040104

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

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

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

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

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. 10.1007/978-3-642-19391-0_8

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

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

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

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

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. 10.1007/978-3-642-24669-2_10

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. 10.1007/s11432-011-4303-y

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. 10.3233/Fi-2011-571

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: Fundamenta Informaticae. 2011. Vol. 110. Núm. 1-4. Pag. 295-308. 10.3233/Fi-2011-544

Adorna, Henry, Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Foreword. Special Issue on Membrane Computing. En: Romanian Journal of Information Science and Technology. 2010. Vol. 13. Núm. 2. Pag. 111-112

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Solving Problems in a Distributed Way in Membrane Computing: Dp Systems. En: International Journal of Computers, Communications and Control. 2010. Vol. V. Núm. 2. Pag. 238-250

Cardona, Monica, Colomer, M. Angels, Margalida, Antoni, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, et. al.:
A P System Based Model of an Ecosystem of Some Scavenger Birds. En: Lecture Notes In Computer Science. 2010. Núm. 5957. Pag. 182-195

Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Stefanescu, Gheorghe:
Membrane Computing and Programming. En: Journal of Logic and Algebraic Programming. 2010. Vol. 79. Pag. 289-290

Cecilia, Jose Maria, García, Jose Mª, Guerrero, Ginés D., Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, et. al.:
Simulation of P Systems With Active Membranes on Cuda. En: Briefings in Bioinformatics. 2010. Vol. 11. Núm. 3. Pag. 313-322

Pan, Linqiang, Pérez Jiménez, Mario Jesús:
Computational Complexity of Tissue-Like P Systems. En: Journal of Complexity. 2010. Vol. 26. Núm. 3. Pag. 296-315

Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
A P-Lingua Based Simulator for Tissue P Systems. En: Journal of Logic and Algebraic Programming. 2010. Vol. 79. Pag. 374-382

Garcia Quismondo Fernandez, Manuel, Gutiérrez Escudero, Rosa María, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
An Overview of P-Lingua 2.0. En: Lecture Notes In Computer Science. 2010. Núm. 5957. Pag. 264-288

Cecilia, Jose Maria, García, Jose Mª, Guerrero, Ginés D., Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, et. al.:
Simulating a P System Based Efficient Solution to SAT by Using Gpus. En: Journal of Logic and Algebraic Programming. 2010. Vol. 79. Núm. 6. Pag. 317-325

Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
A Linear-Time Solution to the Partition Problem in a Cellular Tissue-Like Model. En: Journal of Computational and Theoretical Nanoscience. 2010. Vol. 7. Núm. 5. Pag. 884-889. 10.1166/jctn.2010.1435

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
Searching Previous Configurations in Membrane Computing. En: Lecture Notes In Computer Science. 2010. Vol. 5957. Pag. 301-315. 10.1007/978-3-642-11467-0_22

Wang, Jun, Jan Hoogeboom, Hendrik, Pan, Linqiang, Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Spiking Neural P Systems With Weights. En: Neural Computation. 2010. Vol. 22. Núm. 10. Pag. 2615-2646

Ibarra, Oscar, Pérez Jiménez, Mario Jesús, Yokomori, Takashi:
On Spiking Neural P Systems. En: Natural Computing. 2010. Vol. 9. Núm. 2. Pag. 475-491

Pérez Jiménez, Mario Jesús:
A Computational Complexity Theory in Membrane Computing. En: Lecture Notes In Computer Science. 2010. Vol. 5957. Pag. 125-148

Gutiérrez Escudero, Rosa María, Pérez Jiménez, Mario Jesús, Rius Font,Miquel:
Characterizing Tractability by Tissue-Like P Systems. En: Lecture Notes In Computer Science. 2010. Vol. 5957. Pag. 289-300

Manea, Florin, Margenstern, Maurice, Mitrana, Victor, Pérez Jiménez, Mario Jesús:
A New Characterization of NP, P, and Pspace With Accepting Hybrid Networks of Evolutionary Processors. En: Theory of Computing Systems. 2010. Vol. 46. Núm. 2. Pag. 174-192

Cecilia, Jose Maria, García, Jose Mª, Guerrero, Ginés D., Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, et. al.:
Implementing P Systems Parallelism by Means of Gpus. En: Lecture Notes In Computer Science. 2010. Núm. 5957. Pag. 227-241

Christinal, H.a., Díaz Pernil, Daniel, Gutiérrez, Miguel A., Pérez Jiménez, Mario Jesús:
Tresholding 2D images with cell-like P systems. En: Romanian Journal of Information Science and Technology. 2010. Vol. 13. Núm. 2. Pag. 131-140

Adorna, H., Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
On communication complexity in evolution-communication P systems. En: Romanian Journal of Information Science and Technology. 2010. Vol. 13. Núm. 2. Pag. 113-130

Leporati, Alberto, Ferretti, Claudio, Mauri, Giancarlo, Pérez Jiménez, Mario Jesús, Zandron, Claudio:
Complexity Aspects of Polarizationless Membrane Systems. En: Natural Computing. 2009. Vol. 8. Pag. 703-717

Woods, Damien Paul, Murphy, Niall, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Membrane Dissolution and Division in P. En: Lecture Notes In Computer Science. 2009. Vol. 5715. Pag. 262-276

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Romero Campero, Francisco José:
On the Efficiency of Cell-Like and Tissue-Like Recognizing Membrane Systems. En: International Journal of Intelligent Systems. 2009. Vol. 24. Núm. 7. Pag. 747-765. 10.1002/int.20359

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Foreword. Special Issue: Membrane Computing. Fifth Brainstorming Week on Membrane Computing. En: International Journal of Unconventional Computing. 2009. Vol. 5. Núm. 5. Pag. 389-390

Díaz Pernil, Daniel, Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro:
Efficient simulation of tissue-like P systems by transition cell-like P systems. En: Natural Computing. 2009. Vol. 8. Núm. 4. Pag. 797-806. 10.1007/s11047-008-9102-z

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
Hebbian Learning from Spiking Neural P Systems View. En: Lecture Notes In Computer Science. 2009. Vol. 5391. Pag. 217-230. 10.1007/978-3-540-95885-7_16

Cardona, Monica, Colomer, M. Angels, Pérez Jiménez, Mario Jesús, Sanuy Castells, Delfí, Margalida, Antoni:
Modeling Ecosystems Using P Systems: the Bearded Vulture, a Case Study. En: Lecture Notes In Computer Science. 2009. Vol. 5391. Pag. 137-156

Pérez Jiménez, Mario Jesús:
Computational Complexity in P Systems. En: Scholarpedia Journal.. 2009. Vol. 4. Núm. 11. Pag. 9290-9290

Graciani Díaz, Mª del Carmen, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
An Approach to Ballistic Deposition Based on Membrane Computing. En: International Journal of Unconventional Computing. 2009. Vol. 5. Núm. 5. Pag. 427-439

Díaz Pernil, Daniel, Gallego Ortiz,Pilar, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Descriptional Complexity of Tissue-Like P Systems With Cell Division. En: Lecture Notes In Computer Science. 2009. Vol. 5715. Pag. 168-178. 10.1007/978-3-642-03745-0_21

Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Solving the Independent Set Problem by Using Tissue-Like P Systems With Cell Division. En: Lecture Notes In Computer Science. 2009. Vol. 5601. Pag. 213-222. 10.1007/978-3-642-02264-7_23

Leporati, Alberto, Mauri, Giancarlo, Zandron, Claudio, Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Uniform Solutions to SAT and Subset Sum by Spiking Neural P Systems. En: Natural Computing. 2009. Vol. 8. Núm. 4. Pag. 681-702

Busi, Nadia, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
Efficient Computation in Rational-Valued P Systems. En: Mathematical Structures in Computer Science. 2009. Vol. 19. Núm. 6. Pag. 1125-1139. 10.1017/S0960129509990144

Díaz Pernil, Daniel, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
A P-Lingua Programming Environment for Membrane Computing. En: Lecture Notes In Computer Science. 2009. Vol. 5391. Pag. 187-203

Freund, Rudolf, Kogler, Marian, Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
On the Power of P and Dp Automata. En: Analele Universitatii din Bucuresti. Seria Informatica. 2009. Pag. 5-22

Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
A Uniform Family of Tissue P Systems With Cell Division Solving 3-Col in a Linear Time. En: Theoretical Computer Science. 2008. Vol. 404. Núm. 1-2. Pag. 76-87

Csuhaj Varju, Erzsebet, Di Nola, Antonio, Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Vaszil, Gyorgy:
Editing Configurations of P Systems. En: Fundamenta Informaticae. 2008. Vol. 82. Núm. 1-2. Pag. 29-46

Romero Campero, Francisco José, Pérez Jiménez, Mario Jesús:
Modelling Gene Expression Control Using P Systems: the Lac Operon, a Case Study. En: Biosystems. 2008. Vol. 91. Núm. 3. Pag. 438-457

Leporati, Alberto, Ferretti, Claudio, Mauri, Giancarlo, Pérez Jiménez, Mario Jesús, Zandron, Claudio:
Complexity Aspects of Polarizationless Membrane Systems. En: Natural Computing. 2008. Pag. 1-15

Zandron, Claudio, Leporati, Alberto, Ferretti, Claudio, Mauri, Giancarlo, Pérez Jiménez, Mario Jesús:
On the Computational Efficiency of Polarizationless Recognizer P Systems With Strong Division and Dissolution. En: Fundamenta Informaticae. 2008. Vol. 87. Núm. 1. Pag. 79-91

Díaz Pernil, Daniel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Romero Jiménez, Álvaro:
Computational Efficiency of Cellular Division in Tissue-like Membrane Systems. En: Romanian Journal of Information Science and Technology. 2008. Vol. 11. Núm. 3. Pag. 229-241

Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Tissue P Systems With Cell Division. En: International Journal of Computers, Communications and Control. 2008. Vol. 3. Núm. 3. Pag. 295-303

Romero Campero, Francisco José, Pérez Jiménez, Mario Jesús:
A Model of the Quorum Sensing System in Vibrio Fischeri Using P Systems. En: Artificial life. 2008. Vol. 14. Núm. 1. Pag. 95-109

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Editorial: Special Issue on Membrane Computing Fifth Brainstorming Week on Membrane Computing. En: Fundamenta Informaticae. 2008. Vol. 87. Núm. 1. Pag. 1-2

Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Yokomori, Takashi:
Representations and Characterizations of Languages in Chomsky Hierarchy by Means of Insertion-Deletion Systems. En: International Journal of Foundations of Computer Science. 2008. Vol. 19. Núm. 4. Pag. 859-871

Cardona, Monica, Colomer, M. Angels, Pérez Jiménez, Mario Jesús, Zaragoza, Alba:
Hierarchical Clustering With Membrane Computing. En: Computing and Informatics. 2008. Vol. 27. Núm. 3. Pag. 497-513

Chen, Haiming, Ionescu, Mihai, Ishdorf, Tseren Onolt, Paun, Andrei, Paun, Gheorghe, et. al.:
Spiking Neural P Systems With Extended Rules: Universality and Languages. En: Natural Computing. 2008. Vol. 7. Núm. 2. Pag. 147-166

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Ramírez Martínez,Daniel:
A Software Tool for Verification of Spiking Neural P Systems. En: Natural Computing. 2008. Vol. 7. Núm. 4. Pag. 485-497. 10.1007/s11047-008-9083-y

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Special issue on Membrane Computing. Preface. En: Fundamenta Informaticae. 2008. Vol. 87. Núm. 1

Mauri, Giancarlo, Pérez Jiménez, Mario Jesús, Zandron, Claudio:
On a Paun's Conjecture in Membrane Systems. En: Lecture Notes In Computer Science. 2007. Vol. 4527. Pag. 180-192

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Fourth Brainstorming Week on Membrane Computing. En: Theoretical Computer Science. 2007. Vol. 372. Núm. 2-3. Pag. 123-124

Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
A Linear-Time Tissue P System Based Solution for the 3-Coloring Problem. En: Electronic Notes In Theoretical Computer Science. 2007. Vol. 171. Núm. 2 SPEC. Pag. 81-93

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Romero Campero, Francisco José:
How to Express Tumours Using Membrane Systems. En: Progress in Natural Science: materials international. 2007. Vol. 17. Núm. 4. Pag. 449-457

Chen, Haiming, Freund, Rudolf, Ionescu, Mihai, Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
On String Languages Generated by Spiking Neural P Systems. En: Fundamenta Informaticae. 2007. Vol. 75. Núm. 1-4. Pag. 141-162

Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Solving Subset Sum in Linear Time by Using Tissue P Systems With Cell Division. En: Lecture Notes In Computer Science. 2007. Vol. 4527. Pag. 170-179. 10.1007/978-3-540-73053-8_17

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
On the Degree of Parallelism in Membrane Systems. En: Theoretical Computer Science. 2007. Vol. 372. Núm. 2-3. Pag. 183-195

Ceterchi, Rodica, Pérez Jiménez, Mario Jesús, Tomescu, Alexandru:
Simulating the Bitonic Sort Using P Systems. En: Lecture Notes In Computer Science. 2007. Vol. 4860. Pag. 172-192

Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
A Logarithmic Bound for Solving Subset Sum With P Systems. En: Lecture Notes In Computer Science. 2007. Vol. 4860. Pag. 257-270

Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Rozenberg, Grzegorz:
Computing Morphisms by Spiking Neural P Systems. En: International Journal of Foundations of Computer Science. 2007. Vol. 18. Núm. 6. Pag. 1371-1382

Cheruku, Smitha, Paun, Andrei, Romero Campero, Francisco José, Pérez Jiménez, Mario Jesús, Ibarra, o:
Simulating Fas-Induced Apoptosis by Using P Systems. En: Progress in Natural Science: materials international. 2007. Vol. 17. Núm. 4. Pag. 424-431

Freund, Rudolf, Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Polarizationless P Systems With Active Membranes Working in the Minimally Parallel Mode. En: Lecture Notes In Computer Science. 2007. Vol. 4618. Pag. 62-76

Ciobanu, Gabriel, Pan, Linqiang, Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
P Systems With Minimal Parallelism. En: Theoretical Computer Science. 2007. Vol. 378. Núm. 1. Pag. 117-130

Romero Campero, Francisco José, Gheorghe, Marian, Ciobanu, Gabriel, Auld, John M., Pérez Jiménez, Mario Jesús:
Cellular Modelling Using P Systems and Process Algebra. En: Progress in Natural Science: materials international. 2007. Vol. 17. Núm. 4. Pag. 375-383

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Romero Campero, Francisco José:
A Uniform Solution to SAT Using Membrane Creation. En: Theoretical Computer Science. 2007. Vol. 371. Núm. 1-2. Pag. 54-61

Alhazov, Artiom, Pérez Jiménez, Mario Jesús:
Uniform Solution of Qsat Using Polarizationless Active Membranes. En: Lecture Notes In Computer Science. 2007. Vol. 4664. Pag. 122-133

Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Salomaa, Arto:
Spiking Neural P Systems: an Early Survey. En: International Journal of Foundations of Computer Science. 2007. Vol. 18. Núm. 3. Pag. 435-455

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Multidimensional Descriptional Complexity of P Systems. En: Journal Of Automata, Languages And Combinatorics. 2007. Vol. 12. Núm. 1-2. Pag. 167-179

Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Rozenberg, Grzegorz:
Spike Trains in Spiking Neural P Systems. En: International Journal of Foundations of Computer Science. 2006. Vol. 17. Núm. 4. Pag. 975-1002

Cardona, Monica, Colomer, M. Angels, Pérez Jiménez, Mario Jesús, Zaragoza, Alba:
Handling Markov Chains With Membrane Computing. En: Lecture Notes In Computer Science. 2006. Vol. 4135. Pag. 72-85

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Romero Campero, Francisco José:
A Linear Solution for Qsat With Membrane Creation. En: Lecture Notes In Computer Science. 2006. Vol. 3850. Pag. 241-252

Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Salomaa, Arto:
Bounding the Indegree of Spiking Neural P Systems. En: TUCS Technical Reports. 2006. Vol. 773. Pag. 1-8

Bernardini, Francesco, Romero Campero, Francisco José, Gheorghe, Marian, Pérez Jiménez, Mario Jesús:
A Modeling Approach Based on P Systems With Bounded Parallelism. En: Lecture Notes In Computer Science. 2006. Vol. 4361. Pag. 49-65

Paun, Andrei, Pérez Jiménez, Mario Jesús, Romero Campero, Francisco José:
Modeling Signal Transduction Using P Systems. En: Lecture Notes In Computer Science. 2006. Vol. 4361. Pag. 100-122

Chen, Haiming, Ishdorf, Tseren Onolt, Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Handling Languages With Spiking Neural P Systems With Extended Rules. En: Romanian Journal of Information Science and Technology. 2006. Vol. 9. Núm. 3. Pag. 151-162

Pérez Jiménez, Mario Jesús:
On Simulating a Class of Parallel Architectures. En: International Journal of Foundations of Computer Science. 2006. Vol. 17. Núm. 1. Pag. 91-110

Pérez Jiménez, Mario Jesús, Romero Campero, Francisco José:
P Systems, a New Computational Modelling Tool for Systems Biology. En: Lecture Notes In Computer Science. 2006. Vol. 4220. Pag. 176-197

Cardona, Monica, Colomer, M. Angels, Pérez Jiménez, Mario Jesús, Zaragoza, Alba:
Classifying States of a Finite Markov Chain With Membrane Computing. En: Lecture Notes In Computer Science. 2006. Vol. 4361. Pag. 266-278

Romero Campero, Francisco José, Gheorghe, Marian, Bianco, Luca, Pescini, Dario, Pérez Jiménez, Mario Jesús, et. al.:
Towards Probabilistic Model Checking on P Systems Using Prism. En: Lecture Notes In Computer Science. 2006. Vol. 4361. Pag. 477-495

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Romero Campero, Francisco José:
Computational Efficiency of Dissolution Rules in Membrane Systems. En: International Journal of Computer Mathematics. 2006. Vol. 83. Núm. 7. Pag. 593-611

Bernardini, Francesco, Gheorghe, Marian, Krasnogor, Natalio, Muniyandi, Ravie, Pérez Jiménez, Mario Jesús, et. al.:
On P Systems As a Modelling Tool for Biological Systems. En: Lecture Notes In Computer Science. 2006. Vol. 3850. Pag. 114-133

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Romero Campero, Francisco José:
On the Power of Dissolution in P Systems With Active Membranes. En: Lecture Notes In Computer Science. 2006. Vol. 3850. Pag. 224-240

Ciobanu, Gabriel, Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
On the Branching Complexity of P Systems. En: Fundamenta Informaticae. 2006. Vol. 73. Núm. 1-2. Pag. 27-36

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Editorial: Selected Papers Dedicated to Membrane Computing. En: Journal Of Automata, Languages And Combinatorics. 2006. Vol. 11. Núm. 3. Pag. 239-239

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Editorial: Special Issue - Membrane Computing - Preface. En: International Journal of Foundations of Computer Science. 2006. Vol. 17. Núm. 1. Pag. 1-2

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Membrane Computing: Brief Introduction, Recent Results and Applications. En: Biosystems. 2006. Vol. 85. Núm. 1. Pag. 11-22

Ionescu, Mihai, Paun, Andrei, Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Computing With Spiking Neural P Systems: Traces and Small Universal Systems. En: Lecture Notes In Computer Science. 2006. Vol. 4287. Pag. 1-16

Romero Jiménez, Álvaro, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
Graphical Modeling of Higher Plants Using P Systems. En: Lecture Notes In Computer Science. 2006. Vol. 4361. Pag. 496-506

Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando:
A Polynomial Complexity Class in P Systems Using Membrane Division. En: Journal Of Automata, Languages And Combinatorics. 2006. Vol. 11. Núm. 4. Pag. 423-434

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Foreword. Second Brainstorming Week on Membrane Computing in Sevilla 2004. En: Soft Computing. 2005. Vol. 9. Núm. 9. Pag. 629-630

Graciani Díaz, Mª del Carmen, Pérez Jiménez, Mario Jesús:
Using Automated Reasoning Systems on Molecular Computing. En: Lecture Notes In Computer Science. 2005. Vol. 3384. Pag. 128-137

Pérez Jiménez, Mario Jesús, Ceterchi, Rodica:
On Two-Dimensional Mesh Networks and Their Simulation With P Systems. En: Lecture Notes In Computer Science. 2005. Vol. 3365. Pag. 259-277

Paun, Gheorghe, Pazos Sierra,Juan, Pérez Jiménez, Mario Jesús, Rodriguez Paton, Alfonso:
Symport/Antiport P Systems With Three Objects Are Universal. En: Fundamenta Informaticae. 2005. Vol. 64. Núm. 1-4. Pag. 353-367

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
A Fast P System for Finding a Balanced 2-Partition. En: Soft Computing. 2005. Vol. 9. Núm. 9. Pag. 673-678

Margenstern, Maurice, Mitrana, Victor, Pérez Jiménez, Mario Jesús:
Accepting Hybrid Networks of Evolutionary Processors. En: Lecture Notes In Computer Science. 2005. Vol. 3384. Pag. 235-246

Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Solving the Subset-Sum Problem by P Systems With Active Membranes. En: New Generation Computing. 2005. Vol. 23. Núm. 4. Pag. 339-356

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Romero Campero, Francisco José:
A Linear Solution of Subset Sum Problem by Using Membrane Creation. En: Lecture Notes In Computer Science. 2005. Vol. 3561. Pag. 258-267

Pérez Jiménez, Mario Jesús:
An Approach to Computational Complexity in Membrane Computing. En: Lecture Notes In Computer Science. 2005. Vol. 3365. Pag. 85-109

Freund, Rudolf, Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Tissue P Systems With Channel States. En: Theoretical Computer Science. 2005. Vol. 330. Núm. 1. Pag. 101-116

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Romero Campero, Francisco José:
P Systems With Active Membranes, Without Polarizations and Without Dissolution: a Characterization of P. En: Lecture Notes In Computer Science. 2005. Vol. 3699. Pag. 105-116

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
On Descriptive Complexity of P Systems. En: Lecture Notes In Computer Science. 2005. Vol. 3365. Pag. 320-330

Pérez Jiménez, Mario Jesús, Romero Campero, Francisco José:
Trading Polarization for Bi-Stable Catalysts in P Systems With Active Membranes. En: Lecture Notes In Computer Science. 2005. Vol. 3365. Pag. 373-388

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Exploring Computation Trees Associated With P Systems. En: Lecture Notes In Computer Science. 2005. Vol. 3365. Pag. 278-286

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Towards a Programming Language in Cellular Computing. En: Electronic Notes In Theoretical Computer Science. 2005. Vol. 123. Pag. 93-110

Pérez Jiménez, Mario Jesús, Romero Campero, Francisco José:
Attacking the Common Algorithmic Problem by Recognizer P Systems. En: Lecture Notes In Computer Science. 2005. Vol. 3354. Pag. 304-315

Pérez Jiménez, Mario Jesús, Romero Campero, Francisco José:
A Study of the Robustness of the Egfr Signalling Cascade Using Continuous Membrane Systems. En: Lecture Notes In Computer Science. 2005. Vol. 3561. Pag. 268-278

Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando:
Modelos de computación celular con membranas. En: SEMA Journal: Boletín de la Sociedad Española de Matemática Aplicada. 2004. Vol. 29. Pag. 57-88

Romero Jiménez, Álvaro, Pérez Jiménez, Mario Jesús:
Computing Partial Recursive Functions by Transition P Systems. En: Lecture Notes In Computer Science. 2004. Vol. 2933. Pag. 320-340

Pérez Jiménez, Mario Jesús, Romero Campero, Francisco José:
An Efficient Family of P Systems for Packing Items Into Bins. En: Journal of Universal Computer Science. 2004. Vol. 10. Núm. 5. Pag. 650-670

Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
A Linear-Time Solution to the Knapsack Problem Using P Systems With Active Membranes. En: Lecture Notes In Computer Science. 2004. Vol. 2933. Pag. 250-268

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Sancho Caparrini, Fernando:
Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem. En: Lecture Notes In Computer Science. 2004. Vol. 2933. Pag. 140-152

Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando:
On the Reachability Problem for P Systems With Symport/Antiport. En: Publicationes Mathematicae. 2004. Vol. 65. Núm. SUPPLEMENT. Pag. 603-627

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando:
A Prolog Simulator for Deterministic P Systems With Active Membranes. En: New Generation Computing. 2004. Vol. 22. Núm. 4. Pag. 349-363

Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
P Systems With Tables of Rules. En: Lecture Notes In Computer Science. 2004. Vol. 3113. Pag. 235-249

Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando:
The P Versus NP Problem Through Cellular Computing With Membranes. En: Lecture Notes In Computer Science. 2004. Vol. 2950. Pag. 338-352

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Editorial: Second Brainstorming Week on Membrane Computing - J.ucs Special Issue. En: Journal of Universal Computer Science. 2004. Vol. 10. Núm. 5. Pag. 499-501

Martin Vide, Carlos, Mitrana, Victor, Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando:
Hybrid Networks of Evolutionary Processors. En: Lecture Notes In Computer Science. 2003. Vol. 2723. Pag. 401-412

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Recent Computability Models Inspired from Biology: DNA and Membrane Computing. En: Theoria: Revista de Teoria, Historia y Fundamentos de la Ciencia. 2003. Vol. 18. Núm. 1. Pag. 71-84

Balbontin Noval, Delia, Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando:
A Mzscheme Implementation of Transition P Systems. En: Lecture Notes In Computer Science. 2003. Vol. 2597. Pag. 58-73

Gheorghe, Marian, Martin Vide, Carlos, Mitrana, Victor, Pérez Jiménez, Mario Jesús:
An Agent Based Approach of Collective Foraging. En: Lecture Notes In Computer Science. 2003. Vol. 2686. Pag. 638-645

Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando:
Complexity Classes in Models of Cellular Computing With Membranes. En: Natural Computing. 2003. Vol. 2. Núm. 3. Pag. 265-285

Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando:
Decision P Systems and the P¿NP Conjecture. En: Lecture Notes In Computer Science. 2003. Vol. 2597. Pag. 388-399. 10.1007/3-540-36490-0_27

Romero Jiménez, Álvaro, Pérez Jiménez, Mario Jesús:
Simulating Turing Machines by P Systems With External Output. En: Fundamenta Informaticae. 2002. Vol. 49. Núm. 1-3. Pag. 273-287

Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando:
Verifying a P System Generating Squares. En: Romanian Journal of Information Science and Technology. 2002. Vol. 5. Núm. 1-2. Pag. 181-191

Graciani Díaz, Mª del Carmen, Martin Mateos, Francisco Jesus, Pérez Jiménez, Mario Jesús:
Specification of Adleman's Restricted Model Using an Automated Reasoning System: Verification of Lipton's Experiment. En: Lecture Notes In Computer Science. 2002. Vol. 2509. Pag. 126-136

Romero Jiménez, Álvaro, Pérez Jiménez, Mario Jesús:
Generation of Diophantine Sets by Computing P Systems With External Output. En: Lecture Notes In Computer Science. 2002. Vol. 2509. Pag. 176-190

Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando:
A Formalization of Transition P Systems. En: Fundamenta Informaticae. 2002. Vol. 49. Núm. 1-3. Pag. 261-272

Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando:
Solving Knapsack Problems in a Sticker Based Model. En: Lecture Notes In Computer Science. 2002. Vol. 2340. Pag. 161-171

Borrego Diaz, Joaquin, Fernandez Margarit, Alejandro, Pérez Jiménez, Mario Jesús:
On Overspill Principles and Axiom Schemes for Bounded Formulas. En: Mathematical Logic Quarterly. 1996. Vol. 42. Núm. 3. Pag. 341-348

Pérez Jiménez, Mario Jesús:
Sobre Ciertas Expresiones de la Función Rango Independiente de la Teoría de Ordinales. En: Universidad Autonoma de Barcelona. Departamento de Ingles. Anuario. 1980. Vol. 20. Pag. 87-91

Pérez Jiménez, Mario Jesús:
Generalizacion del Teorema de Recurrencia Transfinita. En: Revista de la Universidad de Santander. 1979. Vol. 2. Núm. 2. Pag. 891-903

Otra participación en Libros de Actas
Pérez Jiménez, Mario Jesús (Editor/a), Milazzo, Paolo (Editor/a):
Proceedings First Workshop on Applications of Membrane Computing, Concurrency and Agent-Based Modell. 2010. 82. Electronic Proceedings in Theoretical Computer Science. Jena, Germany

Pérez Jiménez, Mario Jesús (Editor/a), Paun, Gheorghe (Editor/a):
Proceedings of the Tenth Workshop on Membrane Computing. 2009. 565. Marpa Publicidad S.L.U.

Aportaciones a Congresos
Valencia Cabrera, Luis, Orellana Martín, David, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
Minimal cooperation in polarizationless P systems with active membranes. Comunicación en congreso. Fourteenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática - Universidad de Sevilla. 2016

Orellana Martín, David, Riscos Núñez, Agustín, Pérez Jiménez, Mario Jesús:
Minimal cooperation in polarizationless P systems with active membranes. Comunicación en congreso. Fourteenth Brainstorming Week on Membrane Computing. 2016

Pérez Jiménez, Mario Jesús:
Fuzzy reasoning spiking neural P systems. Theory and applications. Comunicación en congreso. 7th International Conference on Natural Information Technologies. Valencia. 2016

Valencia Cabrera, Luis, Song, Bosheng, Macias Ramos, Luis Felipe, Pan, Linqiang, Riscos Nuñez, Agustin, et. al.:
Computational Efficiency of P Systems with Symport/Antiport Rules and Membrane Separation. Comunicación en congreso. Thirteenth Brainstorming Week On Membrane Computing. Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática. 2015

Martínez del Amor, Miguel Ángel, Macias Ramos, Luis Felipe, Pérez Jiménez, Mario Jesús:
Parallel Simulation of PDP Systems: Updates and Roadmap. Comunicación en congreso. Thirteenth Brainstorming Week On Membrane Computing. Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática. 2015

Macias Ramos, Luis Felipe, Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús:
Simulating FRSN P systems with real numbers in P-Lingua on sequential and CUDA platforms. Comunicación en congreso. 16th International Conference on Membrane Computing. Valencia, Spain. 2015

Peng, Hong, Wang, Jun, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Xiao, Jian, et. al.:
Decision Tree Models Induced by Membrane Systems. Comunicación en congreso. Workshop on Membrane Computing 2015, Satellite workshop of UCNC2015. Auckland, New Zealand. 2015

Valencia Cabrera, Luis, Song, Bosheng, Macias Ramos, Luis Felipe, Pan, Linqiang, Riscos Nuñez, Agustin, et. al.:
Minimal cooperation in P systems with symport/antiport: A complexity approach. Comunicación en congreso. Thirteenth Brainstorming Week On Membrane Computing. Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática. 2015

Romero Jiménez, Álvaro, Valencia Cabrera, Luis, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
Computing Partial Recursive Functions by Virus Machines. Comunicación en congreso. 16th International Conference on Membrane Computing. Valencia, Spain. 2015

Romero Jiménez, Álvaro, Valencia Cabrera, Luis, Pérez Jiménez, Mario Jesús:
Generating Diophantine Sets by Virus Machines. Comunicación en congreso. 10th International Conference on Bio-Inspired Computing: Theories and Applications. Hefei (China). 2015

Ceterchi, Rodica, Pérez Jiménez, Mario Jesús, Tomescu, Alexandru:
Sorting Omega Networks Simulated With P Systems: Optimal Data Layouts. Comunicación en congreso. II Jornadas de Lingüística. Facultad de Filosofia y Letras. Universidad de Cádiz. 2014. Osterreichische Ludwig Wittgenstein Gesellschaft. 29. 42

Pérez Jiménez, Mario Jesús:
Formalidades de la Vida, naturalmente. Conferencias impartidas. Workshop fundacional de la Unidad de Lógica, Lenguaje e Información de Andalucia Tech. 2014

Garcia Quismondo Fernandez, Manuel, Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús:
Probabilistic Guarded P systems: A new formal modelling framework. Comunicación en congreso. the 15th International Conference on Membrane Computing. Prague, Czech Republic,. 2014

Ceterchi, Rodica, Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús:
The reduction problem in CUDA and its simulation with P systems. Comunicación en congreso. the Twelfth Brainstorming Week on Membrane Computing. Sevilla, España. 2014

Garcia Quismondo Fernandez, Manuel, Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús:
Probabilistic guarded P systems: A formal definition. Comunicación en congreso. the Twelfth Brainstorming Week on Membrane Computing. Sevilla, España. 2014

Pérez Jiménez, Mario Jesús:
A bioinspired computing approach to model complex systems. Conferencias impartidas. the 15th International Conference on Membrane Computing. Prague, Czech Republic,. 2014

Pérez Jiménez, Mario Jesús:
Extending a Membrane Computing based modelling framework: Probabilistic Guarded P systems. Conferencias impartidas. V International Conference on Natural Information Technologies. 2014

Pérez Jiménez, Mario Jesús:
Computing the natural way. Conferencias impartidas. TRUCE Summer School on Unconventional Computation. Málaga, España. 2014

Wang, T, Zhang, G., Pérez Jiménez, Mario Jesús:
Fault diagnosis models for electric locomomotive systems based on Fuzzy Reasoning Spiking Neural P Systems. Comunicación en congreso. the 15th International Conference on Membrane Computing. Prague, Czech Republic,. 2014

Peng, H., Zhang, J., Wang, J., Wang, T., Pérez Jiménez, Mario Jesús, et. al.:
Membrane clustering: A novel clustering algorithm under Membrane Computing. Comunicación en congreso. the Twelfth Brainstorming Week on Membrane Computing. Sevilla, España. 2014

Pérez Jiménez, Mario Jesús:
Modelling real-life phenomena. Conferencias impartidas. 26th Annual Meeting of the Academia Europaea. 2014

Macias Ramos, Luis Felipe, Song, T., Pan, L., Pérez Jiménez, Mario Jesús:
Extending SNP systems asynchronous simulation modes in P lingua. Comunicación en congreso. the Twelfth Brainstorming Week on Membrane Computing. Sevilla, España. 2014

Wang, T., Zhang, G., Pérez Jiménez, Mario Jesús:
Application of weighted fuzzy reasoning Spiking Neural P systems to fault diagnosis in traction power supply systems of high-speed railways. Comunicación en congreso. the Twelfth Brainstorming Week on Membrane Computing. Sevilla, España. 2014

Pérez Jiménez, Mario Jesús:
A Theory of Complexity for Membrane Computing. Conferencias impartidas. Second International School on Biomolecular and Biocellular Computing. Madrid- Universidad Politécnica. 2013

Pérez Jiménez, Mario Jesús:
The P versus NP problem: Unconventional insights from Membrane Computing. Conferencias impartidas. Asian Conferenece on Membrane Computing. 2013

Ipate, Florentin, Lefticaru, Raluca, Mierla, Laurentiu, Valencia Cabrera, Luis, Han, Huang, et. al.:
Kernel P Systems: Applications and Implementations. Comunicación en congreso. Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013. Wuhan, China. 2013

Martínez del Amor, Miguel Ángel, Pérez Carrasco, Jesús, Pérez Jiménez, Mario Jesús:
Simulating a Family of Tissue P Systems Solving SAT on the GPU. Comunicación en congreso. Eleventh Brainstorming Week on Membrane Computing. 2013

Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Rozenberg, Grzegorz:
Bridging Membrane and Reaction Systems. Comunicación en congreso. Eleventh Brainstorming Week on Membrane Computing. 2013

Valencia Cabrera, Luis, Garcia Quismondo Fernandez, Manuel, Pérez Jiménez, Mario Jesús, Su, Yansen, Yu, Hui, et. al.:
Analysing Gene Networks with PDP Systems. Arabidopsis thaliana, a Case Study. Comunicación en congreso. Eleventh Brainstorming Week on Membrane Computing. 2013

Gheorghe, Marian, Ipate, Florentin, Mierla, Laurentiu, Valencia Cabrera, Luis, Garcia Quismondo Fernandez, Manuel, et. al.:
Kernel P Systems - Version I. Comunicación en congreso. Eleventh Brainstorming Week on Membrane Computing. 2013

Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Rius Font, Miquel, Valencia Cabrera, Luis:
The relevance of the environment on the efficiency of tissue P systems. Comunicación en congreso. 14th International Conference on Membrane Computing. Chisinau, Moldavia. 2013

Macias Ramos, Luis Felipe, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Rius, Miquel, Valencia Cabrera, Luis:
The efficiency of tissue P systems with cell separation relies on the environment. Comunicación en congreso. 13th International Conference on Membrane Computing. Budapest , Hungría. 2012

Macias Ramos, Luis Felipe, Pérez Jiménez, Mario Jesús:
On recent developments in P-lingua based simulators for Spiking Neural P Systems. Comunicación en congreso. Asian Conference on Membrane Computing. Wuhan - CHINA. 2012

Gheorghe, Marian, Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Frontiers of Membrane Computing: Open problems and research topics. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012

Valencia Cabrera, Luis, Pérez Jiménez, Mario Jesús:
Towards an integrated approach for model simulation, property extraction and verification P systems. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012

Garcia Quismondo Fernandez, Manuel, Valencia Cabrera, Luis, Su, Yansen, Pérez Jiménez, Mario Jesús, Pan, Linqiang, et. al.:
Modeling logic gene networks by means of probabilistic dynamic P systems. Comunicación en congreso. Asian Conference on Membrane Computing. Wuhan - CHINA. 2012

Ipate, Florentin, Dragomir, Ciprian, Lefticaru, Raluca, Mierla, Laurentiu, Pérez Jiménez, Mario Jesús:
Using A Kernel P Systems To Solve The 3-Col Problem. Comunicación en congreso. 13th International Conference on Membrane Computing. Budapest , Hungría. 2012

Romero Campero, Francisco José, Pérez Jiménez, Mario Jesús:
P systems as a modeling framework for molecular Systems Biology. Comunicación en congreso. Asian Conference on Membrane Computing. Wuhan - CHINA. 2012

Porreca, Antonio E., Murphy, Nial, Pérez Jiménez, Mario Jesús:
An optimal frontier of the efficiency of tissue P systems with cell division. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Sevilla, Spain. 2012

Peng, Hong, Shao, Jie, Li, Bing, Pérez Jiménez, Mario Jesús, Wang, Yun, et. al.:
Image tresholding with cell-like P systems. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012

Garcia Quismondo Fernandez, Manuel, Pavel, Ana B., Pérez Jiménez, Mario Jesús:
Simulating Large-Scale ENPS Models by Means of GPU. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012

Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Garcia Quismondo Fernandez, Manuel, Macias Ramos, Luis Felipe, Valencia Cabrera, Luis, et. al.:
DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012

Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Garcia Quismondo Fernandez, Manuel, Macias Ramos, Luis Felipe, Valencia Cabrera, Luis, et. al.:
DCBA: Simulating population dynamics P systems with proportional object distribution. Comunicación en congreso. Thirteen International Conference on Membrane Computing. Budapest, Hungría. 2012

Macias Ramos, Luis Felipe, Pérez Jiménez, Mario Jesús:
Spiking Neural P systems with functional astrocytes. Comunicación en congreso. 13th International Conference on Membrane Computing. Budapest , Hungría. 2012

Martínez del Amor, Miguel Ángel, Karlin, Ian, Jensen, Rune E., Pérez Jiménez, Mario Jesús, Elster, Anne C.:
Parallel Simulation of Probabilistic P Systems on Multicore Platforms. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. DEPARTAMENTO DE CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL DE LA UNIVERSIDAD DE SEVILLA, Universidad de Sevilla, Universidad de Sevilla. 2012

Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Rius, Miquel, Romero Campero, Francisco José:
The role of the environment in tissue like P systems with cell division. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012

Macias Ramos, Luis Felipe, Pérez Jiménez, Mario Jesús, Rius Font, Miquel, Valencia Cabrera, Luis:
The efficiency of tissue P systems with cell separation relies on the environment. Comunicación en congreso. Thirteen International Conference on Membrane Computing. Budapest, Hungría. 2012

Pérez Jiménez, Mario Jesús:
Computational Complexity Theory in Membrane Computing. Conferencias impartidas. New Frontiers in Informatics. Bergen, BERGEN - NORUEGA. 2012

Pérez Jiménez, Mario Jesús, Sosík, P.:
Improving the efficiency of tissue P systems with cell separation. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Sevilla, Spain. 2012

Pérez Jiménez, Mario Jesús:
New frontiers of the efficiency in tissue p systems. Comunicación en congreso. Asian Conference on Membrane Computing 2012. Wuhan - CHINA. 2012

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. Santander (ESPAÑA). 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

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

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

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

Pérez Jiménez, Mario Jesús:
Membrane systems: A bio-inspired computing modelling framework. Comunicación en congreso. Natural Information Technologies. 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

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

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

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

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

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

Cecilia, Jose Maria, García Carrasco,José Manuel, Guerrero, Ginés D., Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús, et. al.:
P Systems Simulations on Massively Parallel Architectures. Comunicación en congreso. Third International Workshop on Parallel Architectures. Vienna Austria. 2010. Proceedings of the Third International Workshop on Parallel Architectures and Bioinspired Algorithms. 17. 26

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
Depth-First Search With P Systems. Comunicación en congreso. Eleventh International Conference on Membrane Computing. Jena, Alemania. 2010

Adorna, Henry, Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
On Communication Complexity in Evolution-Communication P Systems. Comunicación en congreso. Eighth Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2010. Eighth Brainstorming Week on Membrane Computing. 1. 22

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Solving Problems in a Distributed Way in Membrane Computing: Dp Systems. Comunicación en congreso. Eighth Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2010. Eighth Brainstorming Week on Membrane Computing. 219. 233

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
Membrane Computing Meets Artificial Intelligence: a Case Study. Comunicación en congreso. Eighth Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2010. Eighth Brainstorming Week on Membrane Computing. 133. 143

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. Comunicación en congreso. Eleventh International Conference on Membrane Computing. Jena, Alemania. 2010

Cecilia, Jose Maria, García Carrasco,José Manuel, Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús, Ujaldón Martínez, Manuel:
Enhancing the Simulation of P Systems for the SAT Problem on Gpus. Poster en Congreso. Symposium on Application Accelerators in High-Performance Computing. Knoxville, Tennessee (Estados Unidos). 2010. Proceedings 2010 Symposium on Applications Accelerators in High-Performance Computing. 110. 112

Colomer, M. Angels, Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
A Uniform Framework for Modeling Based on P Systems,. Comunicación en congreso. Fifth Internationa Conference on Bio-Inspired Computing: Theories and Applications. Liverpool, Reino Unido. 2010. Proceedings of the 2010 IEEE Fifth International Conference on Bio-Inspired Computing Theories and Applications. 616. 621

Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Colomer, M. Angels:
A New Simulation Algorithm for Multienvironment Probabilistic P Systems. Comunicación en congreso. Fifth Internationa Conference on Bio-Inspired Computing: Theories and Applications. Liverpool, Reino Unido. 2010. Proceedings of the 2010 IEEE Fifth International Conference on Bio-Inspired Computing Theories and Applications. 59. 68

Pérez Hurtado de Mendoza, Ignacio, Valencia Cabrera, Luis, Pérez Jiménez, Mario Jesús, Colomer, M. Angels, Riscos Nuñez, Agustin:
Mecosim: a General Purpose Software Tool for Simulating Biological Phenomena by Means of P Systems. Comunicación en congreso. Fifth Internationa Conference on Bio-Inspired Computing: Theories and Applications. Liverpool, Reino Unido. 2010. Proceedings of the 2010 IEEE Fifth International Conference on Bio-Inspired Computing Theories and Applications. 637. 643

Colomer, M. Angels, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Simulating Tritrophic Interactions by Means of P Systems. Comunicación en congreso. Fifth Internationa Conference on Bio-Inspired Computing: Theories and Applications. Liverpool, Reino Unido. 2010. Proceedings of the 2010 IEEE Fifth International Conference on Bio-Inspired Computing Theories and Applications. 1621. 1628

Christinal, H.a., Díaz Pernil, Daniel, Gutiérrez Naranjo, Miguel A., Pérez Jiménez, Mario Jesús:
Array tissue-like P systems. Comunicación en congreso. Eighth Brainstorming Week on Membrane Computing. Sevilla, España. 2010

Christinal, H.a., Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
Tissue-like P systems without environment. Comunicación en congreso. Eighth Brainstorming Week on Membrane Computing. Sevilla, España. 2010

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. Pyrenayca) by Using P Systems. Comunicación en congreso. Eleventh International Conference on Membrane Computing. Jena, Alemania. 2010

Pan, Linqiang, Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Spiking Neural P Systems With Neuron Division and Budding. Comunicación en congreso. Brainstormig Week on Membrane Computing. 2009. Seventh Brainstorming Week on Membrane Computing. Volume II. 151. 168

Cecilia, Jose Maria, Guerrero, Ginés D., García Carrasco,José Manuel, Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, et. al.:
Simulation of P Systems With Active Membranes on Cuda. Comunicación en congreso. 2009 International Workshop on High Performance Computational Systems Biology. Trento, Italia. 2009. Proceedings of the 2009 International Workshop on High Performance Computational System Biology. 61. 70

Gutiérrez Escudero, Rosa María, Pérez Jiménez, Mario Jesús, Rius Font,Miquel:
Characterizing Tractability by Tissue-Like P Systems. Comunicación en congreso. Workshop on Membrane Computing. Curtea de Arges, Rumanía. 2009. Proceedings of the Tenth Workshop on Membrane Computing. 269. 281

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
Searching Previous Configurations in Membrane Computing. Comunicación en congreso. Workshop on Membrane Computing. Curtea de Arges, Rumanía. 2009. Proceedings of the Tenth Workshop on Membrane Computing. 282. 297

Garcia Quismondo Fernandez, Manuel, Gutiérrez Escudero, Rosa María, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
An Overview of P-Lingua 2.0. Comunicación en congreso. Workshop on Membrane Computing. Curtea de Arges, Rumanía. 2009. Proceedings of the Tenth Workshop on Membrane Computing. 240. 264

Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Cecilia, Jose Maria, Guerrero, Ginés D., et. al.:
Simulating Active Membrane Systems Using Gpus. Comunicación en congreso. Workshop on Membrane Computing. Curtea de Arges, Rumanía. 2009. Proceedings of the Tenth Workshop on Membrane Computing. 369. 384

Pérez Jiménez, Mario Jesús:
A Computational Complexity Theory in Membrane Computing. Conferencia Congreso no publicada. Workshop on Membrane Computing. Curtea de Arges, Rumanía. 2009. Proceedings of the Tenth Workshop on Membrane Computing. 82. 105

Cardona, Monica, Colomer, M. Angels, Margalida, Antoni, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, et. al.:
A P System Based Model of an Ecosystem of Some Scavenger Birds. Comunicación en congreso. Workshop on Membrane Computing. Curtea de Arges, Rumanía. 2009. Proceedings of the Tenth Workshop on Membrane Computing. 153. 168

Garcia Quismondo Fernandez, Manuel, Gutiérrez Escudero, Rosa María, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús:
P-Lingua 2.0: New Features and First Applications. Comunicación en congreso. Brainstormig Week on Membrane Computing. 2009. Seventh Brainstorming Week on Membrane Computing.volume I. 141. 168

Cardona, Monica, Colomer, M. Angels, Pérez Jiménez, Mario Jesús:
Characterizing the Aperiodicity of Irreducible Markov Chains by Using P Systems. Comunicación en congreso. Brainstormig Week on Membrane Computing. 2009. Seventh Brainstorming Week on Membrane Computing.volume I. 81. 96

Gutiérrez Escudero, Rosa María, Pérez Jiménez, Mario Jesús, Rius Font,Miquel:
Characterizing Tractability by Tissue-Like P Systems. Comunicación en congreso. Brainstormig Week on Membrane Computing. 2009. Seventh Brainstorming Week on Membrane Computing.volume I. 169. 180

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
Computing Backwards With P Systems. Comunicación en congreso. Brainstormig Week on Membrane Computing. 2009. Seventh Brainstorming Week on Membrane Computing.volume I. 211. 226

Gutierrez Naranjo, Miguel Angel, Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús:
Solving the N-Queens Puzzle With P Systems. Comunicación en congreso. Brainstormig Week on Membrane Computing. 2009. Seventh Brainstorming Week on Membrane Computing.volume I. 199. 210

Díaz Pernil, Daniel, Gallego Ortiz,Pilar, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Cell-Like Versus Tissue-Like P Systems by Means of Sevilla Carpets. Comunicación en congreso. Brainstormig Week on Membrane Computing. 2009. Seventh Brainstorming Week on Membrane Computing.volume I. 109. 122

Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Cecilia, Jose Maria, Guerrero, Ginés D., et. al.:
Simulation of Recognizer P Systems by Using Manycore Gpus. Comunicación en congreso. Brainstormig Week on Membrane Computing. 2009. Seventh Brainstorming Week on Membrane Computing. Volume II. 45. 58

Pan, Linqiang, Pérez Jiménez, Mario Jesús:
Efficiency of Tissue P Systems With Cell Separation. Comunicación en congreso. Brainstormig Week on Membrane Computing. 2009. Seventh Brainstorming Week on Membrane Computing. Volume II. 169. 196

Guerrero, Ginés D., Cecilia, Jose Maria, García Carrasco,José Manuel, Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, et. al.:
Analysis of P Systems Simulation on Cuda. Comunicación en congreso. XX Jornadas de Paralelismo, JP'2009. A Coruña. 2009. Actas de las XX Jornadas de Paralelismo. 219. 224

Cecilia, J.m., Guerrero, G.d., García, J.m., Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, et. al.:
A massively parallel framework using P systems and GPUs. Poster en Congreso. Symposium on Application Accelerators in High Performance Computing. Urbana, Illinois, EEUU. 2009

Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
A Fast Solution to the Partition Problem by Using Tissue-Like P Systems. Comunicación en congreso. International Conference on Bio-Inspired Computing: Theory and Applications. Australia. 2008. Proceedings of the Third International Conference on Bio-Inspired Computing: Theories and Applications. 43. 47

Cardona, Monica, Colomer, M. Angels, Pérez Jiménez, Mario Jesús, Sanuy Castells, Delfí, Margalida, Antoni:
Modeling Ecosystems Using P Systems: the Bearded Vulture, a Case Study. Comunicación en congreso. Ninth Workshop on Membrane Computing. Edinburgo. 2008. Proceedings of the Ninth Workshop on Membrane Computing. 95. 116

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
A Spiking Neural P System Based Model for Hebbian Learning. Comunicación en congreso. Ninth Workshop on Membrane Computing. Edinburgo. 2008. Proceedings of the Ninth Workshop on Membrane Computing. 189. 207

Ceterchi, Rodica, Pérez Jiménez, Mario Jesús, Tomescu, Alexandru:
Sorting Omega Networks Simulated With P Systems: Optimal Data Layouts. Comunicación en congreso. International Workshop on Computing with Biomolecules. Vienna, Austria. 2008. International Workshop on Computing with Biomolecules. 29. 42

Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Solving the Partition Problem by Using Tissue-Like P Systems With Cell Division. Comunicación en congreso. Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2008

Zandron, Claudio, Leporati, Alberto, Ferretti, Claudio, Mauri, Giancarlo, Pérez Jiménez, Mario Jesús:
On the Computational Efficiency of Polarizationless Recognizer P Systems With Strong Division an Dissolution. Comunicación en congreso. Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2008. Sixth Brainstorming Week on Membrane Computing. 261. 274

Díaz Pernil, Daniel, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
P Lingua: a Programming Language for Membrane Computing. Comunicación en congreso. Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2008. Sixth Brainstorming Week on Membrane Computing. 136. 155

Ceterchi, Rodica, Pérez Jiménez, Mario Jesús, Tomescu, Alexandru:
Sorting Omega Networks Simulated With P Systems: Optimal Data Layouts. Comunicación en congreso. Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2008. Sixth Brainstorming Week on Membrane Computing. 79. 92

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
A First Model for Hebbian Learning With Spiking Neural P Systems. Comunicación en congreso. Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2008

Rivero Gil,Elena, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
Graphics and P Systems: Experiments With Jplant. Comunicación en congreso. Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2008

Cardona, Monica, Colomer, M. Angels, Pérez Jiménez, Mario Jesús, Sanuy Castells, Delfí, Margalida, Antoni:
A P System Modeling an Ecosystem Related to the Bearded Vulture. Comunicación en congreso. Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2008. Sixth Brainstorming Week on Membrane Computing. 51. 66

Graciani Díaz, Mª del Carmen, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
A Membrane Computing Model for Ballistic Depositions. Comunicación en congreso. Fifth Brainstorming Week on Membrane Computing. Sevilla (Spain). 2007. Proceedings of the Fifth Brainstorming Week on Membrane Computing. 179. 197

Pérez Jiménez, Mario Jesús, Yokomori, Takashi:
Membrane Computing Schema Based on String Insertions. Comunicación en congreso. Fifth Brainstorming Week on Membrane Computing. Sevilla (Spain). 2007. Proceedings of the Fifth Brainstorming Week on Membrane Computing. 281. 298

Freund, Rudolf, Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Polarizationless P Systems With Active Membranes Working in the Minimally Parallel Manner. Comunicación en congreso. Fifth Brainstorming Week on Membrane Computing. Sevilla (Spain). 2007. Proceedings of the Fifth Brainstorming Week on Membrane Computing. 131. 156

Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
A Linear Solution for Subset Sum Problem With Tissue P Systems With Cell Division. Ponencia en Congreso. Fifth Brainstorming Week on Membrane Computing. Sevilla (Spain). 2007. Proceedings of the Fifth Brainstorming Week on Membrane Computing. 113. 130

Cardona, Monica, Colomer, M. Angels, Pérez Jiménez, Mario Jesús, Zaragoza, Alba:
Hierarchical Clustering With Membrane Computing. Comunicación en congreso. Workshop on Membrane Computing, Wmc7. Tessaloniki, Grecia. 2007. Proceedings of the Eight Workshop on Membrane Computing. 185. 203

Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
A Cellular Solution to Subset Sum Using Division on Non Elementary Membranes and Dissolution, With Time and Initial Resources Bounded by Log K. Comunicación en congreso. Workshop on Membrane Computing, Wmc7. Tessaloniki, Grecia. 2007. Proceedings of the Eight Workshop on Membrane Computing. 301. 315

Ceterchi, Rodica, Pérez Jiménez, Mario Jesús, Tomescu, Alexandru:
Simulating the Bitonic Sort on a 2d-Mesh With P Systems. Comunicación en congreso. Workshop on Membrane Computing, Wmc7. Tessaloniki, Grecia. 2007. Proceedings of the Eight Workshop on Membrane Computing. 205. 226

Borrego Ropero, Rafael, Díaz Pernil, Daniel, Pérez Jiménez, Mario Jesús:
Tissue Simulator: a Graphical Tool for Tissue P Systems. Comunicación en congreso. Workshop Automata for Cellular and Molecular Computing. Budapest, Hungria. 2007. Proceedings of the International Workshop Automata for Cellular and Molecular Computing. 23. 34

Jack, J., Romero Campero, Francisco José, Pérez Jiménez, Mario Jesús, Ibarra, o, Paun, Andrei:
Simulating Apoptosis Using Discrete Methods: a Membrane System and a Stochastic Approach. Comunicación en congreso. Unconventional Computing. Kingston, Ontario, Canada. 2007. Language Theory in Biocomputing. Proceedings. 50. 63

Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Yokomori, Takashi:
Representations and Characterization of Languages in Chomsky Hierarchy by Means of Insertion-Deletion Systems. Comunicación en congreso. Workshop on Descriptional Complexity of Formal Systems. High Tatras, Eslovaquia. 2007. Proceedings of the 9th Workshop on Descriptional Complexity of Formal Systems, DCFS 2007. 129. 140

Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
An Efficient Solution to 3-Col With Tissue P Systems. Comunicación en congreso. Workshop on Membrane Computing and Biologically Inspired Process Calculi. Venecia, Italia. 2006. Workshop on Membrane Computing and Biologically Inspired Process Calculi. 1. 14

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Romero Campero, Francisco José:
A Membrane Computing View on Tumours. Comunicación en congreso. International Conference Bio-Inspired Computing -- Theory and Applications. Wuhan (China). 2006. Pre-Proceedings of the International Conference Bio-Inspired Computing -- Theory and Applications. 103. 112

Díaz Pernil, Daniel, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
Solving 3-Col With Tissue P Systems. Ponencia en Congreso. Fourth Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2006. Brainstorming Week on Membrane Computing. 17. 29

Romero Jiménez, Álvaro, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
The Growth of Branching Structures with P Systems. Comunicación en congreso. Fourth Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2006. Fourth Brainstorming Week on Membrane Computing. 253. 265

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
An Approach to the Degree of Parallelism in P Systems. Comunicación en congreso. Fourth Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2006. Brainstorming Week on Membrane Computing. 87. 104

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
Fractals and P Systems. Comunicación en congreso. Fourth Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2006. Brainstorming Week on Membrane Computing. 65. 86

Pérez Jiménez, Mario Jesús:
P Systems-Based Modelling of Cellular Signalling Pathways. Comunicación en congreso. 7th Workshop on Membrane Computing. Leiden - Países Bajos. 2006. Pre-proceedings of the 7th Workshop on Membrane Computing WMC7. 54. 73

Romero Campero, Francisco José, Gheorghe, Marian, Bianco, Luca, Pescini, Dario, Pérez Jiménez, Mario Jesús, et. al.:
Towards Probabilistic Model Checking on P Systems Using Prism. Comunicación en congreso. 7th Workshop on Membrane Computing. Leiden - Países Bajos. 2006. Pre-proceedings of the 7th Workshop on Membrane Computing WMC7. 455. 473

Cardona, Monica, Colomer, M. Angels, Pérez Jiménez, Mario Jesús, Zaragoza, Alba:
Classifying States of a Finite Markov Chain With Membrane Computing. Comunicación en congreso. 7th Workshop on Membrane Computing. Leiden - Países Bajos. 2006. Pre-proceedings of the 7th Workshop on Membrane Computing WMC7. 229. 241

Romero Jiménez, Álvaro, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
Graphical Modelling of Higher Plants Using P Systems. Comunicación en congreso. 7th Workshop on Membrane Computing. Leiden - Países Bajos. 2006. Pre-proceedings of the 7th Workshop on Membrane Computing WMC7. 474. 484

Pérez Jiménez, Mario Jesús:
Tratamiento Computacional de la Incertidumbre Mediante Sistemas Celulares con Membranas. Comunicación en congreso. Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 2006. Actas del V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. 607. 609

Cardona, M, Colomer, M. Angels, Pérez Jiménez, Mario Jesús, Zaragoza, Alba:
Handling Markov Chains With Membrane Computing. Comunicación en congreso. Fourth Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2006. Proceedings of the Fourth Brainstorming Week on Membrane Computing, Volume I. 99. 111

Chen, Haiming, Freund, Rudolf, Ionescu, Mihai, Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
On String Languages Generated by Spiking Neural P Systems. Comunicación en congreso. Fourth Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2006. Proceedings of the Fourth Brainstorming Week on Membrane Computing, Volume I. 170. 193

Chen, Haiming, Ishdorf, Tseren Onolt, Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Spiking Neural P Systems With Extended Rules. Comunicación en congreso. Fourth Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2006. Proceedings of the Fourth Brainstorming Week on Membrane Computing, Volume I. 241. 265

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Romero Campero, Francisco José:
Cell-Like and Tissue-Like Membrane Systems As Recognizer Devices. Comunicación en congreso. Nicso 2006. Granada. 2006. Proceedings of the Workshop on Nature Inspired Cooperative Strategies for Optimization (Nicso 2006). 173. 186

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Romero Campero, Francisco José:
Simulating Avascular Tumors With Membrane Systems. Comunicación en congreso. Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2005. Third Brainstorming Week on Membrane Computing. 185. 196

Csuhaj Varju, Erzsebet, Di Nola, Antonio, Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Vaszil, Gyorgy:
Editing Configurations of P Systems. Comunicación en congreso. Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2005. Third Brainstorming Week on Membrane Computing. 131. 154

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
A Simulator for Confluent P Systems. Comunicación en congreso. Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2005. Third Brainstorming Week on Membrane Computing. 169. 184

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Romero Campero, Francisco José:
Solving SAT With Membrane Creation. Comunicación en congreso. CIE 2005: New Computational Paradigms. Amsterdam (Holanda). 2005. CIE 2005: New Computational Paradigms. 82. 91

Pérez Jiménez, Mario Jesús, Romero Campero, Francisco José:
Modelling Egfr Signalling Network Using Continuous Membrane Systems. Comunicación en congreso. Third International Workhop on Computational Methods in Systems Biology. Edinburgh. 2005. Proceedings of the Third International Workshop on Computational Methods in Systems Biology, Cmsb 2005. 118. 129

Bernardini, Francesco, Romero Campero, Francisco José, Gheorghe, Marian, Pérez Jiménez, Mario Jesús, Margenstern, Maurice, et. al.:
On P Systems With Bounded Parallelism. Comunicación en congreso. Taps'05 Workshop on Theory and Applications of P Systems. Timisoara, Rumanía. 2005. Taps'05 Workshop on Theory and Applications of P Systems. 31. 36

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Romero Campero, Francisco José:
Characterizing Tractability With Membrane Creation. Comunicación en congreso. Taps'05 Workshop on Theory and Applications of P Systems. Timisoara, Rumanía. 2005. Taps'05 Workshop on Theory and Applications of P Systems. 61. 68

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Multidimensional Descriptional Complexity of P Systems. Comunicación en congreso. International Workshop on Descriptional Complexity of Formal Systems. Como, Italia. 2005. Descriptional Complexity of Formal Systems. 134. 145

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
Looking for P Truth. Comunicación en congreso. Second Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2004. Proceedings of the Second Brainstorming Week on Membrane Computing. 134. 138

Pérez Jiménez, Mario Jesús, Romero Campero, Francisco José:
A Clips Simulator for Recognizer P Systems With Active Membranes. Comunicación en congreso. Second Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2004. Proceedings of the Second Brainstorming Week on Membrane Computing. 387. 413

Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Tissue P Systems With Cell Division. Comunicación en congreso. Second Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2004. Proceedings of the Second Brainstorming Week on Membrane Computing. 380. 386

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Weak Metrics on Configurations of a P System. Comunicación en congreso. Second Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2004. Proceedings of the Second Brainstorming Week on Membrane Computing. 139. 151

Pérez Jiménez, Mario Jesús, Romero Campero, Francisco José:
Solving the Packing Problem by Recognizer P Systems With Active Membranes. Comunicación en congreso. Second Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2004. Proceedings of the Second Brainstorming Week on Membrane Computing. 414. 430

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
An Efficient Cellular Solution for the Partition Problem. Comunicación en congreso. Second Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2004. Proceedings of the Second Brainstorming Week on Membrane Computing. 237. 246

Ceterchi, Rodica, Pérez Jiménez, Mario Jesús:
Simulating Shuffle-Exchange Networks With P Systems. Comunicación en congreso. Second Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2004. Proceedings of the Second Brainstorming Week on Membrane Computing. 117. 129

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Towards an Efficient Strategy for Searching in P Systems. Comunicación en congreso. Ecai 2004. Valencia, España. 2004. Workshop 5: Symbolic Networks (16th European Conference on Artificial Inteligence). 15. 25

Pérez Jiménez, Mario Jesús:
Recognizer Membrane Systems. Conferencia Congreso no publicada. Ecai 2004. Valencia, España. 2004. Workshop 5: Symbolic Networks (16th European Conference on Artificial Inteligence). 13. 13

Ceterchi, Rodica, Pérez Jiménez, Mario Jesús:
A Perfect Shuffle Algorithm for Reduction Processes and Its Simulation With P Systems. Comunicación en congreso. International Conference on Computers and Communications. Baile Felix Spa - Oradea, Rumania. 2004. Proceedings of the International Conference on Computers and Communications. 92. 97

Pérez Jiménez, Mario Jesús, Romero Campero, Francisco José:
Modelling Vibrio Fischeri's Behaviour Using P Systems. Comunicación en congreso. Ecai 2004. Valencia, España. 2004. Proceedings of the Systems Biology Workshop At VIII Th European Conference on Articial Life. 5. 9

Pérez Jiménez, Mario Jesús:
An Approach to Computational Complexity in Membrane Computing. Comunicación en congreso. Brainstorming Workshop on Uncertainty in Membrane Computing. Palma de Mallorca, España. 2004

Di Nola, Antonio, Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Rosselló, Francesc:
(Imprecise Topics About) Handling Imprecision in P Systems. Conferencia Congreso no publicada. Brainstorming Workshop on Uncertainty in Membrane Computing. Palma de Mallorca, España. 2004

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Exploring Computation Trees Associated With P Systems. Comunicación en congreso. Workshop on Membrane Computing . Milan, Italia. 2004. Pre-Proceedings of the Fifth Workshop on Membrane Computing, Wmc5. 196. 204

Ceterchi, Rodica, Pérez Jiménez, Mario Jesús:
Simulating Parallel Architectures With P Systems. Comunicación en congreso. Workshop on Membrane Computing . Milan, Italia. 2004. Pre-Proceedings of the Fifth Workshop on Membrane Computing, Wmc5. 184. 185

Pérez Jiménez, Mario Jesús:
Computational Complexity in P Systems. Conferencia Congreso no publicada. Workshop on Membrane Computing . Milan, Italia. 2004. Pre-Proceedings of the Fifth Workshop on Membrane Computing, Wmc5. 63. 63

Sancho Caparrini, Fernando, Pérez Jiménez, Mario Jesús:
Verification of Non Deterministic Transition P Systems Solving SAT Problem. Comunicación en congreso. Brainstorming Week on Membrane Computing. Tarragona. España. 2003. Brainstorming Week on Membrane Computing. 291. 304

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando:
A Prolog Simulator for Deterministic P Systems With Active Membranes. Comunicación en congreso. Brainstorming Week on Membrane Computing. Tarragona. España. 2003. Proceedings Brainstorming Week on Membrane Computing. 141. 154

Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando:
A Polynomial Complexity Class in P Systems Using Membrane Division. Comunicación en congreso. Fifth International Workshop on Descriptional Complexity of Formal Systems. Budapest, Hungría. 2003

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Implementing in Prolog an Effective Cellular Solution for the Knapsack Problem. Comunicación en congreso. Workshop on Membrane Computing, WMC 2003. Tarragona, España. 2003. Technical Report N. 28 of the Rovira I Virgili University. 185. 196

Díaz Pernil, Daniel, Pérez Jiménez, Mario Jesús, Ramos Espina,Antonio Jesús:
Molecular Programs As Formal Systems. Comunicación en congreso. International Congress of Logic, Methodology and Philosophy of Science. Oviedo (España). 2003

Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando:
Complexity classes in cellular computing with membranes. Comunicación en congreso. First Annual Meeting of the European Molecular Computing Consortium. Turku, Finland. 2003. European Molecular Computing Consortium: Program and Abstracts. 18. 18

Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando:
Complexity classes in cellular computing with membranes. Conferencia Congreso no publicada. First Joint Meeting between the RSME and the AMS. Santander (ESPAÑA). 2003. First Joint Meeting between the RSME and the AMS. Abstracts. 4. 4

Graciani Díaz, Mª del Carmen, Pérez Jiménez, Mario Jesús:
Using Automated Reasoning Systems in Natural Computing. Conferencia Congreso no publicada. First Joint Meeting between the RSME and the AMS. Santander (ESPAÑA). 2003. First Joint Meeting between the RSME and the AMS. Abstracts. 4. 4

Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Solving Numerical NP-Complete Problems Using P Systems With Active Membranes: the Partition Problem and Beyond. Comunicación en congreso. 2nd Annual Meeting of Project Molconet. Viena, Austria. 2003. 2nd Annual Meeting of Project Molconet. 1. 5

Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando:
Solving VALIDITY Problem by Active Membranes with Input. Comunicación en congreso. Brainstorming Week on Membrane Computing. Tarragona. España. 2003. Brainstorming Week on Membrane Computing. 279. 290

Sancho Caparrini, Fernando, Pérez Jiménez, Mario Jesús, Perez Jimenez, Antonio Jesus:
Computing a Partial Mapping by a P System: Design and Verification. Comunicación en congreso. Brainstorming Week on Membrane Computing. Tarragona. España. 2003. Brainstorming Week on Membrane Computing. 247. 260

Sancho Caparrini, Fernando, Pérez Jiménez, Mario Jesús, Perez Jimenez, Antonio Jesus:
Formal Verification of a Transition P System Generating the Set {2^n+n^2+n: N>=1}. Comunicación en congreso. Brainstorming Week on Membrane Computing. Tarragona. España. 2003. Brainstorming Week on Membrane Computing. 261. 269

Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando:
Complexity classes in cellular computing with membranes. Comunicación en congreso. Brainstorming Week on Membrane Computing. Tarragona. España. 2003. Brainstorming Week on Membrane Computing. 270. 278

Graciani Díaz, Mª del Carmen, Martín Mateos, Francisco Jesús, Pérez Jiménez, Mario Jesús:
Specification of Adleman`s Restricted Model Using an Automated Reasoning System: Verification of Lipton`s Experiment. Comunicación en congreso. 3rd International Conference on Unconventional Models of Computation. Kobe, Japón. 2002. Unconventional Models of Computation. 126. 136

Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando:
Molecular Computation Models in Acl2: a Simulation of Lipton`s SAT Experiment in the Adleman`s Restricted Model. Comunicación en congreso. 3rd International Workshop on the Acl2 Theorem Prover and Its Applications. 2002. 3RD International Conference on Pain and Physiotherapy. 175. 187

Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando:
On the Reachability Problem for P Systems With Porters. Comunicación en congreso. 10th International Conference on Automata and Formal Languages. Debrecen, Hungria. 2002. 10th International Conference on Automata and Formal Languages. 1. 19

Pérez Jiménez, Mario Jesús, Graciani Díaz, Mª del Carmen, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando:
Formalización computacional del experimento de Lipton sobre el problema SAT. Comunicación en congreso. Primer Congreso Español de Algoritmos Evolutivos y Bioinspirados. Mérida. España. 2002. Primer Congreso Español de Algoritmos Evolutivos y Bioinspirados. 326. 332

Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando:
Molecular Computation Models in Acl2: a Simulation of Lipton's Experiment Solving SAT. Comunicación en congreso. 3rd International Workshop on the Acl2 Theorem Prover and Its Applications. 2002

Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando:
Minimal Set Cover Problem: on a DNA Solution of Selection Stage. Comunicación en congreso. Workshop on Membrane Computing. Curtea de Arges, Rumania. 2001. Pre-Proceedings of Workshop on Membrane Computing (WMC-Cdea2001). 251. 258

Graciani Díaz, Mª del Carmen, Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro:
Some Functional Schemes in Arithmetic. Comunicación en congreso. Logic Colloquium 2000. París. Francia. 2000. Abstracts of Contributed Papers. LC 2000 and ELSS 2000. 154. 154

Graciani Díaz, Mª del Carmen, Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando:
NP-Completitud y Computación ADN. Comunicación en congreso. Encuentro de Matemáticos Andaluces. Sevilla, ESPAÑA. 2000

Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando, Graciani Díaz, Mª del Carmen, Romero Jiménez, Álvaro:
Soluciones moleculares del problema SAT de la Lógica Proposicional. Comunicación en congreso. Primeras Jornadas de Lógica y Lenguaje. Santander (ESPAÑA). 2000. Lógica, Lenguaje e Información. 243. 252

Alonso Jimenez, Jose Antonio, Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando:
Molecular Computation Models in Acl2: a Simulation of Lipton`s SAT Experiment in the Adleman`s Restricted Model. Comunicación en congreso. 2nd Acl2 Workshop. Austin, Texas, EEUU. 2000

Pérez Jiménez, Mario Jesús:
On en-Definability in Arithmetic. Comunicación en congreso. 11th International Congress of Logic, Methodology and Philosophy of Science. Cracovia, Polonia. 1999. On en-Definability in Arithmetic. 69. 69

Pérez Jiménez, Mario Jesús:
Interpretacion Reactiva de Sistemas Basados en Conocimiento. Comunicación en congreso. Congreso Isko-España. 1999. Actas del IV Congreso Isko-España. 187. 193

Graciani Díaz, Mª del Carmen, Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando:
Initial segments maximal ¿¿-definable sets in fragments of arithmetic. Comunicación en congreso. Joint Conference of the 5th Barcelona Logic Meeting and the 6th Kurt Gödel Colloquium. . Barcelona, España. 1999. Collegium Logicum. 37. 38

Borrego Diaz, Joaquin, Graciani Díaz, Mª del Carmen, Pérez Jiménez, Mario Jesús:
Matemáticas para la Verificación de Programas. Comunicación en congreso. IV Jornadas Sobre la Enseñanza Universitaria de la Informatica. Andorra. 1998. IV Jornades Sobre L'ensenyament Universitari de la Infomàtica. 380. 385

Graciani Díaz, Mª del Carmen, Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro:
Descripciones funcionales de colección y colección fuerte en la aritmética. Comunicación en congreso. I Congreso Iberoamericano de Filosofía. Cáceres - Madrid (ESPAÑA). 1998

Arrabal Parrilla, Juan Jose, Balbontin Noval, Delia, Alonso Jimenez, Jose Antonio, Lara Martin, Francisco Felix, Martín Mateos, Francisco Jesús, et. al.:
Gti: una Herramienta de Edición de Cursos Adaptativos. Comunicación en congreso. XIII Congreso Nacional de Ingeniería de Proyectos. Santander (ESPAÑA). 1997. Actas del XIII Congreso Nacional de Ingenieria de Proyectos. 627. 634

Balbontin Noval, Delia, Borrego Diaz, Joaquin, Pérez Jiménez, Mario Jesús:
Fundamentos de Algorítmica. Algunas Cuestiones Metodológicas. Comunicación en congreso. Jornadas Nacionales de Innovación en las Enseñanzas de las Ingenierías (2). Madrid (España). 1996

Otras Publicaciones
Pérez Jiménez, Mario Jesús, Borrego Diaz, Joaquin, Perez Jimenez, Antonio Jesus, Pérez Jiménez, Mario Jesús:
Computación, Computabilidad y Programación. Otras Publicaciones. Español

Tesis dirigidas y co-dirigidas:


Macias Ramos, Luis Felipe:
Developing efficient simulators for cell machines. Tesis Doctoral. 2016

Valencia Cabrera, Luis:
Mecosim, una Aplicación de Propósito General para la Simulación de Modelos Computacionales Basados en Sistemas P. Tesis Doctoral. 2015

Garcia Quismondo Fernandez, Manuel:
Modelling and simulation of real-life phenomena in Membrane Computing. Tesis Doctoral. 2014

Martínez del Amor, Miguel Ángel:
Accelerating Membrane Systems Simulators using High Performance Computing with GPU. Tesis Doctoral. 2013

Pérez Hurtado de Mendoza, Ignacio:
Desarrollo y Aplicaciones de un Entorno de Programación para Computación Celular: P-Lingua. Tesis Doctoral. 2010

Romero Campero, Francisco José:
P Systems, a Computational Framework for Systems Biology. Tesis Doctoral. 2008

Díaz Pernil, Daniel:
Sistemas Celulares de Tejidos: Formalización y Eficiencia Computacional. Tesis Doctoral. 2008

Ishdorf, Tseren Onolt:
Membrane Computing, Neural Inspirations, Gene Assembly in Ciliates. Tesis Doctoral. 2007

Cavaliere, Matteo:
Evolution, Communication, Observation: from Biology to Membrane Computing and Back. Tesis Doctoral. 2006

Sburlan, Dragos Florin:
Promoting and Inhibiting Contexts in Membrane Computing. Tesis Doctoral. 2006

Riscos Nuñez, Agustin:
Programación Celular: Resolución Eficiente de Problemas Numéricos NP-Completos. Tesis Doctoral. 2004

Romero Jiménez, Álvaro:
Complejidad y Universalidad en Modelos de Computación Celular. Tesis Doctoral. 2003

Graciani Díaz, Mª del Carmen:
Especificación y Verificación de Programas Moleculares en PVS. Tesis Doctoral. 2003

Sancho Caparrini, Fernando:
Verificacion de Programas en Modelos de Computacion no Convencionales. Tesis Doctoral. 2002

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla