|
СТ |
A Proof Assistant for Mobile Processes |
2003 |
Du X., Li Z. |
|
|
|
Lecture Notes in Computer Science |
27.11.2003 |
|
СТ |
GCCS: A Graphical Coordination Language for System Specification |
2000 |
Cleaveland R., Du X., Smolka S. A. |
|
|
|
Lecture Notes in Computer Science |
05.10.2000 |
|
СТ |
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools |
1999 |
Dong Y., Du X., Ramakrishna Y. S., Ramakrishnan C. R., Ramakrishnan I. V., Smolka S. A., Sokolovsky O., Stark E. W., Warren D. S. |
|
|
|
Lecture Notes in Computer Science |
08.04.1999 |
|
СТ |
A New Factoring Algorithm for Magic Predicates |
1998 |
Du X., Liu Z., Ishii N. |
|
|
|
Lecture Notes in Computer Science |
18.12.1998 |
|
СТ |
Logic Programming and Model Checking |
1998 |
Cui B., Dong Y., Du X., Kumar K. N., Ramakrishnan C. R., Ramakrishnan I. V., Roychoudhury A., Smolka S. A., Warren D. S. |
|
|
|
Lecture Notes in Computer Science |
13.10.1998 |
|
СТ |
Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study |
1997 |
Du X., Mcdonnell K. T., Nanos E., Ramakrishna Y. S., Smolka S. A. |
|
|
|
Lecture Notes in Computer Science |
30.12.1997 |
|
СТ |
Normalization of Linear Recursions Based on Graph Transformations |
1995 |
Du X., Ishii N. |
Lecture Notes in Computer Science |
|
|
Information Systems and Data Management |
23.12.1995 |
|
СТ |
An Algebraic Rewriting Theorem of Multiple Linear Recursions and Its Applications |
1995 |
Du X., Ishii N. |
Lecture Notes in Computer Science |
|
|
Database and Expert Systems Applications |
15.11.1995 |
