Biblio

Export 799 results:
Sort by: Author [ Title  (Asc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
I
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.
K
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
Yang, J., Chen R., Zhang G., Peng H., Wang J., & Riscos-Núñez A. (2018).  A Kernel-Based Membrane Clustering Algorithm. Enjoying Natural Computing: Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday. 318-329.
L
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., & Pérez-Jiménez M. J. (2012).  Languages and P systems: Recent developments. Computer Science Journal of Moldova. 20(2), 72-92. 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.