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 WOS: B-2114-2008
Perfil en Scopus: 55329982500
Perfil en Dialnet: 3487817

Grupo de Investigación: Computacion Natural
Departamento/Unidad: Ciencias de la Computación e Inteligencia Artificial
Situación profesional: Investigador honorario

Responsable de los siguientes proyectos/ayudas en la US:

• Proyecto de investigación:
  • Máquinas Bio-Inspiradas sobre plataformas de computación de altas prestaciones: un enfoque multidisciplinar (TIN2017-89842-P)
  • 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)
  
  
• Contrato con empresas (Arts. 68/83 LOU):
  • Mymem. Plataforma de servicios de movilidad (OG-128/07)
  
  
• Ayuda a la investigación:
  • Incentivo al Grupo de Investigación TIC-193 (2017/TIC-193)
  • Incentivo al Grupo de Investigación TIC-193 (2011/TIC-193)
  • Incentivo al Grupo de Investigación TIC-193 (2010/TIC-193)
  • Ninth Brainstorming Week on Membrane Computing (PP2011-01-021)
  • 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)
  • Eighth Brainstormingweek on Membrane Computing (PP2010-01-022)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-193 (2009/TIC-193)
  • Eighth Brainstormingweek on Membrane Computing. (PP2009-01-045)
  • 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)
  • Sixth brainstorming week on membrane computing (PP2007-02-015)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-193 (2006/TIC-193)
  • Fifth Brainstorming Week on Membrana Computing (PP2006-01-11)
  • 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 (PP2005-01-15)
  • Fourth brainstorming week on membrane computing (PP2005-01-30)
  • Fourth International Conference on Unconventional Computation (TIN2004-23021-E)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-902 (2003/TIC-902)
  • Third Brainstorming Week on Membrane Computing (PP2004/01-17)
  
  
• Beca de investigación:
  • Finite model theory and bounded arithmetic (ERBFMBICT-971999)
  
  

Participa en los siguientes proyectos/ayudas en la US:

• Proyecto de investigación:
  • Desarrollo de modelos computacionales de especies invasoras en el Guadalquivir: herramientas de gestión para su control y prevención (P20_00486 - Equipo de Investigación)
  • 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)
  
  
• Contrato con empresas (Arts. 68/83 LOU):
  • International Collaboration Science Program for Biological Computation (P001-23/E20 - Investigador)
  
  
• Ayuda a la investigación:
  • 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, Riscos Nuñez, Agustin, Verlan, Sergey, Konur, Savas, et. al.:
Membrane Computing Models: Implementations. : Springer International Publishing. 2021. XXII, 279. ISBN 978-981-16-1565-8

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, Sancho Caparrini, Fernando:
Máquinas moleculares basadas en ADN. Sevilla, España. Universidad de Sevilla. 2003. 250. ISBN 9788447207770

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

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

Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Pérez Jiménez, Mario Jesús, Ruiz Reina, Jose Luis:
Curso práctico de Teoría de Conjuntos. España. Ediciones la Ñ. 1998. 373. ISBN 84-89524-45-9 94152 2

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

Paun, Gheorghe (Editor/a), Calude, Cristian (Editor/a), Dinneen, Michael J. (Editor/a), Pérez Jiménez, Mario Jesús (Editor/a), Rozenberg, Grzegorz (Editor/a):
Unconventional Computation. Berlin. Springer-Verlag. 2006. ISBN 3-540-38593-2

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

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

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

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

Blazquez Gallego,Justo (Coautor/a), Pérez Jiménez, Mario Jesús (Editor/a):
Vida Artificial: Estudio y Analisis del Programa Swarm. Sevilla,. Los Autores. 2001. ISBN 84-699-4449-5

Capítulos en Libros

Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Valencia Cabrera, Luis, Orellana Martín, David:
Results on Computational Complexity in Bio-inspired Computing. Pag. 33-73. En: Bio-Inspired Computing Models and Algorithms. World Scientific. 2019. ISBN 978-981-3143-17-3

Zhang, Gexiang, Pérez Jiménez, Mario Jesús, Wang, Jun, Peng, Hong, Cheng, Jixiang, et. al.:
Real applications of Membrane Computing models. Pag. 173-185. En: Multidisciplinary Creativity. Bucarest, Rumanía. Spandugino. 2015. X+334. ISBN 975-606-8401-63-8

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

Macias Ramos, Luis Felipe, Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Valencia Cabrera, Luis:
Unconventional approaches to tackle the P versus NP problem. Pag. 223-238. En: Discrete Mathematics and Computer Science. Editura Academiei Romane. 2014

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

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

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

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. 2006. ISBN 981-256-889-1

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, 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

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

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, 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:
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

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

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

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

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

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

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

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, 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. 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. 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. Promociones Y Publicaciones Universitarias. 1993. ISBN 84-477-0264-2

Pérez Jiménez, Mario Jesús:
El problema décimo de Hilbert. Pag. 1-91. En: Trabajos de Lógica y Computación . Sección III. Universidad de Sevilla. 1990

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

Fernandez Margarit, Alejandro, Pérez Jiménez, Mario Jesús:
Algunos resultados y problemas sobre Modelos de la Aritmética. Pag. 1-42

Borrego Diaz, Joaquin, Perez Jimenez, Antonio Jesus, Pérez Jiménez, Mario Jesús:
Fundamentos de Computación Paralela. Algoritmos Paralelos. Pag. 1-86

Fernandez Margarit, Alejandro, Pérez Jiménez, Mario Jesús:
Curso de Lógica y Computación. Pag. 1-160

Balbotín, Delia, Borrego Diaz, Joaquin, Pérez Jiménez, Mario Jesús:
Curso de Algorítmica. Parte I. Pag. 1-158

Alonso Jimenez, Jose Antonio, Pérez Jiménez, Mario Jesús:
Curso de Teoría de Conjuntos. Pag. 1-51

Publicaciones en Revistas

Bai, Xinzhu, Yanping, Huang, Peng, Hong, Wang, Jun, Qian, Yang, et. al.:
Sequence recommendation using multi-level self-attention network with gated spiking neural P systems. En: Information Sciences. 2024. Vol. 656. Núm. 119916. 10.1016/j.ins.2023.119916

Orellana Martín, David, Valencia Cabrera, Luis, Pérez Jiménez, Mario Jesús:
A Formal Verification of a SAT Solution by P Systems with Evolution Communication and Separation Rules. En: International Journal of Foundations of Computer Science. 2023. 10.1142/S0129054123450065

Paun, Gheorghe, Pérez Jiménez, Mario Jesús, Rozenberg, Grzegorz:
Infinite Spike Trains in Spiking Neural P Systems. En: Romanian Journal of Information Science and Technology. 2023. Vol. 26. Núm. 3-4. Pag. 251-275. 10.59277/Romjist.2023.3-4.01

Pérez Jiménez, Mario Jesús, Ramírez de Arellano Marrero, Antonio, Orellana Martín, David:
Attacking cryptosystems by means of virus machines. En: Scientific Reports. 2023. Vol. 13. Núm. 1. 10.1038/s41598-023-49297-6

Ramírez de Arellano Marrero, Antonio, Orellana Martín, David, Pérez Jiménez, Mario Jesús:
Generating, computing and recognizing with virus machines. En: Theoretical Computer Science. 2023. Vol. 972. Núm. 114077. Pag. 1-15. 10.1016/j.tcs.2023.114077

Ramírez de Arellano Marrero, Antonio, Orellana Martín, David, Pérez Jiménez, Mario Jesús:
Using virus machines to compute pairing functions. En: International Journal of Neural Systems. 2023. Vol. 33. Núm. 5. 10.1142/S0129065723500235

Orellana Martín, David, Ramírez de Arellano Marrero, Antonio, Andreu, José Antonio, Romero Jiménez, Álvaro, Pérez Jiménez, Mario Jesús:
A protocol for solutions to DP-complete problems through tissue membrane systems. En: Mathematics. 2023. Vol. 11. Núm. 13. https://doi.org/10.3390/math11132797

Liu, Qian, Long, Lifan, Peng, Hong, Wang, Jun, Yang, Qian, et. al.:
Gated Spiking Neural P Systems for Time Series Forecasting. En: IEEE Transactions on Neural Networks and Learning Systems. 2023. Vol. 34. Núm. 9. Pag. 6227-6236. 10.1109/Tnnls.2021.3134792

Ramírez de Arellano Marrero, Antonio, Orellana Martín, David, Pérez Jiménez, Mario Jesús:
Basic arithmetic calculations through virus-based machines. En: Lecture Notes in Computer Science. 2022. Vol. 13259. Pag. 403-412. https://doi.org/10.1007/978-3-031-06527-9_40

Orellana Martín, David, Martínez del Amor, Miguel Ángel, Valencia Cabrera, Luis, Pérez Hurtado de Mendoza, Ignacio, Riscos Nuñez, Agustin, et. al.:
Dendrite P Systems Toolbox: Representation, Algorithms and Simulators. En: International Journal of Neural Systems. 2021. Vol. 31. Núm. 1. 10.1142/S0129065720500719

Valencia Cabrera, Luis, Orellana Martín, David, Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús:
From NP-completeness to DP-completeness: A membrane computing perspective. En: Complexity. 2020. Vol. 2020. https://doi.org/10.1155/2020/6765097

Zhang, Gexiang, Shang, Zeyi, Verlan, Sergey, Martínez del Amor, Miguel Ángel, Yuan, Chengxun, et. al.:
An Overview of Hardware Implementation of Membrane Computing Models. En: ACM Computing Surveys. 2020. Vol. 53. Núm. 4. https://doi.org/10.1145/3402456

Pérez Hurtado de Mendoza, Ignacio, Martínez del Amor, Miguel Ángel, Zhang, Gexiang, Neri, Ferrante, Pérez Jiménez, Mario Jesús:
A Membrane Parallel Rapidly-Exploring Random Tree Algorithm for Robotic Motion Planning. En: Integrated Computer-Aided Engineering. 2020. Vol. 27. Núm. 2. Pag. 121-138. https://doi.org/10.3233/ICA-190616

Peng, Hong, Bao, Tingting, Luo, Xiaohui, Wang, Jun, Song, Xiaoxiao, et. al.:
Dendrite P systems. En: Neural Networks. 2020. Vol. 127. Pag. 110-120. 10.1016/j.neunet.2020.04.014

Lv, Zeqiong, Bao, Tingting, Zhou, Nan, Peng, Hong, Huang, Xiangnian, et. al.:
Spiking Neural P Systems with Extended Channel Rules. En: International Journal of Neural Systems. 2020. 10.1142/S0129065720500495

Li, Bo, Peng, Hong, Luo, Xiaohui, Wang, Jun, Song, Xiaoxiao, et. al.:
Medical Image Fusion Method Based on Coupled Neural P Systems in Nonsubsampled Shearlet Transform Domain. En: International Journal of Neural Systems. 2020. 10.1142/S0129065720500501

Peng, Hong, Lv, Zeqiong, Li, Bo, Luo, Xiaohui, Wang, Jun, et. al.:
Nonlinear Spiking Neural P Systems. En: International Journal of Neural Systems. 2020. Vol. 30. Núm. 10. 10.1142/S0129065720500082

Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Orellana Martín, David, Pérez Jiménez, Mario Jesús:
Adaptative parallel simulators for bioinspired computing models. En: Future Generation Computer Systems. 2020. 10.1016/j.future.2020.02.012

Peng, Hong, Li, Bo, Wang, Jun, Song, Xiaoxiao, Wang, Tao, et. al.:
Spiking neural P systems with inhibitory rules. En: Knowledge-Based Systems. 2020. Vol. 188. 10.1016/j.knosys.2019.105064

Orellana Martín, David, Martínez del Amor, Miguel Ángel, Valencia Cabrera, Luis, Song, Bosheng, Pan, Linqiang, et. al.:
P systems with symport/antiport rules: When do the surroundings matter?. En: Theoretical Computer Science. 2020. Vol. 805. Pag. 218-231. 10.1016/j.tcs.2018.04.052

Orellana Martín, David, Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Riscos Nuñez, Agustin, Valencia Cabrera, Luis, et. al.:
When object production tunes the efficiency of membrane systems. En: Theoretical Computer Science. 2020. Vol. 805. Pag. 218-231. 10.1016/j.tcs.2018.04.013

Orellana Martín, David, Valencia Cabrera, Luis, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
Membrane Creation in Polarizationless P Systems with Active Membranes. En: Fundamenta Informaticae. 2019. Vol. 171. Pag. 297-311

Pan, Linqiang, Orellana Martín, David, Song, Bosheng, Pérez Jiménez, Mario Jesús:
Cell-like P systems with polarizations and minimal rules. En: Theoretical Computer Science. 2019

Valencia Cabrera, Luis, Orellana Martín, David, Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús:
An interactive timeline of simulators in membrane computing. En: Journal of Membrane Computing. 2019. Vol. 1. Núm. 3. Pag. 209-222

Orellana Martín, David, Pérez Hurtado de Mendoza, Ignacio, Zhang, Gexiang, Pérez Jiménez, Mario Jesús:
P-Lingua in two steps: flexibility and efficiency. En: Journal of Membrane Computing. 2019. Vol. 1. Núm. 2. Pag. 93-102

Orellana Martín, David, Valencia Cabrera, Luis, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
P systems with proteins: a new frontier when membrane division disappears. En: Journal of Membrane Computing. 2019. Vol. 1. Núm. 1. Pag. 29-39

Orellana Martín, David, Valencia Cabrera, Luis, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems. En: Journal of Membrane Computing. 2019. Vol. 1. Núm. 2. Pag. 85-92. 10.1007/s41965-018-00004-9

Orellana Martín, David, Valencia Cabrera, Luis, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
A path to computational efficiency through membrane computing. En: Theoretical Computer Science. 2019. Vol. 777. Pag. 443-453. 10.1016/j.tcs.2018.12.024

Wang, Tao, Wei, Xiaoguang, Huang, Tao, Wang, Jun, Peng, Hong, et. al.:
Modeling Fault Propagation Paths in Power Systems: A New Framework Based on Event SNP Systems with Neurotransmitter Concentration. En: IEEE Access. 2019. Vol. 7. doi: 10.1109/ACCESS.2019.2892797

Peng, Hong, Wang, Jun, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Dynamic threshold neural P systems. En: Knowledge-Based Systems. 2019. Vol. 163. Pag. 875-884. 10.1016/j.knosys.2018.10.016

Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Zhang, Gexiang, Orellana Martín, David:
Simulation of Rapidly-Exploring Random Trees in Membrane Computing with P-Lingua and Automatic Programming. En: International Journal of Computers, Communications and Control. 2018. Vol. 13. Núm. 6. Pag. 1007-1031. 10.15837/ijccc.2018.6.3370

Orellana Martín, David, Valencia Cabrera, Luis, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
The Unique Satisfiability Problem from a Membrane Computing Perspective. En: Romanian Journal of Information Science and Technology. 2018. Vol. 21. Núm. 3. Pag. 288-297

Orellana Martín, David, Valencia Cabrera, Luis, Guisado Lizar, José Luis, Jimenez Morales, Francisco de Paula, Pérez Jiménez, Mario Jesús:
Laser Dynamics from a Membrane Computing Perspective. En: Bulletin of the International Membrane Computing Society. 2018. Vol. 5. Pag. 97-108

Zhu, Ming, Zhang, Gexiang, Yang, Qiang, Rong, Haina, Yuan, Weitao, et. al.:
P systems based computing polynomials with integer coefficients: design and formal verification. En: IEEE Transactions on NanoBioscience. 2018. Vol. 17. Núm. 3. Pag. 272-280. 10.1109/Tnb.2018.2836147

Pan, Linqiang, Song, Bosheng, Valencia Cabrera, Luis, Pérez Jiménez, Mario Jesús:
The computational complexity of tissue P systems with evolutional symport/antiport rules. En: Complexity. 2018. Vol. 2018. Núm. 3745210. Pag. 1-21. 10.1155/2018/3745210

Peng, Hong, Wang, Jun, Ming, Jun, Shi, Peng, Pérez Jiménez, Mario Jesús, et. al.:
Fault diagnosis of power systems using intuitionistic fuzzy spiking neural P systems. En: IEEE Transactions on Smart Grid. 2018. Vol. 9. Núm. 5. Pag. 4777-4784. 10.1109/Tsg.2017.2670602

Orellana Martín, David, Martínez del Amor, Miguel Ángel, Valencia Cabrera, Luis, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
The role of integral membrane proteins in computational complexity theory. En: International Journal of Advances in Engineering Sciences and Applied Mathematics. 2018. 10.1007/s12572-018-0220-2

Wang, Tao, Wang, Jun, Ming, Jun, Sun, Zhang, Wei, Chuanxiang, et. al.:
Application of Neural-like P Systems with State Values for Power Coordination of Photovoltaic/battery Microgrids. En: IEEE Access. 2018. 10.1109/Access.2018.2865122

Valencia Cabrera, Luis, Orellana Martín, David, Martínez del Amor, Miguel Ángel, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
From distribution to replication in cooperative systems with active membranes: A frontier of the efficiency. En: Theoretical Computer Science. 2018. Vol. 736. Pag. 15-24. 10.1016/j.tcs.2017.12.012

Macias Ramos, Luis Felipe, Song, Bosheng, Song, Tao, Pan, Linqiang, Pérez Jiménez, Mario Jesús:
On efficiency of P systems with symport/antiport and membrane division. En: International Journal Information Theories and Applications. 2017. Vol. 24. Núm. 3. Pag. 229-245

Martínez del Amor, Miguel Ángel, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
A Survey of Parallel Simulation of P Systems with GPUs. En: Bulletin of the International Membrane Computing Society. 2017. Vol. 3. Pag. 55-67

Valencia Cabrera, Luis, Orellana Martín, David, Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús:
From Super-cells to Robotic Swarms: Two Decades of Evolution in the Simulation of P Systems. En: Bulletin of the International Membrane Computing Society. 2017. Vol. 4. Pag. 65-87

Valencia Cabrera, Luis, Martínez del Amor, Miguel Ángel, Orellana Martín, David, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús:
Cooperative P Systems and the P Versus NP Problem. En: Bulletin of the International Membrane Computing Society. 2017. Vol. 4. Pag. 39-64

Garcia Quismondo Fernandez, Manuel, Reed, J. Michael, Chew, Frances S., Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús:
Evolutionary response of a native butterfly to concurrent plant invasions: Simulation of population dynamics. En: Ecological Modelling. 2017. Vol. 360. Pag. 410-424. 10.1016/j.ecolmodel.2017.06.030

Song, Bosheng, Pérez Jiménez, Mario Jesús, Pan, Linqiang:
An efficient time-free solution to QSAT problem using P systems with proteins on membranes. En: Information and Computation. 2017. Vol. 2560. Pag. 287-299. 10.1016/j.ic.2017.06.005

Valencia Cabrera, Luis, Orellana Martín, David, Martínez del Amor, Miguel Ángel, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
Cooperation in Transport of Chemical Substances: A Complexity Approach within Membrane Computing. En: Fundamenta Informaticae. 2017. Vol. 154. Núm. 1-4. Pag. 373-385. 10.3233/Fi-2017-1572

Valencia Cabrera, Luis, Orellana Martín, David, Martínez del Amor, Miguel Ángel, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
Reaching efficiency through collaboration in membrane systems: Dissolution, polarization and cooperation. En: Theoretical Computer Science. 2017. Vol. 701. Pag. 226-234. 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.:
Fuzzy reasoning spiking neural P systems revisited: A formalization. En: Theoretical Computer Science. 2017. Vol. 701. Pag. 216-225. 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

Valencia Cabrera, Luis, Orellana Martín, David, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
Complexity Perspectives on Minimal Cooperation in Cell-like Membrane Systems. En: Bulletin of the International Membrane Computing Society. 2016. Vol. 2. Pag. 69-78

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

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

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

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

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

Cabarle, F.g.c., Adorna, H.n., Pérez Jiménez, Mario Jesús, Cabarle, Francis George:
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

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

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

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

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

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

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

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

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

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

He, Yangyang, Wang, Tao, Huang, Kang, Zhang, Gexiang, Pérez Jiménez, Mario Jesús:
Fault Diagnosis of Metro Traction Power Systems Using A Modified Fuzzy Reasoning Spiking Neural P System. En: Romanian Journal of Information Science and Technology. 2015. Vol. 18. Núm. 3. Pag. 256-272

Wang, Tao, Zeng, Sikui, Zhang, Gexiang, Pérez Jiménez, Mario Jesús, Wang, Jun:
Fault Section Estimation of Power Systems with Optimization Spiking Neural P Systems. En: Romanian Journal of Information Science and Technology. 2015. Vol. 18. Núm. 3. Pag. 240-255

Wang, Tao, Zhang, Gexiang, Pérez Jiménez, Mario Jesús:
Fuzzy Membrane Computing: Theory and Applications. En: International Journal of Computers, Communications and Control. 2015. Vol. 10. Núm. 6. Pag. 904-935. 10.15837/ijccc.2015.6.2080

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

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

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

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

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

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

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

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

Cabarle, F.g.c., Adorna, H. N., Pérez Jiménez, Mario Jesús, Song, Tao, Cabarle, Francis George:
Spiking neural P systems with structural plasticity. En: Neural Computing and 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

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

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

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

Cabarle, F.g.c., Adorna, H.n., Pérez Jiménez, Mario Jesús, Cabarle, Francis George:
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

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

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

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

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

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

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:
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

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

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

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

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

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

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

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

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

Nepomuceno Fernandez, Angel, Pérez Jiménez, Mario Jesús:
Programas Moleculares y Sistemas Lógico-formales. En: Kairos (Portugal). 2013. Vol. 5. Pag. 79-91. D.L.332459/11

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

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

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

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

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

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

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

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

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

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

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

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

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

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 & Fuzzy Systems. 2013. Vol. 24. Núm. 2. Pag. 229-237. http://dx.doi.org/10.3233/IFS-2012-0549

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

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

Cabarle, Francis G., Adorna, Henry N., Martínez del Amor, Miguel Ángel, Pérez Jiménez, Mario Jesús, Cabarle, Francis George:
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

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

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

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:
An infinite hierarchy of languages defined by dP systems. En: Theoretical Computer Science. 2012. Vol. 431. Pag. 4-12

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

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

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

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

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

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

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

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

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

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

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

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

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

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, 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

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

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

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

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

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

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

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

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

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

Pérez Jiménez, Mario Jesús, Ortega de la Puente,Alfonso, Sempere Luna, José María:
The Spanish Network on Biomolecular and Biocellular Computing: Bio-Inspired Natural Computing in Spain. En: Ercim News. 2011. Núm. 85. Pag. 25-25

Pérez 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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:
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

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, 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

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

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

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

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

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

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

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

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

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, 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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:
Membrane Computing: Brief Introduction, Recent Results and Applications. En: Biosystems. 2006. Vol. 85. Núm. 1. Pag. 11-22

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

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

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:
Editorial: Selected Papers Dedicated to Membrane Computing. En: Journal Of Automata, Languages And Combinatorics. 2006. Vol. 11. Núm. 3. Pag. 239-239

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

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

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

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

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

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

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

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, Gheorghe, Pérez Jiménez, Mario Jesús, Salomaa, Arto:
Bounding the Indegree of Spiking Neural P Systems. En: TUCS technical report. 2006. Vol. 773. Pag. 1-8

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, 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

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

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

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

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

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

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é:
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 Campero, Francisco José:
Attacking the Common Algorithmic Problem by Recognizer P Systems. En: Lecture Notes in Computer Science. 2005. Vol. 3354. Pag. 304-315

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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. Pag. 341-348

Fernandez Margarit, Alejandro, Pérez Jiménez, Mario Jesús:
Maximum Schemes in Arithmetic. En: Mathematical Logic Quarterly. 1994. Pag. 425-430

Pérez Jiménez, Mario Jesús:
Informal approach to recursion theory through Hilbert's tenth problem. 1993. Pag. 1-16

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

Pérez Jiménez, Mario Jesús:
Informal approach to recursion theory through Hilbert's tenth problem

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

Orellana Martín, David, Andreu, José Antonio, Graciani, Carmen, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
Randomly walking with PDP systems. Comunicación en congreso. 24th International Conference on Membrane Computing. Opava. 2023

Ramírez de Arellano Marrero, Antonio, Orellana Martín, David, Pérez Jiménez, Mario Jesús:
Generating, computing and recognizing with virus machines. Ponencia en Congreso. 23rd Confernce on Membrane Computing. Italy, Trieste. 2022

Orellana Martín, David, Valencia Cabrera, Luis, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
Solving problems through a single membrane system. Comunicación en congreso. 20th International Conference on Membrane Computing. Curtea de Arges, Romania. 2019

Pérez Hurtado de Mendoza, Ignacio, Orellana Martín, David, Martínez del Amor, Miguel Ángel, Valencia Cabrera, Luis, Riscos Nuñez, Agustin, et. al.:
11 years of P-Lingua: A backward glance. Comunicación en congreso. 20th International Conference on Membrane Computing. Curtea de Arges, Romania. 2019

Valencia Cabrera, Luis, Orellana Martín, David, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús:
Dependency Graph Technique Revisited. Comunicación en congreso. 20th International Conference on Membrane Computing. Curtea de Arges, Romania. 2019

Orellana Martín, David, Valencia Cabrera, Luis, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
A new perspective on computational complexity theory in Membrane Computing. Comunicación en congreso. 17th Brainstorming Week on Membrane Computing. Sevilla, Spain. 2019

Orellana Martín, David, Valencia Cabrera, Luis, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
An apparently innocent problem in Membrane Computing. Comunicación en congreso. 17th Brainstorming Week on Membrane Computing. Sevilla, Spain. 2019

Pérez Hurtado de Mendoza, Ignacio, Orellana Martín, David, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
A syntax for semantics in P-Lingua. Comunicación en congreso. 17th Brainstorming Week on Membrane Computing. Sevilla, Spain. 2019

Valencia Cabrera, Luis, Orellana Martín, David, Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús:
New applications for an old tool. Comunicación en congreso. 17th Brainstorming Week on Membrane Computing. Sevilla, Spain. 2019

Martínez del Amor, Miguel Ángel, Orellana Martín, David, Pérez Hurtado de Mendoza, Ignacio, Valencia Cabrera, Luis, Riscos Nuñez, Agustin, et. al.:
Design of Specific P Systems Simulators on GPUs. Comunicación en congreso. 19th International Conference on Membrane Computing. Dresden, Germany. 2018

Orellana Martín, David, Valencia Cabrera, Luis, Song, Bosheng, Pan, Linqiang, Pérez Jiménez, Mario Jesús:
Narrowing frontiers with evolutional communication rules and cell separation. Comunicación en congreso. Sixteenth Brainstorming Week on Membrane Computing. Sevilla, España. 2018

Orellana Martín, David, Valencia Cabrera, Luis, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
Limits on P systems with proteins and without division. Comunicación en congreso. Sixteenth Brainstorming Week on Membrane Computing. Sevilla, España. 2018

Orellana Martín, David, Valencia Cabrera, Luis, Pérez Jiménez, Mario Jesús:
The factorization problem: A new approach through membrane systems. Comunicación en congreso. 17th International Conference on Unconventional Computation and Natural Computation. Fontainebleau, France. 2018

Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús, Zhang, Gexiang, Orellana Martín, David:
Robot path planning using rapidly-exploring random trees: A membrane computing approach. Comunicación en congreso. 2018 7th International Conference on Computers Communications and Control. Oradea, Romania. 2018

Martínez del Amor, Miguel Ángel, Orellana Martín, David, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
On GPU-Oriented P systems. Comunicación en congreso. International Conference on High Performance Computing & Simulation. Orléans, France. 2018

Pérez Jiménez, Mario Jesús:
Charla "Sinfonía fantástica de las Matemáticas. Primer movimiento: Los números". Conferencias impartidas en Otras Actividades Divulgativas. Quifibiomat 2017. Universidad de Sevilla. 2017

Pérez Jiménez, Mario Jesús:
Inteligencia Artificial.. ¡Naturalmente!. Conferencias impartidas en Otras Actividades Divulgativas. VIII Concurso de otoño de matemáticas (CO+). Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática. 2017

Macias Ramos, Luis Felipe, Song, Bosheng, Song, Tao, Pan, Linqiang, Pérez Jiménez, Mario Jesús:
Limits on efficient computation in P systems with symport/antiport. Comunicación en congreso. Fifteenth Brainstorming Week on Membrane Computing. Sevilla, España. 2017

Pérez Hurtado de Mendoza, Ignacio, Pérez Jiménez, Mario Jesús:
Generation of rapidly-exploring random tree by using a new class of membrane systems. Comunicación en congreso. Asian Conference on Membrane Computing 2017. Chengdu - Sichwan. China. 2017

Zhang, Gexiang, Zhu, Ming, Yang, Qiang, Rong, Haina, Yuan, Weitao, et. al.:
P systems based computing polynomials with integer coefficients: Design and formal verification. Comunicación en congreso. Asian Conference on Membrane Computing 2017. Chengdu - Sichwan. China. 2017

Pérez Jiménez, Mario Jesús:
Modelling the dynamics of complex systems: A membrane computing based framework. Comunicación en congreso. Asian Conference on Membrane Computing 2017. Chengdu - Sichwan. China. 2017

Wang, Tao, Wang, Jun, Fan , Zhennan, Wei, Xiaoguang, Zang, Tianlei, et. al.:
Fault diagnosis for multi-energy flows of energy internet: Framework and prospect. Comunicación en congreso. IEEE Conference on Energy Internet and Energy System Integration. Pekín (China). 2017

Valencia Cabrera, Luis, Orellana Martín, David, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
Counting Membrane Systems. Comunicación en congreso. 18th International Conference on Membrane Computing. Bradford (Reino Unido). 2017

Valencia Cabrera, Luis, Orellana Martín, David, Martínez del Amor, Miguel Ángel, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Inwards. Comunicación en congreso. Fifteenth Brainstorming Week on Membrane Computing. Sevilla, España. 2017

Valencia Cabrera, Luis, Orellana Martín, David, Martínez del Amor, Miguel Ángel, Riscos Nuñez, Agustin, Pérez Jiménez, Mario Jesús:
Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Outwards. Comunicación en congreso. Fifteenth Brainstorming Week on Membrane Computing. Sevilla, España. 2017

Martínez del Amor, Miguel Ángel, Orellana Martín, David, Cabarle, Francis G.c., Pérez Jiménez, Mario Jesús, Adorna, Henry N.:
Sparse-matrix Representation of Spiking Neural P Systems for GPU. Comunicación en congreso. Fifteenth Brainstorming Week on Membrane Computing. Sevilla, España. 2017

Pérez Jiménez, Mario Jesús:
Charla "Sinfonía fantástica de los números". Conferencias impartidas en Otras Actividades Divulgativas. Quifibiomat 2016. Universidad de Sevilla. 2016

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

Pérez Jiménez, Mario Jesús:
Charla "Sinfonía fantástica de los números". Conferencias impartidas en Otras Actividades Divulgativas. Quifibiomat 2015. Universidad de Sevilla. 2015

Wang, Tao, Zeng, Sikui, Zhang, Gexiang, Pérez Jiménez, Mario Jesús, Wang, Jun:
Fault Section Estimation of Power Systems with Optimization Spiking Neural P Systems. Comunicación en congreso. Workshop on Membrane Computing 2015, Satellite workshop of UCNC2015. Auckland, New Zealand. 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, Pérez Jiménez, Mario Jesús, Chen, Xu, Wang, Beizhan, Zeng, Xiangxiang:
Basic virus machines. Comunicación en congreso. 16th International Conference on Membrane Computing. Valencia, Spain. 2015

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

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

Pérez Jiménez, Mario Jesús:
Charla "El efecto dominó.. Desde un punto de vista matemático". Conferencias impartidas en Otras Actividades Divulgativas. Quifibiomat 2014. Universidad de Sevilla. 2014

Pérez Jiménez, Mario Jesús:
Computación inspirada en la Naturaleza: Perspectivas, aplicaciones y retos. Conferencias impartidas en Curso. Apertura del Programa de Doctorado en Ingeniería Informática. Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática. 2014

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

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

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

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

Pérez Jiménez, Mario Jesús:
Modelling real-life phenomena. Conferencias impartidas en Congreso. 26th Annual Meeting of the Academia Europaea. 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

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

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

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

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

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

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, 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:
A Theory of Complexity for Membrane Computing. Conferencias impartidas en Congreso. 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 en Congreso. Asian Conferenece 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

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

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

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

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

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

Pérez Jiménez, Mario Jesús:
Charla "Computación inteligente con organismos vivos". Conferencias impartidas en Otras Actividades Divulgativas. Quifibiomat 2012. Universidad de Sevilla. 2012

Pérez Jiménez, Mario Jesús:
Computación inteligente con organismos vivos. Conferencia Congreso no publicada. International Symposium of Epistemology, Logic and Language. Lisboa, Portugal. 2012

Pérez Jiménez, Mario Jesús:
Computational Complexity Theory in Membrane Computing. Conferencias impartidas en Congreso. 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

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

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

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

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

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:
Spiking Neural P systems with functional astrocytes. 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

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

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

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

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

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

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, 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

Pérez Jiménez, Mario Jesús:
Charla "El efecto dominó.. Desde un punto de vista matemático". Conferencias impartidas en Otras Actividades Divulgativas. Quifibiomat 2011. Universidad de Sevilla. 2011

Pérez Jiménez, Mario Jesús:
Buscando máquinas vivas.. Conferencias impartidas en Otras Actividades Divulgativas. Imaginática 2011. Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática. 2011

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

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

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

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

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

Niu, Y., Pan, L., Pérez Jiménez, Mario Jesús:
A Uniform Solution to common Algorithmic Problem by Tissue P systems with Cell Division. Comunicación en congreso. Sixth International Conference on Bio-Inspired computing: Theories and Applications. Penang, Malaysia. 2011

Paun, Gheorghe, Pérez Jiménez, Mario Jesús:
Towards bridging two cell-inspired models: P systems and R systems. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. - Sevilla, ESPAÑA. 2011

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

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

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

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

Pérez Jiménez, Mario Jesús:
Charlas "Inducción, Recursión e Infinito" y "Máquinas de cálculo.. Vivas". Conferencias impartidas en Otras Actividades Divulgativas. Quifibiomat 2010. Universidad de Sevilla. 2010

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

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

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

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

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

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

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

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

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

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

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

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

Pérez Jiménez, Mario Jesús:
Charla "Resolución mecánica de problemas". Conferencias impartidas en Otras Actividades Divulgativas. Quifibiomat 2009. Universidad de Sevilla. 2009

Pérez Jiménez, Mario Jesús:
Resolución mecánica de problemas. Conferencias impartidas en Otras Actividades Divulgativas. Quifibiomat 2009. Universidad de Sevilla. 2009

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

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

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

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

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

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, 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

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

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, 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

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

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

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, 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

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

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

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

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

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

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

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

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

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

Pérez Jiménez, Mario Jesús:
Participación en el Programa de Divulgación 2007. Conferencias impartidas en Otras Actividades Divulgativas. Programa de Divulgación 2007. Universidad de Sevilla. Facultad de Matemáticas. 2007

Pérez Jiménez, Mario Jesús:
Máquinas Inspiradas en la Naturaleza Viva. Conferencias impartidas en Otras Actividades Divulgativas. Imaginática 2007. Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática. 2007

Pérez Jiménez, Mario Jesús:
Biocomputing. Sesión plenaria en Jornada. Jornada Emprender en la Universidad. Universidad Pablo de Olavide. 2007

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

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

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

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

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

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

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

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

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

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

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

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é:
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, 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, 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

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

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

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 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

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

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, 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

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

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, 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

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

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

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

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

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

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

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:
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

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

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

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

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

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

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

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

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

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

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é:
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

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

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

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

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

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:
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

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

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. Comunicación en congreso. Brainstorming Week on Membrane Computing. Tarragona. España. 2003. Brainstorming Week on Membrane Computing. 270. 278

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

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

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

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

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:
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

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, 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

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

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

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

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

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:
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

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:
La inducción matemática en el diseño, análisis y corrección de algoritmos. Ponencia en Jornada. Jornadas de Matemáticas y su Enseñanza. San Sebastián, , , , . FACULTAD DE FARMACIA. UNIVERSIDAD DE GRANADA, Granada, España. 1998

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

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

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

Pérez Jiménez, Mario Jesús:
Automatización de la Aritmética. Ponencia en Congreso. X Congreso de Lenguages Naturales y Lenguajes Formales. Sevilla, España. 1994

Pérez Jiménez, Mario Jesús:
Inducción Acotada. Ponencia en Congreso. I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España. Madrid, España. 1993

Pérez Jiménez, Mario Jesús:
Miembro de la Ponencia de Coordinación del COU. Conferencias impartidas en Taller de trabajo. Ponencia de Coordinación del COU. Universidad de Sevilla. 1986

Pérez Jiménez, Mario Jesús:
La recurrencia transfinita en el primer ciclo universitario. Ponencia en Jornada. II Jornadas sobre Aprendizaje y Enseñanza de las Matemáticas. Sevilla, España. 1982

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

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

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

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