Biblio

Export 775 results:
Sort by: Author Title [ Type  (Asc)] Year
Conference Contributions
Cabarle, F., Adorna H., & Martínez-del-Amor M. A. (2011).  An Improved GPU Simulator for Spiking Neural P Systems. Sixth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA). 262 - 267. 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.
Paun, G. (2004).  Introduction to Membrane Computing. Brainstorming Workshop on Uncertainty in Membrane Computing.
Paun, G. (2008).  An introduction to membrane computing, after 10 years, by means of a (partial) glossary. Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi.
Gheorghe, M., Ipate F., Dragomir C., Mierla L., Valencia-Cabrera L., García-Quismondo M., et al. (2013).  Kernel P Systems - Version I. Eleventh Brainstorming Week on Membrane Computing (11BWMC). 97-124. Abstract
Ipate, F., Lefticaru R., Mierla L., Valencia-Cabrera L., Han H., Zhang G., et al. (2013).  Kernel P Systems: Applications and Implementations. (Zhixiang Yin, Linqiang Pan, Xianwen Fang, Ed.).Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013. 212, 1081-1089. Abstract
Paun, G., & Pérez-Jiménez M. J. (2012).  Languages and P Systems: Recent Developments. Tenth Brainstorming Week on Membrane Computing. II, 61-74. Abstract
Paun, G. (2004).  Learning New Computing Models from Biology: Membrane Computing. International Conference on Computers and Communications.
Riscos-Núñez, A., & Pérez-Hurtado I. (2010).  Length of rules and tractability in tissue-like P systems. Algebraic Computing, Soft Computing, and Program Verification.
Paun, G. (2003).  Membrane Computing - Power and Efficiency: Recent Results. First Joint Meeting between the RSME and the AMS.