|
СТ |
Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach |
2004 |
Alcade B., Cavalli A., Chen D., Khuu D., Lee D. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.01.2005 |
|
СТ |
Semantic Data Modeling Using XML Schemas |
2001 |
Mani M., Lee D., Muntz R. R. |
|
|
|
Lecture Notes in Computer Science |
08.11.2001 |
|
СТ |
Constraint-Preserving Transformation from XML Document Type Definition to Relational Schema |
2000 |
Lee D., Chu W. W. |
|
|
|
Lecture Notes in Computer Science |
11.11.2000 |
|
СТ |
Testing of Finite State Systems |
1999 |
Yannakakis M., Lee D. |
|
|
|
Lecture Notes in Computer Science |
25.05.1999 |
|
СТ |
The Structure and Performance of Interpreters |
1996 |
Romer T. H., Lee D., Voelker G. M., Wolman A., Wong W. A. |
|
|
|
SIGPLAN Notices |
15.08.1997 |
|
СТ |
Avoiding Conflict Misses Dynamically in Large Direct-Mapped Caches |
1994 |
Bershad B. N., Lee D., Romer T. H., Chen J. B. |
|
|
|
SIGPLAN Notices |
10.02.1995 |
|
СТ |
Complete Structural Characterization of State Machine Allocatable Nets |
1991 |
Lee D., Kumagai S., Kodama S. |
|
|
|
IEICE Trans. |
19.12.1991 |
|
СТ |
Reachabilty Theorem for a Class of Live and Safe Free Choice Nets |
1991 |
Lee D., Kumagai S., Kodama S. |
|
|
|
IEICE Trans. |
19.12.1991 |
|
СТ |
Efficient Gateway Synthesis from Formal Specificatons |
1991 |
Kristol D., Lee D., Netravali A., Sabnani K. |
|
|
|
Computer Communication Review |
18.12.1991 |
|
СТ |
HYTREM- A Hybrid Text-Retrieval Machine for Large Databases |
1990 |
Lee D., Lochovsky F. |
|
|
|
IEEE Trans. Computers |
21.05.1991 |
