Home

Biblio

Export 723 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Last Name is P  [Clear All Filters]
2003
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
Bottoni, P., Martín-Vide C., Paun G., & Rozenberg G. (2002).  Membrane systems with promoters/inhibitors . Acta Informatica. 38(10), 695-720. Abstract
Martín-Vide, C., Pazos-Sierra J., Paun G., & Rodríguez-Patón A. (2002).  A New Class of Symbolic Abstract Neural Nets: Tissue P Systems. Lecture Notes in Computer Science. 2387, 290-299. Abstract
Martín-Vide, C., Pazos-Díaz J., Paun G., & Rodríguez-Patón A. (2002).  A New Class of Symbolic Abstract Neural Nets: Tissue P Systems. COCOON '02: Proceedings of the 8th Annual International Conference on Computing and Combinatorics. 290-299.
Martín-Vide, C., Paun A., & Paun G. (2002).  On the Power of P Systems with Symport Rules. Journal of Universal Computer Science. 8(2), 317-331. Abstract
Martín-Vide, C., Mitrana V., & Paun G. (2002).  On the Power of P systems with Valuation. Computación y Sistemas. Revista Iberoamericana de Inteligencia Artificial. 5, 120-127.

Statistics

  • Books (11)
  • Edited Books (28)
  • Contributions to Book Chapters (42)
  • Journal Papers (416)
  • Papers in Collective Volumes (0)
  • Technical Reports (3)
  • Conference Contributions (289)
  • Conference Proceedings (37)