Efficient model checking in fragments of the propositional mu-calculus EA Emerson IEEE LICS, 1986, 1986 | 829 | 1986 |
Modalities for model checking: Branching time logic strikes back EA Emerson, CL Lei Science of computer programming 8 (3), 275-306, 1987 | 689 | 1987 |
Quantifying skype user satisfaction KT Chen, CY Huang, P Huang, CL Lei ACM SIGCOMM Computer Communication Review 36 (4), 399-410, 2006 | 375 | 2006 |
Game traffic analysis: An MMORPG perspective KT Chen, P Huang, CL Lei Computer Networks 50 (16), 3002-3023, 2006 | 284 | 2006 |
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 | 239 | 2004 |
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 | 238 | 2009 |
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 | 230 | 2011 |
How sensitive are online gamers to network quality? KT Chen, P Huang, CL Lei Communications of the ACM 49 (11), 34-38, 2006 | 188 | 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 | 160 | 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 | 145 | 2012 |
Identifying MMORPG bots: A traffic analysis approach KT Chen, JW Jiang, P Huang, HH Chu, CL Lei, WC Chen EURASIP Journal on Advances in Signal Processing 2009, 1-22, 2008 | 137 | 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 | 100 | 2011 |
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 | 98 | 2008 |
Crowdsourcing multimedia QoE evaluation: A trusted framework CC Wu, KT Chen, YC Chang, CL Lei IEEE transactions on multimedia 15 (5), 1121-1137, 2013 | 95 | 2013 |
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 | 89 | 2015 |
Low-computation partially blind signatures for electronic cash CI Fan, CL Lei IEICE Transactions on Fundamentals of Electronics, Communications and …, 1998 | 89 | 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 | 88 | 1997 |
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 | 84 | 2011 |
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 | 80 | 2006 |
Temporal model checking under generalized fairness constraints EA Emerson, CL Lei Proceedings of the 18th Annual Hawaii International Conference on System …, 1985 | 78 | 1985 |