Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Chin Laung Lei
Institutions:
National Taiwan University,
Institute for Information Industry
Observed institutions:
National Taiwan University,
Institute for Information Industry,
The University of Texas at Austin
OpenAlex ID:
A5113481902
Efficient Model Checking in Fragments of the Propositional Mu-calculus.
1986
·
E. Allen Emerson
, Chin Laung Lei
·
Logic in Computer Science
·
508
An AMI threat detection mechanism based on SDN networks
2014
·
Po Wen
, Chien Ting Kuo
, et al.
·
International Conference on Emerging Security Information, Systems and Technologies
·
8
MigrateSDN: efficient approach to integrate OpenFlow networks with STP-enabled networks
2019
·
Ming Hung Wang
, Jing Wei Guo
, et al.
·
International Journal of Computational Science and Engineering
·
1
Sempre: Secure multicast architecture using proxy Re-Encryption
2012
·
Yun Peng Chiu
, Chun‐Ying Huang
, et al.
·
International journal of innovative computing, information & control
A Naming storage and retrieval model for software assets
2000
·
Yuen Chang Sun
, Chin Laung Lei
·
IEICE Transactions on Information and Systems
Show more works
View as search
Works count:
5
Citation count:
517
H-index:
2
I10-index:
1
Year
Topic
Type
