Chin‐Laung Lei

Modalities for model checking: branching time logic strikes back

E. Allen Emerson, Chin‐Laung Lei · Science of Computer Programming · 1987 · 327 citations

Engineering, Automated Reasoning, Verification +7

Quantifying Skype user satisfaction

Kuan-Ta Chen, Chun‐Ying Huang, Polly Huang et al. · ACM SIGCOMM Computer Communication Review · 2006 · 249 citations

Customer Satisfaction, Engineering, Voip Services +24

A crowdsourceable QoE evaluation framework for multimedia content

Kuan-Ta Chen, Chen‐Chi Wu, Yuchun Chang et al. · 2009 · 189 citations

Artificial Intelligence, Engineering, Online Experiment +22

Measuring the latency of cloud gaming systems

Kuan-Ta Chen, Yuchun Chang, Po‐Han Tseng et al. · 2011 · 176 citations

Cluster Computing, Engineering, Cloud Gaming +20

An Efficient and Anonymous Buyer-Seller Watermarking Protocol

Chin‐Laung Lei, Pao-Tan Yu, Pei-I Tsai et al. · IEEE Transactions on Image Processing · 2004 · 176 citations

Digital Watermarking, Engineering, Digital Signature +13