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

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

Conference or Workshop Item

Chen, Taolue, Han, Tingting, Kammueller, Florian, Nemli, Ibrahim and Probst, Christian (2016) Model based analysis of insider threats. In: 2016 International Conference on Cyber Security and Protection of Digital Services (Cyber Security), 13-14 Jun 2016, London, United Kingdom.

Chen, Taolue and Han, Tingting (2014) On the complexity of computing maximum entropy for Markovian models. In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, 15-17 Dec 2014, New Delhi, India.

This list was generated on Mon May 20 04:38:15 2019 BST.