Вы здесь

Yannakakis M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Testing, Optimization, and Games 2004 Yannakakis M. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.10.2004
СТ Adaptive Model Checking 2002 Groce A., Peled D., Yannakakis M. Lecture Notes in Computer Science 21.05.2002
СТ Testing of Finite State Systems 1999 Yannakakis M., Lee D. Lecture Notes in Computer Science 25.05.1999
СТ Model Checking of Hierarchical State Machines 1998 Alur R., Yannakakis M. Software Engineering Notes 26.03.1999
СТ 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
СТ Timing Verification by Successive Approximation 1993 Alur R., Itai A., Kurshan R., Yannakakis M. Lecture Notes in Computer Science 07.05.1993
СТ Shortest paths without a map 1991 Papadimitriou C., Yannakakis M. Theoretical Computer Science 24.09.1991
СТ Towards an Architecture-Independent Analysis of Parallel Algorithms 1990 Papadimitriou C., Yannakakis M. SIAM J. Comput. 08.02.1991