Browse by Person
 | Up a level |
Acta Cybernetica
Chen, Taolue and Han, Tingting and Lu, J. (2006) On the complete axiomatization for prefix iteration modulo observation congruence. Acta Cybernetica 17 (3), pp. 471-483. ISSN 0324-721X.
Advances in Information Retrieval Theory
Zhang, Dell and Lu, J. (2009) Batch-mode computational advertising based on modern portfolio theory. In: Azzopardi, L. and Kazai, G. and Robertson, S.E. and Ruger, S.M. and Shokouhi, M. and Song, D. and Yilmaz, E. (eds.) Advances in Information Retrieval Theory. Lecture Notes In Computer Science 386 5766. Berlin, Germany: Springer, pp. 380-383. ISBN 9783642044168.
Electronic Notes in Theoretical Computer Science
Chen, Taolue and Han, Tingting and Lu, J. (2005) A modal logic for pi-calculus and model checking algorithm. Electronic Notes in Theoretical Computer Science 123 (1), pp. 19-33. ISSN 1571-0661.
Chen, Taolue and Zhou, J. and Han, Tingting and Lu, J. (2004) Checking strong open congruence in χ-calculus. Electronic Notes in Theoretical Computer Science 91 , pp. 4-20. ISSN 1571-0661.
Chen, Taolue and Han, Tingting and Lu, J. (2003) Intensionality of modal logic for robust ambient calculus. Electronic Notes in Theoretical Computer Science 85 (1), pp. 25-38. ISSN 1571-0661.
Experimental Brain Research
Wei, P. and Lu, J. and Muller, Hermann J. and Zhou, X. (2008) Searching for two feature singletons in the visual scene: the localized attentional interference effect. Experimental Brain Research 185 (2), pp. 175-188. ISSN 0014-4819.