Browse by Person

2003

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.

2004

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. (2004) Framework of performance evaluation for mobile process based on mobile ambient. In: Wei, D. and Wang, H. and Peng, Z. and Kara, A. and He, Y. (eds.) International Conference on Computer and Information Technology. IEEE Computer Society, pp. 540-545. ISBN 0769522165.

Chen, Taolue and Han, Tingting and Lu, J. (2004) Towards a model logic for p-calculus. In: UNSPECIFIED (ed.) COMPSAC 2004: 28th International Computer Software and Applications Conference: Design and Assessment of Trustworthy Software-Based Systems. IEEE Computer Society, pp. 330-335. ISBN 0769522092.

Chen, Taolue and Han, Tingting and Lu, J. (2004) Tree logic with recursion and model checking algorithm. In: Hamza, M.H. (ed.) Proceedings of the IASTED Conference on Software Engineering and Applications. IASTED/ACTA Press, pp. 588-593. ISBN 088986425X.

2005

Chen, Taolue and Han, Tingting and Lu, J. (2005) On the bisimulation congruence in χ-calculus. In: Ramanujam, R. and Sen, S. (eds.) FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science. Lecture Notes in Computer Science 3821. Springer, pp. 128-139. ISBN 9783540324195.

Han, Tingting and Chen, Taolue and Lu, J. (2005) Structure analysis for dynamic software architecture. In: Chung, L. and Song, Y.-T. (eds.) Sixth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. IEEE Computer Society. ISBN 0769522947.

Han, Tingting and Chen, Taolue and Lu, J. (2005) Structure analysis for dynamic software architecture based on spatial logic. In: UNSPECIFIED (ed.) COMPSAC 2005: 29th Annual International Computer Software and Applications Conference. IEEE Computer Society, pp. 71-76. ISBN 0769524133.

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.

2006

Chen, Taolue and Han, Tingting and Lu, J. (2006) On the Markovian randomized strategy of controller for Markov decision processes. In: Wang, L. and Jiao, L. and Shi, G. and Li, X. and Liu, J. (eds.) FSKD 2006: Fuzzy Systems and Knowledge Discovery, Third International Conference. Lecture Notes in Computer Science 4223. Springer, pp. 149-158. ISBN 9783540459163.

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.

2007

Chen, Taolue and Han, Tingting and Lu, J. (2007) On behavioral metric for probabilistic systems: definition and approximation algorithm. In: Lei, J. (ed.) FSKD 2007: Fourth International Conference on Fuzzy Systems and Knowledge Discovery. IEEE Computer Society, pp. 21-25. ISBN 9780769528748.

Chen, Taolue and Lu, J. (2007) Probabilistic alternating-time temporal logic and model checking algorithm. In: Lei, J. (ed.) Fourth International Conference on Fuzzy Systems and Knowledge Discovery. IEEE Computer Society, pp. 35-39. ISBN 9780769528748.

February 2008

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.

2009

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.

Zhang, Dell and Lu, J. and Mao, R. and Nie, J.-Y. (2009) Time-sensitive language modelling for online term recurrence prediction. 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 5766. Berlin, Germany: Springer, pp. 128-138. ISBN 9783642044168.

Zhang, Dell and Lu, J. (2009) What queries are likely to recur in web search? In: Allan, J. and Aslam, J.A. and Sanderson, M. and Zhai, C. and Zobel, J. (eds.) Proceedings of the 32nd international ACM SIGIR conference on Research and development in information retrieval - SIGIR '09. New York, U.S.: ACM Press, pp. 827-828. ISBN 9781605584836.

2010

Zhang, Dell and Wang, J. and Cai, D. and Lu, J. (2010) Laplacian co-hashing of terms and documents. In: Gurrin, C. and He, Y. and Kazai, G. and Kruschwitz, U. and Little, S. and Roelleke, T. and Ruger, S.M. and van Rijsbergen, K. (eds.) Advances in Information Retrieval. Lecture Notes In Computer Science 5993. Berlin, Germany: Springer, pp. 577-580. ISBN 9783642122743.

Zhang, Dell and Wang, J. and Cai, D. and Lu, J. (2010) Self-taught hashing for fast similarity search. In: Crestani, F. and Marchand-Maillet, S. and Chen, H.-H. and Efthimiadis, E.N. and Savoy, J. (eds.) Proceeding of the 33rd international ACM SIGIR conference on Research and development in information retrieval - SIGIR '10. New York, U.S.: ACM Press, pp. 18-25. ISBN 9781450301534.