Home

Biblio

Export 837 results:
Sort by: Author Title Type [ Year (Desc)]
2003
Gutiérrez-Naranjo, M. A., Alonso-Jiménez J. A., & Borrego-Díaz J. (2003).  Generalizing Programs via Subsumption. Lecture Notes in Computer Science. 2809, 115-126. Abstract
Martín-Vide, C., Mitrana V., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2003).  Hybrid Networks of Evolutionary Processors. Lecture Notes in Computer Science. 2723, 401-412. Abstract
Gutiérrez-Naranjo, M. A., & Hitzler P. (2003).  ILP Operators for Propositional Connectionist Networks . Technische Berichte Technical Reports. -, 103-106.
Pérez-Jiménez, M. J., & Sancho-Caparrini F. (2003).  Máquinas moleculares basadas en ADN. Colección de Divulgación Científica. 2, 255. Abstract
Paun, G., Rozenberg G., Salomaa A., & Zandron C. (2003).  Membrane Computing (International Workshop, WMC-CDEA 2002, Revised Papers). VIII+421.
Paun, G., Rozenberg G., Salomaa A., & Zandron C. (2003).  Membrane Computing, International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers. Lecture Notes in Computer Science. 2597,
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