Home

Biblio

Export 837 results:
Sort by: Author Title [ Type (Asc)] Year
Conference Contributions
Csuhaj-Varjú, E., di-Nola A., Paun G., Pérez-Jiménez M. J., & Vaszil G. (2005).  Editing configurations of P systems. (Miguel A. Gutiérrez-Naranjo, Agustín Riscos-Núñez, Francisco J. Romero-Campero, Dragos Sburlan, Ed.).Third Brainstorming Week on Membrane Computing. 131-154.
Pan, L., & Pérez-Jiménez M. J. (2009).  Efficiency of tissue P systems with cell separation . 7th Brainstorming Week on Membrane Computing. II, 169-196. Abstract
Macías-Ramos, L. F., Pérez-Jiménez M. J., Riscos-Núñez A., Rius-Font M., & Valencia-Cabrera L. (2012).  The efficiency of tissue P systems with cell separation relies on the environment. 13th International Conference on Membrane Computing (CMC13). 277-290.
Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Riscos-Núñez A. (2004).  An efficient cellular solution for the Partition problem. Second Brainstorming Week on Membrane Computing. 237-246.
Díaz-Pernil, D., Gutiérrez-Naranjo M. A., Pérez-Jiménez M. J., & Riscos-Núñez A. (2006).  An efficient solution to 3-COL with tissue P systems. Workshop on Membrane Computing and Biologically Inspired Process Calculi. 1-12.
Cecilia, J. M., Guerrero G. D., García J. M., Martínez-del-Amor M. A., Pérez-Jiménez M. J., & Ujaldón M. (2010).  Enhancing the Simulation of P Systems for the SAT Problem on GPUs. Symposium on Application Accelerators in High Performance Computing. Abstract
Cavaliere, M., Freund R., Leistch A., & Paun G. (2005).  Event-related outputs of computations in P systems. (Miguel A. Gutiérrez-Naranjo, Agustín Riscos-Núñez, Francisco J. Romero-Campero, Dragos Sburlan, Ed.).Third Brainstorming Week on Membrane Computing. 107-122.
Macías-Ramos, L. F., Song T., Pan L., & Pérez-Jiménez M. J. (2014).  Extending SNP Systems Asynchronous Simulation Modes in P-Lingua. Twelfth Brainstorming Week on Membrane Computing (BWMC2014). 261-280.
Martínez-del-Amor, M. A., Doncel-Ramírez A., Orellana-Martín D., & Pérez-Hurtado I. (2020).  Extracting Parallelism in Simulation Algorithms for PDP systems. 18th Brainstorming Week on Membrane Computing (BWMC2020). 79-90.
Cámpora Pérez, D. H., Neufeld N., & Riscos-Núñez A. (2019).  A Fast Local Algorithm for Track Reconstruction on Parallel Architectures. 2019 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW).
Díaz-Pernil, D., Gutiérrez-Naranjo M. A., Pérez-Jiménez M. J., & Riscos-Núñez A. (2008).  A Fast Solution to the Partition Problem by Using Tissue-Like P Systems. (D. Kearney, V. Nguyen, G. Gioiosa, T. Hendtlass, Ed.).Third International Conference on Bio-Inspired Computing. 43 - 47.
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, 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.
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., & 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
Murphy, N., & Porreca A. E. (2010).  First Steps Towards Linking Membrane Depth and the Polynomial Hierarchy. Eighth Brainstorming Week on Membrane Computing. 255-266.
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.
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.
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.
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
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.
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).
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).