Proyecto TIN2009-13192

Home

Publicaciones


A continuación se muestra una relación de publicaciones actualizada realizadas dentro del marco del proyecto TIN2009-13192, organizada por año (2011 y 2010).
2012
Martínez-del-Amor, M. A., Paun G., Pérez-Hurtado I., & Romero-Campero F. J. (2012).  Proceedings of the Tenth Brainstorming Week on Membrane Computing. Tenth Brainstorming Week on Membrane Computing. I, xiv+318.
García-Quismondo, M., Macías-Ramos L. F., Paun G., & Valencia-Cabrera L. (2012).  Proceedings of the Tenth Brainstorming Week on Membrane Computing. Tenth Brainstorming Week on Membrane Computing. II, xiv+292.
Pan, L., Paun G., & Song T. (2012).  Proceedings of the Asian Conference on Membrane Computing. Asian Conference on Membrane Computing (ACMC2012). iii+391.
Christinal, H. A., Díaz-Pernil D., Gutiérrez-Naranjo M. A., & Real P. (2012).  Using Membrane Computing for Effective Homology. Applicable Algebra in Engineering, Communication and Computing. 23(5-6), 233-249. Abstract
Nepomuceno, Á., & Pérez-Jiménez M. J. (2012).  Programas Moleculares y Sistemas Lógico-formales. Theoretical Computer Science. 5, 77-89.
García-Quismondo, M., Valencia-Cabrera L., Su Y., Pérez-Jiménez M. J., Pan L., & Yu H. (2012).  Modeling logic gene networks by means of probabilistic dynamic P systems. (Linqiang Pan, Gheorghe Paun, Tao Song, Ed.).Asian Conference on Membrane Computing. 30-60.
Pan, L., Pérez-Jiménez M. J., Riscos-Núñez A., & Rius-Font M. (2012).  New frontiers of the efficiency in tissue P systems. (Linqiang Pan, Gheorghe Paun, Tao Song, Ed.).Asian Conference on Membrane Computing. 61-73.
Macías-Ramos, L. F., & Pérez-Jiménez M. J. (2012).  On recent developments in P-lingua based simulators for Spiking Neural P Systems. (Linqiang Pan, Gheorghe Paun, Tao Song, Ed.).Asian Conference on Membrane Computing. 14-29.
Romero-Campero, F. J., & Pérez-Jiménez M. J. (2012).  P systems as a modeling framework for molecular Systems Biology. (Linqiang Pan, Gheorghe Paun, Tao Song, Ed.).Asian Conference on Membrane Computing. 8-10.
Zhang, G., Gutiérrez-Naranjo M. A., Qin Y., Gheorghe M., & Gheng J. - X. (2012).  A Population-Membrane-System-Inspired Evolutionary Algorithm for Distribution Network Reconfiguration. (Linqiang Pan, Gheorghe Paun, Tao Song, Ed.).Asian Conference on Membrane Computing (ACMC 2012). 139 -160. Abstract
Stepney, S., Abramsky S., Bechmann M., Gorecki J., Kendon V., Naughton T. J., et al. (2012).  Heterotic Computing Examples with Optics, Bacteria, and Chemicals. Lecture Notes in Computer Science. 7445, 198-209. Abstract
Vasile, C. I., Pavel A. B., Dumitrache I., & Paun G. (2012).  On the power of enzymatic numerical P systems. Acta Informatica. 49(6), 395-412. Abstract
Martínez-del-Amor, M. A., Pérez-Hurtado I., García-Quismondo M., Macías-Ramos L. F., Valencia-Cabrera L., Romero-Jiménez Á., et al. (2012).  DCBA: Simulating population dynamics P systems with proportional object distribution. 13th International Conference on Membrane Computing (CMC13). 291-310. 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.
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.
Macías-Ramos, L. F., & Pérez-Jiménez M. J. (2012).  Spiking neural P systems with functional astrocytes. 13th International Conference on Membrane Computing (CMC13). 259-276.
Ipate, F., Dragomir C., Lefticaru R., Mierla L., & Pérez-Jiménez M. J. (2012).  Using a kernel P system to solve the 3-Col problem. 13th International Conference on Membrane Computing (CMC13). 243-258.
Cabarle, F., Adorna H., Martínez-del-Amor M. A., & Pérez-Jiménez M. J. (2012).  Improving GPU Simulations of Spiking Neural P Systems. Romanian Journal of Information Science and Technology. 15(1), 5-20. Abstract
Niu, Y., Pan L., & Pérez-Jiménez M. J. (2012).  Solving Common Algorithmic Problem with recognizer tissue P systems. Romanian Journal of Information Science and Technology. 15(1), 33-49. 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. (M. Ferri, P. Frosini, C. Landi, A. Cerri, B. Di-Fabio, Ed.).Lecture Notes in Computer Science. 7309 , 39-48.
Song, T., Pan L., & Paun G. (2012).  Asynchronous Spiking Neural P Systems with Local Synchronization. Tenth Brainstorming Week on Membrane Computing. II, 187-206. Abstract
Reina-Molina, R., Díaz-Pernil D., & Gutiérrez-Naranjo M. A. (2012).  Cell Complexes and Membrane Computing for Thinning 2D and 3D Images. Tenth Brainstorming Week on Membrane Computing. II, 167-186. Abstract
Ardelean, I., Díaz-Pernil D., Gutiérrez-Naranjo M. A., Peña-Cantillana F., Reina-Molina R., & Sarchizian I. (2012).  Counting Cells with Tissue-like P Systems. Tenth Brainstorming Week on Membrane Computing. I, 69-78. Abstract
Martínez-del-Amor, M. A., Pérez-Hurtado I., García-Quismondo M., Macías-Ramos L. F., Valencia-Cabrera L., Romero-Jiménez Á., et al. (2012).  DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution. Tenth Brainstorming Week on Membrane Computing. II, 27-56. Abstract
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
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.
Cabarle, F., Adorna H., & Martínez-del-Amor M. A. (2011).  A Spiking Neural P system simulator based on CUDA. 12th International Conference on Membrane Computing (CMC12). 77-92. Abstract
Pan, L., Paun G., & Pérez-Jiménez M. J. (2011).  Spiking neural P systems with neuron division and budding. Science China. Information Sciences. 8, 1596-1607. Abstract
Colomer, A. M., Lavín S., Marco I., Margalida A., Pérez-Hurtado I., Pérez-Jiménez M. J., et al. (2011).  Modeling population growth of Pyrenean Chamois (Rupicapra p. pyrenaica) by using P systems. Lecture Notes in Computer Science. 6501, 144-159. Abstract
Frisco, P., Paun G., & Pérez-Jiménez M. J. (2011).  Guest Editorial Preface. Special Issue on Membrane Computing. International Journal of Natural Computing Research. 2(2), i-iii.
Zhang, X., Niu Y., Pan L., & Pérez-Jiménez M. J. (2011).  Linear Time Solution to Prime Factorization by Tissue P Systems with Cell Division. International Journal of Natural Computing Research. 2(3), 49-60. Abstract
Gutiérrez-Naranjo, M. A., & Pérez-Jiménez M. J. (2011).  Local Search with P Systems: A Case Study. International Journal of Natural Computing Research. 2(2), 47-55. Abstract
Díaz-Pernil, D., Gutiérrez-Naranjo M. A., Real P., & Sánchez-Canales V. (2011).  A New Way to Obtain Homology Groups in Binary 2D Images Using Membrane Computing. XII Encuentro de Algebra Computacional y Aplicaciones EACA 2010. 107-112.
Pan, L., Díaz-Pernil D., & Pérez-Jiménez M. J. (2011).  Computation of Rumsey numbers by P systems with active membranes. International Journal of Foundations of Computer Science. 22(1), 29-38.
Riscos-Núñez, A. (2011).  Current developments on computational modeling using P Systems. Computability in Europe 2011 (CIE 2011), . 250-251.
Paun, G. (2011).  Membrane Computing at Twelve Years(Back to Turku). UC 2011:. Lecture Notes in Computer Science. 36-37.
Rivero-Gil, E., Gutiérrez-Naranjo M. A., Romero-Jiménez Á., & Riscos-Núñez A. (2011).  A software tool for generating graphics by means of P systems. Natural Computing. 10(2), 879-890. Abstract
Niu, Y., Pan L., Pérez-Jiménez M. J., & Rius-Font M. (2011).  A tissue P systems based uniform solution to Tripartite Matching problem. Fundamenta Informaticae. 109, 179-188.
Paun, G., & Pérez-Jiménez M. J. (2011).  P and dP automata: A survey. (Cristian Calude, Grzegorz Rozenberg, Arto Salomaa, Ed.).Lecture Notes in Computer Science. 6570, 102-115. Abstract
2010
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. (2010).  P systems simulations on massively parallel architectures. Third International Workshop on Parallel Architectures and Bioinspired Algorithms. 17-26. Abstract
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
Gutiérrez-Naranjo, M. A., & Pérez-Jiménez M. J. (2010).  Depth-first Search with P Systems. (Marian Gheorghe, Thomas Hinze, Gheorghe Paun, Ed.).Eleventh International Conference on Membrane Computing (CMC11). 257-267 . Abstract
Pérez-Jiménez, M. J. (2010).  Computational Complexity in Membrane Computing. Algebraic Computing, Soft Computing, and Program Verification.
Riscos-Núñez, A., & Pérez-Hurtado I. (2010).  Length of rules and tractability in tissue-like P systems. Algebraic Computing, Soft Computing, and Program Verification.
Riscos-Núñez, A., & Pérez-Hurtado I. (2010).  P-Lingua: a programming language for membrane computing. Algebraic Computing, Soft Computing, and Program Verification.
Martínez-del-Amor, M. A., Cecilia J. M., Guerrero G. D., & Pérez-Hurtado I. (2010).  An Overview of P System Simulation on GPUs. I Jornadas Jóvenes Investigadores. 2-7. Abstract
Wang, J., Hoogeboom H. J., Pan L., Paun G., & Pérez-Jiménez M. J. (2010).  Spiking Neural P Systems with Weights. Neural Computation. 22(10), 2615-2646. Abstract
Díaz-Pernil, D., Gutiérrez-Naranjo M. A., Molina-Abril H., & Real P. (2010).  A Bio-inspired Software for Segmenting Digital Images. (Atulya Nagar, R. Thamburaj, K. Li, Z. Tang, R. Li, Ed.).2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications BIC-TA. 2, 1377-1381 .
Díaz-Pernil, D., Gutiérrez-Naranjo M. A., Real P., & Sánchez-Canales V. (2010).  Computing Homology Groups in Binary 2D Imagery by Tissue-like P Systems. Romanian Journal of Information Science and Technology. 13(2), 141-152. Abstract
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.
Martínez-del-Amor, M. A., Pérez-Hurtado I., Pérez-Jiménez M. J., Riscos-Núñez A., & Colomer A. M. (2010).  A new simulation algorithm for multienvironment probabilistic P systems. (K. Li, Z. Tang, R. Li, Atulya Nagar, R. Thamburaj, Ed.).IEEE Fifth International Conference on Bio-inpired Computing: Theories and Applications (BIC-TA 2010). 1, 59-68. Abstract
Adorna, H., Paun G., & Pérez-Jiménez M. J. (2010).  On Communication Complexity in Evolution-Communication P Systems. Romanian Journal of Information Science and Technology. 13(2), 113-130. Abstract
Colomer, A. M., Pérez-Hurtado I., Pérez-Jiménez M. J., & Riscos-Núñez A. (2010).  Simulating Tritrophic Interactions by Means of P Systems. (Atulya Nagar, R. Thamburaj, K. Li, Z. Tang, R. Li, Ed.).IEEE Fifth International Conference on Bio-inpired Computing: Theories and Applications (BIC-TA 2010). 2, 637-643. Abstract
Díaz-Pernil, D., Fernández-Márquez C. M., García-Quismondo M., Gutiérrez-Naranjo M. A., & Martínez-del-Amor M. A. (2010).  Solving Sudoku with Membrane Computing. (K. Li, Z. Tang, R. Li, Atulya Nagar, R. Thamburaj, Ed.).2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications BIC-TA. I, 610-615 .
Christinal, H. A., Díaz-Pernil D., Gutiérrez-Naranjo M. A., & Pérez-Jiménez M. J. (2010).  Thresholding of 2D Images with Cell-like P Systems. Romanian Journal of Information Science and Technology. 13(2), 131-140. Abstract
Colomer, A. M., Martínez-del-Amor M. A., Pérez-Hurtado I., Pérez-Jiménez M. J., & Riscos-Núñez A. (2010).  A uniform framework for modeling based on P Systems. (K. Li, Z. Tang, R. Li, Atulya Nagar, R. Thamburaj, Ed.).IEEE Fifth International Conference on Bio-inpired Computing: Theories and Applications (BIC-TA 2010). 1, 616-621. Abstract
Zeng, X. X., Adorna H., Martínez-del-Amor M. A., Pan L., & Pérez-Jiménez M. J. (2010).  Matrix representation of Spiking Neural P Systems. (Marian Gheorghe, Thomas Hinze, Gheorghe Paun, Ed.).Eleventh International Conference on Membrane Computing (CMC11). 425-439. Abstract
Paun, G., Pérez-Jiménez M. J., & Stefanescu G. (2010).  Membrane Computing and Programming. Journal of Logic and Algebraic Programming. 79(6), 289-290.
Colomer, A. M., Lavín S., Marco I., Margalida A., Pérez-Hurtado I., Pérez-Jiménez M. J., et al. (2010).  Modeling population growth of Pyrenean Chamois (Rupicapra p. pyrenayca) by using P systems. (Marian Gheorghe, Thomas Hinze, Gheorghe Paun, Ed.).Eleventh International Conference on Membrane Computing (CMC11). 121-135. Abstract
Martínez-del-Amor, M. A., Pérez-Hurtado I., Pérez-Jiménez M. J., & Riscos-Núñez A. (2010).  A P-Lingua based simulator for Tissue Psystems. Journal of Logic and Algebraic Programming. 79(6), 374-382. Abstract
Milazzo, P., & Pérez-Jiménez M. J. (2010).  Preface. Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology . Electronic Proceedings in Theoretical Computer Science. 33,
Paun, G. (2010).  A quick introduction to membrane computing. Journal of Logic and Algebraic Programming. 79(6), 291-294. Abstract
Cecilia, J. M., García J. M., Guerrero G. D., Martínez-del-Amor M. A., Pérez-Hurtado I., & Pérez-Jiménez M. J. (2010).  Simulating a P system based efficient solution to SAT by using GPUs . Journal of Logic and Algebraic Programming. 79(6), 317-325. Abstract
Pan, L., & Pérez-Jiménez M. J. (2010).  Computational complexity of tissue-like P systems. Journal of Complexity. 26(3), 296-315. Abstract