|
English
|
正體中文
|
简体中文
|
2822924
|
|
???header.visitor??? :
30086784
???header.onlineuser??? :
1013
???header.sponsordeclaration???
|
|
|
|
???tair.name??? >
???browser.page.title.author???
|
"lei c l"???jsp.browse.items-by-author.description???
Showing items 66-79 of 79 (4 Page(s) Totally)
<< < 1 2 3 4 > >>
View [10|25|50] records per page
| 國立臺灣大學 |
1993 |
A dynamic cryptographic key assignment scheme in a tree structure
|
Liaw, H. T.; Wang, S. J.; Lei, C. L. |
| 國立臺灣大學 |
1993 |
A Secure User Hierarchy Scheme Based on Knapsack Problem
|
Liaw, H. T.; Wang, S. J.; Lei, C. L. |
| 國立臺灣大學 |
1993 |
An Optimal Algorithm to Assign Cryptographic Keys in a Tree Structure for Access Control
|
Liaw, H. T.; Lei, C. L. |
| 國立臺灣大學 |
1993 |
Efficient Parallel Algorithms for Finding the Majority Element
|
Lei, C. L.; Liaw, H. T. |
| 國立臺灣大學 |
1992 |
Two Efficient Algorithms for Finding the Majority Element
|
Liaw, H. T.; Lei, C. L. |
| 國立臺灣大學 |
1989 |
An Interval Logic for Reasoning about Timing Properties of Computer Communication Protocols
|
Shen, M.; Lei, C. L.; Chang, C. C. |
| 國立臺灣大學 |
1987 |
Modalities For Model Checking: Branching Time Strikes Back
|
Emerson, E. A.; Lei, C. L. |
| 國立臺灣大學 |
1986 |
Model Checking in the Propositional Mu-Calculus
|
Emerson, E. A.; Lei, C. L. |
| 國立臺灣大學 |
1986 |
Efficient Model Checking in Fragments of the Propositional Mu-Calculus
|
Emerson, E. A.; Lei, C. L. |
| 國立臺灣大學 |
1986 |
Temporal Reasoning under Generalized Fairness Constraints
|
Emerson, E. A.; Lei, C. L. |
| 國立臺灣大學 |
1985 |
Branching Time Logic Strikes Back
|
Emerson, E. A.; Lei, C. L. |
| 國立臺灣大學 |
1985 |
Modalities For Model Checking: Branching Time Strikes Back
|
Emerson, E. A.; Lei, C. L. |
| 國立臺灣大學 |
1985 |
Temporal Model Checking under Generalized Fairness Constraints
|
Emerson, E. A.; Lei, C. L. |
| 國立臺灣大學 |
1984 |
Model Checking under Generalized Fairness Constraintx
|
Emerson, E. A.; Lei, C. L. |
Showing items 66-79 of 79 (4 Page(s) Totally)
<< < 1 2 3 4 > >>
View [10|25|50] records per page
|
