フォロー
Moshe Y. Vardi
Moshe Y. Vardi
Rice University
確認したメール アドレス: cs.rice.edu - ホームページ
タイトル
引用先
引用先
年
Reasoning about knowledge
R Fagin, JY Halpern, Y Moses, M Vardi
MIT press, 2004
57292004
An automata-theoretic approach to automatic program verification
MY Vardi, P Wolper
Proceedings of the First Symposium on Logic in Computer Science, 322-331, 1986
22321986
The complexity of relational query languages
MY Vardi
Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982
19121982
The computational structure of monotone monadic SNP and constraint satisfaction: A study through Datalog and group theory
T Feder, MY Vardi
SIAM Journal on Computing 28 (1), 57-104, 1998
11591998
The computational structure of monotone monadic SNP and constraint satisfaction: A study through Datalog and group theory
T Feder, MY Vardi
SIAM Journal on Computing 28 (1), 57-104, 1998
11591998
Simple on-the-fly automatic verification of linear temporal logic
R Gerth, D Peled, MY Vardi, P Wolper
International Conference on Protocol Specification, Testing and Verification …, 1995
11571995
Reasoning about infinite computations
MY Vardi, P Wolper
Information & Computation 115 (1), 1-37, 1994
10971994
Reasoning about infinite computations
MY Vardi, P Wolper
Information & Computation 115 (1), 1-37, 1994
10971994
Automatic verification of probabilistic concurrent finite state programs
MY Vardi
26th Annual Symposium on Foundations of Computer Science (SFCS 1985), 327-338, 1985
9231985
An automata-theoretic approach to linear temporal logic
MY Vardi
Logics for concurrency, 238-266, 1996
9031996
Automata-theoretic techniques for modal logics of programs
MY Vardi, P Wolper
Journal of Computer and System Sciences 32 (2), 183-221, 1986
7091986
Memory-efficient algorithms for the verification of temporal properties
C Courcoubetis, M Vardi, P Wolper, M Yannakakis
Formal methods in system design 1 (2-3), 275-288, 1992
6721992
Memory-efficient algorithms for the verification of temporal properties
C Courcoubetis, M Vardi, P Wolper, M Yannakakis
Formal methods in system design 1 (2-3), 275-288, 1992
6721992
An automata-theoretic approach to branching-time model checking
O Kupferman, MY Vardi, P Wolper
Journal of the ACM (JACM) 47 (2), 312-360, 2000
6702000
An automata-theoretic approach to branching-time model checking
O Kupferman, MY Vardi, P Wolper
Journal of the ACM (JACM) 47 (2), 312-360, 2000
6702000
The complementation problem for Büchi automata with applications to temporal logic
AP Sistla, MY Vardi, P Wolper
Theoretical Computer Science 49 (2-3), 217-237, 1987
5991987
Model checking of safety properties
O Kupferman, MY Vardi
Formal Methods in System Design 19 (3), 291-314, 2001
5642001
Model checking of safety properties
O Kupferman, MY Vardi
Formal Methods in System Design 19 (3), 291-314, 2001
5642001
Globalization and offshoring of software
W Aspray, F Mayadas, MY Vardi
The Innovation Imperative, 2009
5142009
On the semantics of updates in databases
R Fagin, JD Ullman, MY Vardi
Proceedings of the 2nd ACM SIGACT-SIGMOD Symposium on Principles of Database …, 1983
5111983
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20