Home

Biblio

Export 837 results:
Sort by: Author Title Type [ Year (Desc)]
2012
Nagar, A., & Paun G. (2012).  Foreword. Natural Computing. 11(3), 351-352.
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
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
Paun, G., & Pérez-Jiménez M. J. (2012).  An infinite hierarchy of languages defined by dP systems. Theoretical Computer Science. 431 (2012), 4-12. Abstract
Paun, G., & Pérez-Jiménez M. J. (2012).  Languages and P systems: Recent developments. Computer Science Journal of Moldova. 20(2), 72-92. Abstract
Paun, G. (2012).  Membrane Computing. An introduction. Chinese Edition. iii+391.
Paun, G., & Pérez-Jiménez M. J. (2012).  P automata revised. Theoretical Computer Science. Abstract
Macías-Ramos, L. F., Pérez-Hurtado I., García-Quismondo M., Valencia-Cabrera L., Pérez-Jiménez M. J., & Riscos-Núñez A. (2012).  A P-Lingua based simulator for Spiking Neural P systems. Lecture Notes in Computer Science. 7184, 257-281. Abstract
Peña-Cantillana, F., Berciano A., Díaz-Pernil D., & Gutiérrez-Naranjo M. A. (2012).  Parallel Skeletonizing of Digital Imagery by Using Cellular Automata. Lecture Notes in Computer Science. 7309 , 39-48.
Martínez-del-Amor, M. A., Pérez-Hurtado I., Gastalver-Rubio A., Elster A. C., & Pérez-Jiménez M. J. (2012).  Population Dynamics P Systems on CUDA. (Gilbert, David, Heiner, Monika, Ed.).Lecture Notes in Bioinformatics. 7605, 247-266. Abstract
Cabarle, F., Adorna H., & Martínez-del-Amor M. A. (2012).  A Spiking Neural P System Simulator Based on CUDA. Lecture Notes in Computer Science. 7184(12th International Conference, CMC 2011), 87-103. Abstract
Paun, G., & Pérez-Jiménez M. J. (2012).  Towards bridging two cell-inspired models: P systems and R systems. Theoretical Computer Science. 429, 258-264. Abstract
Paun, G. (2012).  Towards Fypercomputations (in Membrane Computing). Lecture Notes in Computer Science. 7300, 207-220. Abstract
2011
Martínez-del-Amor, M. A., Paun G., Pérez-Hurtado I., Romero-Campero F. J., & Valencia-Cabrera L. (2011).  Proceedings of the Ninth Brainstorming Week on Membrane Computing. Ninth Brainstorming Week on Membrane Computing. xiv+374.
Gheorghe, M., Paun G., & Verlan S. (2011).  Proceedings of the 12th International Conference on Membrane Computing (CMC12). 12th International Conference on Membrane Computing (CMC12). vi + 511.
García-Quismondo, M., Macías-Ramos L. F., & Pérez-Jiménez M. J. (2011).  Implementing ENPS by means of GPUs for AI applications. Interdisciplinary Aspects of Artificial Intelligence. 27-33. Abstract
Blakes, J., Twycross J., Romero-Campero F. J., & Krasnogor N. (2011).  The Infobiotics Workbench: an integrated in silico modelling platform for Systems and Synthetic Biology. Bioinformatics. 27(23), 3323-3324.
Cabarle, F., Adorna H., Martínez-del-Amor M. A., & Pérez-Jiménez M. J. (2011).  Spiking Neural P System Simulations on a High Performance GPU Platform. (Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou, Ed.).Lecture Notes in Computer Science. 7017, 99-108. Abstract
Cabarle, F., Adorna H., & Martínez-del-Amor M. A. (2011).  An Improved GPU Simulator for Spiking Neural P Systems. Sixth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA). 262 - 267. Abstract
Pérez-Jiménez, M. J., Riscos-Núñez A., Rius-Font M., & Romero-Campero F. J. (2011).  Looking for small efficient P systems. Fundamenta Informaticae. 110(1-4), 295-308. Abstract
Niu, Y., Paun G., & Pérez-Jiménez M. J. (2011).  A Uniform Solution to Common Algorithmic Problem by Tissue P Systems with Cell Division. (R. Abdullah, A.T. Khader, I. Venkat, Li-Pei Wong, K. G. Subramanian, Ed.).Sixth International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2011. 302-326. Abstract
Smaldon, J., Romero-Campero F. J., Fernández-Trillo F., Gheorghe M., Alexander C., & Krasnogor N. (2011).  A computational study of liposome logic: towards cellular computing from the bottom up. Systems and Synthetic Biology. 4(3), 157-179. 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
Macías-Ramos, L. F., Pérez-Hurtado I., García-Quismondo M., Valencia-Cabrera L., Pérez-Jiménez M. J., & Riscos-Núñez A. (2011).  A P-Lingua based Simulator for Spiking Neural P Systems. Proceedings of the 12th International Conference on Membrane Computing (CMC12). 323-346. Abstract
Gheorghe, M., Paun G., & Verlan S. (2011).  Proceedings of the 12th International Conference on Membrane Computing (CMC12). Preface. Proceedings of the 12th International Conference on Membrane Computing (CMC12). i-iii.