Home

Biblio

Export 729 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Last Name is P  [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   [Show ALL]
F
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. (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.
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, 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. (2011).  Formal Veri cation of P Systems with Active Membranes through Model Checking. 12th International Conference on Membrane Computing (CMC12). 241-252. Abstract
Paun, G., Mitrana V., & Martín-Vide C. (2004).  Formal languages and Applications. 620.
Freund, R., Pérez-Hurtado I., Riscos-Núñez A., & Verlan S. (2012).  A Formal Framework for P Systems with Dynamic Structure. Tenth Brainstorming Week on Membrane Computing. I, 111-122. Abstract
Freund, R., Pérez-Hurtado I., Riscos-Núñez A., & Verlan S. (2012).  A formal framework for P systems with dynamic structure. 13th International Conference on Membrane Computing (CMC13). 199-210.
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
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. (2010).  Foreword. Special issue on Membrane Computing. Romanian Journal of Information Science and Technology. 13(2), 111-112.
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.
Franco, G., & Paun G. (2011).  Foreword. Natural Computing 10(1): 1-2 (2011). Natural Computing. 10(1), 1-2.
Nagar, A., & Paun G. (2012).  Foreword. Natural Computing. 11(3), 351-352.
Murphy, N., & Porreca A. E. (2010).  First Steps Towards Linking Membrane Depth and the Polynomial Hierarchy. Eighth Brainstorming Week on Membrane Computing. 255-266.
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
García-Quismondo, M., Henley B. M., Pérez-Hurtado I., & Riscos-Núñez A. (2009).  A first attempt to model notch signalling by means of P systems. (Gheorghe Paun, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Ed.).10th Workshop on Membrane Computing. 265-268. Abstract
Gutiérrez-Naranjo, M. A., Paun G., Romero-Jiménez Á., & Riscos-Núñez A. (2007).  Fifth Brainstorming Week on Membrane Computing. Fifth Brainstorming Week on Membrane Computing. X+324.
Xian, R., Xiong X., Peng H., Wang J., Ramírez-de-Arellano-Marrero A., & Yang Q. (2024).  Feature fusion method based on spiking neural convolutional network for edge detection. Pattern Recognition. 147, 110112. Abstract
Wang, T., Zeng S., Zhang G., Pérez-Jiménez M. J., & Wang J. (2015).  Fault Section Estimation of Power Systems with Optimization Spiking Neural P Systems. Workshop on Membrane Computing 2015 (WMC2015), Satellite workshop of UCNC2015. 117-127.
Peng, H., Wang J., Ming J., Shi P., Pérez-Jiménez M. J., Yu W., et al. (2018).  Fault diagnosis of power systems using intuitionistic fuzzy spiking neural P systems. IEEE Transactions on Smart Grid.
Peng, H., Wang J., Shi P., Pérez-Jiménez M. J., & Riscos-Núñez A. (2017).  Fault diagnosis of power systems using fuzzy tissue-like P systems. Integrated Computer-Aided Engineering. vol. 24, no. 4, 401-411.
Wang, T., Zhang G., Zhao J., He Z., Wang J., & Pérez-Jiménez M. J. (2015).  Fault diagnosis of electric power systems based on fuzzy reasoning spiking neural P systems. IEEE Transactions on Power Systems. 30(3), 1182-1194. Abstract
Wang, T., Zhang G., & Pérez-Jiménez M. J. (2014).  Fault Diagnosis Models for Electric Locomotive Systems Based on Fuzzy Reasoning Spiking Neural P Systems. 15th Conference on Membrane Computing, pre-proceedings. 361-374.
Wang, J., Peng H., Tu M., Pérez-Jiménez M. J., & Shi P. (2016).  A Fault Diagnosis Method of Power Systems Based on an Improved Adaptive Fuzzy Spiking Neural P Systems and PSO Algorithms. Signal Processing. 25, 320-327. 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)