Home

Biblio

Export 176 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Last Name is C  [Clear All Filters]
2005
Cardelli, L., & Paun G. (2005).  An universality result for a membrane calculus based on mate/drips operations. (Miguel A. Gutiérrez-Naranjo, Gheorghe Paun, Mario J. Pérez-Jiménez, Ed.).Cellular Computing (Complexity Aspects). 75-94.
2004
Ceterchi, R., & Pérez-Jiménez M. J. (2004).  Simulating parallel architectures with P systems. (Giancarlo Mauri, Gheorghe Paun, Claudio Zandron, Ed.).Workshop on Membrane Computing, WMC5. 184-185.
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.
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.
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.
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.
Cordón-Franco, A., Gutiérrez-Naranjo M. A., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2004).  A Prolog simulator for deterministic P systems with active membranes. New Generation Computing. 22(4), 349-363 . Abstract
Calude, C., & Paun G. (2004).  Bio-Steps Beyond Turing. BioSystems. 77(1-3), 175-194. Abstract
Cordón-Franco, A., Gutiérrez-Naranjo M. A., Pérez-Jiménez M. J., Riscos-Núñez A., & Sancho-Caparrini F. (2004).  Implementing in Prolog an effective cellular solution for the knapsack problem. Lecture Notes in Computer Science. 2933, 140-152. Abstract
Cordón-Franco, A., & Sancho-Caparrini F. (2004).  A Note on Complexity Measures for Probabilistic P Systems. Journal of Universal Computer Science. 10(5), 559-566. Abstract
2003
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.
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.
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).  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.
Ceterchi, R., Mutyam M., Paun G., & Subramanian K. G. (2003).  Array-rewriting P systems . Natural Computing. 2(3), 229-249. 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
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.
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
2002
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
Alonso-Jiménez, J. A., Borrego-Díaz J., Chávez-González A. M., Gutiérrez-Naranjo M. A., & Navarro-Marín J. D. (2002).  A Methodology for the Computer-Aided Cleaning of Complex Knowledge Databases. IECON'02.
Alonso-Jiménez, J. A., Borrego-Díaz J., Chávez-González A. M., & Gutiérrez-Naranjo M. A. (2002).  Towards a Practical Argumentative Reasoning with QSD. I Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial.

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)