Chin-Laung Lei spends much of his time researching Multimedia, The Internet, Quality of service, Model checking and Computer security. His Multimedia study incorporates themes from Quality, Provisioning and Cloud gaming. The concepts of his The Internet study are interwoven with issues in Crowdsourcing, Game mechanics, Video game design and Quality of experience.
His Quality of service study is related to the wider topic of Computer network. In general Model checking study, his work on Abstraction model checking often relates to the realm of Branching, Modalities and Multimodal logic, thereby connecting several areas of interest. His work on Traffic analysis, Trusted third party and Certificate authority as part of his general Computer security study is frequently connected to Watermark, thereby bridging the divide between different branches of science.
Chin-Laung Lei focuses on Computer network, Computer security, Distributed computing, Scheme and The Internet. His Computer security study frequently draws connections to adjacent fields such as Internet privacy. His The Internet study combines topics from a wide range of disciplines, such as Crowdsourcing, Quality of service and Multimedia.
His work carried out in the field of Multimedia brings together such families of science as Screening game and Quality, Quality of experience. The various areas that he examines in his Authentication study include Ubiquitous computing, Wireless sensor network and Server. He has researched Blind signature in several fields, including Algorithm, Theoretical computer science and Discrete logarithm.
His main research concerns Computer security, Artificial intelligence, Computer network, Steganography and Algorithm. His work in Computer security is not limited to one particular discipline; it also encompasses Information sharing. His Artificial intelligence study integrates concerns from other disciplines, such as Machine learning, Task analysis and Computer vision.
His research is interdisciplinary, bridging the disciplines of Wireless network and Computer network. His Key research includes elements of Wireless sensor network and Distributed computing. Chin-Laung Lei has included themes like Computer hardware, Theoretical computer science, Personally identifiable information and Code in his Cover study.
Chin-Laung Lei mainly investigates Steganography, Cover, Futures contract, Information hiding and Computer security. His Steganography study spans across into subjects like Component, Information protection policy, Social media, Social network and Personally identifiable information. His Cover research is multidisciplinary, incorporating elements of Computer hardware, Theoretical computer science, World Wide Web and Code.
His Futures contract study combines topics in areas such as Breakout, Database transaction and Econometrics. His study on Information hiding is intertwined with other disciplines of science such as High capacity, Speech recognition, Amplitude, Scheme and Algorithm. His Computer security study is mostly concerned with Cloud storage, Filesystem-level encryption, Client-side encryption, Attribute-based encryption and 40-bit encryption.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
EFFICIENT MODEL CHECKING IN FRAGMENTS OF THE PROPOSITIONAL MU-CALCULUS.
E. Allen Emerson;Chin Laung Lei.
logic in computer science (1986)
Modalities for model checking: branching time logic strikes back
E. Allen Emerson;Chin-Laung Lei.
Science of Computer Programming (1987)
Quantifying Skype user satisfaction
Kuan-Ta Chen;Chun-Ying Huang;Polly Huang;Chin-Laung Lei.
acm special interest group on data communication (2006)
Game traffic analysis: an MMORPG perspective
Kuan-Ta Chen;Polly Huang;Chin-Laung Lei.
Computer Networks (2006)
An efficient and anonymous buyer-seller watermarking protocol
Chin-Laung Lei;Pei-Ling Yu;Pan-Lung Tsai;Ming-Hwa Chan.
IEEE Transactions on Image Processing (2004)
A crowdsourceable QoE evaluation framework for multimedia content
Kuan-Ta Chen;Chen-Chi Wu;Yu-Chun Chang;Chin-Laung Lei.
acm multimedia (2009)
Measuring the latency of cloud gaming systems
Kuan-Ta Chen;Yu-Chun Chang;Po-Han Tseng;Chun-Ying Huang.
acm multimedia (2011)
Modalities for Model Checking: Branching Time Strikes Back.
E. Allen Emerson;Chin-Laung Lei.
POPL (1985)
Modalities for model checking (extended abstract): branching time strikes back
E. Allen Emerson;Chin-Laung Lei.
symposium on principles of programming languages (1985)
How sensitive are online gamers to network quality
Kuan-Ta Chen;Polly Huang;Chin-Laung Lei.
Communications of The ACM (2006)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Academia Sinica
National Taiwan University
The University of Texas at Austin
Academia Sinica
National Taiwan University
Research Center for Information Technology Innovation, Academia Sinica
Aston University
Northwestern University
Infinera (United States)
National Taiwan University
Virginia Commonwealth University
Université Côte d'Azur
Purdue University West Lafayette
University of Technology Sydney
Universitat Politècnica de València
Oregon State University
Shanghai Jiao Tong University
Fudan University
Masaryk University
Hellenic Centre for Marine Research
Chinese Academy of Sciences
Structural Genomics Consortium
Case Western Reserve University
Tohoku University
University of California, San Diego
Columbia University