BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Number of items: 6.

    Article

    Zhou, Y. and Han, Tingting and Chen, Taolue and Zhou, S. (2019) Probabilistic analysis of QoS-aware service composition with Explicit Environment Models. IET Software , ISSN 1751-8806. (In Press)

    Zhou, Y. and Wang, C. and Yan, X. and Chen, Taolue and Panichella, S. and Gall, H.C. (2018) Automatic detection and repair of directive defects of Java APIs documentation. IEEE Transactions on Software Engineering , ISSN 0098-5589.

    Zhou, Y. and Zhou, N. and Han, Tingting and Gu, J. and Wu, W. (2018) Probabilistic verification of hierarchical leader election protocols in dynamic systems. Frontiers of Computer Science 12 (4), pp. 763-776. ISSN 2095-2228.

    Zhou, Y. and Tong, Y. and Chen, Taolue and Han, J. (2017) Augmenting bug localization with part-of-speech and invocation. International Journal of Software Engineering and Knowledge Engineering 27 (6), pp. 925-950. ISSN 0218-1940.

    He, T. and Zhou, Y. and Vermeesch, Pieter and Rittner, M. and Miao, L. and Zhu, M. and Carter, Andrew and Pogge von Strandmann, Philip A.E. and Shields, G.A. (2016) Measuring the ‘Great Unconformity’ on the North China Craton using new detrital zircon age data. Geological Society, London, Special Publications 448 , ISSN 0305-8719.

    Book Section

    Aziz, H. and Lachish, Oded and Paterson, M. and Savani, R. (2009) Power indices in spanning connectivity games. In: Goldberg, A. and Zhou, Y. (eds.) Algorithmic Aspects in Information and Management. Lecture Notes in Computer Science 5564. Berlin, Germany: Springer Verlag, pp. 55-67. ISBN 9783642021572.

    This list was generated on Wed Dec 11 04:31:01 2019 GMT.