Mario J. Pérez Jiménez

Books

Pérez Jiménez, M.J., Sancho Caparrini, F. Máquinas Moleculares Basadas en ADN. Secretariado de Publicaciones, Universidad de Sevilla, Colección de divulgación científica, número 2, ISBN 84-472-0777-3, 2003, XIV+241 pages.

Pérez Jiménez, M.J., Romero Jiménez, A., Sancho Caparrini, F. Teoría de la Complejidad en Modelos de Computación Celular con Membranas. Editorial Kronos, ISBN 84-86273-57-9, 2002, II+118 pages.

Pérez Jiménez, M.J., Sancho Caparrini, F. Computación Celular con Membranas: Un Modelo no Convencional. 18 pages. Editorial Kronos, ISBN 84-86273-52-8, 2002, II+107 pages.

Blázquez Gallego, J. , Pérez Jiménez, M.J. Vida Artificial: Estudio y Análisis del Programa SWARM . ISBN 84-699-4449-5, 2001, 104 pages.

Alonso Jiménez, J.A., Borrego Díaz, J., Pérez Jiménez, M.J., Ruíz Reina, J.L. Curso Práctico de Teoría de Conjuntos. Ediciones La Ñ, ISBN 84-89524-45-9, 1998, XXV+345 pages.

Pérez Jiménez, M.J. Esquemas del Máximo en la Aritmética. Editorial de la Universidad de Sevilla, ISBN 84-472-0079-5, 1992, 9 pages y 2 microfilms.

Pérez Jiménez, M.J. Teoría de Clases y Conjuntos. Una Introducción del Cuerpo de los números reales. Editorial Edunsa, ISBN 84-7747-000-6, 1988, XVIII+582 pages.

Edited Books

Paun, Gh., Pérez-Jiménez, M. J., Riscos-Núñez, A., Rozenberg, Gr., Salomaa, A. (eds.) Membrene Computing, WMC 2009. Lecture Notes in Computer Science, Springer-Verlag, ISBN 3-642-11466-0, 2010,Volume 5957, IX+487 pages.

Milazzo, P., Pérez-Jiménez, M.J. (eds.) Proceedings First Workshop on Applications of Membrane Computing, Concurrency and Agent-based modelling in Population Biology. Electronic Proceedings in Theoretical Computer Science (ISSN 2075-2180), Volume 33, 2010.

Ciobanu, G., Paun, Gh., Pérez-Jiménez, M. J. (eds.) Applications of Membrane Computing. Natural Computing Series, Springer-Verlag, ISBN 3-540-25017-4, 2006, X+439 pages.

Calude, C.S., Dinneen, M.J., Paun, Gh., Pérez-Jiménez, M. J., Rozenberg, G. (eds.) Unconventional Computation. Lecture Notes in Computer Science, Springer-Verlag, ISBN 3-540-29100-8, 2005, Volume 3699, XI+267 pages.

Pérez Jiménez, M.J., Romero, A., Sancho, F. (eds.) Recent Results in Natural Computing. Fénix Editora, ISBN 84-609-6864-2, 2005, VIII+311 pages.

Mauri, G., Paun, Gh., Pérez-Jiménez, M. J., Rozenberg, Gr., Salomaa, A. (eds.) Membrene Computing, WMC 2004. Lecture Notes in Computer Science, Springer-Verlag, ISBN 3-540-25080-8, 2005, Volume 3365, IX+415 pages.

Gutiérrez, M.A., Paun, Gh., Pérez Jiménez, M.J. (eds.) Cellular Computing. Complexity Aspects. Fénix Editora, ISBN 84-609-5338-6, 2005, VIII+297 pages.

Pérez Jiménez, M.J. , Riscos Núñez, A. (eds.) Modelos de Computación Molecular, Celular y Cuántica. Fénix Editora, ISBN 84-609-3200-1, 2004, XII+250 pages.

Editor or coeditor of several special issues of journals

- Fundamenta Informaticae

- International Journal of Computers, Communication and Control

- International Journal of Foundations of Computer Science

- International Journal of Natural Computing Research

- International Journal of Unconventional Computing

- Journal of Universal Computer Science

- Natural Computing

- Progress in Natural Sciences

- Romanian Journal of Information Science and Technology

- Soft Computing

- Theoretical Computer Science

Papers from 2002 up to now

2012

Paun, Gh., Pérez-Jiménez, M.J. Towards bridging two cell-inspired models: P systems and R systems. Theoretical Computer Science, 429 (2012), 258-264.

Cecilia, J.M., García, J.M., Guerrero, G.D., Martínez, M.A., Pérez-Jiménez, M.J., Ujaldón, M. The GPU on the simulation of cellular computing models. SoftComputing, 16, 2 (2012), 231-246.

Paun, Gh., Pérez-Jiménez, M.J. An infinite hierarchy of languages defined by dP systems. Theoretical Computer Science, online version (http://dx.doi.org/10.1016/j.tcs.2011.12.053).

Paun, Gh., Pérez-Jiménez, M.J. P automata revisited. Theoretical Computer Science, online version (http://dx.doi.org/10.1016/j.tcs.2012.01.036).

Colomer, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos, A. Comparing simulation algorithms for multienvironment probabilistic P system over a standard virtual ecosystem. Natural Computing, online version ( http://dx.doi.org/10.1007/s11047-011-9289-2).

Paun, Gh., Pérez-Jiménez, M.J. dP automata versus right-linear simple matrix grammars. Computation, Physics and Beyond. Dedicated to Cristian S. Calude on the ocassion of his 60th Birthday. Lecture Notes in Computer Science, 7160 (2012), 376-387. A preliminary version in Martínez del Amor, M.A., Paun, Gh., Pérez Hurtado, I., Romero, F.J., Valencia, L. (eds.) Proceedings of the Ninth Brainstorming Week on Membrane Computing, Seville, Spain, January 31- February 4, 2011, Report RGNC 01/2010, Fénix Editora, 2011, pp. 293-304. in Gheorghe, M., Paun, Gh., Verlan, S. (eds.) Proceedings of the Twelfth International Conference on Membrane Computing, Fontainebleau, France, 23-26 August, 2011, pp. 241-252.

Ipate, F., Lefticaru, R., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Tudose, C. Formal verification of P systems with active membranes through model checking. Membrane Computing, 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers. Lecture Notes in Computer Science, 7184 (2012), 215-225. A preliminary version in Gheorghe, M., Paun, Gh., Verlan , S. (eds.) Proceedings of the Twelfth International Conference on Membrane Computing, Fontainebleau, France, 23-26 August, 2011, pp. 241-252.

Macías, L.F., Pérez-Hurtado, I., García-Quismondo, I., Valencia, L., Pérez-Jiménez, M.J., Riscos, A. A P-Lingua based simulator for Spiking Neural P systems. Membrane Computing, 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers. Lecture Notes in Computer Science, 7184 (2012), 257-281. A preliminary version in Gheorghe, M., Paun, Gh., Verlan, S. (eds.) Proceedings of the Twelfth International Conference on Membrane Computing, Fontainebleau, France, 23-26 August, 2011, pp. 323-346.

2011

Colomer, M.A., Margalida, A., Sanuy, D., Pérez-Jiménez, M.J. A bio-inspired computing model as a new tool for modeling ecosystems: The avian scavengers as a case study. Ecological modelling, 222, 1 (2011), 33-47.

Ionescu, M., Paun, Gh., Pérez-Jiménez, M.J., Yokomori, T. Spiking Neural dP Systems. Fundamenta Informaticae, 111, 4 (2011), 423-436.

Pan, L., Paun, Gh., Pérez-Jiménez, M.J. Spiking neural P systems with neuron division and budding. Science China. Information Sciences, 54, 8 (2011), 1596-1607.

Pérez-Jiménez, M.J., Riscos, A., Rius-Fot, M., Romero Campero, F.J. Looking for small efficient P systems. Fundamenta Informaticae, 110, 1-4 (2011), 295-308.

Freund, R., Gheorghe, M., Marcus, S., Mitrana, V., Pérez-Jiménez, M.J. Special Issue-Natural Computing: Theory and applications. Preface. International Journal of Foundations of Computer Science, 22, 1 (2011), 1-6.

Pan, L., Díaz, D., Pérez-Jiménez, M.J. Computation of Ramsey numbers by P systems with active membranes. International Journal of Foundations of Computer Science, 22, 1 (2011), 29-38.

Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos, A., Gutiérrez, M.A., Rius-Font, M. On a partial affirmative answer for a Paun's conjecture. International Journal of Foundations of Computer Science, 22, 1 (2011), 55-64.

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

Niu, Y., Pan, L., Pérez-Jiménez, M.J., Rius-Font, M. A tissue P systems based uniform solution to Tripartite Matching problem. Fundamenta Informaticae, 109, 2 (2011), 179-188.

Ionescu, M., Paun, Gh., Pérez-Jiménez, M.J., Rodríguez-Patón, A. Spiking Neural P systems with several types of spikes. International Journal of Computers, Communications & Control, Vol. VI, 4 (2011), 648-656.

Cardona, M., Colomer, M.A., Margalida, A., Palau, A., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Sanuy, D. A computational modeling for real ecosystems based on P systems. Natural Computing, 10, 1 (2011), 39-53.

Zhang, X., Niu, Y., Pan, L., Pérez-Jiménez, M.J. Linear time solution to prime factorization by tissue P systems with cell division. International Journal of Natural Computing Research, 2, 3 (2011), 49-60.

Frisco, P., Paun, Gh., Pérez-Jiménez, M.J. Guest Editorial Preface. Special Issue on Membrane Computing. International Journal of Natural Computing Research, 2, 2 (2011), i-iii.

Gutiérrez, M.A., Pérez-Jiménez, M.J. Local search with P systems: A case study. International Journal of Natural Computing Research, 2, 2 (2011), 47-55.

George, F., Adorna, H., Martínez-del-Amor, M.A., Pérez-Jiménez, M.J. Spiking neural P system simulations on a high performance GPU platform. Algorithms and architectures for parallel processing. Lecture Notes in Computer Science, 7017 (2011), 99-108.

Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos, A., Romero-Campero, F.J. Membrane Computing (Tutorial). Lecture Notes in Computer Science, 6714 (2011), 38-39.

Paun, Gh., Pérez-Jiménez, M.J. P and dP automata: A survey. In C.S. Calude, Gr. Rozenberg, A. Salomaa (eds.) Rainbow in Computer Science. Dedicated to Hermann Maurer on the ocassion of his 70th birthday. Lecture Notes in Computer Science, 6570 (2011), 102-115.

Colomer, M.A., Lavín, S., Marco, I., Margalida, A., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Sanuy, D., Serrano, E., Valencia-Cabrera, L. Modeling population growth of Pyrenean Chamois (Rupicapra p. pyrenaica) by using P systems. Membrane Computing, 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010, Revised Selected Papers. Lecture Notes in Computer Science, 6501 (2011), 144-159. A preliminary version in Gheorghe, M., Hinze, T., Paun , Gh.(eds.) Proceedings of the Eleventh International Conference on Membrane

Computing, Jena, Germany, 24-27 August 2010, Verlag ProBusiness Berlin, 2010, ISBN 978-3-86805-721-8, pp. 121-135.

Gutiérrez, M.A., Pérez-Jiménez, M.J. Depth-First search with P systems. Membrane Computing, 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010, Revised Selected Papers. Lecture Notes in Computer Science, 6501 (2011), 257-264. A preliminary version in Gheorghe, M., Hinze, T., Paun, Gh. (eds.) Proceedings of the Eleventh International Conference on Membrane Computing, Jena, Germany, 24-27 August 2010, Verlag ProBusiness Berlin, 2010, ISBN 978-3-86805-721-8, pp. 257-267.

Zeng, X., Adorna, H., Martínez-del-Amor, M.A., Pan, L., Pérez-Jiménez, M.J. Matrix representation of Spiking Neural P systems. Membrane Computing, 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010, Revised Selected Papers. Lecture Notes in Computer Science, 6501 (2011), 377-392. A preliminary version in Gheorghe, M., Hinze, T., Paun, Gh. (eds.) Proceedings of the Eleventh International Conference on Membrane Computing, Jena, Germany, 24-27 August 2010, Verlag ProBusiness Berlin, 2010, ISBN 978-3-86805-721-8, pp. 425-439.

Pérez-Jiménez, M.J., Ortega, A., Sempere, José M. The Spanish Network on Biomolecular and Biocellular Computing: Bio-inspired Natural Computing in Spain. ERCIM (European Research Consortium for Informatics and Mathematics) News, 85, (2011), 25.

Niu, Y., Pan, L., Pérez-Jiménez, M.J. A Uniform Solution to Common Algorithmic Problem by Tissue P Systems with Cell Division. In Abdullah, R., Khader, A.T., Venkat, I., Wong, Li-Pei , Subramanian, K.G. (eds.) Proceedings of the Sixth International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2011, Penang, Malaysia, September 27-29, 2011. IEEE Computer Society, ISBN 978-1-4577-1092-6, pp. 302-326.

Pérez-Jiménez, M.J. Membrane systems: A bio-inspired computing modelling framework. Conferencia invitada del Natural Information Technologies, NIT 2011, Madrid, Spain, October 4-7, 2011.

Gutiérrez, M.A., Pérez-Jiménez, M.J. Implementing local search with Membrane Computing. In Martínez del Amor, M.A., Paun, Gh., Pérez Hurtado, I., Romero, F.J., Valencia, L. (eds.) Proceedings of the Ninth Brainstorming Week on Membrane Computing, Seville, Spain, January 31- February 4, 2011, Report RGNC 01/2010, Fénix Editora, 2011, pp. 159-168.

Paun, Gh., Pérez-Jiménez, M.J. Towards bridging two cell-inspired models: P systems and R systems. In Martínez del Amor, M.A., Paun, Gh., Pérez Hurtado, I., Romero, F.J., Valencia, L. (eds.) Proceedings of the Ninth Brainstorming Week on Membrane Computing, Seville, Spain, January 31- February 4, 2011, Report RGNC 01/2010, Fénix Editora, 2011, pp. 305-316.

2010

Cecilia, J.M., García, J.M., Guerrero, G.D., Martínez, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J. Simulation of P systems with active membranes on CUDA. Briefings in Bioinformatics, 11, 3 (2010), 313-322.

Pan, L., Pérez-Jiménez, M.J. Computational complexity of tissue-like P systems. Journal of Complexity, 26 (2010), 296-315.

Wang, J., Jan Hoogeboom, H., Pan, L., Paun, Gh., Pérez-Jiménez, M.J. Spiking Neural P systems with weights. Neural Computation, 22, 10 (2010), 2615-2646.

Paun, Gh., Pérez-Jiménez, M.J., Stefanescu, Gh. Membrane computing and programming. Journal of Logic and Algebraic Programming, 79 (2010), 289-290.

Martínez, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos, A. A P-Lingua based simulator for Tissue P systems. Journal of Logic and Algebraic Programming, 79 (2010), 374-382.

Cecilia, J.M., García, J.M., Guerrero, G.D., Martínez, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J. Simulating a P system based efficient solution to SAT by using GPUs. Journal of Logic and Algebraic Programming, 79 (2010), 317-325.

Díaz, D., Gutiérrez, M.A. , Pérez-Jiménez, M.J., Riscos, A. A linear-time solution to the Partition problem in a cellular tissue-like model. Journal of Computational and Theoretical Nanoscience, 7, 5 (2010), 884-889.

Manea, F., Margenstern, M., Mitrana, V., Pérez-Jiménez, M.J. A new characterization of NP, P, and PSPACE with accepting hybrid networks of evolutionary processors. Theory of Computing Systems, 46, 2 (2010), 174-192.

Paun, Gh., Pérez-Jiménez, M.J. Solving problems in a distributed way in Membrane Computing: dP Systems. International Journal of Computers, Communications & Control, Vol. V, 2 (2010), 238-250. A preliminary version in Martínez del Amor, M.A., Paun, Gh., Pérez Hurtado, I., Riscos, A. (eds.) Proceedings of the Eighth Brainstorming Week on Membrane Computing, Report RGNC 01/2010, Fénix Editora, ISBN 978-84-614-2357-6, 2010, pp. 219-234.

Paun, Gh., Pérez-Jiménez, M.J. Foreword. Special issue on Membrane Computing. Romanian Journal of Information Science and Technology, 13, 2 (2010), 111-112.

Adorna, H., Paun, Gh., Pérez-Jiménez, M.J. On communication complexity in evolution-communication P systems. Romanian Journal of Information Science and Technology, 13, 2 (2010), 113-130. A preliminary version in Martínez del Amor, M.A., Paun, Gh., Pérez Hurtado, I., Riscos, A. (eds.) Proceedings of the Eighth Brainstorming Week on Membrane Computing, Seville, Spain, February 1-5, 2010, Report RGNC 01/2010, Fénix Editora, ISBN 978-84-614-2357-6, 2010, pp. 1-22.

Christinal, H.A., Díaz, D., Gutiérrez, M.A., Pérez-Jiménez, M.J. Thresholding 2D images with cell--like P systems. Romanian Journal of Information Science and Technology, 13, 2 (2010), 131-140.

Ibarra, O.H., Pérez-Jiménez, M.J., Yokomori, T. On spiking neural P systems. Natural Computing, 9, 2 (2010), 475-491.

Pérez-Jiménez, M.J. A Computational Complexity Theory in Membrane Computing (invited talk). Membrane Computing, 10th International Workshop, WMC 2009, Curtea de Arges,

Romania, August 24-27, 2009, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 5957 (2010), 125-148. A preliminary version in Paun, Gh., Pérez-Jiménez, M.J., Riscos, A. (eds.) Proceedings of the Tenth Workshop on Membrane Computing, Curtea de Arges (Romania), August 24-27, 2009, pp. 82-105.

Cardona, M., Colomer, M.A., Margalida, A., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Sanuy, D. A P system based model of an ecosystem of some scavenger birds. Membrane Computing, 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 5957 (2010), 182-195. A preliminary version in Paun, Gh., Pérez-Jiménez, M.J., Riscos, A. (eds.) Proceedings of the Tenth Workshop on Membrane Computing, Curtea de Arges (Romania), August 24-27, 2009, pp. 153-168.

Cecilia, J.M., García G., J.M., Guerrero, D., Martínez-del-Amor, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J. Implementing P systems parallelism by means of GPUs. Membrane Computing, 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 5957 (2010), 227-241. A preliminary version in Paun, Gh., Pérez-Jiménez, M.J., Riscos, A. (eds.) Proceedings of the Tenth Workshop on Membrane Computing, Curtea de Arges (Romania), August 24-27, 2009, pp. 369-384.

García-Quismondo, M., Gutiérrez-Escudero, R., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos-Núñez, A. An overview of P-Lingua 2.0. Membrane Computing, 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 5957 (2010), 264-288. A preliminary version in Paun, Gh., Pérez-Jiménez, M.J., Riscos, A. (eds.) Proceedings of the Tenth Workshop on Membrane Computing, Curtea de Arges (Romania), August 24-27, 2009, pp. 240-264.

Gutiérrez-Escudero, R., Pérez-Jiménez, M.J., Rius-Font, M. Characterizing tractability by tissue-like P systems. Membrane Computing, 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 5957 (2010), 289-300. A preliminary version in Paun, Gh., Pérez-Jiménez, M.J., Riscos, A. (eds.) Proceedings of the Tenth Workshop on Membrane Computing, Curtea de Arges (Romania), August 24-27, 2009, pp. 269-281.

Gutiérrez, M.A., Pérez-Jiménez, M.J. Searching previous configurations in Membrane Computing. Membrane Computing, 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 5957 (2010), 301-315. A preliminary version in Paun, Gh., Pérez-Jiménez, M.J., Riscos, A. (eds.) Proceedings of the Tenth Workshop on Membrane Computing, Curtea de Arges (Romania), August 24-27, 2009, pp. 282-297.

Martínez, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos, A., Colomer, M.A. A new simulation algorithm for multienvironment probabilistic P systems. In K. Li, Z. Tang, R. Li, A.K. Nagar, R. Thamburaj (eds.) Proceedings 2010 IEEE Fifth International Conference on Bio-inpired Computing: Theories and Applications (BIC-TA 2010), IEEE Press, Volume 1, September 23-26, 2010, Changsha, China, ISBN 978-1-4244-6439-5, pp. 59-68.

Colomer, M.A., Martínez, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos, A. A uniform framework for modeling based on P Systems. In Li, K., Tang, Z., Li, R., Nagar, A.K., Thamburaj, R. (eds.) Proceedings 2010 IEEE Fifth International Conference on Bio-inpired Computing: Theories and Applications (BIC-TA 2010), IEEE Press, Volume 1, September 23-26, 2010, Changsha, China, ISBN 978-1-4244-6439-5, pp. 616-621.

Pérez-Hurtado, I., Valencia, L., Pérez-Jiménez, M.J., Colomer, M.A., Riscos, A. MeCoSim: A general purpose software tool for simulating biological phenomena by means of P Systems. In Li, K., Tang, Z., Li, R., Nagar, A.K., Thamburaj, R. (eds.) Proceedings 2010 IEEE Fifth International Conference on Bio-inpired Computing: Theories and Applications (BIC-TA 2010), IEEE Press, Volume 1, September 23-26, 2010, Changsha, China, ISBN 978-1-4244-6439-5, pp. 637-643.

Colomer, M.A. Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos, A. Simulating Tritrophic Interactions by Means of P Systems. In A.K. Nagar, R. Thamburaj, K. Li, Z. Tang, R. Li (eds.) Proceedings 2010 IEEE Fifth International Conference on Bio-inpired Computing: Theories and Applications (BIC-TA 2010), IEEE Press, Volume 2, September 8-10, 2010, Liverpool, UK, ISBN 978-1-4244-6438-8, pp. 1621-1628.

Cecilia, J.M., García, J.M., Guerrero, G.D., Martínez del Amor, M.A., Pérez-Jiménez, M.J., Ujaldón, M. P systems simulations on massively parallel architectures. In Colmenar, J.M., Lombraña , D. (eds.) Proceedings of The Third International Workshop on Parallel Architectures and Bioinspired Algorithms (WPABA' 10) in conjuntion with the Nineteenth International Conference on Parallel Architectures and Compulations Techniques (PACT' 10), September 11, 2010, Vienna, Austria, ISBN 978-84-693-6141-2, pp. 17-26.

Christinal, H.A., Díaz, D., Gutiérrez, M.A., Pérez-Jiménez, M.J. Array tissue-like P systems. In Martínez del Amor, M.A., Paun, Gh., Pérez Hurtado, I., Riscos, A. (eds.) Proceedings of the Eighth Brainstorming Week on Membrane Computing, Seville, Spain, February 1-5, 2010, Report RGNC 01/2010, Fénix Editora, ISBN 978-84-614-2357-6, 2010, pp. 37-52.

Christinal, H.A., Díaz, D., Gutiérrez, M.A., Pérez-Jiménez, M.J. Tissue-like P systems without environment. In Martínez del Amor, M.A., Paun, Gh., Pérez Hurtado, I., Riscos, A. (eds.) Proceedings of the Eighth Brainstorming Week on Membrane Computing, Seville, Spain, February 1-5, 2010, Report RGNC 01/2010, Fénix Editora, ISBN 978-84-614-2357-6, 2010, pp. 53-64.

Gutiérrez, M.A., Pérez-Jiménez, M.J. Membrane Computing meets Artificial Intelligence: A case study. In Martínez del Amor, M.A., Paun, Gh., Pérez Hurtado, I., Riscos, A. (eds.) Proceedings of the Eighth Brainstorming Week on Membrane Computing, Seville, Spain, February 1-5, 2010, Report RGNC 01/2010, Fénix Editora, ISBN 978-84-614-2357-6, 2010, pp. 133-144.

Pérez-Jiménez, M.J. Razonando sobre soluciones mecánicas, inductivas y cualitativas. In Fernández, D., Gómez-Caminero, E.F., Hernández, I. (eds.) Estudios de Lógica, Lenguaje y Epistemología, Fénix Editora, ISBN 978-84-614-4291-1, 2010, pp. 211-229.

Pérez-Jiménez, M.J. La mitosis celular: una sorprendente frontera de la eficiencia. In Soler, F., von Ditmarsch, H., Salguero, F. (eds.) Liber amicorum Angel Nepomuceno, Fénix Editora, ISBN 978-84-614-5116-6, 2010, pp. 99-108.

2009

Busi, N., Gutiérrez, M.A. , Pérez-Jiménez, M.J. Efficient computation in rational-valued P systems. Mathematical Structures in Computer Science, 19 (2009), 1125-1139.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A., Romero, F.J. On the efficiency of cell-like and tissue-like recognizing membrane systems. International Journal of Intelligent Systems, 24, 7 (2009), 747-765.

Graciani, C., Gutiérrez, M.A., Pérez-Jiménez, M.J. An Approach to Ballistic Deposition Based on Membrane Computing. International Journal of Unconventional Computing, 5, 5 (2009), 427-439. A preliminary version in Gutiérrez, M.A., Paun, Gh., Romero, A., Riscos, A. (eds.) Proceedings of the Fifth Brainstorming Week on Membrane Computing, Report RGNC 01/2007, Fénix Editora, ISBN 978-84-611-6776-0, 2007, pp. 180-197.

Paun, Gh., Pérez-Jiménez, M.J. Foreword. Special Issue: Membrane Computing. Fifth Brainstorming Week on Membrane Computing. International Journal of Unconventional Computing, 5, 5 (2009), 389-390.

Leporati, A., Mauri, G., Zandron, C., Paun, Gh., Pérez-Jiménez, M.J. Uniform solutions to SAT and Subset Sum by spiking neural P systems. Natural Computing, 8, 4 (2009), 681-702.

Leporati, A., Ferretti, C., Mauri, G., Pérez-Jiménez, M.J., Zandron, C. Complexity aspects of polarizationless membrane systems. Natural Computing, 8, 4 (2009), 703-717.

Díaz, D., Pérez-Jiménez, M.J., Romero, A. Efficient simulation of tissue-like P systems by transition cell-like P systems. Natural Computing, 8, 4 (2009), 797-806.

Freund, R., Kogler, M., Paun, Gh., Pérez-Jiménez, M.J. On the power of P and DP automata. Analele Universitatii Bucuresti - Informatica, LVIII (2009), 1-22.

Paun, Gh., Pérez-Jiménez, M.J. Spiking Neural P systems: Recent results, research topics. In Condon, A., Harel, D., Kon, J.N., Salomaa, A., Winfree, E. (eds.) Algorithmic Bioprocesses, Natural Computing Series, Springer-Verlag, 2009, Part V, pp. 273-291.

Pérez-Jiménez, M.J., Yokomori, T. Membrane Computing schema: A new approach to computation using string insertion. In Condon, A., Harel, D., Kon, J.N., Salomaa, A., Winfree, E. (eds.) Algorithmic Bioprocesses, Natural Computing Series, Springer-Verlag, 2009, Part V, pp. 293-309.

Pérez-Jiménez, M.J., Riscos, A., Romero, A., Woods, D. Complexity: Membrane division, membrane creation. In Paun, Gh., Rozenberg, G., Salomaa, A. (eds.) The Oxford Handbook of Membrane Computing, Oxford University Press, Oxford (U.K.), 2009, Chapter 12, pp. 302-336.

Díaz, D., Graciani, C., Gutiérrez, M.A., Pérez--Hurtado, I., Pérez-Jiménez, M.J. Software for P systems. In Paun, Gh., Rozenberg, G., Salomaa, A. (eds.) The Oxford Handbook of Membrane Computing, Oxford University Press, Oxford (U.K.), 2009, Chapter 17, pp. 437-454.

Guerrero, G.D., Cecilia, J.M., García, J.M., Martínez, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J. Analysis of P systems simulation on CUDA. Actas de las XX Jornadas de Paralelismo, A Coruña, Spain, 16-18 September 2009, pp. 219-224.

Díaz, D., Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A. Solving the Independent Set problem by using tissue-like P systems with cell division. Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy. Lecture Notes in Computer Science, 5601 (2009), 213-222.

Díaz, D., Gallego, P., Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A. Descriptional complexity of tissue-like P systems with cell division. Unconventional Computation, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 5715 (2009), 168-178.

Woods, D., Murphy, N., Pérez-Jiménez, M.J., Riscos, A. Membrane dissolution and division in P. Unconventional Computation, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 5715 (2009), 262-276.

Cardona, M., Colomer, M.A., Pérez-Jiménez, M.J., Sanuy, D., Margalida, A. Modeling ecosystem using P systems: The bearded vulture, a case study. Membrane Computing, 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 5391 (2009), 137-156. A preliminary version in Frisco, P., Corne, D.W., Paun, Gh. (eds.) Proceedings of the 9th Workshop on Membrane Computing, Edinburgh (UK), July 28-31, 2008, pp. 95-116.

Díaz, D., Pérez--Hurtado, I., Pérez-Jiménez, M.J., Riscos, A. A P-lingua programming environment for Membrane Computing. Membrane Computing, 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 5391 (2009), 187-203. A preliminary version in Frisco, P., Corne, D.W., Paun, Gh. (eds.) Proceedings of the 9th Workshop on Membrane Computing, Edinburgh (UK), July 28-31, 2008, pp. 155-172.

Gutiérrez, M.A., Pérez-Jiménez, M.J. Hebbian learning from spiking neural P systems view. Membrane Computing, 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 5391 (2009), 217-230. A preliminary version in Frisco, P., Corne, D.W., Paun, Gh. (eds.) Proceedings of the 9th Workshop on Membrane Computing, Edinburgh (UK), July 28-31, 2008, pp. 189-207.

Cecilia, J.M., Guerrero, G., García, J.M., Martinez-del-Amor, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J. A massively parallel framework using P systems and GPUs. Proceedings of the Symposium on Application Accelerators in High Performance Computing (SAAHPC'09), Illinois, USA, July 25-27, 2009.

Pérez-Jiménez, M.J. Métodos formales en Computación Bio-inspirada. In O. Pombo, A. Nepomuceno (eds.) Lógica e Filosofía da Ciencia, Centro de Filosofia das Ciencias da Universidade de Lisboa, Colecçao Documenta 2, Lisboa (Portugal), ISBN 978-989-8247-00-1, 2009, pp. 185-212.

Cardona, M., Colomer, M.A., Pérez-Jiménez, M.J. Characterizing the aperiodicity of irreducible Markov chains by using P systems. In R. Gutiérrez, M.A. Gutiérrez, Gh. Paun, Gh. Paun, I. Pérez-Hurtado, A. Riscos (eds.) Proceedings of the Seventh Brainstorming Week on Membrane Computing, Volume I, Report RGNC 01/2009, Fénix Editora, ISBN 978-84-613-2837-6, 2009, pp. 81-96.

Díaz, D., Gallego, P., Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A. Cell-like versus tissue-like P systems by means of Sevilla carpets. In Gutiérrez, R., Gutiérrez, M.A., Paun, Gh., Pérez-Hurtado, I., Riscos, A. (eds.) Proceedings of the Seventh Brainstorming Week on Membrane Computing, Volume I, Report RGNC 01/2009, Fénix Editora, ISBN 978-84-613-2837-6, 2009, pp. 109-122.

García-Quismondo, M., Gutiérrez, R., Pérez-Hurtado, I., Pérez-Jiménez, M.J. P-Lingua 2.0: New features and first applications. In Gutiérrez, R., Gutiérrez, M.A., Paun, Gh., Pérez-Hurtado, I., Riscos, A. (eds.) Proceedings of the Seventh Brainstorming Week on Membrane Computing, Volume I, Report RGNC 01/2009, Fénix Editora, ISBN 978-84-613-2837-6, 2009, pp. 141-168.

Gutiérrez, M.A., Martínez del Amor, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J. Solving the N-Queens puzzle with P systems. In Gutiérrez, R., Gutiérrez, M.A., Paun, Gh., Pérez-Hurtado, I., Riscos, A. (eds.) Proceedings of the Seventh Brainstorming Week on Membrane Computing, Volume I, Report RGNC 01/2009, Fénix Editora, ISBN 978-84-613-2837-6, 2009, pp. 199-210.

Gutiérrez, M.A., Pérez-Jiménez, M.J. Computing backwards with P systems. In Gutiérrez, R., Gutiérrez, M.A., Paun, Gh., Pérez-Hurtado, I., Riscos, A. (eds.) Proceedings of the Seventh Brainstorming Week on Membrane Computing, Volume I, Report RGNC 01/2009, Fénix Editora, ISBN 978-84-613-2837-6, 2009, pp. 211-226.

Martínez del Amor, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Cecilia, J.M., Guerrero, G.D., García, J.M. Simulating of recognizer P systems by using manycore GPUs. In Martínez del Amor, M.A., Orejuela, E.F., Paun, Gh., Pérez-Hurtado, I., Riscos, A. (eds.) Proceedings of the Seventh Brainstorming Week on Membrane Computing, Volume II, Report RGNC 01/2009, Fénix Editora, ISBN 978-84-613-2839-0, 2009, pp. 45-58.

Pan, L., Paun, Gh., Pérez-Jiménez, M.J. Spiking Neural P systems with neuron division and budding. In Martínez del Amor, M.A., Orejuela, E.F., Paun, Gh., Pérez-Hurtado, I., Riscos, A. (eds.) Proceedings of the Seventh Brainstorming Week on Membrane Computing, Volume II, Report RGNC 01/2009, Fénix Editora, ISBN 978-84-613-2839-0, 2009, pp. 151-168.

Pan, L., Pérez-Jiménez, M.J. Efficiency of tissue P systems with cell separation. In Martínez del Amor, M.A., Orejuela, E.F., Paun, Gh., Pérez-Hurtado, I., Riscos, A. (eds.) Proceedings of the Seventh Brainstorming Week on Membrane Computing, Volume II, Report RGNC 01/2009, Fénix Editora, ISBN 978-84-613-2839-0, 2009, pp. 169-196.

Pérez-Jiménez, M.J. Computational complexity in P systems. Scholarpedia, 4, 11(2009), 9290.

2008

Romero, F.J., Pérez-Jiménez, M.J. A model of the Quorum Sensing System in Vibrio Fischeri using P systems. Artificial Life, 14, 1 (2008), 95-109.

Romero, F.J., Pérez-Jiménez, M.J. Modelling gene expression control using P systems: The Lac Operon, a case study. BioSystems, 91, 3 (2008), 438-457.

Paun, Gh., Pérez-Jiménez, M.J. Special Issue on Membrane Computing. Preface. Fundamenta Informaticae, 87, 1 (2008), i-ii.

Zandron, C., Leporati, A., Ferretti, C., Mauri, G., Pérez-Jiménez, M.J. On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution . Fundamenta Informaticae, 87, 1 (2008), 79-91.

Díaz, D., Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A. A uniform family of tissue P systems with cell division solving 3-COL in a linear time. Theoretical Computer Science, 404, 1-2 (2008), 76-87.

Csuhaj-Varju, E., Di Nola, A., Paun, Gh., Pérez-Jiménez, M.J., Vaszil, G. Editing configurations of P systems. Fundamenta Informaticae, 82, 1-2 (2008), 29-46. A preliminary version in Gutiérrez, M.A., Riscos, A., Romero, F.J., Sburlan, D. (eds.) Proceedings of the Third Brainstorming Week on Membrane Computing, Report RGNC 01/2005, Fénix Editora, 2005, 131-154.

Cardona, M., Colomer, M.A., Pérez-Jiménez, M.J. Hierarchical clustering with Membrane Computing. Computing and Informatics, 27, 3+ (2008), 497-513. A preliminary version in Ekeftherakis, G., Kefalas, P., Paun, Gh. (eds.) Proceedings of the Eighth Workshop on Membrane Computing, Thessaloniki, Greece, June 25-28, 2007, pp. 185-203.

Paun, Gh., Pérez-Jiménez, M.J., Riscos, A. Tissue P systems with cell division. International Journal of Computers, Communications & Control, Vol. III, 3 (2008), 295-303.

Díaz, D., Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A., Romero, A. Computational efficiency of cellular division in tissue-like P systems. Romanian Journal of Information Science and Technology, 11, 3 (2008), 229-241.

Paun, Gh., Pérez-Jiménez, M.J., Yokomori, T. Representations and characterizations of languages in Chomsky hierarchy by means of insertion-deletion systems. International Journal of Foundations of Computer Science, 19, 4 (2008), 859-871.

Chen, H., Ionescu, M., Ishdorj, T.O., Paun, A., Paun, Gh., Pérez-Jiménez, M.J. Spiking Neural P systems with extended rules: universality and languages. Natural Computing, 7, 2 (2008), 147-166.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Ramírez, D. A software tool for verification of spiking neural P systems. Natural Computing, 7, 4 (2008), 485-497 (http://dx.doi.org/10.1007/s11047-008-9083-y).

Paun, Gh., Pérez-Jiménez, M.J. Spiking Neural P systems: An overview. In A. Porto, A. Pazos, W. Buno (eds.) Advancing Artificial Intelligence through Biological Process Applications, Medical Information Science Reference, IGI Global, 2008, Chapter IV, 59-72.

Díaz, D., Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A. A Fast Solution to the Partition Problem by Using Tissue-Like P Systems. In Kearney, D., Nguyen, V., Gioiosa, G., Hendtlass, T. (eds.) Proceedings of the Third International Conference on Bio-Inspired Computing: Theories and Applications, University South Australia, IEEE Catalog Number CFP0801F-PRT, Adelaide, Australia, 28 September, 1 October 2008, ISBN 978-1-4244-2724-6, pp. 43-47. A preliminary version in Díaz, D., Graciani, C., Gutiérrez, M.A., Paun, Gh., Pérez--Hurtado, I., Riscos, A. (eds.) Proceedings of the Sixth Brainstorming Week on Membrane Computing, Report RGNC 01/08, Fénix Editora, 2008, ISBN 978-84-612-4429-4, pp. 123-134.

Ceterchi, R., Pérez-Jiménez, M.J., Tomescu, A.I. Sorting omega networks simulated with P systems: Optimal data layouts. International Workshop on Computing with Biomolecules, August 27th, 2008, Wien, Austria, Osterreichische Computer Gesellschaft Komitee fur Offentlichkeitsarbeit, pp. 29-42. A preliminary version in Díaz, D., Graciani, C., Gutiérrez, M.A., Paun, Gh., Pérez--Hurtado, I., Riscos, A. (eds.) Proceedings of the Sixth Brainstorming Week on Membrane Computing, Report RGNC 01/08, Fénix Editora, 2008, ISBN 978-84-612-4429-4, pp. 79-92.

Rivero, E., Gutiérrez, M.A., Pérez-Jiménez, M.J. Graphics and P systems: Experiments with JPLANT. In Díaz, D., Graciani, C., Gutiérrez, M.A., Paun, Gh., Pérez--Hurtado, I., Riscos, A. (eds.) Proceedings of the Sixth Brainstorming Week on Membrane Computing, Report RGNC 01/08, Fénix Editora, 2008, ISBN 978-84-612-4429-4, pp. 241-254.

2007

Ciobanu, G., Pan, L., Paun, Gh., Pérez-Jiménez, M.J. P systems with minimal parallelism. Theoretical Computer Science, 378, 1 (2007), 117-130.

Paun, Gh., Pérez-Jiménez, M.J., Salomaa, A. Spiking neural P systems: An early survey. International Journal of Foundations of Computer Science, 18, 3 (2007), 435-455.

Romero, F.J., Gheorghe, M., Ciobanu, G., Auld, J.M., Pérez-Jiménez, M.J. Cellular modelling using P systems and process algebra. Progress in Natural Science, 17, 4 (2007), 375-383.

Cheruku, S., Paun, A., Romero, F.J., Pérez-Jiménez, M.J., Ibarra, O.H. Simulating FAS-induced apoptosis by using P systems. Progress in Natural Science, 17, 4 (2007), 424-431. A preliminary version in Pan, L., Paun, Gh. (eds.) Pre-proceedings of the First International Conference on Bio-Inspired Computing: Theory and Applications (BIC-TA 2006), Wuhan, China, September 18-22, 2006, pp. 71-81.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A., Romero, F.J. How to express tumours using membrane systems. Progress in Natural Science, 17, 4 (2007), 449-457.

Chen, H., Freund, R., Ionescu, M., Paun, Gh., Pérez-Jiménez, M.J. On string languages generated by Spiking Neural P systems. Fundamenta Informaticae, 75, 1-4 (2007), 141-162. A

preliminary version in Gutiérrez, M.A., Paun, Gh., Riscos, A., Romero, F.J. (eds.) Proceedings of the Fourth Brainstorming Week on Membrane Computing, Volume I, Report RGNC 02/06, Fénix Editora, 2006, 170-193.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A. On the degree of parallelism in membrane systems. Theoretical Computer Science, 372, 2-3 (2007), 183-195.

Paun, Gh., Pérez-Jiménez, M.J. Editorial. Fourth Brainstorming Week in Membrane Computing. Theoretical Computer Science, 372, 2-3 (2007), 123-124.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Romero, F.J. A uniform solution to SAT using membrane creation. Theoretical Computer Science, 371, 1-2 (2007), 54-61.

Paun, Gh., Pérez-Jiménez, M.J. , Rozenberg, Gr. Computing morphisms by spiking neural P systems. International Journal of Foundations of Computer Science, 18, 6 (2007), 1371-1382.

Díaz, D., Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A. A linear-time tissue P system based solution for the 3-coloring problem. Electronic Notes in Theoretical Computer Science, 171, (2007), 81-93.

Borrego, R., Díaz, D., Pérez-Jiménez, M.J. Tissue simulator: A graphical tool for tissue P systems. In Gy. Vaszil (ed.) Proceedings of the International Workshop Automata for Cellular and Molecular Computing, satellite of the 16th International Symposium on Fundamentals of Computational Theory, MTA SZTAKI, Budapest, Hungary, August 31, 2007, 23-34.

Jack, J., Romero, F.J., Pérez-Jiménez, M.J., Ibarra, O.H., Paun, GH. Simulating apoptosis using discrete methods: A membrane system and a stochastic approach. In Domaratzki, M. and Salomaa , K. (eds.) Proceedings of the Language Theory in Biocomputing Workshop, satellite of the Unconventional Computation, UC'07, Kingston, Ontario, Canada, August 15, 2007, 50-63.

Alhazov, A., Pérez-Jiménez, M.J. Uniform solution of QSAT using polarizationless active membranes. In Durand-Lose, J., and Margenstern, M. (eds.) Machines, Computations, and Universality. Lecture Notes in Computer Science, 4664 (2007), 122-133. A preliminary version in Gutiérrez, M.A., Paun, Gh., Riscos, A., Romero, F.J. (eds.) Proceedings of the Fourth Brainstorming Week on Membrane Computing, Volume I, Report RGNC 02/06, Fénix Editora, 2006, 29-40.

Ceterchi, R., Pérez-Jiménez, M.J., Tomescu, A.I. Simulating the bitonic sort using P systems. In Elefterakis, G., Kefalas, P., Paun, Gh., Rozenberg, G., Salomaa, A. (eds.) Membrane Computing, 8th International Workshop, WMC 2007, Tessaloniki, Greece, June 25-28, 2007, Revised, Selected, and Invited Papers. Lecture Notes in Computer Science, 4860 (2007), 172-192. A preliminary version in Ekeftherakis, G., Kefalas, P., Paun, Gh. (eds.) Proceedings of the Eighth Workshop on Membrane Computing, Thessaloniki, Greece, June 25-28, 2007, pp. 205-226.

Díaz, D., Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A. A logarithmic bound for solving Subset Sum with P systems. In Elefterakis, G., Kefalas, P., Paun, Gh., Rozenberg, G., Salomaa, A. (eds.) Membrane Computing, 8th International Workshop, WMC 2007, Tessaloniki, Greece, June 25-28, 2007, Revised, Selected, and Invited Papers. Lecture Notes in Computer Science, 4860

(2007), 257-270. A preliminary version in Ekeftherakis, G., Kefalas, P., Paun, Gh. (eds.) Proceedings of the Eighth Workshop on Membrane Computing, Thessaloniki, Greece, June 25-28, 2007, pp. 301-315.

Díaz, D., Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A. Solving Subset Sum in linear time by using tissue P systems with cell division. In Mira, J., Alvarez, J.R. (eds.) Bio-inspired Modeling of cognitive tasks. Lecture Notes in Computer Science, 4527 (2007), 170-179.

Mauri, G., Pérez-Jiménez, M.J., Zandron, C. On a Paun's conjecture in membrane systems. In Mira, J., Alvarez, J.R. (eds.) Bio-inspired Modeling of cognitive tasks. Lecture Notes in Computer Science, 4527 (2007), 180-192.

Pérez-Jiménez, M.J. Un marco formal para modelos de computación bio-inspirados. In A. Nepomuceno, F.J. Salguero, F. Soler (eds.) Lógica, Filosofía del Lenguaje y de la Lógica, Mergablum, Edición y Comunicación S.L., 2007, chapter XVII, 241-260.

Díaz, D., Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A. A linear-time solution for the Subset Sum problem with tissue P systems with cell division. In M.A. Gutiérrez, Gh. Paun, A. Romero, A. Riscos (eds.) Proceedings of the Fifth Brainstorming Week on Membrane Computing, Report RGNC 01/07, Fénix Editora, ISBN 978-84-611-6776-0, 2007, pp. 113-130.

Freund, R., Paun, Gh., Pérez-Jiménez, M.J. Polarizationless P systems with active membranes working in the minimally parallel mode. Unconventional Computation 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007. Proceedings. Lecture Notes in Computer Science, 4618 (2007), 62-76. A preliminary version in Gutiérrez, M.A., Paun, Gh., Romero, A., Riscos , A. (eds.) Proceedings of the Fifth Brainstorming Week on Membrane Computing, Report RGNC 01/07, Fénix Editora, ISBN 978-84-611-6776-0, 2007, pp. 131-155.

Pérez-Jiménez, M.J., Yokomori, T. Membrane Computing schema based on string insertions. In Gutiérrez, M.A., Paun, Gh., Romero, A., Riscos, A. (eds.) Proceedings of the Fifth Brainstorming Week on Membrane Computing, Report RGNC 01/07, Fénix Editora, ISBN 978-84-611-6776-0, 2007, pp. 282-297.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A. Multidimensional descriptional complexity of P systems. Journal of Automata, Languages and Combinatorics, 12, 1-2 (2007), 167-179. A preliminary version in C. Mereghetti, B. Palano, G. Pighizzini, D. Wotschke (eds.) Proceedings of the 7th International Workshop on Descriptional Complexity of Formal Systems, Como, Italy, June 30 - July 2, 2005, 134-145.

2006

Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A., Romero, F.J. Computational efficiency of dissolution rules in membrane systems. International Journal of Computer Mathematics, Taylor and Francis Ltd, Abingdon, Oxon, UK, 83, 7 (2006), 593-611.

Paun, Gh., Pérez-Jiménez, M.J., Rozenberg, Gr. International Journal of Foundations of Computer Science, 17, 4 (2006), 975-1002.

Paun, Gh., Pérez-Jiménez, M.J. Membrane Computing: Brief introduction, recent results and applications. BioSystems, 85, 1 (2006), 11-22.

Ciobanu, G., Paun, Gh., Pérez-Jiménez, M.J. On the branching complexity of P systems. Fundamenta Informaticae, 73, 1-2 (2006), 27-36.

Paun, Gh., Pérez-Jiménez, M.J. Preface. Special Issue: Membrane Computing. International Journal of Foundations of Computer Science, 17, 1 (2006), 1-2.

Ceterchi, R., Pérez-Jiménez, M.J. On simulating a class of parallel architectures. International Journal of Foundations of Computer Science, 17, 1 (2006), 91-110. A preliminary version in Gutiérrez, M.A., Paun, Gh., Pérez-Jiménez, M.J. (eds.) Cellular Computing (Complexity Aspects). European Science Foundation (ESF) - Standing Committee for Physical and Engineering Science (PESC). Exploratory Workshop, Sevilla, January 31-February 2, 2005. Fenix Editora, 2005, pp. 131-148.

Chen, H., Ishdorj, T-O., Paun, Gh., Pérez-Jiménez, M.J. Handling languages with spiking neural P systems with extended rules. Romanian Journal of Information Science and Technology, Publishing House of the Romanian Academy, 9, 3 (2006), 151-162.

Pérez-Jiménez, M.J., Romero, A., Sancho, F. A polynomial complexity class in P systems using membrane division. Journal of Automata, Languages and Combinatorics, 11, 4 (2006), 423-434. A preliminary version in Csuhaj-Varjú, E., Kintala, C., Wotschke, D., Vaszil, Gy. (eds.) Proceedings of the Fifth International Workshop on Descriptional Complexity of Formal Systems, DCFS 2003, Budapest, Hungary, July 12-14, 2003, pp. 284-294.

Paun, Gh., Pérez-Jiménez, M.J. (eds.). Selected papers devoted to Membrane Computing. Editorial. Journal of Automata, Languages and Combinatorics, 11, 3 (2006), 239.

Pérez-Jiménez, M.J., Romero, F.J. P systems, a new computational modelling tool for Systems Biology. Transactions on Computational Systems Biology VI. Lecture Notes in Bioinformatics, 4220 (2006), 176-197

Paun, Gh., Pérez-Jiménez, M.J., Salomaa, A. Bounding the indegree of Spiking Neural P systems. Turku Center for Computer Science - TUCS, Report Nr. 773, June 2006.

Bernardini, F., Romero, F.J., Gheorghe, M., Pérez-Jiménez, M.J. A modeling approach based on P systems with bounded parallelism. In Hoogeboon, H.J., Paun, Gh., Rozenberg, G., Salomaa, A. (eds.) Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 2006, Revised, Selected, and Invited Papers. Lecture Notes in Computer Science, 4361 (2006), 49-65.

Paun, A., Pérez-Jiménez, M.J., Romero, F.J. Modeling signal transduction using P systems. In Hoogeboon, H.J., Paun, Gh., Rozenberg, G., Salomaa, A. (eds.) Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 2006, Revised, Selected, and Invited Papers. Lecture Notes in Computer Science, 4361 (2006), 100-122.

Cardona, M., Colomer, M.A., Pérez-Jiménez, M.J., Zaragoza, A. Classifying states of a finite Markov chains with Membrane Computing. In Hoogeboon, H.J., Paun, Gh., Rozenberg, G.,

Salomaa, A. (eds.) Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 2006, Revised, Selected, and Invited Papers. Lecture Notes in Computer Science, 4361 (2006), 266-278. A preliminary version in Hoogeboon, H.J., Paun, Gh., Rozenberg, G. (eds.) Pre-proceedings of the Seventh Workshop on Membrane Computing, Leiden, The Netherlands, July 17-21, 2006, pp. 229-241.

Romero, F.J., Gheorghe, M., Bianco, L., Pescini, D., Pérez-Jiménez, M.J., Ceterchi, R. Towards probabilistic model checking on P systems using PRISM. In Hoogeboon, H.J., Paun, Gh. , Rozenberg, G., Salomaa, A. (eds.) Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 2006, Revised, Selected, and Invited Papers. Lecture Notes in Computer Science, 4361 (2006), 477-495. A preliminary version in Hoogeboon, H.J., Paun, Gh., Rozenberg, G. (eds.) Pre-proceedings of the Seventh Workshop on Membrane Computing, Leiden, The Netherlands, July 17-21, 2006, pp. 474-484.

Romero, A., Gutiérrez, M.A., Pérez-Jiménez, M.J. Graphical modeling of higher plants using P systems. In H.J. Hoogeboon, Gh. Paun, G. Rozenberg, A. Salomaa (eds.) Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 2006, Revised, Selected, and Invited Papers. Lecture Notes in Computer Science, 4361 (2006), 496-506. A preliminary version in Hoogeboon, H.J., Paun, Gh., Rozenberg, G. (eds.) Pre-proceedings of the Seventh Workshop on Membrane Computing, Leiden, The Netherlands, July 17-21, 2006, pp. 455-473.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A., Romero, F.J. A Membrane Computing view on tumours. In Pan, L., Paun, Gh. (eds.) Pre-proceedings of the First International Conference on Bio-Inspired Computing: Theory and Applications (BIC-TA 2006), Wuhan, China, September 18-22, 2006, pp. 103-112.

Pérez-Jiménez, M.J. P systems-based modelling of cellular signalling pathways (invited talk). In Hoogeboon, H.J., Paun, Gh., Rozenberg, G. (eds.) Pre-proceedings of the Seventh Workshop on Membrane Computing, Leiden, The Netherlands, July 17-21, 2006, pp. 54-73.

Cardona, M., Colomer, M.A., Pérez-Jiménez, M.J., Zaragoza, A. Handling Markov chains with Membrane Computing. In Calude, C.S., Dinneen, M.J., Paun, Gh. (eds.) Unconventional Computation: 5th International Conference, UC 2006. Lecture Notes in Computer Science, 4135 (2006), 72-85.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A., Romero, F.J., Romero, A. Characterizing tractability by cell-like membrane systems. In Subramanian, K.G., Rangarajan, K., Mukund, M. (eds.) Formal models, languages and applications, World Scientific, Series in Machine Perception and Artificial Intelligence - Vol. 66, 2006, chapter 9, pp. 137-154.

Díaz, D., Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A. An efficient solution to 3-COL with tissue P systems. Pre-proceedings of the Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2006 (Satellite of the 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006) , Venice, Italy, July 9, 2006, pp. 1-12.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A., Romero, F.J. Cell-like and tissue-like membrane systems as recognizer devices. In Pelta, D.A., Krasnogor, N. (eds.) Proceedings of

the Workshop on Nature Inspired Cooperative Strategies for Optimization, NICSO 2006, June 29-30, 2006, Granada, Spain, pp. 173-186.

Ionescu, M., Paun, A., Paun, Gh., Pérez-Jiménez, M.J. Computing with spiking neural P systems: Traces and small universal systems. In Mao, C., Yokomori, T. (eds.) DNA 12. Lecture Notes in Computer Science, 4287 (2006), 1-16. A preliminary version in Mao, C., Yokomori, Y., Zhang, B.-T. (eds.), Proceedings of the 12th International Meeting on DNA Computing, Seoul, Korea, June 2006, pp. 32-42.

Chen, H., Ishdorj, T-O., Paun, Gh., Pérez-Jiménez, M.J. Spiking Neural P systems with extended rules. In Gutiérrez, M.A., Paun, Gh., Riscos, A., Romero, F.J. (eds.) Proceedings of the Fourth Brainstorming Week on Membrane Computing, Volume I, Report RGNC 02/06, Fénix Editora, 2006, pp. 241-265.

Gutiérrez, M.A., Pérez-Jiménez, M.J. Fractals and P systems. In Graciani, C., Paun, Gh., A. Romero, A., Sancho, F. (eds.) Proceedings of the Fourth Brainstorming Week on Membrane Computing, Volume II, Report RGNC 03/06, Fénix Editora, 2006, pp. 65-86.

Romero, A., Gutiérrez, M.A., Pérez-Jiménez, M.J. The growth of branching structures with P systems. In Graciani, C., Paun, Gh., Romero, A., Sancho, F. (eds.) Proceedings of the Fourth Brainstorming Week on Membrane Computing, Volume II, Report RGNC 03/06, Fénix Editora, 2006, pp. 253-265.

Bernardini, F., Gheorghe, M., Krasnogor, N., Muyinandi, R.C., Pérez-Jiménez, M.J., Romero, F.J. On P systems as a modelling tool for biological systems. In Freund, R., Paun, Gh., Rozenberg, Gr., Salomaa , A.(eds.) Membrane Computing, 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 3850 (2006), 114-133. A preliminary version in Freund, R., Lojka, G., Oswald, M., Paun, Gh. (eds.) Pre-Proceedings of the Sixth International Workshop on Membrane Computing, WMC6. Vienna University of Technology, July 18-21, 2005, Vienna, Austria, pp. 193-213.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A., Romero, F.J. On the power of dissolution in P systems with active membranes. In Freund, R., Paun, Gh., Rozenberg, Gr., Salomaa, A. (eds.) Membrane Computing, 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 3850 (2006), 224-240. A preliminary version in Freund, R., Lojka, G., Oswald, M., Paun, Gh. (eds.) Pre-Proceedings of the Sixth International Workshop on Membrane Computing, WMC6. Vienna University of Technology, July 18-21, 2005, Vienna, Austria, pp. 373-394.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Romero, F.J. A linear time solution for QSAT with membrane creation. In R. Freund, Gh. Paun, Gr. Rozenberg, A. Salomaa (eds.) Membrane Computing, 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 3850 (2006), 241-252. A preliminary version in Freund, R., Lojka, G., Oswald, M., Paun, Gh. (eds) Pre-Proceedings of the Sixth International Workshop on Membrane Computing, WMC6. Vienna University of Technology, July 18-21, 2005, Vienna, Austria, pp. 395-409.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos N., A. Available membrane computing software. In Ciobanu, G., Paun, Gh., Pérez-Jiménez, M.J. (eds.) Applications of Membrane Computing, Natural Computing Series, Springer-Verlag, 2006, Chapter 15, pp. 411-436.

Pérez-Jiménez, M.J., Romero, A., Sancho, F. Computationally hard problems addressed through P systems. In Ciobanu, G., Paun, Gh., Pérez-Jiménez, M.J. (eds.) Applications of Membrane Computing, Natural Computing Series, Springer-Verlag, 2006, Chapter 12, pp. 315-346.

Pérez-Jiménez, M.J. Tratamiento computacional de la incertidumbre mediante sistemas celulares con membranas. In F. Martínez, L.M. Peña (eds.) Actas del V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, November 29, December 1, 2006, Granada, Spain, pp. 607-609

2005

Paun, Gh., Pérez-Jiménez, M.J. Foreword. Second Brainstorming Week on Membrane Computing, Soft Computing Special Issue. Soft Computing, 9, 9 (2005), 629-630.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos N., A. A fast P system for finding a balanced 2-partition. Soft Computing, 9, 9 (2005), 673-678.

Pérez-Jiménez, M.J., Riscos N., A. Solving the Subset-Sum problem by P systems with active membranes. New Generation Computing, 23, 4 (2005), 367-384.

Paun, Gh. , Pazos, J., Pérez-Jiménez, M.J., Rodríguez-Patón, A. Symport/Antiport P systems with three objects are universal. Fundamenta Informaticae, Annales Societatis Mathematicae Polonae, Series IV, IOS Press, Amsterdan, 64, 1-4 (2005), 353-367.

Freund, R., Paun, Gh., Pérez-Jiménez, M.J. Tissue-like P systems with channel-states. Theoretical Computer Science, 330, 1 (2005), 101-116. A preliminary version in Paun, Gh., Riscos, A., Romero, A., Sancho, F. (eds.) Proceedings of the Second Brainstorming Week on Membrane Computing, Report RGNC 01/2004, 2004, pp. 206-223.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos N., A. Towards a programming language in cellular computing. Electronic Notes in Theoretical Computer Science, Elsevier B.V., 123 (2005), 93-110. A preliminary version in Paun, Gh., Riscos, A., Romero, A., Sancho, F. (eds.) Proceedings of the Second Brainstorming Week on Membrane Computing, Report RGNC 01/2004, 2004, pp. 247-257.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A., Romero, F.J. P systems with active membranes, without polarizations and without dissolution: A characterization of P. In Calude, C.S., Dinneen, M.J., Paun, Gh., Pérez Jiménez, M.J., Rozenberg, Gr. (eds.) Unconventional Computation, 4th International Conference, UC 2005. Lecture Notes in Computer Science, 3699 (2005), 105-116.

Bernardini, F., Romero, F.J., Gheorghe, M., Pérez-Jiménez, M.J., Margenstern, M., Verlan, S., Krasnogor, N. On P systems with bounded parallelism. Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), IEEE Computer

Society, ISBN 0-7695-2453-2, 2005, pp. 399-406. A preliminary version in Ciobanu, G., Paun, Gh. (eds.) Proceedings of the First International Workshop on Theory and Applications of P Systems, Research Institute e-Austria, Timisoara, Romania, 2005, pp. 31-36.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A., Romero, F.J. Characterizing tractability with membrane creation. Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), IEEE Computer Society, ISBN 0-7695-2453-2, 2005, pp. 448-457. A preliminary version in Ciobanu, G., Paun, Gh. (eds.) Proceedings of the First International Workshop on Theory and Applications of P Systems, Research Institute e-Austria, Timisoara, Romania, 2005, pp. 61-68.

Pérez-Jiménez, M.J., Romero, F.J. Modelling vibrio fischeri's behaviour using P systems. Proceedings of the Systems Biology Workshop at VIIIth European Conference on Artificial Life, September 5-9, 2005, Kent, U.K.

Graciani, C., Pérez-Jiménez, M.J. Automated reasoning systems and molecular computing. In M.J. Pérez-Jiménez, A. Romero, F. Sancho (eds.) Recent results in Natural Computing. Fénix Editora, 2005, pp. 47-78.

Pérez-Jiménez, M.J., Romero, F.J. Membrane computing as production systems. In Pérez-Jiménez, M.J., Romero, A., Sancho, F. (eds.) Recent results in Natural Computing. Fénix Editora, 2005, pp. 167-204.

Pérez-Jiménez, M.J., Sancho, F. Formal verification of programs in molecular models with random access memory. In Pérez-Jiménez, M.J., Romero, A., Sancho, F. (eds.) Recent results in Natural Computing. Fénix Editora, 2005, pp. 205-229.

Pérez-Jiménez, M.J., Sancho, F. Generating pairwise disjoint families through DNA computations. In M.J. Pérez-Jiménez, A. Romero, F. Sancho (eds.) Recent results in Natural Computing. Fénix Editora, 2005, pp. 231-246.

Pérez-Jiménez, M.J., Romero, F.J. A study of the robustness of the EGFR signalling cascade using continuous membrane systems. In Mira, J., Alvarez, J.R. (eds.) Mechanisms, symbols and models underlying cognition, First International Work-Conference on the interplay between Natural and Artificial Computation, IWINAC 2005. Lecture Notes in Computer Science, 3561 (2005), 268-278.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Romero, F.J. A linear solution of Subset Sum problem by using membrane creation. In Mira, J., Alvarez, J.R. (eds.) Mechanisms, symbols and models underlying cognition, First International Work-Conference on the interplay between Natural and Artificial Computation, IWINAC 2005. Lecture Notes in Computer Science, 3561 (2005), 258-267.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos, A. A simulator for confluent P systems. In Gutiérrez, M.A., Riscos, A., Romero, F.J., Sburlan, D. (eds.) Proceedings of the Third Brainstorming Week on Membrane Computing, Report RGNC 01/2005, Fénix Editora, 2005, pp. 169-184.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Romero, F.J. Simulating avascular tumors with membrane systems. In Gutiérrez, M.A., Riscos, A., Romero, F.J., Sburlan, D. (eds.) Proceedings of the Third Brainstorming Week on Membrane Computing, Report RGNC 01/2005, Fénix Editora, 2005, pp. 185-196.

Gutiérrez, M.A., Pérez-Jiménez, M.J. P systems with membrane creation and rule input. In Gutiérrez, M.A., Paun, Gh., Pérez-Jiménez, M.J. (eds.) Cellular Computing (Complexity Aspects). European Science Foundation (ESF) - Standing Committee for Physical and Engineering Science (PESC). Exploratory Workshop, Sevilla, January 31-February 2, 2005. Fenix Editora, 2005, pp. 209-224.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos N., A. Multidimensional Sevilla Carpets associated with P systems. In Gutiérrez, M.A., Paun, Gh., Pérez-Jiménez, M.J. (eds.) Cellular Computing (Complexity Aspects). European Science Foundation (ESF) - Standing Committee for Physical and Engineering Science (PESC). Exploratory Workshop, Sevilla, January 31-February 2, 2005. Fenix Editora, 2005, pp. 225-235.

Pérez-Jiménez, M.J. Computational complexity aspects of membrane computing: Ideas, results, open problems. In Gutiérrez, M.A., Paun, Gh., Pérez-Jiménez, M.J. (eds.) Cellular Computing (Complexity Aspects). European Science Foundation (ESF) - Standing Committee for Physical and Engineering Science (PESC). Exploratory Workshop, Sevilla, January 31-February 2, 2005. Fenix Editora, 2005, pp. 277-292.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Romero, F.J. Solving SAT with membrane creation. Computability in Europe 2005 (CiE 2005): New Computational Paradigms (S. Barry Cooper, B. Lowe, L. Torenvliet, eds.), Report ILLC X-2005-01, University of Amsterdam, pp. 82--91.

Pérez-Jiménez, M.J., Romero, F.J. Modelling EGFR signalling network using continuous membrane systems. In Plotkin, G. (ed.) Proceedings of the Third International Workshop on Computational Methods in Systems Biology, CMSB 2005 (Satellite of the European Joint Conference on Theory and Practice of Software, ETAPS 2005), Edinburgh, April 3-5, 2005, pp. 118-129.

Graciani, C., Pérez-Jiménez, M.J. Using automated reasoning systems on molecular computing. In Ferretti, C., Mauri, G., Zandron, C. (eds.) International Meeting on DNA Computing, DNA 10. Lecture Notes in Computer Science, 3384 (2005), 128-137. A preliminary version in Preliminary Proceedings of The Tenth International Meeting on DNA Computing, DNA 10 (C. Ferretti, G. Mauri, C. Zandron, eds.), Universitá di Milano-Bicocca, Italy, June 7-10, 2004, pp. 36-45.

Margenstern, M., Mitrana, V., Pérez-Jiménez, M.J. Accepting hybrid networks of evolutionary processors. In Ferretti, C., Mauri. G., Zandron, C. (eds.) International Meeting on DNA Computing, DNA 10. Lecture Notes in Computer Science, 3384 (2005), 235-246. A preliminary version in Preliminary Proceedings of The Tenth International Meeting on DNA Computing, DNA 10 (In Ferretti, C., Mauri, G., Zandron, C., (eds.), Universitá di Milano-Bicocca, Italy, June 7-10, 2004, pp. 107-117.

Cordón, A., Gutierrez, M.A., Pérez-Jiménez, M.J., Riscos N., A. Cellular solutions to some numerical NP-complete problems: A Prolog implementation. In Gheorghe, M. (ed.) Molecular

Computational Models: Unconventional Approaches, Idea Group Publishing, 2005, chapter V, pp. 115-149.

Pérez-Jiménez, M.J. Una visión computacional de la célula. In Nepomuceno, A., Salguero, F.J., Soler, F. (eds.) Estudios de Lógica y Lenguaje (I), Mergablum, Edición y Comunicación S.L., 2005, chapter XI, pp. 197-228.

Pérez-Jiménez, M.J. An approach to computational complexity in Membrane Computing. In Mauri, G., Paun, Gh., Pérez-Jiménez, M. J., Rozenberg, Gr., Salomaa, A. (eds.) Membrane Computing, 5th International Workshop, WMC5, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 3365 (2005), 85-109. A preliminary version in Proceedings of the Brainstorming Workshop on Uncertainty in Membrane Computing, Palma de Mallorca, November 8-10, 2004, Edició del Department de Matemàtiques i Informàtica de la Universitat de les Illes Balears, pp. 67-94.

Ceterchi, R., Pérez-Jiménez, M.J. On two-dimensional mesh networks and their simulation with P systems. In Mauri, G., Paun, Gh., Pérez-Jiménez, M. J., Rozenberg, Gr., Salomaa, A. (eds.) Membrane Computing, 5th International Workshop, WMC5, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 3365 (2005), 259-277.

Cordón, A., Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos N., A. Exploring computation trees associated with P systems. In Mauri, G., Paun, Gh., Pérez Jiménez, M. J., Rozenberg, Gr., Salomaa, A. (eds.) Membrane Computing, 5th International Workshop, WMC5, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 3365 (2005), 278-286. A preliminary version in Mauri, G., Paun, Gh., Zandron, C. (eds.) Proceedings of the Fifth Workshop on Membrane Computing, WMC5 , MolCoNet project-IST-2001-32008, Universitá di Milano-Bicocca, Italy, June 14-16, 2004, pp. 196-204

Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos N., A. On descriptive complexity in P systems. In Mauri, G., Paun, Gh., Pérez Jiménez, M. J., Rozenberg, Gr., Salomaa, A. (eds.) Membrane Computing, 5th International Workshop, WMC5, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 3365 (2005), 320-330. A preliminary version in Mauri, G., Paun, Gh., Zandron, C. (eds.) Proceedings of the Fifth Workshop on Membrane Computing, WMC5 , MolCoNet project-IST-2001-32008, Universitá di Milano-Bicocca, Italy, June 14-16, 2004, pp. 245-254.

Pérez-Jiménez, M.J., Romero, F.J. Trading polarizations for bi-stable catalysts in P systems with active membranes. In Mauri, G., Paun, Gh., Pérez Jiménez, M. J., Rozenberg, Gr., Salomaa, A. (eds.) Membrane Computing, 5th International Workshop, WMC5, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 3365 (2005), 373-388. A preliminary version in Mauri, G., Paun, Gh., Zandron, C. (eds.) Proceedings of the Fifth Workshop on Membrane Computing, WMC5 , MolCoNet project-IST-2001-32008, Universitá di Milano-Bicocca, Italy, June 14-16, 2004, pp. 327-342.

Pérez-Jiménez, M.J., Romero, F.J. Attacking the Common Algorithmic Problem by recognizer P systems. In M. Margenstern (ed.) Machines, Computations and Universality, MCU'2004, Saint Petesburg, Russia, September 2004, Revised Selected Papers Lecture Notes in Computer

Science, 3354 (2005), 304-315. An abstract of the paper in Pre-proceedings of the Machines, Computations and Universality, MCU'2004 (abstracts), September 21-26, 2004, San Petesburgo, p. 27.

2004

Paun, Gh., Pérez-Jiménez, M.J., Sancho, M.J. On the reachability problem for p systems with Symport/antiport Publicationes Mathematicae-Debrecen, tomus 65, Suplementum (2004), 603-627. Cordón, A., Gutiérrez, M.A., Pérez-Jiménez, M.J., Sancho, F. A Prolog simulator for deterministic P systems with active membranes. New Generation Computing, 22, 4 (2004), 349-363.

Pérez-Jiménez, M.J., Romero, F.J. An efficient family of P systems for packing items into bins. Journal of Universal Computer Science, 10, 5 (2004), 650-670.

Paun, Gh., Pérez-Jiménez, M.J. Second Brainstorming Week on Membrane Computing, J.UCS Special Issue. Journal of Universal Computer Science, 10, 5 (2004), 499-501.

Pérez-Jiménez, M.J., Romero, A., Sancho, F. Modelos de Computación Celular con Membranas. Boletín de la Sociedad Española de Matemática Aplicada, 29 (2004), 57-88.

Pérez-Jiménez, M.J. Modelos de Computación Natural. In Nepomuceno, A., Salguero, F.J., Soler, F. (eds.) Bases biológicas, lingüísticas y computacionales para la conceptualización de la mente, Mergablum. Edición y Comunicación S.L., 2004, chapter 8, pp. 199-245.

di Nola, A., Paun, Gh., Pérez-Jiménez, M.J., Roselló, F. (Imprecise topics about) Handling imprecision in P systems. Proceedings of the Brainstorming Workshop on Uncertainty in Membrane Computing, Palma de Mallorca, November 8-10, 2004, Edició del Department de Matemàtiques i Informàtica de la Universitat de les Illes Balears, pp. 1-10.

Pérez-Jiménez, M.J. Recognizer membrane systems (invited talk, abstract). Proceedings of the 16th European Conference on Artificial Intelligence, ECAI 2004, Workshop on Symbolic Networks, August 22-27, 2004, Valencia, p. 13.

Cordón, A., Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos N., A. Towards an efficient strategy for searching in P systems. Proceedings of the 16th European Conference on Artificial Intelligence, ECAI 2004, Workshop on Symbolic Networks, August 22-27, 2004, Valencia, pp. 15-25.

Ceterchi, R., Pérez-Jiménez, M.J. A perfect shuffle algorithm for reduction processes and its simulation with P systems. In Dzitac, I., Maghiar, T., Popescu, C. (eds.) Proceedings of the International Conference on Computers and Communications, ICCC 2004, Editura Universitatii din Oradea, Romania, 2004, pp. 92-97.

Pérez-Jiménez, M.J. Computational complexity in P systems (invited talk, abstract). In Mauri, G., Paun, Gh., Zandron, C. (eds.) Proceedings of the Fifth Workshop on Membrane Computing, WMC5 , MolCoNet project-IST-2001-32008, Universitá di Milano-Bicocca, Italy, June 14-16, 2004, p. 63.

Ceterchi, R., Pérez-Jiménez, M.J. Simulating parallel architectures with P systems (abstract). In Mauri, G., Paun, Gh., Zandron, C. (eds.) Proceedings of the Fifth Workshop on Membrane Computing, WMC5 , MolCoNet project-IST-2001-32008, Universitá di Milano-Bicocca, Italy, June 14-16, 2004, pp. 184-185.

Paun, Gh., Pérez-Jiménez, M.J., Riscos N., A. P systems with tables of rules. In Karhumaki, J., Maurer, H., Paun, Gh., Rozenberg, Gr. (eds.) Theory is Forever, Essays dedicated to Arto Salomaa on the ocassion of his 70th birthday, Lecture Notes in Computer Science, 3113 (2004), 235-249. A preliminary version in Paun, Gh., Riscos, A., cRomero, A., Sancho, F. (eds.) Proceedings of the Second Brainstorming Week on Membrane Computing, Report RGNC 01/2004, 2004, pp. 366-379.

Ceterchi, R., Pérez-Jiménez, M.J. Simulating shuffle-exchange networks with P systems. In Paun, Gh., Riscos, A., Romero, A., Sancho, F. (eds.) Proceedings of the Second Brainstorming Week on Membrane Computing, Report RGNC 01/2004, 2004, pp. 117-129.

Cordón, A., Gutiérrez, M.A., Pérez-Jiménez, M.J. Looking for P truth. In Paun, Gh., Riscos, A., Romero, A., Sancho, F. (eds.) Proceedings of the Second Brainstorming Week on Membrane Computing, Report RGNC 01/2004, 2004, pp. 134-138.

Cordón, A., Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos N., A. Weak metrics on configurations of a P system. In Paun, Gh., Riscos, A., Romero, A., Sancho, F. (eds.) Proceedings of the Second Brainstorming Week on Membrane Computing, Report RGNC 01/2004, 2004, pp. 139-151.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos N., A. An efficient cellular solution for the Partition problem. In Paun, Gh., Riscos, A., Romero, A., Sancho , F. (eds.) Proceedings of the Second Brainstorming Week on Membrane Computing, Report RGNC 01/2004, 2004, pp. 237-246.

Pérez-Jiménez, M.J., Romero, F.J. A CLIPS simulator for recognizer P systems with active membranes. In Paun, Gh., Riscos, A., Romero, A., Sancho, F. (eds.) Proceedings of the Second Brainstorming Week on Membrane Computing, Report RGNC 01/2004, 2004, pp. 387-413.

Pérez-Jiménez, M.J., Romero, F.J. Solving the Bin Packing problem by recognizer P systems with active membranes. In Paun, Gh., Riscos, A., Romero, A., Sancho, F. (eds.) Proceedings of the Second Brainstorming Week on Membrane Computing, Report RGNC 01/2004, 2004, pp. 414-430.

Pérez-Jiménez, M.J., Romero, A., Sancho, F. The P versus NP problem through cellular computing with membranes. In Jonoska, N., Paun, Gh., Rozenberg, Gr. (eds.) Aspects of Molecular Computing, Essays dedicated to Tom Head on the ocassion of his 70th birthday, Lecture Notes in Computer Science, 2950 (2004), 338-352.

Cordón, A., Gutierrez, M.A., Pérez-Jiménez, M.J., Riscos N., A., Sancho, F. Implementing in Prolog an effective cellular solution for the knapsack problem. In Martín-Vide, C., Paun, Gh., Rozenberg, Gr., Salomaa, A. (eds.) Membrane Computing. Lecture Notes in Computer Science, 2933 (2004), 140-152. A preliminary version in Alhazov, A., Martín Vide, C., Paun, Gh. (eds.),

Pre-proceedings of the Workshop on Membrane Computing, WMC-2003, Tarragona, Spain, July 17-22, pp. 2003, 185-196.

Pérez-Jiménez, M.J., Riscos N., A. A linear-time solution for the knapsack problem with active membranes. In Martín-Vide, C., Paun, Gh., Rozenberg, Gr., Salomaa, A. (eds.) Membrane Computing. Lecture Notes in Computer Science, 2933 (2004), 250-268. A preliminary version in Alhazov, A., Martín Vide, C., Paun, Gh. (eds.), Pre-proceedings of the Workshop on Membrane Computing, WMC-2003 , Tarragona, Spain, July 17-22, 2003, pp. 326-342.

Pérez-Jiménez, M.J., Romero, A. Computing partial recursive functions by transition P systems. In Martín-Vide, C., Paun, Gh., Rozenberg, Gr., Salomaa, A. (eds.) Membrane Computing. Lecture Notes in Computer Science, 2933 (2004), 320-340. A preliminary version in Alhazov, A., Martín Vide, C., Paun, Gh. (eds.), Pre-proceedings of the Workshop on Membrane Computing, WMC-2003, Tarragona, Spain, July 17-22, 2003, pp. 428-444.

2003

Pérez-Jiménez, M.J., Romero, A., Sancho, F. Complexity classes in models of cellular computing with membranes. Natural Computing, Kluwer Academic Publishers, 2, 3 (2003), 265-285.

Gutiérrez, M.A., Pérez-Jiménez, M.J., Riscos N., A. Solving numerical NP-complete problems using P systems with active membranes: the Partition problem and beyond. 2nd Annual Meeting of Project MolCoNet, Viena, Austria, November, 27-29, 2003, pp. 1-6.

Díaz, D., Pérez-Jiménez, M.J., Ramos, A. J. Molecular programs as formal systems (extended abstract). In Alvarez, E., Bosch, R., Villamil, L. (eds.) 12th International Congress of Logic, Methodology and Philosophy of Science. Volume of abstracts, Oviedo, Spain, August 7-13, 2003, pp. 160-161.

Borrego, J. y Fernández, A., Pérez-Jiménez, M.J. On Sigma-n definability in Arithmetic. In Rojszczak, A., Cachro, J., Kurczewski, G. (eds.) Philosophical Dimensions of Logic and Science. Selected Contributed Papers from the 11th International Congress of Logic, Methodology, and Philosophy and Science. Kluwer Academic Publishers, (2003), pp. 47-56. An extended abstract in Cachro, J. and Kijania-Placek, K. (eds.) 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of abstract, Cracow, Poland, August 20-26, 1999, p. 68.

Martín-Vide, C., Mitrana, V., Pérez-Jiménez, M.J., Sancho, F. Hybrid Networks of Evolutionary Processors. In Cantú-Paz, E., Jonoska et al., N. (eds.) Genetic and Evolution Computation. Lecture Notes in Computer Science, 2723 (2003), 401-412. A preliminary version in Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2003. Chicago, USA, July 12-16, 2003, pp. 404-415.

Graciani, C., Pérez-Jiménez , M.J. Using automated reasoning systems in Natural Computing (invited communication, abstract). First Joint Meeting between the RSME and the AMS, session 05: Biomolecular Mathematics, Volume of abstracts, Sevilla, Spain, 18-21 de junio, 2003, p. 4.

Pérez-Jiménez, M.J., Romero, A., Sancho, F. Complexity classes in cellular computing with membranes (invited talk, abstract). First Joint Meeting between the RSME and the AMS, session 05: Biomolecular Mathematics, Volume of abstracts, Sevilla, Spain, 18-21 de junio, 2003, p.4.

Gheorghe, M., Martín-Vide, C., Mitrana, V., Pérez-Jiménez, M.J. An agent based approach of collective foraging. In Mira, J., Alvarez, J.R. (eds.) Computational Methods in Neural Modeling, 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003, Lecture Notes in Computer Science, 2686 (2003), 638-645.

Pérez-Jiménez, M.J., Romero, A., Sancho, F. Complexity classes in P systems (abstract). Meeting of the European Molecular Computing Consortium. Volume of abstracts, Turku, Finland, May 15-17, 2003, p. 18.

Pérez-Jiménez, A., Pérez-Jiménez, M.J., Sancho, F. Computing a partial mapping by a P system: Design and Verification. In Cavaliere, M., Martín-Vide, C., Paun , Gh. (eds.) Proceedings of the Brainstorming Week on Membrane Computing, Report GRLMC 26/03, 2003, pp. 247-260.

Pérez-Jiménez, A., Pérez-Jiménez, M.J., Sancho, F. Formal verification of a transition P system generating the set {2^n+n^2+n: n>=1}. In Cavaliere, M., Martín-Vide, C., Paun, Gh. (eds.) Proceedings of the Brainstorming Week on Membrane Computing, Report GRLMC 26/03, 2003, pp. 261-269.

Pérez-Jiménez, M.J., Romero, A., Sancho, F. Complexity classes in cellular computing with membranes. In Cavaliere, M., Martín-Vide, C., Paun, Gh. (eds.) Proceedings of the Brainstorming Week on Membrane Computing, Report GRLMC 26/03, 2003, pp. 270-278.

Pérez-Jiménez, M.J., Romero, A. y Sancho, F. Solving VALIDITY problem by active membranes with input. In Cavaliere, M., Martín-Vide, ., Paun, Gh. (eds.) Proceedings of the Brainstorming Week on Membrane Computing, Report GRLMC 26/03, 2003, pp. 279-290.

Pérez-Jiménez, M.J., Sancho, F. Verification of non deterministic transition P ystems solving SAT problem. In Cavaliere, M., Martín-Vide, C., Paun, Gh. (eds.) Proceedings of the Brainstorming Week on Membrane Computing, Report GRLMC 26/03, 2003, pp. 291-304.

Paun, Gh., Pérez-Jiménez, M.J. Recent computability models inspired from Biology: DNA and membrane computing. Theoria, 18, 46 (2003), 72-84.

Balbontín, D., Pérez-Jiménez, M.J., Sancho, F. A MzScheme implementation of Transition P systems. In Paun, Gh., Rozenberg, Gr., Salomaa, A., Zandron, C. (eds.) Membrane Computing 2002. Lecture Notes in Computer Science, 2597 (2003), 58-73. A preliminary version in Paun, Gh., Zandron, C. (eds.) Pre-proceedings of Workshop on Membrane Computing 2002, MolCoNet project-IST-2001-32008, Publication No. 1, Curtea de Arges, Romanian, August 19-23, 2002, pp. 65-80.

Pérez-Jiménez, M.J., Romero, A., Sancho, F. Decision P systems and the P # NP conjecture. In Paun, Gh., Rozenberg, Gr., Salomaa, A., Zandron, C. (eds.) Membrane Computing 2002. Lecture Notes in Computer Science, 2597 (2003), 388-399. A preliminary version in Paun, Gh.,

Zandron, C. (eds.) Pre-proceedings of Workshop on Membrane Computing 2002, MolCoNet project-IST-2001-32008, Publication No. 1, Curtea de Arges, Romanian, August 19-23, 2002, pp. 345-354.

2002

Pérez-Jiménez, M.J., Romero Jiménez, A. Simulating Turing Machines by P systems with External Output. Fundamenta Informaticae, Annales Societatis Mathematicae Polonae, Series IV, IOS Press, Amsterdan, 49, 1-3 (2002), 273-287.

Pérez-Jiménez, M.J., Sancho, F. A formalization of transition P systems. Fundamenta Informaticae, Annales Societatis Mathematicae Polonae, Series IV, IOS Press, Amsterdan, 49, 1-3 (2002), 261-272.

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

Graciani, C., Martín, F.J., Pérez-Jiménez, M.J. Specification of Adleman's Restricted Model Using An Automated Reasoning System: Verification of Lipton's Experiment. In Calude, C., Dinneen, M.J., Peper, F. (eds.) Unconventional Models of Computation . Lecture Notes in Computer Science, 2509 (2002), 126-136.

Pérez-Jiménez, M.J., Romero, A. Generation of Diophantine Sets by Computing P Systems with External Output. In Calude, C., Dinneen, M.J., Peper , F. (eds.) Unconventional Models of Computation . Lecture Notes in Computer Science, 2509 (2002), 176-190.

Paun, Gh., Pérez-Jiménez, M.J., Sancho, F. On the Reachability Problem for P systems with Porters. Proceedings of the 10 the International Conference on Automata and Formal Languages, Debrecen, Hungary, August 13-18, 2002, pp. 1-3.

Alonso, J.A., Martín, F.J., Pérez-Jiménez, M.J., Sancho, F. Molecular computation models in ACL2: a simulation of Lipton's SAT experiment in the Adleman's restricted model. Proceeedings of the Third International Workshop on the ACL2 Theorem Prover and Its Applications, Grenoble, 8-9 Abril de 2002, pp. 175-187.

Graciani, C., Pérez-Jiménez, M.J., Romero, A., Sancho, F. Formalización computacional del experimento de Lipton sobre el problema SAT. Actas del Primer Congreso Español de Algoritmos Evolutivos y Bio-inspirados, Mérida, February 6-8, 2002, pp. 326-332.

Pérez-Jiménez, M.J., Sancho Caparrini, F. Solving Knapsack Problems in a Sticker Based Model. In Jonoska, N., Seeman, N.C. (eds.) DNA Computing. Lecture Notes in Computer Science, Spriger-Verlag, New York, 2340 (2002), 161-171. A preliminary version in Jonoska, N., Sedman, N.C. (eds.) Proceedings of the Seventh International Meeting on DNA Based Computers , Tampa, Florida, USA, 2001, pp. 94-104.