Home

Biblio

Export 837 results:
Sort by: Author Title Type [ Year (Desc)]
2004
Paun, G., Rozenberg G., Maurer H., & Karhumaki J. (2004).  Theory is Forever. Lecture Notes in Computer Science. 3113, X+283.
Alhazov, A., Pan L., & Paun G. (2004).  Trading polarizations for labels in P systems with active membranes . Acta Informatica. 41(2-3), 111-144. Abstract
2003
Paun, G. (2003).  News in Membrane Computing: A View from Tarragona. Second Annual Meeting of Project Molconet.
Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Riscos-Núñez A. (2003).  Solving numerical NP-complete problems using P systems with active membranes: the Partition problem and beyond. Second Annual Meeting of Project Molconet. 1-6.
Margenstern, M., Paun G., Rogozhin Y., & Verlan S. (2003).  Context-Free Insertion-Deletion Systems. First Annual Meeting of the European Molecular Computing Consortium.
Paun, G. (2003).  Membrane Computing - Power and Efficiency: Recent Results. First Joint Meeting between the RSME and the AMS.
Graciani-Díaz, C., & Pérez-Jiménez M. J. (2003).  Using automated reasoning systems in Natural Computing. First Joint Meeting between the RSME and the AMS. 4. Abstract
Pérez-Jiménez, A. J., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2003).  Computing a Partial Mapping by a P System: Design and Verification. (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).First Brainstorming Week on Membrane Computing . 247-260.
Pérez-Jiménez, A. J., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2003).  Formal verification of a transition P system generating the set 2^n+n^2+n:n>=1. (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).First Brainstorming Week on Membrane Computing. 261-269.
Gutiérrez-Naranjo, M. A., Alonso-Jiménez J. A., & Borrego-Díaz J. (2003).  Generalizing Logic Programs Via Subsumption. (R. Moreno-Díaz jr., A. Quesada-Arencibia, J. C. Rodríguez-Rodríguez, Ed.).International Conference on Computer Aided Systems Theory. 185-188.
Cavaliere, M., Martín-Vide C., & Paun G. (2003).  Proceedings of the Brainstorming Week on Membrane Computing. First Brainstorming Week on Membrane Computing.
Sancho-Caparrini, F., & Pérez-Jiménez M. J. (2003).  Verification of non deterministic transition P systems solving SAT problem . (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).First Brainstorming Week on Membrane Computing. 291-304.
Díaz-Pernil, D., Pérez-Jiménez M. J., & Ramos-Espina A. J. (2003).  Molecular programs as formal systems. (E. Alvarez, R. Bosch, L. Villamil, Ed.).12th International Congress of Logic, Methodology and Philosophy of Science. 160-161.
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Complexity Classes in Cellular Computing with Membranes. (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).Brainstorming Week on Membrane Computing. 270-278.
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Solving VALIDITY Problem by Active Membranes with Input. (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).Brainstorming Week on Membrane Computing. 279-290.
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Complexity Classes in Cellular Computing with Membranes. First Joint Meeting between the RSME and the AMS. 4. Abstract
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Complexity Classes in Cellular Computing with Membranes. First Annual Meeting of the European Molecular Computing Consortium. 18.
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  A Polynomial Complexity Class in P Systems Using Membrane Division. (Erzsebet Csuhaj-Varjú, C. Kintala, D. Wotschke, György Vaszil, Ed.).Fifth International Workshop on Descriptional Complexity of Formal Systems. 284-294.
Obtulowicz, A., & Paun G. (2003).  (In search of) probabilistic P systems . Biosystems. 70(2), 107-121. Abstract
Gheorghe, M., Martín-Vide C., Mitrana V., & Pérez-Jiménez M. J. (2003).  An agent based approach of collective foraging. Lecture Notes in Computer Science. 2686, 638-645. Abstract
Ceterchi, R., Mutyam M., Paun G., & Subramanian K. G. (2003).  Array-rewriting P systems . Natural Computing. 2(3), 229-249. Abstract
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Complexity classes in models of cellular computing with membranes. Natural Computing. 2(3), 265 - 285 . Abstract
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Decision P systems and the P≠NP conjecture. Lecture Notes in Computer Science. 2597, 388-399. Abstract
Csuhaj-Varjú, E., Martín-Vide C., Paun G., & Salomaa A. (2003).  From Watson-Crick L systems to Darwinian P systems . Natural Computing. 2(3), 299-318. Abstract
Besozzi, D., Mauri G., Paun G., & Zandron C. (2003).  Gemmating P systems: collapsing hierarchies . Theoretical Computer Science. 296(2), 253-267 . Abstract