Home

Biblio

Export 837 results:
Sort by: Author [ Title (Desc)] Type Year
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., Paun G., Riscos-Núñez A., & Romero-Campero F. J. (2006).  Fourth Brainstorming Week on Membrane Computing. Volumen I. I, XII+284.
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.
Ivanov, S., Alhazov A., Rogojin V., & Gutiérrez-Naranjo M. A. (2011).  Forward and Backward Chaining with P Systems. Ninth Brainstorming Week on Membrane Computing. 221-236. Abstract
Ivanov, S., Alhazov A., Rogojin V., & Gutiérrez-Naranjo M. A. (2011).  Forward and Backward Chaining with P Systems . International Journal of Natural Computing Research. 2(2), 56-66. Abstract
Pérez-Jiménez, M. J., & Sancho-Caparrini F. (2002).  A Formalization of Transition P Systems. Fundamenta Informaticae. 49(1-3), 261-272. Abstract
Freund, R., Pérez-Hurtado I., Riscos-Núñez A., & Verlan S. (2013).  A formalization of membrane systems with dynamically evolving structures. International Journal of Computer Mathematics. 90(4), 801-815. Abstract
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., & Leporati A. (2009).  First steps towards a CPU made of Spiking Neural P systems. International Journal of Computers, Communications and Control. 4(3), 244-252. Abstract
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.