Items where Author / Artist / Editor is "Han, Tingting"
![]() | See full list of headings |
Article
Chen, Taolue, Yu, Nengkun and Han, Tingting (2015) Continuous-time orbit problems are decidable in polynomial-time. Information Processing Letters, 115 (1) . pp. 11-14. ISSN 0020-0190 [Article] (doi:10.1016/j.ipl.2014.08.004)
Chen, Taolue, Han, Tingting, Katoen, Joost-Pieter, Mereacre, Alexandru and Jagadeesan, Radha (2011) Model checking of continuous-time Markov chains against timed automata specifications. Logical Methods in Computer Science, 7 (1) . ISSN 1860-5974 [Article] (doi:10.2168/LMCS-7(1:12)2011)
Conference or Workshop Item
Chen, Taolue, Han, Tingting, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Nemli, Ibrahim and Probst, Christian
(2016)
Model based analysis of insider threats.
Proceedings of the 2016 International Conference On Cyber Security And Protection Of Digital Services (Cyber Security).
In: 2016 International Conference on Cyber Security and Protection of Digital Services (Cyber Security), 13-14 Jun 2016, London, United Kingdom.
ISBN 978-1-5090-0709-7.
[Conference or Workshop Item]
(doi:10.1109/CyberSecPODS.2016.7502350)
Chen, Taolue and Han, Tingting (2014) On the complexity of computing maximum entropy for Markovian models. 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014). In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, 15-17 Dec 2014, New Delhi, India. ISBN 9783939897774. ISSN 1868-8969 [Conference or Workshop Item]