Home

Biblio

Export 837 results:
Sort by: Author [ Title (Asc)] 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
Paun, G., Mitrana V., & Martín-Vide C. (2004).  Formal languages and Applications. 620.
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.
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. (2002).  A Formalization of Transition P Systems. Fundamenta Informaticae. 49(1-3), 261-272. Abstract
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
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.
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.
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.
Riscos-Núñez, A. (2009).  A framework for complexity classes in membrane computing. Electronic Notes in Theoretical Computer Science. 225, 319-328. Abstract
Casauay, L. J., Macababayao I. C., Cabarle F. G., de la Cruz R. T., Adorna H. N., Zeng X., et al. (2019).  A Framework for Evolving Spiking Neural Systems. The 8th Asian Conference on Membrane Computing (ACMC2019).
Casauay, L. J., Macababayao I. C., Cabarle F. G., de la Cruz R. T., Adorna H., Zeng X. X., et al. (2021).  A Framework for Evolving Spiking Neural P Systems. International Journal of Unconventional Computing. 16(2-3), 121-139.
Moredo, C. A., Supelana R. C., Cailipan D. P., Cabarle F. G., de la Cruz R. T., Adorna H. N., et al. (2019).  A Framework for Evolving Spiking Neural P Systems with Rules on Synapses. The 8th Asian Conference on Membrane Computing (ACMC2019).
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.
Paun, G. (2008).  From cells to (silicon) computers, and back. (S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, Ed.).New Computational Paradigms. 343-371. Abstract
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.
Freund, R., Martín-Vide C., & Paun G. (2004).  From regulated rewriting to computing with membranes: collapsing hierarchies. Theoretical Computer Science. 312(2-3), 143 - 188 . Abstract
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.
Csuhaj-Varjú, E., Martín-Vide C., Paun G., & Salomaa A. (2003).  From Watson-Crick L systems to Darwinian P systems . Natural Computing. 2(3), 299-318. Abstract
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