Moshe Y. Vardi
Moshe Y. Vardi
Verified email at cs.rice.edu - Homepage
Title
Cited by
Cited by
Year
Reasoning about knowledge
R Fagin, Y Moses, JY Halpern, MY Vardi
MIT press, 2003
52242003
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
20821986
The complexity of relational query languages
MY Vardi
Proceedings of the fourteenth annual ACM symposium on Theory of computingá…, 1982
17791982
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
10541998
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
10541998
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
10511995
Reasoning about infinite computations
MY Vardi, P Wolper
Information & Computation 115 (1), 1-37, 1994
10111994
Reasoning about infinite computations
MY Vardi, P Wolper
Information & Computation 115 (1), 1-37, 1994
10111994
Automatic verification of probabilistic concurrent finite state programs
MY Vardi
26th Annual Symposium on Foundations of Computer Science (SFCS 1985), 327-338, 1985
8481985
An automata-theoretic approach to linear temporal logic
MY Vardi
Logics for concurrency, 238-266, 1996
8211996
Automata-theoretic techniques for modal logics of programs
MY Vardi, P Wolper
Journal of computer and system sciences 32 (2), 183-221, 1986
6601986
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
6302000
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
6302000
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
6231992
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
6231992
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
5541987
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
5101983
Globalization and offshoring of software
W Aspray, F Mayadas, MY Vardi
Report of the ACM Job Migration Task Force, Association for Computing Machinery, 2006
4942006
Reasoning about infinite computation paths
P Wolper, MY Vardi, AP Sistla
24th Annual Symposium on Foundations of Computer Science (sfcs 1983), 185-194, 1983
4601983
Conjunctive-query containment and constraint satisfaction
PG Kolaitis, MY Vardi
Journal of Computer and System Sciences 61 (2), 302-332, 2000
4592000
The system can't perform the operation now. Try again later.
Articles 1–20