Moshe Y. Vardi
Moshe Y. Vardi
Rice University
Bestätigte E-Mail-Adresse bei cs.rice.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Reasoning about knowledge
R Fagin, Y Moses, JY Halpern, MY Vardi
MIT press, 2003
52932003
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
21271986
The complexity of relational query languages
MY Vardi
Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982
18001982
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
10761995
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
10701998
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
10701998
Reasoning about infinite computations
MY Vardi, P Wolper
Information & Computation 115 (1), 1-37, 1994
10441994
Reasoning about infinite computations
MY Vardi, P Wolper
Information & Computation 115 (1), 1-37, 1994
10441994
Automatic verification of probabilistic concurrent finite state programs
MY Vardi
26th Annual Symposium on Foundations of Computer Science (SFCS 1985), 327-338, 1985
8671985
An automata-theoretic approach to linear temporal logic
MY Vardi
Logics for concurrency, 238-266, 1996
8441996
Automata-theoretic techniques for modal logics of programs
MY Vardi, P Wolper
Journal of Computer and System Sciences 32 (2), 183-221, 1986
6681986
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
6492000
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
6492000
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
6381992
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
6381992
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
5621987
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
4972006
Model checking of safety properties
O Kupferman, MY Vardi
Formal Methods in System Design 19 (3), 291-314, 2001
4732001
Model checking of safety properties
O Kupferman, MY Vardi
Formal Methods in System Design 19 (3), 291-314, 2001
4732001
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20