|
СТ |
Adaptive Model Checking |
2002 |
Groce A., Peled D., Yannakakis M. |
|
|
|
Lecture Notes in Computer Science |
21.05.2002 |
|
СТ |
Existence of Reduction Hierachies |
1998 |
Kupferman O., Kurshan R. P., Yannakakis M. |
|
|
|
Lecture Notes in Computer Science |
19.06.1998 |
|
СТ |
Linear Approximation of Shortest Superstrings |
1994 |
Blum A., Jiang T., Li M., Tromp J., Yannakakis M. |
|
|
|
J. of the ACM |
17.10.1994 |
|
СТ |
Model Checking of Hierarchical State Machines |
1998 |
Alur R., Yannakakis M. |
|
|
|
Software Engineering Notes |
26.03.1999 |
|
СТ |
Shortest paths without a map |
1991 |
Papadimitriou C., Yannakakis M. |
|
|
|
Theoretical Computer Science |
24.09.1991 |
|
СТ |
Testing of Finite State Systems |
1999 |
Yannakakis M., Lee D. |
|
|
|
Lecture Notes in Computer Science |
25.05.1999 |
|
СТ |
Testing, Optimization, and Games |
2004 |
Yannakakis M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
28.10.2004 |
|
СТ |
Timing Verification by Successive Approximation |
1993 |
Alur R., Itai A., Kurshan R., Yannakakis M. |
|
|
|
Lecture Notes in Computer Science |
07.05.1993 |
|
СТ |
Towards an Architecture-Independent Analysis of Parallel Algorithms |
1990 |
Papadimitriou C., Yannakakis M. |
|
|
|
SIAM J. Comput. |
08.02.1991 |
