Home

Biblio

Export 54 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: First Letter Of Last Name is B  [Clear All Filters]
Book Chapter
Blakes, J., Twycross J., Konur S., Romero-Campero F. J., Krasnogor N., & Gheorghe M. (2014).  Infobiotics Workbench: A P Systems Based Tool for Systems and Synthetic Biology. Applications of Membrane Computing in Systems and Synthetic Biology. 7, 1-42.
Books
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
Blázquez-Gallego, J., & Pérez-Jiménez M. J. (2001).   Vida Artificial: Estudio y Análisis del Programa SWARM . 104.
Conference Contributions
Busi, N., & Gutiérrez-Naranjo M. A. (2006).  A Case Study in (Mem)brane Computation: Generating N^2 / N>=1. (Miguel A. Gutiérrez-Naranjo, Gheorghe Paun, Agustín Riscos-Núñez, Francisco J. Romero-Campero, Ed.).Fourth Brainstorming Week on Membrane Computing . I, 81-97.
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.
Bangalan, Z. F., Soriano K. A. N., Juayong R. A. B., Cabarle F. G., Adorna H. N., & Martínez-del-Amor M. A. (2013).  A GPU Simulation for Evolution-Communication P Systems with Energy Having no Antiport Rules. Eleventh Brainstorming Week on Membrane Computing (11BWMC). 25-50. Abstract
Brijder, R., Cavaliere M., Riscos-Núñez A., Rozenberg G., & Sburlan D. (2006).  Membrane Systems with Marked Membranes. (Nadia Busi, Claudio Zandron, Ed.).Workshop on Membrane Computing and Biologically Inspired Process Calculi.
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.
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.
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.
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.
Aboy, B. C. D., Bariring E. J. A., Carandang J. P., Cabarle F. G. C., Cruz D. L. R. T., Adorna H. N., et al. (2019).  Optimizations in CuSNP simulator for Spiking Neural P Systems on CUDA GPUs. 2nd BICAS Special Session, 2019 High Performance Computing & Simulation (HPCS 2019). 535-542.
Peña-Cantillana, F., Berciano A., Díaz-Pernil D., & Gutiérrez-Naranjo M. A. (2012).  Parallel Skeletonizing of Digital Imagery by Using Cellular Automata. (M. Ferri, P. Frosini, C. Landi, A. Cerri, B. Di-Fabio, Ed.).Lecture Notes in Computer Science. 7309 , 39-48.
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. .
Arazo-Sánchez, M., Barroso-Mancha M., De-la-Torre-Pérez Ó., Moreno-Valero L., Ribes-Metidieri A., Ribes-Metidieri P., et al. (2016).  Stern-Gerlach Experiment. Fourteenth Brainstorming Week on Membrane Computing (BWMC2016). 101-112.
Borrego-Ropero, R., Díaz-Pernil D., & Pérez-Jiménez M. J. (2007).  Tissue simulator: A graphical tool for tissue P systems. 16th International Symposium on Fundamentals of Computational Theory. 23-34. 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.
Besozzi, D., Busi N., Franco G., Freund R., & Paun G. (2006).  Two Universality Results for (Mem)brane Systems. (Miguel A. Gutiérrez-Naranjo, Ed.).Fourth Brainstorming Week on Membrane Computing . I, 49-62.
Arazo-Sánchez, M., Barroso-Mancha M., De-la-Torre-Pérez Ó., Moreno-Valero L., Ribes-Metidieri A., Ribes-Metidieri P., et al. (2016).  Uranium-238 decay chain. Fourteenth Brainstorming Week on Membrane Computing (BWMC2016). 113-130.
Contributions to Book Chapters
Paun, G. (2009).  DNA computing by splicing and by insertion-deletion. (Grzegorz Rozenberg, Thomas Bäck, Joost N. Kok, Ed.).Handbook of Natural Computing.
Paun, G. (2009).  Membrane computing. (Grzegorz Rozenberg, Thomas Bäck, Joost N. Kok, Ed.).Handbook of Natural Computing.
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.
Paun, G., & Pérez-Jiménez M. J. (2008).  Spiking Neural P systems: An overview. (A. Porto, A. Pazos, W. Buno, Ed.).Advancing Artificial Intelligence through Biological Process Applications . 59-72. Abstract
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.
Journal Papers
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.

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)