BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Item Type | Date | Journal or Publication Title | No Grouping
    Number of items: 6.

    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.

    This list was generated on Sat Oct 23 05:10:12 2021 BST.