Home

Biblio

Export 209 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
Conference Contributions
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.
Pérez-Jiménez, M. J., Sancho-Caparrini F., Graciani-Díaz C., & Romero-Jiménez Á. (2002).  Formalización computacional del experimento de Lipton sobre el problema SAT. Primer Congreso Español de Algoritmos Evolutivos y Bioinspirados. 326-332.
Moredo, C. A., Supelana R. C., Cailipan D. P., Cabarle F. G., de la Cruz R. T., Adorna H. N., et al. (2019).  A Framework for Evolving Spiking Neural P Systems with Rules on Synapses. The 8th Asian Conference on Membrane Computing (ACMC2019).
Paun, G. (2005).  Further Twenty Six Open Problems in Membrane Computing. (Miguel A. Gutiérrez-Naranjo, Agustín Riscos-Núñez, Francisco J. Romero-Campero, Dragos Sburlan, Ed.).Third Brainstorming Week on Membrane Computing. 249-262.
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
Torres-Moríñigo, A., Martínez-del-Amor M. A., & Sancho-Caparrini F. (2021).  GPU-parallel Crowd Simulation with Vulkan. 6th International Workshop on Modeling and Simulation of and by Parallel and Distributed Systems (MSPDS 2020). In press.
Romero-Jiménez, Á., Gutiérrez-Naranjo M. A., & Pérez-Jiménez M. J. (2006).  The Growth of Branching Structures with P Systems. (Carmen Graciani-Díaz, Gheorghe Paun, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Fourth Brainstorming Week on Membrane Computing . II, 253-265.
Peng, H., Shao J., Li B., Wang J., Pérez-Jiménez M. J., Jiang Y., et al. (2012).  Image Thresholding with Cell-like P Systems. Tenth Brainstorming Week on Membrane Computing. II, 75-88. Abstract
Pérez-Jiménez, M. J., & Sosik P. (2012).  Improving the Efficiency of Tissue P Systems with Cell Separation. Tenth Brainstorming Week on Membrane Computing. II, 105-140. Abstract
Graciani-Díaz, C., Pérez-Jiménez M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2001).  Initial segments maximal Σₙ-definable sets in fragments of arithmetic. Joint Conference of the 5th Barcelona Logic Meeting and the 6th Kurt Gödel Colloquium. IV, 37-38.
Macías-Ramos, L. F., Song B., Song T., Pan L., & Pérez-Jiménez M. J. (2017).  Limits on Efficient Computation in P Systems with Symport/Antiport. Fifteenth Brainstorming Week on Membrane Computing (BWMC2017). 147-160.
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.
Freund, R., Ibarra O., Paun G., & Yen H. C. (2005).  Matrix Languages, Register Machines, Vector Addition Systems. (M. A. Gutiérrez Naranjo, Agustín Riscos-Núñez, Francisco J. Romero-Campero, Dragos Sburlan, Ed.).Third Brainstorming Week on Membrane Computing. 155-167.
Sánchez-Karhunen, E., & Valencia-Cabrera L. (2017).  Membrane Computing Applications in Computational Economics. Fifteenth Brainstorming Week on Membrane Computing (BWMC2017). 189-214.
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.
Valencia-Cabrera, L., Song B., Macías-Ramos L. F., Pan L., Riscos-Núñez A., & Pérez-Jiménez M. J. (2015).  Minimal cooperation in P systems with symport/antiport: A complexity approach. Thirteenth Brainstorming Week on Membrane Computing. 301-323.
García-Quismondo, M., Valencia-Cabrera L., Su Y., Pérez-Jiménez M. J., Pan L., & Yu H. (2012).  Modeling logic gene networks by means of probabilistic dynamic P systems. (Linqiang Pan, Gheorghe Paun, Tao Song, Ed.).Asian Conference on Membrane Computing. 30-60.
Colomer, A. M., Lavín S., Marco I., Margalida A., Pérez-Hurtado I., Pérez-Jiménez M. J., et al. (2010).  Modeling population growth of Pyrenean Chamois (Rupicapra p. pyrenayca) by using P systems. (Marian Gheorghe, Thomas Hinze, Gheorghe Paun, Ed.).Eleventh International Conference on Membrane Computing (CMC11). 121-135. Abstract
Cardona, M., Colomer A. M., Pérez-Jiménez M. J., Sanuy D., & Margalida A. (2008).  Modelling ecosystem using P systems: The bearded vulture, a case study. 9th Workshop on Membrane Computing. 95-116.
Martín-Mateos, F. J., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2002).  Molecular Computation Models in ACL2: A Simulation of Lipton's SAT Experiment in the Adleman's Restricted Model. Third International Workshop on the ACL2 Theorem Prover and its Applications. 175-187.
Pan, L., Pérez-Jiménez M. J., Riscos-Núñez A., & Rius-Font M. (2012).  New frontiers of the efficiency in tissue P systems. (Linqiang Pan, Gheorghe Paun, Tao Song, Ed.).Asian Conference on Membrane Computing. 61-73.
Díaz-Pernil, D., Gutiérrez-Naranjo M. A., Real P., & Sánchez-Canales V. (2011).  A New Way to Obtain Homology Groups in Binary 2D Images Using Membrane Computing. XII Encuentro de Algebra Computacional y Aplicaciones EACA 2010. 107-112.
Ibarra, O., Paun G., Rodríguez-Patón A., Sosik P., & Woodworth S. (2006).  Normal Forms for Spiking Neural P Systems. Fourth Brainstorming Week on Membrane Computing . II, 105-135.
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.
Murphy, N., & Woods D. (2008).  On acceptance conditions for membrane systems: characterisations of L and NL. (Turlough Neary, Damien Woods, Anthony K. Seda, Niall Murphy, Ed.).The Complexity of Simple Programs. 225-242.

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)