Efficient model checking in fragments of the propositional mu-calculus EA Emerson, CL Lei IEEE Symposium on Logic in Computer Science, 267-278, 1986 | 861 | 1986 |
Modalities for model checking (extended abstract) branching time strikes back EA Emerson, CL Lei Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of …, 1985 | 715 | 1985 |
Quantifying skype user satisfaction KT Chen, CY Huang, P Huang, CL Lei ACM SIGCOMM Computer Communication Review 36 (4), 399-410, 2006 | 385 | 2006 |
Game traffic analysis: An MMORPG perspective KT Chen, P Huang, CY Huang, CL Lei Proceedings of the international workshop on Network and operating systems …, 2005 | 305 | 2005 |
A crowdsourceable QoE evaluation framework for multimedia content KT Chen, CC Wu, YC Chang, CL Lei Proceedings of the 17th ACM international conference on Multimedia, 491-500, 2009 | 258 | 2009 |
An efficient and anonymous buyer-seller watermarking protocol CL Lei, PL Yu, PL Tsai, MH Chan IEEE transactions on Image Processing 13 (12), 1618-1626, 2004 | 249 | 2004 |
Measuring the latency of cloud gaming systems KT Chen, YC Chang, PH Tseng, CY Huang, CL Lei Proceedings of the 19th ACM international conference on Multimedia, 1269-1272, 2011 | 248 | 2011 |
How sensitive are online gamers to network quality? KT Chen, P Huang, CL Lei Communications of the ACM 49 (11), 34-38, 2006 | 201 | 2006 |
Quadrant of euphoria: a crowdsourcing platform for QoE assessment KT Chen, CJ Chang, CC Wu, YC Chang, CL Lei IEEE Network 24 (2), 28-35, 2010 | 167 | 2010 |
Are all games equally cloud-gaming-friendly? An electromyographic approach YT Lee, KT Chen, HI Su, CL Lei 2012 11th Annual Workshop on Network and Systems Support for Games (NetGames …, 2012 | 156 | 2012 |
Identifying MMORPG bots: A traffic analysis approach KT Chen, JW Jiang, P Huang, HH Chu, CL Lei, WC Chen Proceedings of the 2006 ACM SIGCHI international conference on Advances in …, 2006 | 142 | 2006 |
How to detect a compromised SDN switch PW Chi, CT Kuo, JW Guo, CL Lei Proceedings of the 2015 1st IEEE Conference on Network Softwarization …, 2015 | 111 | 2015 |
Effect of network quality on player departure behavior in online games KT Chen, P Huang, CL Lei IEEE Transactions on Parallel and Distributed Systems 20 (5), 593-606, 2008 | 106 | 2008 |
Robust authentication and key agreement scheme preserving the privacy of secret key RC Wang, WS Juang, CL Lei Computer Communications 34 (3), 274-280, 2011 | 103 | 2011 |
Crowdsourcing multimedia QoE evaluation: A trusted framework CC Wu, KT Chen, YC Chang, CL Lei IEEE transactions on multimedia 15 (5), 1121-1137, 2013 | 102 | 2013 |
World of Warcraft avatar history dataset YT Lee, KT Chen, YM Cheng, CL Lei Proceedings of the second annual ACM conference on Multimedia systems, 123-128, 2011 | 100 | 2011 |
Low-computation partially blind signatures for electronic cash CI Fan, CL Lei IEICE Transactions on Fundamentals of Electronics, Communications and …, 1998 | 94 | 1998 |
A secure and practical electronic voting scheme for real world environments WS Juang, CL Lei IEICE transactions on fundamentals of electronics, communications and …, 1997 | 93 | 1997 |
On the sensitivity of online game playing time to network QoS KT Chen, P Huang, GS Wang, CY Huang, CL Lei Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on …, 2006 | 86 | 2006 |
Temporal model checking under generalized fairness constraints EA Emerson, CL Lei Proceedings of the 18th Annual Hawaii International Conference on System …, 1985 | 83 | 1985 |