Home

Biblio

Export 831 results:
Sort by: Author Title Type [ Year (Desc)]
2003
Balbontín-Noval, D., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2003).  A MzScheme implementation of Transition P systems. Lecture Notes in Computer Science. 2597, 58-73. Abstract
Kelemene, J., Freund R., & Paun G. (2003).  A Note on Emergence in Multi-Agent String Processing Systems. Computing and Informatics. 22(6), 623-637. Abstract
Borrego-Díaz, J., Fernández-Margarit A., & Pérez-Jiménez M. J. (2003).  On Sigma-n definability in Arithmetic.. (A. Rojszczak, J. Cachro, G. Kurczewski, Ed.).Philosophical Dimensions of Logic and Science. 47-56.
Ferretti, C., Mauri G., Paun G., & Zandron C. (2003).  On three variants of rewriting P systems . Theoretical Computer Science. 301(1), 201-215. Abstract
Csuhaj-Varjú, E., Paun G., & Vaszil G. (2003).  PC grammar systems with five context-free components generate all recursively enumerable languages. Theoretical Computer Science. 299(1-3 ), 785 - 794 . Abstract
Alhazov, A., Martín-Vide C., & Paun G. (2003).  Pre-Proceedings of Workshop on Membrane Computing, WMC-2003. Workshop on Membrane Computing, WMC-2003.
Paun, G., & Pérez-Jiménez M. J. (2003).  Recent Computability Models Inspired from Biology: DNA and Membrane Computing. Theoria. 18(46), 71-84.
Paun, G., Pazos-Sierra J., Martín-Vide C., & Rodríguez-Patón A. (2003).  Tissue P systems. Theoretical Computer Science. 296(2), 295-326.
Paun, G. (2003).  Trends in Membrane Computing. First Annual Meeting of the European Molecular Computing Consortium.
Ionescu, M., Martín-Vide C., Paun A., & Paun G. (2003).  Unexpected Universality Results for Three Classes of P Systems with Symport/Antiport. Lecture Notes in Computer Science. 2568, 281-290. Abstract
2002
Paun, G., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2002).  On the Reachability Problem for P System with Porters. 10th International Conference on Automata and Formal Languages. 1-3.
Martín-Mateos, F. J., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2002).  Molecular Computation Models in ACL2: A Simulation of Lipton's SAT Experiment in the Adleman's Restricted Model. Third International Workshop on the ACL2 Theorem Prover and its Applications. 175-187.
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. (2002).  Solving Knapsack Problems in a Sticker Based Model . Lecture Notes in Computer Science. 2340, 161-171. Abstract
Graciani-Díaz, C., Martín-Mateos F. J., & Pérez-Jiménez M. J. (2002).  Specification of Adleman's Restricted Model Using An Automated Reasoning System: Verification of Lipton's Experiment. Lecture Notes in Computer Science. 2509, 126-136. Abstract
Pérez-Jiménez, M. J., & Sancho-Caparrini F. (2002).  Computación Celular con Membranas: Un Modelo no Convencional . II+107.
Paun, A., Paun G., & Rozenberg G. (2002).  Computing by Communication in Networks of Membranes. International Journal of Foundations of Computer Science. 13(6), 779-798.
Pérez-Jiménez, M. J., & Sancho-Caparrini F. (2002).  A Formalization of Transition P Systems. Fundamenta Informaticae. 49(1-3), 261-272. Abstract
Romero-Jiménez, Á., & Pérez-Jiménez M. J. (2002).  Generation of Diophantine Sets by Computing P Systems with External Output. Lecture Notes in Computer Science. 2509, 176-190. Abstract
Paun, G., & Rozenberg G. (2002).  A guide to membrane computing. Theoretical Computer Science. 287(1), 73 - 100 . Abstract
Paun, G. (2002).  Membrane Computing. An Introduction. XI+419.
Martín-Vide, C., Paun A., & Paun G. (2002).  Membrane Computing: New Results, New Problems. Bulletin of the European Association for Theoretical Computer Science. 78, 204-209.
Arroyo, F., Baranda A., Castellanos J., & Paun G. (2002).  Membrane Computing: The Power of (Rule) Creation. Journal of Universal Computer Science. 8(3), 369-381. Abstract
Martín-Vide, C., Paun G., & Rozenberg G. (2002).  Membrane systems with carriers. Theoretical Computer Science. 270(1-2), 779-796. Abstract
Martín-Vide, C., Paun A., Paun G., & Rozenberg G. (2002).  Membrane Systems with Coupled Transport: Universality and Normal Forms. Fundamenta Informaticae. 49(1-3), 1 - 15 . Abstract