Torres-Moríñigo, A., Martínez-del-Amor M. A., & Sancho-Caparrini F.  (2021).??GPU-parallel Crowd Simulation with Vulkan.  6th International Workshop on Modeling and Simulation of and by Parallel and Distributed Systems (MSPDS 2020).  In press.

Martínez-del-Amor, M. A., Pérez-Hurtado I., Pérez-Jiménez M. J., Riscos-Núñez A., & Sancho-Caparrini F.  (2011).??A simulation algorithm for multienvironment probabilistic P systems: A formal verification.  International Journal of Foundations of Computer Science. 22(1),?107-118.

Graciani-Díaz, C., Paun G., Romero-Jiménez Á., & Sancho-Caparrini F.  (2006).??Fourth Brainstorming Week on Membrane Computing.  Fourth Brainstorming Week on Membrane Computing. II, XII+278.

Romero-Jiménez, Á., Gutiérrez-Naranjo M. A., & Pérez-Jiménez M. J.  (2006).??The Growth of Branching Structures with P Systems.  (Carmen Graciani-Díaz, Gheorghe Paun, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Fourth Brainstorming Week on Membrane Computing . II, 253-265.

Paun, G.  (2006).??2006 Reseacrh Topics in Membrane Computing.  (Carmen Graciani-Díaz, Gheorghe Paun, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Fourth Brainstorming Week on Membrane Computing . II, 235-251.

Díaz-Pernil, D., Gutiérrez-Naranjo M. A., & Pérez-Jiménez M. J.  (2006).??Solving 3-COL with Tissue P Systems.  (Carmen Graciani-Díaz, Gheorghe Paun, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Fourth Brainstorming Week on Membrane Computing . II, 17-29.

Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., Riscos-Núñez A., & Romero-Campero F. J.  (2006).??An Approach to the degree of parallelism in P systems.  (Carmen Graciani-Díaz, Gheorghe Paun, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Fourth Brainstorming Week on Membrane Computing . II, 87-104.

Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F.  (2006).??Computationally Hard Problems Addressed Through P Systems.  (Gabriel Ciobanu, Gheorghe Paun, Mario J. Pérez-Jiménez, Ed.).Applications of Membrane Computing.  315-346.

Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F.  (2006).??A Polynomial Complexity Class in P Systems Using Membrane Division.  Journal of Automata, Languages and Combinatorics. 11(4),?423-434.

Cordón-Franco, A., & Sancho-Caparrini F.  (2005).??Approximating Non-discrete P Systems.  Lecture Notes in Computer Science. 3365, 287-295.

Graciani-Díaz, C., & Pérez-Jiménez M. J.  (2005).??Automated reasoning systems and molecular computing.  (Mario J. Pérez-Jiménez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Recent Results in Natural Computing.  

Pérez-Jiménez, M. J., & Sancho-Caparrini F.  (2005).??Formal verification of programs in molecular models with random access memory.  (Mario J. Pérez-Jiménez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Recent results in Natural Computing.  205-229.

Pérez-Jiménez, M. J., & Sancho-Caparrini F.  (2005).??Generating pairwise disjoint families through DNA computations.  (Mario J. Pérez-Jiménez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Recent Results in Natural Computing.  231-246.

Pérez-Jiménez, M. J., & Romero-Campero F. J.  (2005).??Membrane computing as production systems.  (Mario J. Pérez-Jiménez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Recent Results in Natural Computing.  167-204.

Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F.  (2005).??Recent Results in Natural Computing.   311.

Pérez-Jiménez, M. J.  (2004).??A CLIPS simulator for recognizer P systems with active membranes.  (Gheorghe Paun, Agustín Riscos-Núñez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Second Brainstorming Week on Membrane Computing.  387-413.

Cordón-Franco, A., Gutiérrez-Naranjo M. A., & Pérez-Jiménez M. J.  (2004).??Looking for P truth.  (Gheorghe Paun, Agustín Riscos-Núñez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Second Brainstorming Week on Membrane Computing.  134-138.

Paun, G., Pérez-Jiménez M. J., & Riscos-Núñez A.  (2004).??Tissue P systems with cell division.  (Gheorghe Paun, Agustín Riscos-Núñez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Second Brainstorming Week on Membrane Computing.  380-386.

Cordón-Franco, A., Gutiérrez-Naranjo M. A., Pérez-Jiménez M. J., & Riscos-Núñez A.  (2004).??Weak metrics on configurations of a P system.  (Gheorghe Paun, Agustín Riscos-Núñez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Second Brainstorming Week on Membrane Computing.  139-151.

Cordón-Franco, A., Gutiérrez-Naranjo M. A., Pérez-Jiménez M. J., & Sancho-Caparrini F.  (2004).??A Prolog simulator for deterministic P systems with active membranes.  New Generation Computing. 22(4),?349-363   .

Paun, G., Riscos-Núñez A., Romero-Jiménez Á., & Sancho-Caparrini F.  (2004).??Second Brainstorming Week on Membrane Computing.  Second Brainstorming Week on Membrane Computing.  456.

Cordón-Franco, A., Gutiérrez-Naranjo M. A., Pérez-Jiménez M. J., Riscos-Núñez A., & Sancho-Caparrini F.  (2004).??Implementing in Prolog an effective cellular solution for the knapsack problem.  Lecture Notes in Computer Science. 2933, 140-152.

Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F.  (2004).??Modelos de computación celular con membranas.  Boletín de la Sociedad Española de Matemática Aplicada. 29, 57-88 .

Cordón-Franco, A., & Sancho-Caparrini F.  (2004).??A Note on Complexity Measures for Probabilistic P Systems.  Journal of Universal Computer Science. 10(5),?559-566.

Paun, G., Pérez-Jiménez M. J., & Sancho-Caparrini F.  (2004).??On the Reachability Problem for P Systems With Symport/Antiport.  Publicationes Mathematicae Debrecen. 65, 603-627.

Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F.  (2004).??The P Versus NP Problem Through Cellular Computing with Membranes.  Lecture Notes in Computer Science. 2950, 338-352.

Pérez-Jiménez, A. J., Pérez-Jiménez M. J., & Sancho-Caparrini F.  (2003).??Computing a Partial Mapping by a P System: Design and Verification.  (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).First Brainstorming Week on Membrane Computing .  247-260.

Pérez-Jiménez, A. J., Pérez-Jiménez M. J., & Sancho-Caparrini F.  (2003).??Formal verification of a transition P system generating the set 2^n+n^2+n:n>=1.  (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).First Brainstorming Week on Membrane Computing.  261-269.

Sancho-Caparrini, F., & Pérez-Jiménez M. J.  (2003).??Verification of non deterministic transition P systems solving SAT problem .  (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).First Brainstorming Week on Membrane Computing.  291-304.

Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F.  (2003).??Complexity Classes in Cellular  Computing with Membranes.  (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).Brainstorming Week on Membrane Computing.  270-278.

Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F.  (2003).??Solving VALIDITY Problem by Active Membranes with Input.  (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).Brainstorming Week on Membrane Computing.  279-290.

Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F.  (2003).??Complexity Classes in Cellular Computing with Membranes.  First Joint Meeting between the RSME and the AMS.  4.

Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F.  (2003).??Complexity Classes in Cellular Computing with Membranes.  First Annual Meeting of the European Molecular Computing Consortium.  18.

Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F.  (2003).??A Polynomial Complexity Class in P Systems Using Membrane Division.  (Erzsebet Csuhaj-Varjú, C. Kintala, D. Wotschke, György Vaszil, Ed.).Fifth International Workshop on Descriptional Complexity of Formal Systems.  284-294.

Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F.  (2003).??Complexity classes in models of cellular computing with membranes.  Natural Computing. 2(3),?265 - 285   .

Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F.  (2003).??Decision P systems and the P?NP conjecture.  Lecture Notes in Computer Science. 2597, 388-399.

Martín-Vide, C., Mitrana V., Pérez-Jiménez M. J., & Sancho-Caparrini F.  (2003).??Hybrid Networks of Evolutionary Processors.  Lecture Notes in Computer Science. 2723, 401-412.

Pérez-Jiménez, M. J., & Sancho-Caparrini F.  (2003).??Máquinas moleculares basadas en ADN.  Colección de Divulgación Científica. 2, 255.

Balbontín-Noval, D., Pérez-Jiménez M. J., & Sancho-Caparrini F.  (2003).??A MzScheme implementation of Transition P systems.  Lecture Notes in Computer Science. 2597, 58-73.

Paun, G., Pérez-Jiménez M. J., & Sancho-Caparrini F.  (2002).??On the Reachability Problem for P System with Porters.  10th International Conference on Automata and Formal Languages.  1-3.

Martín-Mateos, F. J., Pérez-Jiménez M. J., & Sancho-Caparrini F.  (2002).??Molecular Computation Models in ACL2: A Simulation of Lipton's SAT Experiment in the  Adleman's Restricted Model.  Third International Workshop on the ACL2 Theorem Prover and its Applications.  175-187.

Pérez-Jiménez, M. J., Sancho-Caparrini F., Graciani-Díaz C., & Romero-Jiménez Á.  (2002).??Formalización computacional del experimento de Lipton sobre el problema SAT.  Primer Congreso Español de Algoritmos Evolutivos y Bioinspirados.  326-332.

Pérez-Jiménez, M. J., & Sancho-Caparrini F.  (2002).??Solving Knapsack Problems in a Sticker Based Model .  Lecture Notes in Computer Science. 2340, 161-171.

Pérez-Jiménez, M. J., & Sancho-Caparrini F.  (2002).??Computación Celular con Membranas: Un Modelo no Convencional .   II+107.

Pérez-Jiménez, M. J., & Sancho-Caparrini F.  (2002).??A Formalization of Transition P Systems.  Fundamenta Informaticae. 49(1-3),?261-272.

Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F.  (2002).??Teoría de la Complejidad en Modelos de Computación Celular con Membranas.   II+118 pages.

Pérez-Jiménez, M. J., & Sancho-Caparrini F.  (2002).??Verifying a P system generating squares.  Romanian Journal of Information Science and Technology. 5(1-2),?181-191.

Graciani-Díaz, C., Pérez-Jiménez M. J., Romero-Jiménez Á., & Sancho-Caparrini F.  (2001).??Initial segments maximal ??-definable sets in fragments of arithmetic.  Joint Conference of the 5th Barcelona Logic Meeting and the 6th Kurt Gödel Colloquium. IV, 37-38.

Pérez-Jiménez, M. J., Graciani-Díaz C., Romero-Jiménez Á., & Sancho-Caparrini F.  (2000).??Soluciones moleculares del problema SAT de la Lógica Proposicional.  (Ángel Nepomuceno, José F. Quesada, Francisco J. Salguero, Ed.).Primeras Jornadas sobre Lógica y Lenguaje.  243-252.

Graciani-Díaz, C., Pérez-Jiménez M. J., Romero-Jiménez Á., & Sancho-Caparrini F.  (2000).??NP-Completitud y Computación ADN.  (Emilio Briales-Morales, Alfonso Carriazo-Rubio, Tomás Chacón-Rebollo, Pedro  Real, Álvaro Romero-Jiménez, Ed.).Encuentro de Matemáticos Andaluces. II, 539-548.