Items where Author / Artist / Editor is "Han, Tingting"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

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 (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 (doi:10.2168/LMCS-7(1:12)2011)

Conference or Workshop Item

Chen, Taolue, Han, Tingting, Kammueller, Florian, 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. (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

This list was generated on Fri Feb 28 05:04:07 2020 GMT.