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

    Article

    Omar, R.R. and Han, Tingting and Al-Sumaidaee, S.A.M. and Chen, Taolue (2018) Deep finger texture learning for verifying people. IET Control Theory and Applications , ISSN 1751-8644. (In Press)

    Wu, H. and Chen, Taolue and Han, Tingting and Chen, Y. (2018) Bisimulations for Fuzzy Transition Systems revisited. International Journal of Approximate Reasoning , ISSN 0888-613X. (In Press)

    Chen, Taolue and Han, Tingting and Cao, Y. (2018) Polynomial-time algorithms for computing distances of Fuzzy Transition Systems. Theoretical Computer Science , ISSN 0304-3975. (In Press)

    Chen, Taolue and Chen, Y. and Hague, M. and Lin, A.W. and Wu, Z. (2018) What is decidable about string constraints with the ReplaceAll function. Proceedings of the ACM on Programming Languages 2 (POPL), ISSN 2475-1421.

    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.

    Martin, B. and Raimondi, F. and Chen, Taolue and Martin, J. (2017) The packing chromatic number of the infinite square lattice is between 13 and 15. Discrete Applied Mathematics 225 , pp. 136-142. ISSN 0166-218X.

    Chen, Taolue and Primiero, G. and Raimondi, F. and Rungta, N. (2016) A computationally grounded, weighted doxastic logic. Studia Logica 104 (4), pp. 679-703. ISSN 0039-3215.

    Su, G. and Feng, Y. and Chen, Taolue and Rosenblum, D.S. (2016) Asymptotic perturbation bounds for probabilistic model checking with empirically determined probability parameters. IEEE Transactions on Software Engineering 42 (7), pp. 623-639. ISSN 0098-5589.

    Chen, Taolue and Fokkink, W. and van Glabbeek, R.J. (2015) On the axiomatizability of impossible futures. Logical Methods in Computer Science 11 (3), ISSN 1860-5974.

    Chen, Taolue and Diciolla, M. and Kwiatkowska, M.Z. and Mereacre, A. (2014) Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Information and Computation 236 , pp. 87-101. ISSN 0890-5401.

    Book Section

    Chen, Taolue and Song, Fu and Wu, Zhilin (2017) Formal Reasoning on Infinite Data Values: An Ongoing Quest. In: Bowen, J.P. and Liu, Z. and Zhang, Z. (eds.) Engineering Trustworthy Software Systems - Second International School, {SETSS} 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. Lecture Notes in Computer Science 10215. Springer, pp. 195-257. ISBN 9783319568409.

    Chen, Taolue and Kiefer, S. (2014) On the total variation distance of labelled Markov chains. In: UNSPECIFIED (ed.) CSL-LICS '14 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York, U.S.: ACM, 33:1-33:10. ISBN 9781450328869.

    This list was generated on Tue Jul 17 03:30:14 2018 BST.