Theo dõi
Moshe Y. Vardi
Moshe Y. Vardi
Rice University
Email được xác minh tại cs.rice.edu - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Reasoning about knowledge
R Fagin, JY Halpern, Y Moses, M Vardi
MIT press, 2004
63912004
An automata-theoretic approach to automatic program verification
MY Vardi, P Wolper
1st Symposium in Logic in Computer Science (LICS), 1986
24231986
The complexity of relational query languages
MY Vardi
Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982
21351982
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
13131998
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
13131998
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
12611995
Reasoning about infinite computations
MY Vardi, P Wolper
Information & Computation 115 (1), 1-37, 1994
12181994
Reasoning about infinite computations
MY Vardi, P Wolper
Information & Computation 115 (1), 1-37, 1994
12181994
An automata-theoretic approach to linear temporal logic
MY Vardi
Logics for concurrency: structure versus automata, 238-266, 2005
10462005
Automatic verification of probabilistic concurrent finite state programs
MY Vardi
26th Annual Symposium on Foundations of Computer Science (SFCS 1985), 327-338, 1985
10221985
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces.
G De Giacomo, MY Vardi
Ijcai 13, 854-860, 2013
8632013
Automata theoretic techniques for modal logics of programs
MY Vardi, P Wolper
Proceedings of the sixteenth annual acm symposium on theory of computing …, 1984
7531984
Model checking of safety properties
O Kupferman, MY Vardi
Formal Methods in System Design 19 (3), 291-314, 2001
7312001
Model checking of safety properties
O Kupferman, MY Vardi
Formal Methods in System Design 19 (3), 291-314, 2001
7312001
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
7201992
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
7201992
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
7122000
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
7122000
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
6421987
Parametric real-time reasoning
R Alur, TA Henzinger, MY Vardi
Proceedings of the twenty-fifth annual ACM symposium on Theory of computing …, 1993
5931993
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20