Home

Biblio

Export 54 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: First Letter Of Last Name is B  [Clear All Filters]
1998
Alonso-Jiménez, J. A., Borrego-Díaz J., Pérez-Jiménez M. J., & Ruiz-Reina J. L. (1998).   Curso Práctico de Teoría de Conjuntos . XXV+345. Abstract
2000
Graciani-Díaz, C., Pérez-Jiménez M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2000).  NP-Completitud y Computación ADN. (Emilio Briales-Morales, Alfonso Carriazo-Rubio, Tomás Chacón-Rebollo, Pedro Real, Álvaro Romero-Jiménez, Ed.).Encuentro de Matemáticos Andaluces. II, 539-548.
2001
Blázquez-Gallego, J., & Pérez-Jiménez M. J. (2001).   Vida Artificial: Estudio y Análisis del Programa SWARM . 104.
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
Bottoni, P., Martín-Vide C., Paun G., & Rozenberg G. (2002).  Membrane systems with promoters/inhibitors . Acta Informatica. 38(10), 695-720. 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.
Gutiérrez-Naranjo, M. A., Alonso-Jiménez J. A., & Borrego-Díaz J. (2002).  A Quasi-Metric for Machine Learning. Lecture Notes in Computer Science. 2527, 193-203. Abstract
Bottoni, P., Labella A., Martín-Vide C., & Paun G. (2002).  Rewriting P Systems with Conditional Communication . Lecture Notes in Computer Science. 2300, 325-353. Abstract
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.
2003
Besozzi, D., Mauri G., Paun G., & Zandron C. (2003).  Gemmating P systems: collapsing hierarchies . Theoretical Computer Science. 296(2), 253-267 . Abstract
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
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
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.
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.
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.
2005
Bernardini, F., Romero-Campero F. J., Gheorghe M., Pérez-Jiménez M. J., Margenstern M., Verlan S., et al. (2005).  On P Systems with Bounded Parallelism. TAPS'05 Workshop on Theory and Application of Systems.
Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Romero-Campero F. J. (2005).  Solving SAT with membrane creation. (S. Barry-Cooper, B. Lowe, L. Torenvliet, Ed.).Computability in Europe 2005 (CiE 2005): New Computational Paradigms . 82-91. .
Bernardini, F., Gheorghe M., Krasnogor N., & Paun G. (2005).  Turing machines with cells on the tape. (Miguel A. Gutiérrez-Naranjo, Gheorghe Paun, Mario J. Pérez-Jiménez, Ed.).Cellular Computing (Complexity Aspects). 61-73.
2006
Romero-Campero, F. J., Gheorghe M., Bianco L., Pescini D., Pérez-Jiménez M. J., & Ceterchi R. (2006).   Towards probabilistic model checking on P systems using PRISM. Lecture Notes in Computer Science. 4361, 477-495.
Busi, N., & Gutiérrez-Naranjo M. A. (2006).  A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers . Lecture Notes in Computer Science. 4361, 233-249. Abstract
Brijder, R., Cavaliere M., Riscos-Núñez A., Rozenberg G., & Sburlan D. (2006).  Communication membrane systems with active symports. Journal of Automata, Languages and Combinatorics. 11(3), 241-262.
Brijder, R., Cavaliere M., Riscos-Núñez A., Rozenberg G., & Sburlan D. (2006).  Membrane Systems with External Control. Lecture Notes in Computer Science. 4361, 215-232. Abstract
Bernardini, F., Romero-Campero F. J., Gheorghe M., & Pérez-Jiménez M. J. (2006).  A Modeling Approach Based on P Systems with Bounded Parallelism. Lecture Notes in Computer Science. 4361, 49-65. Abstract
Bernardini, F., Gheorghe M., Krasnogor N., Muniyandi R., Pérez-Jiménez M. J., & Romero-Campero F. J. (2006).  On P systems as a modelling tool for biological systems. Lecture Notes in Computer Science. 3850, 114-133. Abstract
Busi, N., & Gutiérrez-Naranjo M. A. (2006).  Some Notes on (Mem)Brane Computation. Lecture Notes in Computer Science. 4193, 262-271. 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)