AAAAAA
Results:
1-9
|
Results: 9
Authors:
Vardi, MY
Citation: My. Vardi, Special issue: ISTCS '96 - Introduction, INF COMPUT, 167(1), 2001, pp. 1-1
Authors:
Kupferman, O
Vardi, MY
Wolper, P
Citation: O. Kupferman et al., Module checking, INF COMPUT, 164(2), 2001, pp. 322-344
Authors:
Kesten, Y
Pnueli, A
Vardi, MY
Citation: Y. Kesten et al., Verification by augmented abstraction: The automata-theoretic view, J COMPUT SY, 62(4), 2001, pp. 668-690
Authors:
Kupferman, O
Vardi, MY
Wolper, P
Citation: O. Kupferman et al., An automata-theoretic approach to branching-time model checking, J ACM, 47(2), 2000, pp. 312-360
Authors:
Kupferman, O
Vardi, MY
Citation: O. Kupferman et My. Vardi, An automata-theoretic approach to modular model checking, ACM T PROGR, 22(1), 2000, pp. 87-128
Authors:
Kolaitis, PG
Vardi, MY
Citation: Pg. Kolaitis et My. Vardi, Conjunctive-query containment constraint satisfaction, J COMPUT SY, 61(2), 2000, pp. 302-332
Authors:
Feigenbaum, J
Kannan, S
Vardi, MY
Viswanathan, M
Citation: J. Feigenbaum et al., Complexity of problems on graphs represented as OBDDs, CH J THEOR, (5), 1999, pp. 1-25
Authors:
Fagin, R
Halpern, JY
Moses, Y
Vardi, MY
Citation: R. Fagin et al., Common knowledge revisited, ANN PUR APP, 96(1-3), 1999, pp. 89-105
Authors:
Fagin, R
Geanakoplos, J
Halpern, JY
Vardi, MY
Citation: R. Fagin et al., The hierarchical approach to modeling knowledge and common knowledge, INT J GAME, 28(3), 1999, pp. 331-365
Risultati:
1-9
|