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

    Article

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

    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.

    Al-Nima, R.R.O. and Al-Kaltakchi, M.T.S. and Al-Sumaidaee, S.A.M. and Dlay, S.S. and Woo, W.L. and Han, Tingting and Chambers, J.A. (2018) Personal verification based on multi-spectral finger texture lighting images. IET Control Theory & Applications , ISSN 1751-8644. (In Press)

    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)

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

    Chen, T. and Yu, N. and Han, Tingting (2015) Continuous-time orbit problems are decidable in polynomial-time. Information Processing Letters 115 (1), pp. 11-14. ISSN 0020-0190.

    Chen, T. and Han, Tingting and Katoen, J.-P. and Mereacre, A. and Jagadeesan, R. (2011) Model checking of continuous-time Markov Chains against timed automata specifications. Logical Methods in Computer Science 7 (1), ISSN 1860-5974.

    Han, Tingting and Katoen, J.-P. and Berteun, D. (2009) Counterexample generation in probabilistic model checking. IEEE Transactions on Software Engineering 35 (2), pp. 241-257. ISSN 0098-5589.

    Book Section

    Chen, T. and Han, Tingting and Kammueller, F. and Nemli, I. and Probst, C.W. (2016) Model based analysis of insider threats. In: UNSPECIFIED (ed.) Cyber Security And Protection Of Digital Services (Cyber Security), 2016 International Conference On. IEEE Computer Society. ISBN 9781509007097.

    Chen, T. and Han, Tingting (2014) On the complexity of computing maximum entropy for Markovian Models. In: Raman, V. and Suresh, S.P. (eds.) Proceedings, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014). Leibniz International Proceedings In Informatics 29. Wadern, Germany: Dagstuhl, pp. 571-583. ISBN 9783939897774.

    This list was generated on Wed Sep 19 03:12:18 2018 BST.