Home

Biblio

Export 289 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Type is Conference Contributions  [Clear All Filters]
2004
Paun, G. (2004).  Learning New Computing Models from Biology: Membrane Computing. International Conference on Computers and Communications.
Ceterchi, R., & Pérez-Jiménez M. J. (2004).  A perfect shuffle algorithm for reduction processes and its simulation with P systems. (I. Dzitac, T. Maghiar, C. Popescu, Ed.).International Conference on Computers and Communications. 92-97.
Pérez-Jiménez, M. J. (2004).  A CLIPS simulator for recognizer P systems with active membranes. (Gheorghe Paun, Agustín Riscos-Núñez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Second Brainstorming Week on Membrane Computing. 387-413.
Gutiérrez-Naranjo, M. A., & Rogozhin V. (2004).  Deductive Data Bases and P Systems. Second Brainstorming Week on Membrane Computing.
Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Riscos-Núñez A. (2004).  An efficient cellular solution for the Partition problem. Second Brainstorming Week on Membrane Computing. 237-246.
Cordón-Franco, A., Gutiérrez-Naranjo M. A., & Pérez-Jiménez M. J. (2004).  Looking for P truth. (Gheorghe Paun, Agustín Riscos-Núñez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Second Brainstorming Week on Membrane Computing. 134-138.
Ceterchi, R., & Pérez-Jiménez M. J. (2004).  Simulating Shuffle-Exchange Networks with P Systems. Second Brainstorming Week on Membrane Computing. 117-129.
Pérez-Jiménez, M. J., & Romero-Campero F. J. (2004).  Solving the Bin Packing problem by recognizer P systems with active membranes. Second Brainstorming Week on Membrane Computing.
Paun, G., Pérez-Jiménez M. J., & Riscos-Núñez A. (2004).  Tissue P systems with cell division. (Gheorghe Paun, Agustín Riscos-Núñez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Second Brainstorming Week on Membrane Computing. 380-386.
Cordón-Franco, A., Gutiérrez-Naranjo M. A., Pérez-Jiménez M. J., & Riscos-Núñez A. (2004).  Weak metrics on configurations of a P system. (Gheorghe Paun, Agustín Riscos-Núñez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Second Brainstorming Week on Membrane Computing. 139-151.
Pérez-Jiménez, M. J. (2004).  Recognizer membrane systems. ECAI 2004 (16th European Conference on Artificial Intelligence). 13.
Cordón-Franco, A., Gutiérrez-Naranjo M. A., Pérez-Jiménez M. J., & Riscos-Núñez A. (2004).  Towards an efficient strategy for searching in P systems. ECAI 2004 (16th European Conference on Artificial Intelligence). 15-25.
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.
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

Statistics

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