PÉREZ JIMÉNEZ, MARIO JESÚS

Perfil en ORCID: 0000-0002-5055-0102

Perfil en ResearcherID: B-2114-2008

Perfil en Scopus: 55329982500\

Perfil en Dialnet: 3487817

Grupos de Investigación

• COMPUTACION NATURAL

Responsable de los siguientes proyectos/ayudas en la US

Proyectos:

• 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 ).
• Desarrollo, calibración y validación de un modelo de simulación del comportamiento de las poblaciones del mejillón cebra en embalses. Aplicación al em ( 8908262 ).
• Diseño y aplicación de un modelo PDP (Population Dynamics P Systems) para la estimación de la disponibilidad y distribución espacial de los recursos t ( ).
• Computación Celular: Aplicaciones a la Biología de Sistemas y Sintética ( TIN2009-13192 ).
• Desarrollo de una aplicación interactiva para simular la gestión de un ecosistema formado por un río y un embalse gestionado por el hombre ( ).
• DESARROLLO DE MODELOS Y HERRAMIENTAS DE COMPUTACIÓN CELULAR CON MEMBRANAS PARA APLICACIONES EN BIOLOGÍA Y ECONOMÍA ( EXC/2005/TIC-581 ).
• THE INVESTIGACTION OF BIO-INSPIRED INFORMATION PROCESSING SYSTEMS ( 60674106 ).
• ANÁLISIS COMPUTACIONAL Y SIMULACIÓN DE PROCESOS BIOLÓGICOS EN COMPUTACIÓN CELULAR ( TIN2006-13425 ).
• MYMEM: Creación de un servicio móvil de relación entre contactos ( ).
• THEORY AND PRACTICE OF MEMBRANE COMPUTING ( HI2005-0194 ).
• FIFTH BRAINSTORMING WEEK ON MEMBRANA COMPUTING ( PP2006-01-11 ).
• MODELIZACIÓN Y SIMULACIÓN DE PROCESOS BIOLÓGICOS Y COMPUTACIONALES A TRAVÉS DE SISTEMAS CELULARES CON MEMBRANAS ( TIN2005-09345-C04-01 ).
• FOURTH INTERNATIONAL CONFERENCE ON UNCONVENTIONAL COMPUTATION ( TIN2004-23021-E ).
• DESARROLLO, VERIFICACIÓN Y AUTOMATIZACIÓN DE MODELOS MOLECULARES Y CELULARES CON MEMBRANAS ( TIC2002-04220-C03-01 ).
• THIRD BRAINSTORMING WEEK ON MEMBRANE COMPUTING ( PP2004/01-17 ).
• RED TEMATICA ESPAÑOLA DE COMPUTACION MOLECULAR CON ADN Y COMPUTACION CELULAR CON MEMBRANAS ( TIC 2002-10648-E ).
• FINITE MODEL THEORY AND BOUNDED ARITHMETIC ( ERBFMBICT971999 ).
• MODELADO Y SIMULACIÓN COMPUTACIONAL EN BIOLOGÍA DE SISTEMAS ( P08-TIC-4200 ).

Contratos:

• CONTRATO DE PERSONAL INVESTIGADOR ( TIN2006-13425 ).
• CONTRATO DE PERSONAL INVESTIGADOR ( TIN2006-13425 ).
• CONTRATO DE PERSONAL INVESTIGADOR ( TIN2006-13425 ).
• MYMEM. PLATAFORMA DE SERVICIOS DE MOVILIDAD ( OG-128/07 ).
• CONTRATO DE PERSONAL INVESTIGADOR ( TIN2006-13425 ).
• CONTRATO DE PRE-INCUBACIÓN DE LA EMPRESA BIOCOMPUTING EN CENTROS DE APOYO AL DESARROLLO EMPRESARIAL ( PROYECTO 20486 BIOCOMPUTING ).
• CONTRATO DE TÉCNICO ESPECIALISTA ( PROYECTO MINERVA 1C/029 ).
• MYMEM: CREACIÓN DE UN SERVICIO MÓVIL DE RELACIÓN ENTRE CONTACTOS ( PROYECTO MINERVA 1C/029 ).
• CONTRATO DE PERSONAL INVESTIGADOR ( PROYECTO MINERVA 1C/029 ).

Ayudas:

• Incentivo al Grupo de Investigación TIC-193 ( 2010/TIC-193 ).
• Renovación y nuevas actividades de la red temática en computación biomolecular y biocelular ( TIN2011-15874-E ).
• Congreso Internacional sobre Desarrollos en Computación con Membranas ( TIN2011-13199-E ).
• CREACIÓN DE UNA RED TEMÁTICA EN COMPUTACIÓN BIOMOLECULAR Y BIOCELULAR ( TIN2008-04487-E ).
• EXPLORATORY WORKSHOP ON CELLULAR COMPUTING (COMPLEXITY ASPECTS) ( 2004/1401 ).
• COMPUTACIÓN NATURAL (PAI - TIC 902) ( TIC 902 ).
• COMPUTACIÓN NATURAL (PAI - TIC 193) ( TIC 193 ).

Participa los siguientes proyectos/ayudas en la US

Proyectos:

• Desarrollo de modelos computacionales de especies invasoras en el Guadalquivir: herramientas de gestión para su control y prevención ( P20_00486 - Investigador/a).
• Modeling principles of membrane computing models for giant pandas ecosystems ( Grant No. 61672437 - Investigador Principal Consolidado).
• Research on the unsupervised learning model of membrane computing and its learning mechanism ( Grant No. 61472328 - Investigador Principal Consolidado).
• Cell-based Membrane Computing systems and their applications in Biology ( Grant No. 61320106005 - Investigador Principal Consolidado).
• University of Seville - CUDA Research Center ( university-seville-crc - Investigador Principal Consolidado).
• La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención ( AIB2010PT-00106 - Investigador/a).
• SIMULACIÓN DEL COMPORTAMIENTO DE POBLACIONES DREISSENA POLIMORPHA EN EMBALSES ( 300 166 1549 - Investigador/a).
• CLASIFICACIÓN DE LAS FUNCIONES COMPUTABLES MEDIANTE ESPECIFICACIONES ARITMÉTICAS: METODOLOGÍA Y DISEÑO ( DGES PB96-1345 - Investigador/a).

Ayudas:

• ACCIONES COORDINADAS DEL PLAN ANDALUZ DE INVESTIGACION ( ACPAI-2003/097 - Investigador/a ).

Publicaciones

Libros:

• Zhang, Gexiang, Pérez-Jiménez, Mario Jesús, Riscos-Nuñez, Agustin, Verlan, Sergey, Konur, Savas, Hinze, Thomas, Gheorghe, Marian:
  Membrane Computing Models: Implementations. : Springer International Publishing. 2021. 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. 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. ISBN 978-3-319-55987-2
• Gheorghe, Marian, Petre, Ion, Pérez-Jiménez, Mario Jesús, Rozenberg, Grzegorz, Salomaa, Arto :
  Multidisciplinary Creativity. Spandugino. 2015. ISBN 975-606-8401-63-8
• Pan, Linqiang, Paun, Gheorghe, Pérez-Jiménez, Mario Jesús, Song, Tao:
  Bio-inspired Computing: Theories and Applications . Springer. 2014. ISBN 978-3-662-45048-2
• Frisco, Pierluigi, Gheorghe, Marian, Pérez-Jiménez, Mario Jesús:
  Applications of Membrane Computing in Systems and Synthetic Biology. Springer International Publishing. 2014. ISBN 978-3-319-03191-0
• Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús, Riscos-Nuñez, Agustin, Rozenberg-, Grzegorz, Salomaa-, Arto:
  Membrane Computing, WMC 2009 . SPRINGER-VERLAG. 2010. ISBN 3-642-11466-0
• Paun-, Gheorghe, Calude-,Cristian, Dinneen-,Michael J., Pérez-Jiménez, Mario Jesús, Rozenberg-, Grzegorz:
  UNCONVENTIONAL COMPUTATION. SPRINGER-VERLAG. 2006. ISBN 3-540-38593-2
• Ciobanu-,Gabriel, Pérez-Jiménez, Mario Jesús, Paun-, Gheorghe:
  APPLICATIONS OF MEMBRANE COMPUTING. SPRINGER-VERLAG. 2006. ISBN 3-540-25017-4
• Pérez-Jiménez, Mario Jesús, Mauri-, Giancarlo, Paun-, Gheorghe, Rozenberg-, Grzegorz, Salomaa-, Arto:
  MEMBRANE COMPUTING : 5TH INTERNATIONAL WORKSHOP, WMC 2004 : MILAN, ITALY, JUNE 14-16, 2004 : REVISED SELECTED AND INVITED PAPERS. Springer. 2005. ISBN 3-540-25080-8
• Gutierrez-Naranjo, Miguel Angel, Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús:
  CELLULAR COMPUTING (COMPLEXITY ASPECTS). FENIX. 2005. ISBN 84-609-5338-6
• Pérez-Jiménez, Mario Jesús, Romero-Jiménez, Álvaro, Sancho-Caparrini, Fernando:
  RECENT RESULTS IN NATURAL COMPUTING. FENIX EDITORIAL. 2005. ISBN 84-609-6864-2
• Riscos-Nuñez, Agustin, Pérez-Jiménez, Mario Jesús, Díaz-Pernil, Daniel, Nepomuceno-Chamorro, Juan Antonio, Ramos-Espina,Antonio Jesús:
  MODELOS DE COMPUTACIÓN MOLECULAR, CELULAR Y CUÁNTICA. FENIX EDITORIAL. 2004. ISBN 84-609-3200-1
• Pérez-Jiménez, Mario Jesús, Sancho-Caparrini, Fernando:
  Máquinas moleculares basadas en ADN. Universidad de Sevilla. 2003. ISBN 9788447207770
• 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. Editorial KRONOS. 2002. ISBN 84-86273-57-9
• Pérez-Jiménez, Mario Jesús, Sancho-Caparrini, Fernando:
  Computación Celular con Membranas: Un Modelo no Convencional . Kronos. 2002. ISBN 84-86273-52-8,
• Blazquez-Gallego,Justo, Pérez-Jiménez, Mario Jesús:
  VIDA ARTIFICIAL: ESTUDIO Y ANALISIS DEL PROGRAMA SWARM. LOS AUTORES. 2001. ISBN 84-699-4449-5
• 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. EDICIONES LA Ñ. 1998. 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. ISBN 84-472-0079-5
• Pérez-Jiménez, Mario Jesús:
  Teoría de clases y conjuntos. EDUNSA. 1988. ISBN 84-7747-000-6

Capítulo de 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
• Adorna, Henry, Cabarle, Francis G.c., Macias-Ramos, Luis Felipe, Pan, Linqiang, Pérez-Jiménez, Mario Jesús, Song, Bosheng, Song, Tao, Valencia-Cabrera, Luis:
  Taking the Pulse of SN P Systems: a Quick Survey. Pag. 3 - 16. En: Multidisciplinary Creativity. Spandugino. 2015. ISBN 975-606-8401-63-8
• Zhang, Gexiang, Valencia-Cabrera, Luis, Shi, Peng, Pérez-Jiménez, Mario Jesús, Wang, Jun, Peng, Hong, Cheng, Jixiang, Wang, Xueyuan, Macias-Ramos, Luis Felipe, Wang, Tao, Riscos-Nuñez, Agustin:
  Real applications of Membrane Computing models. Pag. 173 - 185. En: Multidisciplinary Creativity. Spandugino. 2015. 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, Valencia-Cabrera, Luis:
  Twelve Years of Sevilla Carpets: a Survey. Pag. 141 - 152. En: Multidisciplinary Creativity. Spandugino. 2015. ISBN 975-606-8401-63-8
• Pérez-Jiménez, Mario Jesús, Colomer, Maria Angels, Garcia Quismondo-Fernandez, Manuel, Macias-Ramos, Luis Felipe, Martínez-del-Amor, Miguel Ángel, Pérez-Hurtado De Mendoza, Ignacio, Riscos-Nuñez, Agustin, Valencia-Cabrera, Luis:
  Membrane System-Based Models for Specifying Dynamical Population Systems. Pag. 97 - 132. En: Applications of Membrane Computing in Systems and Synthetic Biology. Springer International Publishing. 2014. ISBN 978-3-319-03191-0
• 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. Pag. 308 - 312. En: Bio-inspired Computing: Theories and Applications . Springer. 2014. ISBN 978-3-662-45048-2
• 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. ISBN
• Song, B., Pérez-Jiménez, Mario Jesús, Pan, L.:
  Computational Efficiency and Universality of Timed P Systems with Membrane Creation. Pag. 389 - 394. En: Bio-inspired Computing: Theories and Applications . Springer. 2014. ISBN 978-3-662-45048-2
• 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. 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:
  RAZONANDO SOBRE SOLUCIONES MECÁNICAS, INDUCTIVAS Y CUALITATIVAS. Pag. 211 - 229. En: ESTUDIOS DE LÓGICA, LENGUAJE Y EPISTEMOLOGÍA. FÉNIX EDITORA. 2010. ISBN 9788461442911
• Pérez-Jiménez, Mario Jesús:
  LA MITOSIS CELULAR: UNA SORPRENDENTE FRONTERA DE LA EFICIENCIA. Pag. 99 - 108. En: LIBER AMICORUM ÁNGEL NEPOMUCENO. FENIX EDITORA. 2010. ISBN 978-84-614-5116-6
• 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. CENTRO DE FILOSOFIA DAS CIÊNCIAS UNIVERSIDADE DE LISBOA. 2009. ISBN 978-989-8247-00-1
• Díaz-Pernil, Daniel, Graciani-Díaz, Mª Del Carmen, Gutierrez-Naranjo, Miguel Angel, Pérez-Hurtado De Mendoza, Ignacio, Pérez-Jiménez, Mario Jesús:
  SOFTWARE FOR P SYSTEMS. Pag. 437 - 545. En: THE OXFORD HANDBOOK OF MEMBRANE COMPUTING. Oxford 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. SPRINGER-VERLAG. 2009. ISBN 978-3-540-88868-0
• Pérez-Jiménez, Mario Jesús, Yokomori-,Takashi:
  MEMBRANE COMPUTING SCHEMA: A NEW APPROACH TO COMPUTATION USING STRING INSERTION. Pag. 293 - 309. En: ALGORITHMIC BIOPROCESSES. SPRINGER-VERLAG. 2009. ISBN 978-3-540-88868-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 University Press. 2009. ISBN 978-0-19-955667-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. 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. MERGABLUM. 2007. ISBN 9788496378353
• 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. 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. SPRINGER-VERLAG. 2006. ISBN 3-540-25017-4
• 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. World Scientific Publishing. 2006. ISBN 981-256-889-1
• 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). FENIX. 2005. ISBN 84-609-5338-6
• 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. 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). 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. IDEA GROUP INC.. 2005. ISBN 1-59140-333-2
• 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). FENIX. 2005. ISBN 84-609-5338-6
• 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. FENIX EDITORIAL. 2005. ISBN 84-609-6864-2
• 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. MERGABLUM. 2005. ISBN 8496378268
• 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. 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. FENIX EDITORIAL. 2005. ISBN 84-609-6864-2
• 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). 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). FENIX. 2005. ISBN 84-609-5338-6
• 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. 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. 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. 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). 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, Pérez-Jiménez, Mario Jesús, Ruiz-Reina, Jose Luis:
  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
• 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
• 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
• 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
• 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
• 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. ISBN
• Pérez-Jiménez, Mario Jesús:
  SOBRE LA CLASE DE PARTES DE LA CLASE ORDINAL UNIVERSAL. Pag. 181 - 184. En: ACTAS DE LAS IX JORNADAS HISPANO-LUSAS. EDICIONES UNIVERSIDAD DE SALAMANCA. 1983. ISBN 84-7481-230-5

Publicaciones en Revistas:

• 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. Núm. . 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, Pérez-Jiménez, Mario Jesús:
  Dendrite P Systems Toolbox: Representation, Algorithms and Simulators. En: International Journal of Neural Systems. 2021. Vol. 31. Núm. 1. Pag. 2050071- 10.1142/S0129065720500719
• Orellana-martín, David, Martínez-del-Amor, Miguel Ángel, Valencia-Cabrera, Luis, Song, Bosheng, Pan, Linqiang, Pérez-Jiménez, Mario Jesús:
  P systems with symport/antiport rules: When do the surroundings matter?. En: Theoretical Computer Science. 2020. Vol. 805. Núm. . Pag. 218-231 10.1016/j.tcs.2018.04.052
• 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. Vol. . Núm. . Pag. - 10.1016/j.future.2020.02.012
• Lv, Zeqiong, Bao, Tingting, Zhou, Nan, Peng, Hong, Huang, Xiangnian, Riscos-Nuñez, Agustin, Pérez-Jiménez, Mario Jesús:
  Spiking Neural P Systems with Extended Channel Rules. En: International Journal of Neural Systems. 2020. Vol. . Núm. . Pag. - 10.1142/S0129065720500495
• Zhang, Gexiang, Shang, Zeyi, Verlan, Sergey, Martínez-del-Amor, Miguel Ángel, Yuan, Chengxun, Valencia-Cabrera, Luis, Pérez-Jiménez, Mario Jesús:
  An Overview of Hardware Implementation of Membrane Computing Models. En: ACM Computing Surveys. 2020. Vol. 53. Núm. 4. Pag. 90- 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, Lv, Zeqiong, Li, Bo, Luo, Xiaohui, Wang, Jun, Song, Xiaoxiao, Wang, Tao, Pérez-Jiménez, Mario Jesús, Riscos-Nuñez, Agustin:
  Nonlinear Spiking Neural P Systems. En: International Journal of Neural Systems. 2020. Vol. 30. Núm. 10. Pag. - 10.1142/S0129065720500082
• Peng, Hong, Li, Bo, Wang, Jun, Song, Xiaoxiao, Wang, Tao, Valencia-Cabrera, Luis, Pérez-Hurtado De Mendoza, Ignacio, Riscos-Nuñez, Agustin, Pérez-Jiménez, Mario Jesús:
  Spiking neural P systems with inhibitory rules. En: Knowledge-Based Systems. 2020. Vol. 188. Núm. . Pag. - 10.1016/j.knosys.2019.105064
• Orellana-martín, David, Martínez-del-Amor, Miguel Ángel, Pérez-Hurtado De Mendoza, Ignacio, Riscos-Nuñez, Agustin, Valencia-Cabrera, Luis, Pérez-Jiménez, Mario Jesús:
  When object production tunes the efficiency of membrane systems. En: Theoretical Computer Science. 2020. Vol. 805. Núm. . Pag. 218-231 10.1016/j.tcs.2018.04.013
• Peng, Hong, Bao, Tingting, Luo, Xiaohui, Wang, Jun, Song, Xiaoxiao, Riscos-Nuñez, Agustin, Pérez-Jiménez, Mario Jesús:
  Dendrite P systems. En: Neural Networks. 2020. Vol. 127. Núm. . Pag. 110-120 10.1016/j.neunet.2020.04.014
• 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. Núm. . Pag. 6765097- https://doi.org/10.1155/2020/6765097
• Li, Bo, Peng, Hong, Luo, Xiaohui, Wang, Jun, Song, Xiaoxiao, Pérez-Jiménez, Mario Jesús, Riscos-Nuñez, Agustin:
  Medical Image Fusion Method Based on Coupled Neural P Systems in Nonsubsampled Shearlet Transform Domain. En: International Journal of Neural Systems. 2020. Vol. . Núm. . Pag. - 10.1142/S0129065720500501
• 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
• 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
• 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. Vol. . Núm. . Pag. -
• Wang, Tao, Wei, Xiaoguang, Huang, Tao, Wang, Jun, Peng, Hong, Pérez-Jiménez, Mario Jesús, Valencia-Cabrera, Luis:
  Modeling Fault Propagation Paths in Power Systems: A New Framework Based on Event SNP Systems with Neurotransmitter Concentration. En: IEEE Access. 2019. Vol. 7. Núm. . Pag. - doi: 10.1109/ACCESS.2019.2892797
• 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. Núm. . Pag. 443-453 10.1016/j.tcs.2018.12.024
• 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. Núm. . Pag. 297-311
• 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
• 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. Núm. . Pag. 875-884 10.1016/j.knosys.2018.10.016
• 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
• Peng, Hong, Wang, Jun, Ming, Jun, Shi, Peng, Pérez-Jiménez, Mario Jesús, Yu, Wenping, Tao, Chengyu:
  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
• Zhu, Ming, Zhang, Gexiang, Yang, Qiang, Rong, Haina, Yuan, Weitao, Pérez-Jiménez, Mario Jesús:
  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
• 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
• Wang, Tao, Wang, Jun, Ming, Jun, Sun, Zhang, Wei, Chuanxiang, Lu, Chun, Pérez-Jiménez, Mario Jesús:
  Application of Neural-like P Systems with State Values for Power Coordination of Photovoltaic/battery Microgrids. En: IEEE Access. 2018. Vol. . Núm. . Pag. - 10.1109/ACCESS.2018.2865122
• 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. Núm. . Pag. 97-108
• 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
• 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. Núm. . Pag. 15-24 10.1016/j.tcs.2017.12.012
• 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. Vol. . Núm. . Pag. - 10.1007/s12572-018-0220-2
• 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. Núm. . Pag. 226-234 10.1016/j.tcs.2017.04.015
• 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. Núm. . Pag. 147-172 10.3233/FI-2017-1534
• 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 . Núm. . Pag. 410-424 10.1016/j.ecolmodel.2017.06.030
• 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, 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. Núm. . Pag. 39-64
• 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. Vol. . Núm. . Pag. - https://doi.org/10.1016/j.tcs.2017.04.014
• 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. Núm. . Pag. 65-87
• 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 . Núm. . Pag. 287-299 10.1016/j.ic.2017.06.005
• Pérez-Jiménez, Mario Jesús, Graciani, Carmen, Orellana-martín, David, Riscos-Nuñez, Agustin, Romero-Jiménez, Álvaro, Valencia-Cabrera, Luis:
  Fuzzy reasoning spiking neural P systems revisited: A formalization. En: Theoretical Computer Science. 2017. Vol. 701. Núm. . Pag. 216-225 https://doi.org/10.1016/j.tcs.2017.04.014
• 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. Núm. . Pag. 55-67
• 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
• 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
• 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. Núm. . Pag. 74-82 10.1016/j.knosys.2017.03.024
• 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
• Cabarle, F.g.c., Adorna, H.n., Pérez-Jiménez, Mario Jesús:
  Notes on spiking neural P systems and finite automata. . En: Natural Computing. 2016. Vol. 15. Núm. 4. Pag. 533-539 doi: 10.1007/s11047-016-9563-4
• 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
• 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. Núm. . Pag. 146-159 10.1016/j.tcs.2015.12.006
• 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. Núm. . Pag. 69-78
• 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
• 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
• 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
• 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
• 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
• 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
• Cabarle, F.g.c, Adorna, H.n., Pérez-Jiménez, Mario Jesús:
  Sequential spiking neural P systems with structural plasticity based on max/min spike number. En: Neural Computing and Applications. 2016. Vol. 27. Núm. 5. Pag. 1337-1347 10.1007/s00521-015-1937-5
• Yuan, W., Zhang, G., Pérez-Jiménez, Mario Jesús, Wang, T., Huang, Z.:
  P systems based computing polynomials: design and formal verification. En: Natural Computing. 2016. Vol. 15. Núm. 4. Pag. 591-596 10.1007/s11047-016-9577-y
• Wang, J., Peng, H., Tu, M., Pérez-Jiménez, Mario Jesús, Shi, P.:
  A Fault Diagnosis Method of Power Systems Based on an Improved Adaptive Fuzzy Spiking Neural P Systems and PSO Algorithms.. En: Chinese Journal of Electronics. 2016. Vol. 25. Núm. 2. Pag. 320-327 10.1049/cje.2016.03.019
• Song, B., Pan, L., Pérez-Jiménez, Mario Jesús:
  Cell-like P systems with channel states and symport/antiport rules. En: IEEE Transactions on NanoBioscience. 2016. Vol. 15. Núm. 6. Pag. 555-566 10.1109/TNB.2016.2594192
• 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
• Wang, T., Zhang, G., Zhao, J., He, Z., Wang, J., Pérez-Jiménez, Mario Jesús:
  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
• Pan, L., Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús:
  Preface. En: Fundamenta Informaticae. 2015. Vol. 136. Núm. 3. Pag. i-i 10.3233/FI-2015-1150
• Cabarle, F.g.c., Adorna, H. N., Pérez-Jiménez, Mario Jesús, Song, Tao:
  Spiking neural P systems with structural plasticity. En: Neural Computing and Applications. 2015. Vol. 26. Núm. 8. Pag. 1905-1917 10.1007/s00521-015-1857-4
• Martínez-del-Amor, Miguel Ángel, Garcia Quismondo-Fernandez, Manuel, Macias-Ramos, Luis Felipe, Valencia-Cabrera, Luis, Riscos-Nuñez, Agustin, Pérez-Jiménez, Mario Jesús:
  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
• 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. Núm. . Pag. 57-65 http://dx.doi.org/10.1016/j.tcs.2015.06.025
• 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. Núm. . Pag. 53-64 10.1016/j.dsp.2014.10.006
• 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
• 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. Núm. . Pag. 211-277 10.3233/FI-2015-1232
• Peng, H. , Jiang, Y., Wang, J., Pérez-Jiménez, Mario Jesús:
  A membrane clustering algorithm with hybrid evolutionary mechanisms. En: Journal of Software. 2015. Vol. 26. Núm. 5. Pag. 1001-1012 10.13328/j.cnki.jos.004657
• Wang, 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
• 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
• 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
• 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
• Macias-Ramos, Luis Felipe, Pérez-Jiménez, Mario Jesús, Song, T., Pan, L.:
  Extending Simulation of Asynchronous Spiking Neural P Systems in P-Lingua. En: Fundamenta Informaticae. 2015. Vol. 136. Núm. 3. Pag. 253-267 10.3233/FI-2015-1156
• Pérez-Jiménez, Mario Jesús, Sosík, P.:
  An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Separation. . En: Fundamenta Informaticae. 2015. Vol. 138. Núm. 1-2. Pag. 45-60 10.3233/FI-2015-1197
• 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. Núm. . Pag. 51-58 10.1016/j.biosystems.2015.03.002
• 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
• Cabarle, F.g.c. , Adorna, H.n. , Pérez-Jiménez, Mario Jesús:
  Asynchronous Spiking neural P systems with structural plasticity. En: Lecture Notes in Computer Science. 2015. Vol. 9252. Núm. . Pag. 132-143 10.1007/978-3-319-21819-9_9
• Graciani, Carmen, Macias-Ramos, Luis Felipe, Martínez-del-Amor, Miguel Ángel, Pérez-Jiménez, Mario Jesús, Riscos-Nuñez, Agustin, Romero-Jiménez, Álvaro, Valencia-Cabrera, Luis:
  Paun's conjecture beyond polarizations: Alternative formulations. En: Analele Universitatii din Bucuresti. Seria Informatica. 2015. Vol. Anul LXII. Núm. . Pag. 47-60
• 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. Núm. . Pag. 80-91 http://dx.doi.org/10.1016/j.ins.2015.01.019
• 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
• 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., 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
• 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. Núm. . Pag. 528-551 10.1016/j.ins.2014.04.007
• 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
• 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
• 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. Núm. . Pag. 256-265 http://dx.doi.org/10.1016/j.sigpro.2014.02.020
• 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. Núm. . Pag. 308-321 10.1007/978-3-642-54239-8_22
• 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. Núm. . Pag. 61-68 10.1016/j.tcs.2013.11.014
• 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
• Pérez-Jiménez, Mario Jesús:
  The P versus NP problem from Membrane Computing view. En: European Review. 2014. Vol. 22. Núm. 1. Pag. 18-33 http://dx.doi.org/10.1017/S1062798713000598
• Zhang, G., 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
• Valencia-Cabrera, Luis, Garcia Quismondo-Fernandez, Manuel, Pérez-Jiménez, Mario Jesús, Su, Yansen, Hui, Yu, Pan, Linqiang:
  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
• Colomer-, M. Angels, Margalida, A., Pérez-Jiménez, Mario Jesús:
  Population Dynamics P System (PDP) Models: A Standardized Protocol for Describing and Applying Novel Bio-Inspired Computing Tools.. En: PLoS One. 2013. Vol. 8. Núm. 4. Pag. 1-13 doi: 10.1371/journal.pone.0060698
• Peng, Hong, Wang, Jun, Pérez-Jiménez, Mario Jesús, Wang, Hao, Shao, Jie, Wang, Tao:
  Fuzzy reasoning spiking neural P system for fault diagnosis. En: Information Sciences. 2013. Vol. 235. Núm. . Pag. 106-116 10.1016/j.ins.2012.07.015
• 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
• 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
• Martínez-del-Amor, Miguel Ángel, Pérez-Jiménez, Mario Jesús, Pérez-Hurtado De Mendoza, Ignacio, Garcia Quismondo-Fernandez, Manuel, Macias-Ramos, Luis Felipe, Valencia-Cabrera, Luis, Romero-Jiménez, Álvaro, Graciani, Carmen, Colomer-cugat, Maria Angels:
  DCBA: Simulating population dynamics P systems with proportional objects distribution. En: Lecture Notes in Computer Science. 2013. Vol. 7762. Núm. . Pag. 257-276 10.1007/978-3-642-36751-9_18
• 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
• 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
• 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
• 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
• 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
• 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
• 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. Núm. . Pag. 243-256 10.1007/978-3-642-36751-9_17
• Gheorghe, Marian, Ipate, Florentin, Lefticaru, Raluca, Pérez-Jiménez, Mario Jesús, Turcanu, Adrian, Valencia-Cabrera, Luis, Garcia Quismondo-Fernandez, Manuel, Mierla, Laurentiu:
  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
• 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
• Nepomuceno-Fernandez, Angel, Pérez-Jiménez, Mario Jesús:
  Programas Moleculares y Sistemas Lógico-formales. En: Kairos (Portugal). 2013. Vol. 5. Núm. . Pag. 79-91 D.L.332459/11
• 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. Núm. . Pag. 369-379 10.1007/s11047-011-9289-2
• 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. Núm. . Pag. 247-266 10.1007/978-3-642-33636-2_15
• Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús:
  Towards bridging two cell-inspired models: P systems and R systems. En: Theoretical Computer Science. 2012. Vol. 429. Núm. . Pag. 258-264
• 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. Núm. . Pag. 376-387
• Cabarle, Francis G., Adorna, Henry N., Martínez-del-Amor, Miguel Ángel, Pérez-Jiménez, Mario Jesús:
  Improving GPU Simulations of Spiking Neural P Systems. En: Romanian Journal of Information Science and Technology. 2012. Vol. 15. Núm. 1. Pag. 5-20
• 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. Núm. . Pag. 257-281 10.1007/978-3-642-28024-5_18
• Stepney, Susan, Abramsky, Samson , Bechmann, Matthias , Gorecki, Jerzy , Kendon, Viv, Naughton, Thomas J., Pérez-Jiménez, Mario Jesús, Romero-Campero, Francisco José, Sebald, Angelika:
  Heterotic Computing Examples with Optics, Bacteria, and Chemicals. En: Lecture Notes in Computer Science. 2012. Vol. 7445. Núm. . Pag. 198-209
• Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús:
  P automata revisited. En: Theoretical Computer Science. 2012. Vol. 454. Núm. . Pag. 222-230
• Nepomuceno-Fernandez, Angel, Pérez-Jiménez, Mario Jesús:
  Programas Moleculares y Sistemas Lógico-formales. En: Kairos (Portugal). 2012. Vol. 5. Núm. . Pag. 77-89
• 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
• 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. Núm. . Pag. 4-12
• Cecilia-,Jose Maria, García-, Jose Mª, Guerrero-,Ginés D., Martínez-del-Amor, Miguel Ángel, Pérez-Jiménez, Mario Jesús, Ujaldón-Martínez, Manuel:
  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
• 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
• 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. Núm. . Pag. 215-225 10.1007/978-3-642-28024-5_15
• Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús:
  P and dP automata: A survey. En: Lecture Notes in Computer Science. 2011. Vol. 6570. Núm. . Pag. 102-115 10.1007/978-3-642-19391-0_8
• Colomer-, M. Angels, Lavín-,Santiago, Marco-, Ignasi, Margalida-,Antoni, Pérez-Hurtado De Mendoza, Ignacio, Pérez-Jiménez, Mario Jesús, Sanuy-Castells, Delfí, Serrano-,Eduardo, Valencia-Cabrera, Luis:
  MODELING POPULATION GROWTH OF PYRENEAN CHAMOIS (RUPICAPRA P. PYRENAICA) BY USING P SYSTEMS. En: Lecture Notes in Computer Science. 2011. Vol. 6501. Núm. . Pag. 144-159
• 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. Núm. . Pag. 99-108 10.1007/978-3-642-24669-2_10
• 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
• 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
• 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
• 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
• 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. Núm. . Pag. 257-264
• 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. Núm. . Pag. 257-264
• Cardona-,Monica, Colomer-, M. Angels, Margalida-,Antoni, Palau-, Antonio, Pérez-Hurtado De Mendoza, Ignacio, Pérez-Jiménez, Mario Jesús:
  A COMPUTATIONAL MODELING FOR REAL ECOSYSTEMS BASED ON P SYSTEMS. En: Natural Computing. 2011. Vol. 10. Núm. 1. Pag. 39-53
• 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. Vol. . Núm. 85. Pag. 25-25
• 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. Pag. i-iii
• 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. Núm. . Pag. 377-392
• 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
• 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. Núm. . Pag. 38-39
• 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. Núm. . Pag. 107-118
• 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
• 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
• 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. Núm. . Pag. 179-188
• 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
• 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
• 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
• Cecilia-,Jose Maria, García-, Jose Mª, Guerrero-,Ginés D., Martínez-del-Amor, Miguel Ángel, Pérez-Hurtado De Mendoza, Ignacio, Pérez-Jiménez, Mario Jesús:
  IMPLEMENTING P SYSTEMS PARALLELISM BY MEANS OF GPUS. En: Lecture Notes in Computer Science. 2010. Vol. . Núm. 5957. Pag. 227-241
• 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
• 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
• 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. Núm. . Pag. 289-300
• 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
• 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
• 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. Núm. . Pag. 301-315 10.1007/978-3-642-11467-0_22
• Cecilia-,Jose Maria, García-, Jose Mª, Guerrero-,Ginés D., Martínez-del-Amor, Miguel Ángel, Pérez-Hurtado De Mendoza, Ignacio, Pérez-Jiménez, Mario Jesús:
  SIMULATION OF P SYSTEMS WITH ACTIVE MEMBRANES ON CUDA. En: Briefings in Bioinformatics. 2010. Vol. 11. Núm. 3. Pag. 313-322
• Cardona-,Monica, Colomer-, M. Angels, Margalida-,Antoni, Pérez-Hurtado De Mendoza, Ignacio, Pérez-Jiménez, Mario Jesús, Sanuy-Castells, Delfí:
  A P SYSTEM BASED MODEL OF AN ECOSYSTEM OF SOME SCAVENGER BIRDS. En: Lecture Notes in Computer Science. 2010. Vol. . Núm. 5957. Pag. 182-195
• 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
• 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
• Cecilia-,Jose Maria, García-, Jose Mª, Guerrero-,Ginés D., Martínez-del-Amor, Miguel Ángel, Pérez-Hurtado De Mendoza, Ignacio, Pérez-Jiménez, Mario Jesús:
  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
• 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
• 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. Vol. . Núm. 5957. Pag. 264-288
• 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
• 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. Núm. . Pag. 374-382
• 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
• 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. Núm. . Pag. 289-290
• Pérez-Jiménez, Mario Jesús:
  A COMPUTATIONAL COMPLEXITY THEORY IN MEMBRANE COMPUTING. En: Lecture Notes in Computer Science. 2010. Vol. 5957. Núm. . Pag. 125-148
• 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
• 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
• 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
• 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
• 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. Núm. . Pag. 168-178 10.1007/978-3-642-03745-0_21
• 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. Núm. . Pag. 262-276
• 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. Vol. . Núm. . Pag. 5-22
• 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. Núm. . Pag. 703-717
• 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. Núm. . Pag. 187-203
• 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. Núm. . Pag. 137-156
• Pérez-Jiménez, Mario Jesús:
  COMPUTATIONAL COMPLEXITY IN P SYSTEMS. En: Scholarpedia Journal. 2009. Vol. 4. Núm. 11. Pag. 9290-9290
• 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. Núm. . Pag. 213-222 10.1007/978-3-642-02264-7_23
• 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
• 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. Núm. . Pag. 217-230 10.1007/978-3-540-95885-7_16
• 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
• Paun, Gheorghe, Pérez-Jiménez, Mario Jesús:
  Special issue on Membrane Computing. Preface. En: Fundamenta Informaticae. 2008. Vol. 87. Núm. 1. Pag. i-ii
• 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, 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
• Chen-,Haiming, Ionescu-,Mihai, Ishdorf-, Tseren-Onolt, Paun-,Andrei, Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús:
  SPIKING NEURAL P SYSTEMS WITH EXTENDED RULES: UNIVERSALITY AND LANGUAGES. En: Natural Computing. 2008. Vol. 7. Núm. 2. Pag. 147-166
• 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
• 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
• 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
• 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
• 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. Vol. . Núm. . Pag. 1-15
• Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús:
  SPECIAL ISSUE ON MEMBRANE COMPUTING FIFTH BRAINSTORMING WEEK ON MEMBRANE COMPUTING. En: Fundamenta Informaticae. 2008. Vol. 87. Núm. 1. Pag. 1-2
• Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús, 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
• 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
• 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
• Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús, Salomaa-, Arto:
  SPIKING NEURAL P SYSTEMS: AN EARLY SURVEY. En: International Journal of Foundations of Computer Science. 2007. Vol. 18. Núm. 3. Pag. 435-455
• Gutierrez-Naranjo, Miguel Angel, Pérez-Jiménez, Mario Jesús, Riscos-Nuñez, Agustin, 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, 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, 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
• 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. Núm. . Pag. 180-192
• Romero-Campero, Francisco José, Gheorghe-, Marian, Ciobanu-,Gabriel, Auld-,John M., Pérez-Jiménez, Mario Jesús:
  CELLULAR MODELLING USING P SYSTEMS AND PROCESS ALGEBRA. En: Progress in Natural Science: materials international. 2007. Vol. 17. Núm. 4. Pag. 375-383
• Gutierrez-Naranjo, Miguel Angel, Pérez-Jiménez, Mario Jesús, 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
• 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
• 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
• 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. Núm. . Pag. 122-133
• 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. Núm. . Pag. 172-192
• Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús:
  FOURTH BRAINSTORMING WEEK ON MEMBRANE COMPUTING. En: Theoretical Computer Science. 2007. Vol. 372. Núm. 2-3. Pag. 123-124
• Díaz-Pernil, Daniel, Gutierrez-Naranjo, Miguel Angel, Pérez-Jiménez, Mario Jesús, Riscos-Nuñez, Agustin:
  A LOGARITHMIC BOUND FOR SOLVING SUBSET SUM WITH P SYSTEMS. En: Lecture Notes in Computer Science. 2007. Vol. 4860. Núm. . Pag. 257-270
• 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. Núm. . Pag. 62-76
• Ciobanu-,Gabriel, Pan-, Linqiang, Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús:
  P SYSTEMS WITH MINIMAL PARALLELISM. En: Theoretical Computer Science. 2007. Vol. 378. Núm. 1. Pag. 117-130
• 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. Núm. . Pag. 170-179 10.1007/978-3-540-73053-8_17
• Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús:
  SPECIAL ISSUE - MEMBRANE COMPUTING - PREFACE. En: International Journal of Foundations of Computer Science. 2006. Vol. 17. Núm. 1. Pag. 1-2
• 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
• 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. Núm. . Pag. 224-240
• Romero-Campero, Francisco José, Gheorghe-, Marian, Bianco-,Luca, Pescini-,Dario, Pérez-Jiménez, Mario Jesús, Ceterchi-,Rodica:
  TOWARDS PROBABILISTIC MODEL CHECKING ON P SYSTEMS USING PRISM. En: Lecture Notes in Computer Science. 2006. Vol. 4361. Núm. . Pag. 477-495
• 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. Núm. . Pag. 1-8
• 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. Núm. . Pag. 241-252
• 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. Núm. . Pag. 176-197
• 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
• 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
• Chen-,Haiming, Ishdorf-, Tseren-Onolt, Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús:
  HANDLING LANGUAGES WITH SPIKING NEURAL P SYSTEMS WITH EXTENDED RULES. En: Romanian Journal of Information Science and Technology. 2006. Vol. 9. Núm. 3. Pag. 151-162
• Pérez-Jiménez, Mario Jesús, Romero-Jiménez, Álvaro, Sancho-Caparrini, Fernando:
  A Polynomial Complexity Class in P Systems Using Membrane Division. En: Journal Of Automata, Languages And Combinatorics. 2006. Vol. 11. Núm. 4. Pag. 423-434
• Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús, 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
• Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús:
  SELECTED PAPERS DEDICATED TO MEMBRANE COMPUTING. En: Journal Of Automata, Languages And Combinatorics. 2006. Vol. 11. Núm. 3. Pag. 239-239
• 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. Núm. . Pag. 49-65
• 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. Núm. . Pag. 1-16
• 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. Núm. . Pag. 72-85
• 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. Núm. . Pag. 100-122
• 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
• Bernardini-,Francesco, Gheorghe-, Marian, Krasnogor-, Natalio, Muniyandi-,Ravie, Pérez-Jiménez, Mario Jesús, Romero-Campero, Francisco José:
  ON P SYSTEMS AS A MODELLING TOOL FOR BIOLOGICAL SYSTEMS. En: Lecture Notes in Computer Science. 2006. Vol. 3850. Núm. . Pag. 114-133
• 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. Núm. . Pag. 496-506
• 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. Núm. . Pag. 266-278
• 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. Núm. . Pag. 128-137
• 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. Núm. . Pag. 304-315
• 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. Núm. . Pag. 320-330
• 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
• Pérez-Jiménez, Mario Jesús:
  AN APPROACH TO COMPUTATIONAL COMPLEXITY IN MEMBRANE COMPUTING. En: Lecture Notes in Computer Science. 2005. Vol. 3365. Núm. . Pag. 85-109
• 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. Núm. . 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. Núm. . Pag. 373-388
• 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, Romero-Campero, Francisco José:
  A LINEAR SOLUTION OF SUBSET SUM PROBLEM BY USING MEMBRANE CREATION. En: Lecture Notes in Computer Science. 2005. Vol. 3561. Núm. . Pag. 258-267
• 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
• 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. Núm. . Pag. 268-278
• 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. Núm. . 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. Núm. . Pag. 235-246
• 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. Núm. . Pag. 93-110
• Paun-, Gheorghe, Pazos-Sierra,Juan, Pérez-Jiménez, Mario Jesús, Rodriguez-Paton-, Alfonso:
  SYMPORT/ANTIPORT P SYSTEMS WITH THREE OBJECTS ARE UNIVERSAL. En: Fundamenta Informaticae. 2005. Vol. 64. Núm. 1-4. Pag. 353-367
• Gutierrez-Naranjo, Miguel Angel, Pérez-Jiménez, Mario Jesús, Riscos-Nuñez, Agustin, 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. Núm. . Pag. 105-116
• 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
• 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. Núm. . Pag. 235-249
• 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, 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
• 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. Núm. . Pag. 57-88
• 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. Núm. . Pag. 140-152
• 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. Núm. . Pag. 338-352
• Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús:
  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
• 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
• 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. Núm. . Pag. 320-340
• 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. Núm. . Pag. 250-268
• 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. Núm. . Pag. 638-645
• Pérez-Jiménez, Mario Jesús, Romero-Jiménez, Álvaro, Sancho-Caparrini, Fernando:
  COMPLEXITY CLASSES IN MODELS OF CELLULAR COMPUTING WITH MEMBRANES. En: Natural Computing. 2003. Vol. 2. Núm. 3. Pag. 265-285
• 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. Núm. . Pag. 58-73
• 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. Núm. . Pag. 401-412
• 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. Núm. . Pag. 388-399 10.1007/3-540-36490-0_27
• 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
• 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. Núm. . Pag. 126-136
• 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:
  A FORMALIZATION OF TRANSITION P SYSTEMS. En: Fundamenta Informaticae. 2002. Vol. 49. Núm. 1-3. Pag. 261-272
• Pérez-Jiménez, Mario Jesús, Sancho-Caparrini, Fernando:
  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. Núm. . 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. Núm. . Pag. 176-190
• Borrego-Diaz, Joaquin, Fernandez-Margarit, Alejandro, Pérez-Jiménez, Mario Jesús:
  On overspill Principles and Axiom Schemes for Bounded Formulas. En: Mathematical Logic Quarterly. 1996. Vol. 42. Núm. . Pag. 341-348
• Fernandez-Margarit, Alejandro, Pérez-Jiménez, Mario Jesús:
  Maximum Schemes in Arithmetic. En: Mathematical Logic Quarterly. 1994. Vol. . Núm. . Pag. 425-430
• 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. Núm. . Pag. 87-91
• Pérez-Jiménez, Mario Jesús:
  GENERALIZACION DEL TEOREMA DE RECURRENCIA TRANSFINITA. En: Revista de la Universidad de Santander. 1979. Vol. 2. Núm. 2. Pag. 891-903

Otra participación en Libros de Actas:

• Pérez-Jiménez, Mario Jesús, Milazzo-,Paolo:
  PROCEEDINGS FIRST WORKSHOP ON APPLICATIONS OF MEMBRANE COMPUTING, CONCURRENCY AND AGENT-BASED MODELL. 2010. ISBN . ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE JENA, GERMANY
• Pérez-Jiménez, Mario Jesús, Paun-, Gheorghe, Riscos-Nuñez, Agustin:
  PROCEEDINGS OF THE TENTH WORKSHOP ON MEMBRANE COMPUTING. 2009. ISBN . MARPA PUBLICIDAD S.L.U.

Aportaciones a Congresos:

• 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
• 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
• Pérez-Hurtado De Mendoza, Ignacio, Orellana-martín, David, Martínez-del-Amor, Miguel Ángel, Valencia-Cabrera, Luis, Riscos-Nuñez, Agustin, Pérez-Jiménez, Mario Jesús:
  11 years of P-Lingua: A backward glance. 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, 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
• 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
• 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
• 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
• 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
• Martínez-del-Amor, Miguel Ángel, Orellana-martín, David, Pérez-Hurtado De Mendoza, Ignacio, Valencia-Cabrera, Luis, Riscos-Nuñez, Agustin, Pérez-Jiménez, Mario Jesús:
  Design of Specific P Systems Simulators on GPUs. Comunicación en congreso. 19th International Conference on Membrane Computing. Dresden, Germany. 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-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
• 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
• 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, 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
• Wang, Tao, Wang, Jun, Fan , Zhennan, Wei, Xiaoguang, Zang, Tianlei, Pérez-Jiménez, Mario Jesús, Huang, Tao:
  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, 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
• 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
• 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
• 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
• 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
• 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
• Zhang, Gexiang, Zhu, Ming, Yang, Qiang, Rong, Haina, Yuan, Weitao, Pérez-Jiménez, Mario Jesús:
  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
• 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:
  Fuzzy reasoning spiking neural P systems. Theory and applications. Comunicación en congreso. 7th International Conference on Natural Information Technologies. Valencia. 2016
• Valencia-Cabrera, Luis, 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
• 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
• Valencia-Cabrera, Luis, Song, Bosheng, Macias-Ramos, Luis Felipe, Pan, Linqiang, Riscos-Nuñez, Agustin, Pérez-Jiménez, Mario Jesús:
  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
• 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
• 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
• 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
• Peng, Hong, Wang, Jun, Pérez-Jiménez, Mario Jesús, Riscos-Nuñez, Agustin, Xiao, Jian, Zhang, Guixiang:
  Decision Tree Models Induced by Membrane Systems. Comunicación en congreso. Workshop on Membrane Computing 2015, Satellite workshop of UCNC2015. Auckland, New Zealand. 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
• 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, Pérez-Jiménez, Mario Jesús:
  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
• 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:
  Computing the natural way. Conferencias impartidas en Congreso. TRUCE Summer School on Unconventional Computation. Málaga, España. 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
• 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
• 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
• 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
• Peng, H., Zhang, J., Wang, J. , Wang, T., Pérez-Jiménez, Mario Jesús, Riscos-Nuñez, Agustin:
  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
• 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
• 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:
  Extending a Membrane Computing based modelling framework: Probabilistic Guarded P systems.. Conferencias impartidas en Congreso. V International Conference on Natural Information Technologies. . 2014
• 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
• 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
• Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús, Rozenberg, Grzegorz:
  Bridging Membrane and Reaction Systems. Comunicación en congreso. Eleventh Brainstorming Week on Membrane Computing. . 2013
• Valencia-Cabrera, Luis, Garcia Quismondo-Fernandez, Manuel, Pérez-Jiménez, Mario Jesús, Su, Yansen, Yu, Hui, Pan, Linqiang:
  Analysing Gene Networks with PDP Systems. Arabidopsis thaliana, a Case Study. Comunicación en congreso. Eleventh Brainstorming Week on Membrane Computing. . 2013
• Gheorghe, Marian, Ipate, Florentin, Mierla, Laurentiu, Valencia-Cabrera, Luis, Garcia Quismondo-Fernandez, Manuel, Pérez-Jiménez, Mario Jesús:
  Kernel P Systems - Version I. Comunicación en congreso. Eleventh Brainstorming Week on Membrane Computing. . 2013
• Pérez-Jiménez, Mario Jesús, Riscos-Nuñez, Agustin, Rius-font, Miquel, Valencia-Cabrera, Luis:
  The relevance of the environment on the efficiency of tissue P systems. Comunicación en congreso. 14th International Conference on Membrane Computing. Chisinau, Moldavia. 2013
• Ipate, Florentin, Lefticaru, Raluca, Mierla, Laurentiu, Valencia-Cabrera, Luis, Han, Huang, Zhang, Gexiang, Dragomir, Ciprian, Gheorghe, Marian, Pérez-Jiménez, Mario Jesús:
  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
• 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
• 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, 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
• 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
• 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, 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
• 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
• 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
• Peng, Hong, Shao, Jie, Li, Bing, Pérez-Jiménez, Mario Jesús, Wang, Yun, Jiang, Yang, Yang, Yufan:
  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
• 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
• 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
• 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-Jiménez, Mario Jesús, Pérez-Hurtado De Mendoza, Ignacio, Garcia Quismondo-Fernandez, Manuel, Macias-Ramos, Luis Felipe, Valencia-Cabrera, Luis, Romero-Jiménez, Álvaro, Graciani-Díaz, Mª Del Carmen, Riscos-Nuñez, Agustin, Colomer-, M. Angels:
  DCBA: Simulating population dynamics P systems with proportional object distribution. Comunicación en congreso. Thirteen International Conference on Membrane Computing. BUDAPEST, HUNGRÍA. 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
• 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
• Martínez-del-Amor, Miguel Ángel, Pérez-Jiménez, Mario Jesús, Pérez-Hurtado De Mendoza, Ignacio, Garcia Quismondo-Fernandez, Manuel, Macias-Ramos, Luis Felipe, Valencia-Cabrera, Luis, Romero-Jiménez, Álvaro, Colomer-, M. Angels:
  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
• 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
• Garcia Quismondo-Fernandez, Manuel, Valencia-Cabrera, Luis, Su, Yansen, Pérez-Jiménez, Mario Jesús, Pan, Linqiang, Yu, Hui:
  Modeling logic gene networks by means of probabilistic dynamic P systems. Comunicación en congreso. Asian Conference on Membrane Computing. Wuhan - CHINA. 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
• 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
• Ionescu, Mihai, Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús, Yokomori, Takashi:
  Spiking neural dP systems. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. - Sevilla, ESPAÑA. 2011
• Ipate, Florentin, Lefticaru, Raluca, Pérez-hurtado, Ignacio, Pérez-Jiménez, Mario Jesús, Tudose, C. :
  Formal verification of P systems with active membranes through model checking. Comunicación en congreso. Twelfth International Conference on Membrane Computing (CMC12). FONTAINEBLEAU (FRANCIA). 2011
• 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
• Niu, Y., Pan, L., Pérez-Jiménez, Mario Jesús:
  A Uniform Solution to common Algorithmic Problem by Tissue P systems with Cell Division. Comunicación en congreso. Sixth International Conference on Bio-Inspired computing: Theories and Applications. Penang, Malaysia. 2011
• Garcia Quismondo-Fernandez, Manuel, Macias-Ramos, Luis Felipe, Pérez-Jiménez, Mario Jesús:
  Implementing ENPS by means of GPUs for AI applications. Comunicación en congreso. Interdisciplinary Aspects of Artificial Intelligence. PILSEN, CHEQUIA. 2011
• Paun-, Gheorghe, Pérez-Jiménez, Mario Jesús:
  Towards bridging two cell-inspired models: P systems and R systems. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. - Sevilla, ESPAÑA. 2011
• Macías, Luis F., Pérez-hurtado, Ignacio, García-quismondo, Manuel, Valencia, Luis, Pérez-Jiménez, Mario Jesús:
  A P-Lingua based simulator for Spiking Neural P systems. Comunicación en congreso. Twelfth International Conference on Membrane Computing (CMC12). FONTAINEBLEAU (FRANCIA). 2011
• Pérez-Jiménez, Mario Jesús:
  dP automata versus right-linear simple matrix grammars. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. Sevilla, España. 2011
• Zhang, X., Niu, Y., Pan, L., Pérez-Jiménez, Mario Jesús:
  Linear time solution to prime factorization by tissue P systems with cell division. Comunicación en congreso. Ninth Brainstorming Week on Membrane Computing. - Sevilla, ESPAÑA. 2011
• 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 (9) (9.2011.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2011
• Macias-Ramos, Luis Felipe, Macías-Ramos, Luis Felipe, Pérez-Hurtado De Mendoza, Ignacio, Garcia Quismondo-Fernandez, Manuel, Valencia-Cabrera, Luis, Riscos-Nuñez, Agustin, Pérez-Jiménez, Mario Jesús:
  A P-Lingua based Simulator for Spiking Neural P Systems. Ponencia en Congreso. Twelfth International Conference on Membrane Computing (CMC12). FONTAINEBLEAU (FRANCIA). 2011
• Pérez-Jiménez, Mario Jesús:
  Membrane systems: A bio-inspired computing modelling framework. Comunicación en congreso. Natural Information Technologies. . 2011
• 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 (5) (5.2010.LIVERPOOL, REINO UNIDO). LIVERPOOL, REINO UNIDO. 2010
• 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 (5) (5.2010.LIVERPOOL, REINO UNIDO). LIVERPOOL, REINO UNIDO. 2010
• Christinal, H.a., Díaz-Pernil, Daniel, Gutierrez-Naranjo, Miguel Angel, Pérez-Jiménez, Mario Jesús:
  Tissue-like P systems without environment. Comunicación en congreso. Eighth Brainstorming Week on Membrane Computing. Sevilla, España. 2010
• Colomer-, M. Angels, Pérez-Jiménez, Mario Jesús, Lavín, Santiago, Marco-, Ignasi, Margalida, Antoni, Pérez-Hurtado De Mendoza, Ignacio, Sanuy-Castells, Delfí, Serrano-Ferron, Enmanuel, Valencia-Cabrera, Luis:
  MODELING POPULATION GROWTH OF PYRENEAN CHAMOIS (RUPICAPRA P. PYRENAYCA) BY USING P SYSTEMS. Comunicación en congreso. ELEVENTH INTERNATIONAL CONFERENCE ON MEMBRANE COMPUTING () (.2010.JENA, ALEMANIA). 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 (5) (5.2010.LIVERPOOL, REINO UNIDO). LIVERPOOL, REINO UNIDO. 2010
• 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 () (.2010.JENA, ALEMANIA). 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 (8) (8.2010.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2010
• 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 () (.2010.JENA, ALEMANIA). JENA, ALEMANIA. 2010
• 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 (8) (8.2010.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2010
• Cecilia-,Jose Maria, García-Carrasco,José Manuel, Martínez-del-Amor, Miguel Ángel, Pérez-Jiménez, Mario Jesús, Ujaldón-Martínez, Manuel:
  ENHANCING THE SIMULATION OF P SYSTEMS FOR THE SAT PROBLEM ON GPUS. Poster en Congreso. SYMPOSIUM ON APPLICATION ACCELERATORS IN HIGH-PERFORMANCE COMPUTING () (.2010.KNOXVILLE, TENNESSEE (ESTADOS UNIDOS)). KNOXVILLE, TENNESSEE (ESTADOS UNIDOS). 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 (8) (8.2010.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2010
• 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 (5) (5.2010.LIVERPOOL, REINO UNIDO). LIVERPOOL, REINO UNIDO. 2010
• 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, Ujaldón-Martínez, Manuel:
  P SYSTEMS SIMULATIONS ON MASSIVELY PARALLEL ARCHITECTURES. Comunicación en congreso. THIRD INTERNATIONAL WORKSHOP ON PARALLEL ARCHITECTURES () (.2010.VIENNA AUSTRIA). VIENNA AUSTRIA. 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
• 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 (7) (7.2009.SEVILLA). . 2009
• 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 (9) (9.2009.CURTEA DE ARGES, RUMANÍA). CURTEA DE ARGES, RUMANÍA. 2009
• Guerrero-,Ginés D., Cecilia-,Jose Maria, García-Carrasco,José Manuel, Martínez-del-Amor, Miguel Ángel, Pérez-Hurtado De Mendoza, Ignacio, Pérez-Jiménez, Mario Jesús:
  ANALYSIS OF P SYSTEMS SIMULATION ON CUDA. Comunicación en congreso. XX Jornadas de Paralelismo, JP'2009. A CORUÑA. 2009
• 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 (7) (7.2009.SEVILLA). . 2009
• 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 (7) (7.2009.SEVILLA). . 2009
• 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 (9) (9.2009.CURTEA DE ARGES, RUMANÍA). CURTEA DE ARGES, RUMANÍA. 2009
• 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 (7) (7.2009.SEVILLA). . 2009
• 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 (7) (7.2009.SEVILLA). . 2009
• 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., García-Carrasco,José Manuel:
  SIMULATING ACTIVE MEMBRANE SYSTEMS USING GPUS. Comunicación en congreso. WORKSHOP ON MEMBRANE COMPUTING (9) (9.2009.CURTEA DE ARGES, RUMANÍA). CURTEA DE ARGES, RUMANÍA. 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 (7) (7.2009.SEVILLA). . 2009
• Pérez-Jiménez, Mario Jesús:
  A COMPUTATIONAL COMPLEXITY THEORY IN MEMBRANE COMPUTING. Conferencia Congreso no publicada. WORKSHOP ON MEMBRANE COMPUTING (9) (9.2009.CURTEA DE ARGES, RUMANÍA). CURTEA DE ARGES, RUMANÍA. 2009
• Cecilia, J.m. , Guerrero, G.d., García, J.m. , Martínez-del-Amor, Miguel Ángel, Pérez-Hurtado De Mendoza, Ignacio, Pérez-Jiménez, Mario Jesús:
  A massively parallel framework using P systems and GPUs. Poster en Congreso. SYMPOSIUM ON APPLICATION ACCELERATORS IN HIGH PERFORMANCE COMPUTING (SAAHPC'09) (1) (1.2009.URBANA, ILLINOIS, EEUU). URBANA, ILLINOIS, EEUU. 2009
• 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 (7) (7.2009.SEVILLA). . 2009
• Cardona-,Monica, Colomer-, M. Angels, Margalida-,Antoni, Pérez-Hurtado De Mendoza, Ignacio, Pérez-Jiménez, Mario Jesús, Sanuy-Castells, Delfí:
  A P SYSTEM BASED MODEL OF AN ECOSYSTEM OF SOME SCAVENGER BIRDS. Comunicación en congreso. WORKSHOP ON MEMBRANE COMPUTING (9) (9.2009.CURTEA DE ARGES, RUMANÍA). CURTEA DE ARGES, RUMANÍA. 2009
• 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 (7) (7.2009.SEVILLA). . 2009
• Cecilia-,Jose Maria, Guerrero-,Ginés D., García-Carrasco,José Manuel, Martínez-del-Amor, Miguel Ángel, Pérez-Hurtado De Mendoza, Ignacio, Pérez-Jiménez, Mario Jesús:
  SIMULATION OF P SYSTEMS WITH ACTIVE MEMBRANES ON CUDA. Comunicación en congreso. 2009 INTERNATIONAL WORKSHOP ON HIGH PERFORMANCE COMPUTATIONAL SYSTEMS BIOLOGY () (.2009.TRENTO, ITALIA). TRENTO, ITALIA. 2009
• 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 (9) (9.2009.CURTEA DE ARGES, RUMANÍA). CURTEA DE ARGES, RUMANÍA. 2009
• 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., García-Carrasco,José Manuel:
  SIMULATION OF RECOGNIZER P SYSTEMS BY USING MANYCORE GPUS. Comunicación en congreso. BRAINSTORMIG WEEK ON MEMBRANE COMPUTING (7) (7.2009.SEVILLA). . 2009
• 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 (6) (6.2008.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2008
• Rivero-Gil,Elena, Gutierrez-Naranjo, Miguel Angel, Pérez-Jiménez, Mario Jesús:
  GRAPHICS AND P SYSTEMS: EXPERIMENTS WITH JPLANT. Comunicación en congreso. BRAINSTORMING WEEK ON MEMBRANE COMPUTING (6) (6.2008.SEVILLA, ESPAÑA). 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 (6) (6.2008.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2008
• 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 (6) (6.2008.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2008
• 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 (BIC-TA 2008) () (.2008.AUSTRALIA). AUSTRALIA. 2008
• Zandron-,Claudio, Leporati-,Alberto, Ferretti-,Claudio, Mauri-, Giancarlo, Pérez-Jiménez, Mario Jesús:
  ON THE COMPUTATIONAL EFFICIENCY OF POLARIZATIONLESS RECOGNIZER P SYSTEMS WITH STRONG DIVISION AN DISSOLUTION. Comunicación en congreso. BRAINSTORMING WEEK ON MEMBRANE COMPUTING (6) (6.2008.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2008
• 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 (WMC9) () (.2008.EDINBURGO). EDINBURGO. 2008
• 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 (6) (6.2008.SEVILLA, ESPAÑA). 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 (WMC9) () (.2008.EDINBURGO). EDINBURGO. 2008
• 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 (6) (6.2008.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2008
• 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
• 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
• 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 (8) (8.2007.TESSALONIKI, GRECIA). TESSALONIKI, GRECIA. 2007
• 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 (8) (8.2007.TESSALONIKI, GRECIA). TESSALONIKI, GRECIA. 2007
• 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 (9) (9.2007.HIGH TATRAS, ESLOVAQUIA). HIGH TATRAS, ESLOVAQUIA. 2007
• 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 (8) (8.2007.TESSALONIKI, GRECIA). TESSALONIKI, GRECIA. 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
• 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 (1) (1.2007.BUDAPEST, HUNGRIA). BUDAPEST, HUNGRIA. 2007
• 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
• 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 (7) (7.2007.KINGSTON, ONTARIO, CANADA). KINGSTON, ONTARIO, CANADA. 2007
• 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
• 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 (BIC-TA 2006) () (.2006.WUHAN (CHINA)). WUHAN (CHINA). 2006
• 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
• 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 (5) (5.2006.GRANADA, ESPAÑA). . 2006
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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 () (.2006.GRANADA). GRANADA. 2006
• 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
• 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 () (.2006.VENECIA, ITALIA). VENECIA, ITALIA. 2006
• Romero-Campero, Francisco José, Gheorghe-, Marian, Bianco-,Luca, Pescini-,Dario, Pérez-Jiménez, Mario Jesús, Ceterchi-,Rodica:
  TOWARDS PROBABILISTIC MODEL CHECKING ON P SYSTEMS USING PRISM. Comunicación en congreso. 7th Workshop on Membrane Computing. LEIDEN - PAÍSES BAJOS. 2006
• 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 (3.2005.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2005
• 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 () (.2005.TIMISOARA, RUMANÍA). TIMISOARA, RUMANÍA. 2005
• 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 () (.2005.AMSTERDAM (HOLANDA)). AMSTERDAM (HOLANDA). 2005
• 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 (7) (7.2005.COMO, ITALIA). COMO, ITALIA. 2005
• 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 (3.2005.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2005
• 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 (3) (3.2005.EDINBURGH). EDINBURGH. 2005
• 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 (3.2005.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2005
• Bernardini-,Francesco, Romero-Campero, Francisco José, Gheorghe-, Marian, Pérez-Jiménez, Mario Jesús, Margenstern-, Maurice, Verlan-,Serghei, Krasnogor-, Natalio:
  ON P SYSTEMS WITH BOUNDED PARALLELISM. Comunicación en congreso. TAPS'05 WORKSHOP ON THEORY AND APPLICATIONS OF P SYSTEMS () (.2005.TIMISOARA, RUMANÍA). TIMISOARA, RUMANÍA. 2005
• Ceterchi-,Rodica, Pérez-Jiménez, Mario Jesús:
  SIMULATING PARALLEL ARCHITECTURES WITH P SYSTEMS. Comunicación en congreso. WORKSHOP ON MEMBRANE COMPUTING (5) (5.2004.MILAN, ITALIA). MILAN, ITALIA. 2004
• 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 (16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE) (16) (16.2004.VALENCIA, ESPAÑA). VALENCIA, ESPAÑA. 2004
• 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
• 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
• Pérez-Jiménez, Mario Jesús:
  COMPUTATIONAL COMPLEXITY IN P SYSTEMS. Conferencia Congreso no publicada. WORKSHOP ON MEMBRANE COMPUTING (5) (5.2004.MILAN, ITALIA). MILAN, ITALIA. 2004
• 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
• 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
• 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 (16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE) (16) (16.2004.VALENCIA, ESPAÑA). VALENCIA, ESPAÑA. 2004
• 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
• 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 () (.2004.BAILE FELIX SPA - ORADEA, RUMANIA). BAILE FELIX SPA - ORADEA, RUMANIA. 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 () (.2004.PALMA DE MALLORCA, ESPAÑA). PALMA DE MALLORCA, ESPAÑA. 2004
• Pérez-Jiménez, Mario Jesús:
  RECOGNIZER MEMBRANE SYSTEMS. Conferencia Congreso no publicada. ECAI 2004 (16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE) (16) (16.2004.VALENCIA, ESPAÑA). VALENCIA, ESPAÑA. 2004
• 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
• 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 () (.2004.PALMA DE MALLORCA, ESPAÑA). PALMA DE MALLORCA, ESPAÑA. 2004
• 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
• 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 (5) (5.2004.MILAN, ITALIA). MILAN, ITALIA. 2004
• 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
• 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
• 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 () (.2003.VIENA, AUSTRIA). VIENA, AUSTRIA. 2003
• Pérez-Jiménez, Mario Jesús, Romero-Jiménez, Álvaro, Sancho-Caparrini, Fernando:
  Complexity classes in cellular computing with membranes. Comunicación en congreso. First Annual Meeting of the European Molecular Computing Consortium. TURKU, FINLAND. 2003
• 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
• 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
• 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 (4) (4.2003.TARRAGONA, ESPAÑA). TARRAGONA, ESPAÑA. 2003
• Pérez-Jiménez, Mario Jesús, Romero-Jiménez, Álvaro, Sancho-Caparrini, Fernando:
  Complexity classes in cellular computing with membranes. Comunicación en congreso. Brainstorming Week on Membrane Computing. TARRAGONA. ESPAÑ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 (12) (12.2003.OVIEDO (ESPAÑA)). OVIEDO (ESPAÑA). 2003
• Pérez-Jiménez, Mario Jesús, Romero-Jiménez, Álvaro, Sancho-Caparrini, Fernando:
  Complexity classes in cellular computing with membranes. Conferencia Congreso no publicada. First Joint Meeting between the RSME and the AMS. Santander (ESPAÑA). 2003
• 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
• 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
• 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
• 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
• 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 (10.2002.DEBRECEN, HUNGRIA). DEBRECEN, HUNGRIA. 2002
• 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
• 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
• 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 (WMC-CDEA2001) () (.2001.CURTEA DE ARGES, RUMANIA). CURTEA DE ARGES, RUMANIA. 2001
• 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
• Graciani-Díaz, Mª Del Carmen, Pérez-Jiménez, Mario Jesús, Romero-Jiménez, Álvaro, Sancho-Caparrini, Fernando:
  NP-Completitud y Computación ADN. Comunicación en congreso. Encuentro de Matemáticos Andaluces. Sevilla, ESPAÑA. 2000
• Pérez-Jiménez, Mario Jesús, Sancho-Caparrini, Fernando, Graciani-Díaz, Mª Del Carmen, Romero-Jiménez, Álvaro:
  Soluciones moleculares del problema SAT de la Lógica Proposicional. Comunicación en congreso. Primeras Jornadas de Lógica y Lenguaje. Santander (ESPAÑA). 2000
• Alonso-Jimenez, Jose Antonio, Pérez-Jiménez, Mario Jesús, Sancho-Caparrini, Fernando:
  MOLECULAR COMPUTATION MODELS IN ACL2: A SIMULATION OF LIPTON`S SAT EXPERIMENT IN THE ADLEMAN`S RESTRICTED MODEL. Comunicación en congreso. 2ND ACL2 WORKSHOP. AUSTIN, TEXAS, EEUU. 2000
• Pérez-Jiménez, Mario Jesús:
  ON EN-DEFINABILITY IN ARITHMETIC. Comunicación en congreso. 11TH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE (11.1999.CRACOVIA, POLONIA). CRACOVIA, POLONIA. 1999
• 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
• Pérez-Jiménez, Mario Jesús:
  INTERPRETACION REACTIVA DE SISTEMAS BASADOS EN CONOCIMIENTO. Comunicación en congreso. CONGRESO ISKO-ESPAÑA (4.1999.GRANADA (ESPAÑA)). . 1999
• 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
• Graciani-Díaz, Mª Del Carmen, Pérez-Jiménez, Mario Jesús, Romero-Jiménez, Álvaro:
  Descripciones funcionales de colección y colección fuerte en la aritmética. Comunicación en congreso. I Congreso Iberoamericano de Filosofía. Cáceres - Madrid (ESPAÑA). 1998
• Arrabal-Parrilla, Juan Jose, Balbontin-Noval, Delia, Alonso-Jimenez, Jose Antonio, Lara-Martin, Francisco Felix, Martín-mateos, Francisco Jesús, Pérez-Jiménez, Mario Jesús, Ruiz-Reina, Jose Luis:
  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
• 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

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
• Díaz-Pernil, Daniel:
  SISTEMAS CELULARES DE TEJIDOS: FORMALIZACIÓN Y EFICIENCIA COMPUTACIONAL. Tesis Doctoral. 2008
• Romero-Campero, Francisco José:
  P SYSTEMS, A COMPUTATIONAL FRAMEWORK FOR SYSTEMS BIOLOGY. Tesis Doctoral. 2008
• Ishdorf-, Tseren-Onolt:
  MEMBRANE COMPUTING, NEURAL INSPIRATIONS, GENE ASSEMBLY IN CILIATES. Tesis Doctoral. 2007
• Sburlan-, Dragos-Florin:
  PROMOTING AND INHIBITING CONTEXTS IN MEMBRANE COMPUTING. Tesis Doctoral. 2006
• Cavaliere-, Matteo:
  EVOLUTION, COMMUNICATION, OBSERVATION: FROM BIOLOGY TO MEMBRANE COMPUTING AND BACK. 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