Home

Biblio

Export 524 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is Mario J. Pérez-Jiménez  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
Gutiérrez-Naranjo, M. A., & Pérez-Jiménez M. J. (2008).  A first model for hebbian learning with spiking neural P systems. 6th Brainstorming Week on Membrane Computing. 6, 211-233. Abstract
Paun, G., & Pérez-Jiménez M. J. (2005).  Foreword. Second Brainstorming Week on Membrane Computing in Seville 2004. Soft Computing. 9(9), 629-630.
Paun, G., & Pérez-Jiménez M. J. (2010).  Foreword. Special issue on Membrane Computing. Romanian Journal of Information Science and Technology. 13(2), 111-112.
Gheorghe, M., Paun G., & Pérez-Jiménez M. J. (2013).  Foreword. Special Issue: Membrane Computing. International Journal of Unconventional Computing. 9(5-6), 347-349.
Paun, G., & Pérez-Jiménez M. J. (2009).  Foreword. Special issue: Membrane Computing. Fifth Brainstorming Week on Membrane Computing.. International Journal of Unconventional Computing. 5(5), 389-390. Abstract
Ipate, F., Lefticaru R., Pérez-Hurtado I., Pérez-Jiménez M. J., & Tudose C. (2011).  Formal Veri cation of P Systems with Active Membranes through Model Checking. 12th International Conference on Membrane Computing (CMC12). 241-252. Abstract
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.
Ipate, F., Lefticaru R., Pérez-Hurtado I., Pérez-Jiménez M. J., & Tudose C. (2012).  Formal verification of P systems with active membranes through model checking. Lecture Notes in Computer Science. 7184, 215-225. Abstract
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., 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).  A Formalization of Transition P Systems. Fundamenta Informaticae. 49(1-3), 261-272. Abstract
Gutiérrez-Naranjo, M. A., & Pérez-Jiménez M. J. (2006).  Fractals and P Systems. Fourth Brainstorming Week on Membrane Computing . II, 65-86.
Peng, H., Wang J., Pérez-Jiménez M. J., & Riscos-Núñez A. (2014).  The framework of P systems applied to solve optimal watermarking problem. Signal Processing. 101, 256-265.
Valencia-Cabrera, L., Orellana-Martín D., Martínez-del-Amor M. A., Riscos-Núñez A., & Pérez-Jiménez M. J. (2018).  From distribution to replication in cooperative systems with active membranes: A frontier of the efficiency. Theoretical Computer Science. 736, 15-24.
Valencia-Cabrera, L., Orellana-Martín D., Martínez-del-Amor M. A., Pérez-Hurtado I., & Pérez-Jiménez M. J. (2020).  From NP-Completeness to DP-Completeness: A Membrane Computing Perspective. Complexity. 2020, 10.
Valencia-Cabrera, L., Orellana-Martín D., Martínez-del-Amor M. A., & Pérez-Jiménez M. J. (2017).  From Super-cells to Robotic Swarms: Two Decades of Evolution in the Simulation of P Systems. Bulletin of the International Membrane Computing Society. 4, 65-88.
Gheorghe, M., Paun G., & Pérez-Jiménez M. J. (2012).  Frontiers of Membrane Computing: Open problems and research topics. Tenth Brainstorming Week on Membrane Computing. I, 171-250. Abstract
Wang, T., Zhang G., & Pérez-Jiménez M. J. (2015).  Fuzzy Membrane Computing: Theory and Applications. International Journal of Computers, Communications and Control. 10(6), 904-935. Abstract
Peng, H., Wang J., Pérez-Jiménez M. J., Wang H., Shao J., & Wang T. (2013).  Fuzzy reasoning spiking neural P system for fault diagnosis. Information Sciences. 235, 106–116. Abstract
Pérez-Jiménez, M. J., Graciani C., Orellana-Martín D., Riscos-Núñez A., Romero-Jiménez Á., & Valencia-Cabrera L. (2017).  Fuzzy Reasoning Spiking Neural P systems revisited: A formalization. Theoretical Computer Science. 701, 216-225.
G
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.
Ramírez-de-Arellano, A., Orellana-Martín D., & Pérez-Jiménez M. J. (2023).  Generating, computing and recognizing with virus machines. Theoretical Computer Science. 972, 114077.
Romero-Jiménez, Á., & Pérez-Jiménez M. J. (2002).  Generation of Diophantine Sets by Computing P Systems with External Output. Lecture Notes in Computer Science. 2509, 176-190. Abstract
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. (2012).  The GPU on the Simulation of Cellular Computing Models. Soft Computing. 16(2), 231-246. Abstract
Romero-Jiménez, Á., Gutiérrez-Naranjo M. A., & Pérez-Jiménez M. J. (2006).  Graphical Modeling of Higher Plants Using P Systems . Lecture Notes in Computer Science. 4361, 496-506. Abstract

Statistics

  • Books (11)
  • Edited Books (28)
  • Contributions to Book Chapters (42)
  • Journal Papers (421)
  • Papers in Collective Volumes (0)
  • Technical Reports (3)
  • Conference Contributions (289)
  • Conference Proceedings (38)