×

zbMATH — the first resource for mathematics

Vardi, Moshe Y.

Compute Distance To:
Author ID: vardi.moshe-y Recent zbMATH articles by "Vardi, Moshe Y."
Published as: Vardi, Moshe Y.; Vardi, M. Y.; Vardi, Moshe; Vardi, M.
Homepage: https://www.cs.rice.edu/~vardi/
External Links: MGP · ORCID · Wikidata · Google Scholar · ResearchGate · Math-Net.Ru · dblp · GND · IdRef
Documents Indexed: 269 Publications since 1981, including 9 Books
all top 5

Co-Authors

32 single-authored
57 Kupferman, Orna
17 Murano, Aniello
15 Halpern, Joseph Yehuda
15 Piterman, Nir
14 Fagin, Ronald
12 Kolaitis, Phokion G.
10 Fogarty, Seth J.
10 Mogavero, Fabio
9 Wolper, Pierre
7 Calvanese, Diego
7 De Giacomo, Giuseppe
7 Pan, Guoqiang
7 Yannakakis, Mihalis
6 Fix, Limor
6 Lustig, Yoad
6 Nain, Sumit
6 Pu, Geguang
6 Wilke, Thomas
5 Beeri, Catriel
5 Demopoulos, Demetrios D.
5 Fraer, Ranan
5 Lenzerini, Maurizio
5 Li, Jianwen
5 Moses, Yoram
5 Perelli, Giuseppe
4 Abiteboul, Serge
4 Armoni, Roy
4 Bustan, Doron
4 Chockler, Hana
4 Kamhi, Gila
4 Kavraki, Lydia E.
4 Kuper, Gabriel M.
4 Mairson, Harry George
4 Romero, Miguel
4 Sattler, Ulrike
4 Sebastiani, Roberto
4 Singerman, Eli
4 Tonetta, Stefano
4 Zhang, Lijun
3 Chatterjee, Krishnendu
3 Etessami, Kousha
3 Flaisher, Alon
3 He, Jifeng
3 Henzinger, Thomas A.
3 Mador-Haim, Sela
3 Meel, Kuldeep S.
3 Peled, Doron A.
3 Plaku, Erion
3 San Miguel Aguirre, Alfonso
3 Tiemeyer, Andreas
3 Vianu, Victor
3 Zhu, Shufang
2 Alur, Rajeev
2 Aminof, Benjamin
2 Bansal, Suguman
2 Barceló, Pablo
2 Bonatti, Piero Andrea
2 Bordeaux, Lucas
2 Chaudhuri, Swarat
2 Coarfa, Cristian
2 Cook, Byron
2 Courcoubetis, Costas A.
2 Di Stasio, Antonio
2 Doyen, Laurent
2 Feder, Tomás
2 Fisler, Kathi
2 Fried, Dror
2 Friedgut, Ehud
2 Gottlob, Georg
2 Grädel, Erich
2 Grumberg, Orna
2 Istrate, Gabriel I.
2 Kanellakis, Paris Christos
2 Kurshan, Robert P.
2 Kwiatkowska, Marta Z.
2 Legay, Axel
2 Lutz, Carsten
2 Moore, Cristopher
2 Pnueli, Amir
2 Reutter, Juan L.
2 Rozier, Kristin Yvonne
2 Rubin, Sasha
2 Sagiv, Yehoshua
2 Schwarzmann, Alexander A.
2 Shrotri, Aditya A.
2 Subramanian, Devika
2 Tabakov, Deian
2 Tsai, Ming-Hsien
2 Tsay, Yih-Kuen
2 Ullman, Jeffrey David
1 Aiken, Alexander
1 Arons, Tamarah
1 Atserias, Albert
1 Balkan, Ayça
1 Berthon, Raphaël
1 Bloem, Roderick
1 Chandra, Ashok K.
1 Chaudhuri, Surajit
1 Cosmadakis, Stavros S.
1 Daniele, Marco
...and 80 more Co-Authors
all top 5

Serials

12 Journal of Computer and System Sciences
12 Information and Computation
10 Formal Methods in System Design
9 Theoretical Computer Science
7 Logical Methods in Computer Science
5 Information Processing Letters
5 Journal of the Association for Computing Machinery
5 SIAM Journal on Computing
3 Annals of Pure and Applied Logic
3 The Bulletin of Symbolic Logic
3 Constraints
3 Chicago Journal of Theoretical Computer Science
3 ACM Transactions on Computational Logic
3 Lecture Notes in Computer Science
2 Acta Informatica
2 Artificial Intelligence
2 Journal of Logic and Computation
2 The Journal of Artificial Intelligence Research (JAIR)
2 Journal of the ACM
2 Electronic Proceedings in Theoretical Computer Science (EPTCS)
1 ACM Computing Surveys
1 ACM Transactions on Database Systems
1 IEEE Transactions on Automatic Control
1 Information and Control
1 International Journal of Game Theory
1 The Journal of Symbolic Logic
1 Journal of Algorithms
1 The Journal of Logic Programming
1 Journal of Automated Reasoning
1 Formal Aspects of Computing
1 Random Structures & Algorithms
1 International Journal of Foundations of Computer Science
1 Discrete Event Dynamic Systems
1 Games and Economic Behavior
1 Distributed Computing
1 Journal of Applied Non-Classical Logics
1 Annals of Mathematics and Artificial Intelligence
1 Theory of Computing Systems
1 Journal of Automata, Languages and Combinatorics
1 Logic Journal of the IGPL
1 Texts in Theoretical Computer Science. An EATCS Series

Publications by Year

Citations contained in zbMATH Open

224 Publications have been cited 3,225 times in 2,210 Documents Cited by Year
Reasoning about knowledge. Zbl 0839.68095
Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y.
527
1995
The computational structure of monotone monadic SNP and constraint satisfaction: A study through Datalog and group theory. Zbl 0914.68075
Feder, Tomás; Vardi, Moshe Y.
262
1998
Reasoning about infinite computations. Zbl 0827.03009
Vardi, Moshe Y.; Wolper, Pierre
121
1994
An automata-theoretic approach to branching-time model checking. Zbl 1133.68376
Kupferman, Orna; Vardi, Moshe Y.; Wolper, Pierre
95
2000
Automata-theoretic techniques for modal logics of programs. Zbl 0622.03017
Vardi, Moshe Y.; Wolper, Pierre
70
1986
Conjunctive-query containment and constraint satisfaction. Zbl 0963.68059
Kolaitis, Phokion G.; Vardi, Moshe Y.
68
2000
The complementation problem for Büchi automata with applications to temporal logic. Zbl 0613.03015
Sistla, A. Prasad; Vardi, Moshe Y.; Wolper, Pierre
61
1987
Reasoning about the past with two-way automata. Zbl 0909.03019
Vardi, Moshe Y.
56
1998
A proof procedure for data dependencies. Zbl 0632.68097
Beeri, Catriel; Vardi, Moshe Y.
49
1984
On the decision problem for two-variable first-order logic. Zbl 0873.03009
Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y.
48
1997
Parametric real-time reasoning. Zbl 1310.68139
Alur, Rajeev; Henzinger, Thomas A.; Vardi, Moshe Y.
48
1993
Alternating refinement relations. Zbl 1070.68524
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna; Vardi, Moshe Y.
46
1998
Infinitary logics and 0-1 laws. Zbl 0762.03016
Kolaitis, Phokion G.; Vardi, Moshe Y.
43
1992
The complexity of reasoning about knowledge and time. I: Lower bounds. Zbl 0672.03015
Halpern, Joseph Y.; Vardi, Moshe Y.
42
1989
Complete axiomatizations for reasoning about knowledge and time. Zbl 1059.68127
Halpern, Joseph Y.; van der Meyden, Ron; Vardi, Moshe Y.
36
2004
On monadic NP vs monadic co-NP. Zbl 0835.68046
Fagin, Ronald; Stockmeyer, Larry J.; Vardi, Moshe Y.
33
1995
Weak alternating automata are not that weak. Zbl 1171.68551
Kupferman, Orna; Vardi, Moshe Y.
32
2001
The implication problem for data dependencies (extended abstract). Zbl 0462.68022
Beeri, C.; Vardi, M. Y.
32
1981
Model checking of safety properties. Zbl 0995.68061
Kupferman, Orna; Vardi, Moshe Y.
32
2001
First-order logic with two variables and unary temporal logic. Zbl 1096.03013
Etessami, Kousha; Vardi, Moshe Y.; Wilke, Thomas
30
2002
The implication problem for functional and inclusion dependencies is undecidable. Zbl 0603.68100
Chandra, Ashok K.; Vardi, Moshe Y.
29
1985
What can machines know? On the properties of knowledge in distributed systems. Zbl 0799.68179
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y.
27
1992
Rewriting of regular expressions and regular path queries. Zbl 1015.68083
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y.
27
2002
Why is modal logic so robustly decidable? Zbl 0881.03012
Vardi, Moshe Y.
27
1997
Reasoning about strategies. Zbl 1245.68138
Mogavero, Fabio; Murano, Aniello; Vardi, Moshe Y.
27
2010
Reasoning about strategies: on the model-checking problem. Zbl 1354.68178
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
25
2014
Module checking. Zbl 1003.68071
Kupferman, Orna; Vardi, Moshe Y.; Wolper, Pierre
23
2001
Improved automata generation for linear temporal logic. Zbl 1046.68588
Daniele, Marco; Giunchiglia, Fausto; Vardi, Moshe Y.
23
1999
Finite model theory and its applications. Zbl 1133.03001
Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott
23
2007
On the foundations of the universal relation model. Zbl 0563.68077
Maier, David; Ullman, Jeffrey D.; Vardi, Moshe Y.
21
1984
Monotone monadic SNP and constraint satisfaction. Zbl 1310.68086
Feder, Tomás; Vardi, Moshe Y.
21
1993
Formal systems for tuple and equality generating dependencies. Zbl 0544.68064
Beeri, C.; Vardi, M. Y.
20
1984
Undecidable optimization problems for database logic programs. Zbl 0785.68021
Gaifman, Haim; Mairson, Harry; Sagiv, Yehoshua; Vardi, Moshe Y.
20
1993
Common knowledge revisited. Zbl 1060.03008
Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y.
20
2003
A model-theoretic analysis of knowledge. Zbl 0799.68177
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y.
19
1991
The hierarchical approach to modeling knowledge and common knowledge. Zbl 1061.68556
Fagin, Ronald; Geanakoplos, John; Halpern, Joseph Y.; Vardi, Moshe Y.
19
1999
What makes Atl* decidable? A decidable fragment of strategy logic. Zbl 1365.68329
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
19
2012
Weak alternating automata and tree automata emptiness. Zbl 1005.68525
Kupferman, Orna; Vardi, Moshe Y.
18
1998
The complexity of the graded \(\mu\)-calculus. Zbl 1072.03014
Kupferman, Orna; Sattler, Ulrike; Vardi, Moshe Y.
18
2002
0-1 laws and decision problems for fragments of second-order logic. Zbl 0708.03004
Kolaitis, Phokion G.; Vardi, Moshe Y.
18
1990
Verification of concurrent programs: The automata-theoretic framework. Zbl 0725.03013
Vardi, Moshe Y.
18
1991
Memory efficient algorithms for the verification of temporal properties. Zbl 0786.68060
Courcoubetis, C.; Vardi, M.; Wolper, P.; Yannakakis, M.
17
1991
An automata-theoretic approach to reasoning about infinite-state systems. Zbl 0974.68083
Kupferman, Orna; Vardi, Moshe Y.
17
2000
Synthesis with incomplete information. Zbl 0953.68090
Kupferman, Orna; Vardi, Moshe Y.
17
2000
From liveness to promptness. Zbl 1192.68416
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
17
2009
The ForSpec temporal logic: A new temporal property-specification language. Zbl 1043.68563
Armoni, Roy; Fix, Limor; Flaisher, Alon; Gerth, Rob; Ginsburg, Boris; Kanza, Tomer; Landver, Avner; Mador-Haim, Sela; Singerman, Eli; Tiemeyer, Andreas; Vardi, Moshe Y.; Zbar, Yael
16
2002
Church’s problem revisited. Zbl 0932.03029
Kupferman, Orna; Vardi, Moshe Y.
16
1999
The hybrid \(\mu\)-calculus. Zbl 0988.03053
Sattler, Ulrike; Vardi, Moshe Y.
16
2001
A nonstandard approach to the logical omniscience problem. Zbl 1014.03513
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y.
16
1995
Fixpoint logics, relational machines, and computational complexity. Zbl 0883.68070
Abiteboul, Serge; Vardi, Moshe Y.; Vianu, Victor.
16
1997
A note on the reduction of two-way automata to one-way automata. Zbl 0665.68045
Vardi, Moshe Y.
16
1989
Safraless compositional synthesis. Zbl 1188.68193
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
15
2006
Automata-theoretic model checking revisited. Zbl 1132.68483
Vardi, Moshe Y.
15
2007
Experimental evaluation of classical automata constructions. Zbl 1143.68443
Tabakov, Deian; Vardi, Moshe Y.
15
2005
The complexity of set constraints. Zbl 0953.68557
Aiken, A.; Kozen, D.; Vardi, M.; Wimmers, F.
15
1994
Multi-objective model checking of Markov decision processes. Zbl 1161.68565
Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis
15
2008
On the expressive power of Datalog: tools and a case study. Zbl 1360.68397
Kolaitis, Phokion G.; Vardi, Moshe Y.
14
1995
Open systems in reactive environments: Control and synthesis. Zbl 0999.68124
Kupferman, Orna; Madhusudan, P.; Thiagarajan, P. S.; Vardi, Moshe Y.
14
2000
Branching vs. linear time: Final showdown. Zbl 0986.68064
Vardi, Moshe Y.
14
2001
The Büchi complementation saga. Zbl 1186.03062
Vardi, Moshe Y.
13
2007
Model checking vs. Theorem proving: A manifesto. Zbl 0755.68121
Halpern, Joseph Y.; Vardi, Moshe Y.
13
1991
Polynomial-time implication problems for unary inclusion dependencies. Zbl 0698.68090
Cosmadakis, Stavros S.; Kanellakis, Paris C.; Vardi, Moshe Y.
13
1990
Synthesis from component libraries. Zbl 1234.68260
Lustig, Yoad; Vardi, Moshe Y.
13
2009
The complexity of enriched \(\mu\)-calculi. Zbl 1151.03016
Bonatti, Piero A.; Lutz, Carsten; Murano, Aniello; Vardi, Moshe Y.
11
2008
Model checking of safety properties. Zbl 1046.68597
Kupferman, Orna; Vardi, Moshe Y.
11
1999
Querying logical databases. Zbl 0625.68079
Vardi, Moshe Y.
11
1986
Synthesis with rational environments. Zbl 1372.68173
Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y.
11
2016
Regular vacuity. Zbl 1159.68311
Bustan, Doron; Flaisher, Alon; Grumberg, Orna; Kupferman, Orna; Vardi, Moshe Y.
10
2005
Constraint propagation as a proof system. Zbl 1152.68537
Atserias, Albert; Kolaitis, Phokion G.; Vardi, Moshe Y.
10
2004
Reasoning about strategies: on the satisfiability problem. Zbl 1448.68312
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
10
2017
From linear time to branching time. Zbl 1367.68195
Kupferman, Orna; Vardi, Moshe Y.
10
2005
Vacuity detection in temporal model checking. Zbl 0961.68085
Kupferman, Orna; Vardi, Moshe Y.
10
1999
Global model-checking of infinite-state systems. Zbl 1103.68077
Piterman, Nir; Vardi, Moshe Y.
10
2004
Armstrong databases for functional and inclusion dependencies. Zbl 0501.68056
Fagin, Ronald; Vardi, Moshe Y.
10
1983
On the complexity of verifying concurrent transition systems. Zbl 1009.68082
Harel, David; Kupferman, Orna; Vardi, Moshe Y.
10
2002
Automata: from logics to algorithms. Zbl 1234.03026
Vardi, Moshe Y.; Wilke, Thomas
10
2008
Enhanced vacuity detection in linear temporal logic. Zbl 1278.68153
Armoni, Roy; Fix, Limor; Flaisher, Alon; Grumberg, Orna; Piterman, Nir; Tiemeyer, Andreas; Vardi, Moshe Y.
10
2003
Aggregating disparate estimates of chance. Zbl 1127.62129
Osherson, Daniel; Vardi, Moshe Y.
9
2006
Proving that programs eventually do something good. Zbl 1295.68083
Cook, Byron; Gotsman, Alexey; Podelski, Andreas; Rybalchenko, Andrey; Vardi, Moshe Y.
9
2007
Nontraditional applications of automata theory. Zbl 0942.68600
Vardi, Moshe Y.
9
1994
Yet another process logic. Zbl 0549.68020
Vardi, Moshe Y.; Wolper, Pierre
9
1984
What is an inference rule? Zbl 0761.03010
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y.
9
1992
Memory efficient algorithms for the verification of temporal properties. Zbl 0765.68120
Courcoubetis, C.; Vardi, M.; Wolper, P.; Yannakakis, M.
9
1991
View-based query answering and query containment over semistructured data. Zbl 1098.68560
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y.
9
2002
Pushdown specifications. Zbl 1023.68624
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
9
2002
Efficient Büchi universality checking. Zbl 1258.68076
Fogarty, Seth; Vardi, Moshe Y.
9
2010
The complexity of partial-observation stochastic parity games with finite-memory strategies. Zbl 1405.68135
Chatterjee, Krishnendu; Doyen, Laurent; Nain, Sumit; Vardi, Moshe Y.
8
2014
The decision problem for database dependencies. Zbl 0482.68094
Vardi, M. Y.
8
1981
\(\mu\)-calculus synthesis. Zbl 0996.68107
Kupferman, Orna; Vardi, Moshe Y.
8
2000
Black box checking. Zbl 1046.68072
Peled, Doron; Vardi, Moshe Y.; Yannakakis, Mihalis
8
2002
Is there a best symbolic cycle-detection algorithm? Zbl 0986.68522
Fisler, Kathi; Fraer, Ranan; Kamhi, Gila; Vardi, Moshe Y.; Yang, Zijiang
8
2001
Black box checking. Zbl 0952.68012
Peled, Doron; Vardi, Moshe Y.; Yannakakis, Mihalis
8
1999
Büchi complementation and size-change termination. Zbl 1234.68256
Fogarty, Seth; Vardi, Moshe Y.
8
2009
Treewidth in verification: Local vs. global. Zbl 1143.68450
Ferrara, Andrea; Pan, Guoqiang; Vardi, Moshe Y.
7
2005
Complexity of problems on graphs represented as OBDDs. Zbl 0924.68097
Feigenbaum, Joan; Kannan, Sampath; Vardi, Moshe Y.; Viswanathan, Mahesh
7
1999
Bisimulation minimization and symbolic model checking. Zbl 1018.68052
Fisler, Kathi; Vardi, Moshe Y.
7
2002
Undecidable boundedness problems for datalog programs. Zbl 0876.68021
Hillebrand, Gerd G.; Kanellakis, Paris C.; Mairson, Harry G.; Vardi, Moshe Y.
7
1995
The theory of data dependencies - a survey. Zbl 0617.68084
Fagin, Ronald; Vardi, Moshe Y.
7
1986
Freedom, weakness, and determinism: From linear-time to branching-time. Zbl 0945.68522
Kupferman, Orna; Vardi, Moshe Y.
7
1998
Once and for all. Zbl 1245.03022
Kupferman, Orna; Pnueli, Amir; Vardi, Moshe Y.
7
2012
Not all FPRASs are equal: demystifying FPRASs for DNF-counting. Zbl 07137186
Meel, Kuldeep S.; Shrotri, Aditya A.; Vardi, Moshe Y.
1
2019
Solving parity games: explicit vs symbolic. Zbl 06974631
Di Stasio, Antonio; Murano, Aniello; Vardi, Moshe Y.
1
2018
Accelerating LTL satisfiability checking by SAT solvers. Zbl 1410.68235
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng
1
2018
Reasoning about strategies: on the satisfiability problem. Zbl 1448.68312
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
10
2017
Supervisory control and reactive synthesis: a comparative introduction. Zbl 1379.93068
Ehlers, Rüdiger; Lafortune, Stéphane; Tripakis, Stavros; Vardi, Moshe Y.
4
2017
Regular queries on graph databases. Zbl 1375.68047
Reutter, Juan L.; Romero, Miguel; Vardi, Moshe Y.
3
2017
Strategy logic with imperfect information. Zbl 1458.68113
Berthon, Raphaël; Maubert, Bastien; Murano, Aniello; Rubin, Sasha; Vardi, Moshe Y.
1
2017
Synthesis with rational environments. Zbl 1372.68173
Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y.
11
2016
Semantic acyclicity on graph databases. Zbl 1407.68123
Barceló, Pablo; Romero, Miguel; Vardi, Moshe Y.
4
2016
On computing minimal independent support and its applications to sampling and counting. Zbl 1334.90146
Ivrii, Alexander; Malik, Sharad; Meel, Kuldeep S.; Vardi, Moshe Y.
4
2016
BDD-based Boolean functional synthesis. Zbl 1411.68067
Fried, Dror; Tabajara, Lucas M.; Vardi, Moshe Y.
2
2016
Solving parity games using an automata-based algorithm. Zbl 06650023
Di Stasio, Antonio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
2
2016
Relentful strategic reasoning in alternating-time temporal logic. Zbl 1354.68257
Mogavero, Fabio; Murano, Aniello; Vardi, Moshe Y.
1
2016
Regular queries on graph databases. Zbl 1365.68219
Reutter, Juan L.; Romero, Miguel; Vardi, Moshe Y.
4
2015
Profile trees for Büchi word automata, with application to determinization. Zbl 1336.68155
Fogarty, Seth; Kupferman, Orna; Vardi, Moshe Y.; Wilke, Thomas
2
2015
The complexity of synthesis from probabilistic components. Zbl 1440.68045
Chatterjee, Krishnendu; Doyen, Laurent; Vardi, Moshe Y.
1
2015
Reasoning about strategies: on the model-checking problem. Zbl 1354.68178
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
25
2014
The complexity of partial-observation stochastic parity games with finite-memory strategies. Zbl 1405.68135
Chatterjee, Krishnendu; Doyen, Laurent; Nain, Sumit; Vardi, Moshe Y.
8
2014
Synthesis from probabilistic components. Zbl 1335.68061
Lustig, Yoad; Nain, Sumit; Vardi, Moshe Y.
1
2014
\(\mathrm{LTL}_{f}\) satisfiability checking. Zbl 1366.68177
Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng
1
2014
State of Büchi complementation. Zbl 1448.68278
Tsai, Ming-Hsien; Fogarty, Seth; Vardi, Moshe Y.; Tsay, Yih-Kuen
1
2014
Pushdown module checking with imperfect information. Zbl 1282.68166
Aminof, Benjamin; Legay, Axel; Murano, Aniello; Serre, Olivier; Vardi, Moshe Y.
5
2013
Solving partial-information stochastic parity games. Zbl 1369.91016
Nain, Sumit; Vardi, Moshe Y.
4
2013
Iterative temporal motion planning for hybrid systems in partially unknown environments. Zbl 1361.68272
Maly, Matthew R.; Lahijanian, Morteza; Kavraki, Lydia E.; Kress-Gazit, Hadas; Vardi, Moshe Y.
2
2013
Regular real analysis. Zbl 1366.03217
Chaudhuri, Swarat; Sankaranarayanan, Sriram; Vardi, Moshe Y.
2
2013
On simplification of schema mappings. Zbl 1408.68046
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y.
1
2013
Unifying Büchi complementation constructions. Zbl 1274.68158
Fogarty, Seth J.; Kupferman, Orna; Wilke, Thomas; Vardi, Moshe Y.
1
2013
What makes Atl* decidable? A decidable fragment of strategy logic. Zbl 1365.68329
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
19
2012
Once and for all. Zbl 1245.03022
Kupferman, Orna; Pnueli, Amir; Vardi, Moshe Y.
7
2012
Optimized temporal monitors for SystemcC. Zbl 1284.68206
Tabakov, Deian; Rozier, Kristin Y.; Vardi, Moshe Y.
4
2012
Temporal property verification as a program analysis task. Zbl 1284.68171
Cook, Byron; Koskinen, Eric; Vardi, Moshe
2
2012
Dynamic reactive modules. Zbl 1343.68167
Fisher, Jasmin; Henzinger, Thomas A.; Nickovic, Dejan; Piterman, Nir; Singh, Anmol V.; Vardi, Moshe Y.
5
2011
State of Büchi complementation. Zbl 1297.68168
Tsai, Ming-Hsien; Fogarty, Seth; Vardi, Moshe Y.; Tsay, Yih-Kuen
3
2011
Temporal synthesis for bounded systems and environments. Zbl 1230.68144
Kupferman, Orna; Lustig, Yoad; Vardi, Moshe Y.; Yannakakis, Mihalis
2
2011
The complexity of integer bound propagation. Zbl 1216.68238
Bordeaux, L.; Katsirelos, G.; Narodytska, N.; Vardi, M. Y.
1
2011
Unifying Büchi complementation constructions. Zbl 1247.68136
Fogarty, Seth; Kupferman, Orna; Vardi, Moshe Y.; Wilke, Thomas
1
2011
Reasoning about strategies. Zbl 1245.68138
Mogavero, Fabio; Murano, Aniello; Vardi, Moshe Y.
27
2010
Efficient Büchi universality checking. Zbl 1258.68076
Fogarty, Seth; Vardi, Moshe Y.
9
2010
An automata-theoretic approach to infinite-state systems. Zbl 1288.68158
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
4
2010
Relentful strategic reasoning in alternating-time temporal logic. Zbl 1310.68144
Mogavero, Fabio; Murano, Aniello; Vardi, Moshe Y.
4
2010
Synthesis of trigger properties. Zbl 1310.68143
Kupferman, Orna; Vardi, Moshe Y.
2
2010
From liveness to promptness. Zbl 1192.68416
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
17
2009
Synthesis from component libraries. Zbl 1234.68260
Lustig, Yoad; Vardi, Moshe Y.
13
2009
Büchi complementation and size-change termination. Zbl 1234.68256
Fogarty, Seth; Vardi, Moshe Y.
8
2009
Hybrid systems: From verification to falsification by combining motion planning and discrete search. Zbl 1192.68692
Plaku, Erion; Kavraki, Lydia E.; Vardi, Moshe Y.
6
2009
Falsification of LTL safety properties in hybrid systems. Zbl 1234.68264
Plaku, Erion; Kavraki, Lydia E.; Vardi, Moshe Y.
5
2009
From philosophical to industrial logics. Zbl 1209.68325
Vardi, Moshe Y.
3
2009
Multi-objective model checking of Markov decision processes. Zbl 1161.68565
Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis
15
2008
The complexity of enriched \(\mu\)-calculi. Zbl 1151.03016
Bonatti, Piero A.; Lutz, Carsten; Murano, Aniello; Vardi, Moshe Y.
11
2008
Automata: from logics to algorithms. Zbl 1234.03026
Vardi, Moshe Y.; Wilke, Thomas
10
2008
From Church and Prior to PSL. Zbl 1142.68051
Vardi, Moshe Y.
5
2008
From monadic logic to PSL. Zbl 1133.68380
Vardi, Moshe Y.
3
2008
Open implication. Zbl 1155.68436
Greimel, Karin; Bloem, Roderick; Jobstmann, Barbara; Vardi, Moshe
3
2008
A logical approach to constraint satisfaction. Zbl 1171.03322
Kolaitis, Phokion G.; Vardi, Moshe Y.
1
2008
Finite model theory and its applications. Zbl 1133.03001
Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott
23
2007
Automata-theoretic model checking revisited. Zbl 1132.68483
Vardi, Moshe Y.
15
2007
The Büchi complementation saga. Zbl 1186.03062
Vardi, Moshe Y.
13
2007
Proving that programs eventually do something good. Zbl 1295.68083
Cook, Byron; Gotsman, Alexey; Podelski, Andreas; Rybalchenko, Andrey; Vardi, Moshe Y.
9
2007
Multi-objective model checking of Markov decision processes. Zbl 1186.68286
Etessami, K.; Kwiatkowska, M.; Vardi, M. Y.; Yannakakis, M.
4
2007
Hybrid systems: From verification to falsification. Zbl 1135.68479
Plaku, Erion; Kavraki, Lydia E.; Vardi, Moshe Y.
4
2007
From liveness to promptness. Zbl 1135.03336
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
3
2007
View-based query processing: on the relationship between rewriting, answering and losslessness. Zbl 1108.68038
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y.
2
2007
Branching vs. linear time: Semantical perspective. Zbl 1141.68481
Nain, Sumit; Vardi, Moshe Y.
2
2007
Property-driven partitioning for abstraction refinement. Zbl 1186.68301
Sebastiani, Roberto; Tonetta, Stefano; Vardi, Moshe Y.
1
2007
A continuous-discontinuous second-order transition in the satisfiability of random Horn-SAT formulas. Zbl 1147.68717
Moore, Cristopher; Istrate, Gabriel; Demopoulos, Demetrios; Vardi, Moshe Y.
1
2007
An analysis of slow convergence in interval propagation. Zbl 1145.68506
Bordeaux, Lucas; Hamadi, Youssef; Vardi, Moshe Y.
1
2007
Pushdown module checking with imperfect information. Zbl 1151.68468
Aminof, Benjamin; Murano, Aniello; Vardi, Moshe Y.
1
2007
GSTE is partitioned model checking. Zbl 1129.68044
Sebastiani, Roberto; Singerman, Eli; Tonetta, Stefano; Vardi, Moshe Y.
1
2007
Safraless compositional synthesis. Zbl 1188.68193
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
15
2006
Aggregating disparate estimates of chance. Zbl 1127.62129
Osherson, Daniel; Vardi, Moshe Y.
9
2006
BDD-based decision procedures for the modal logic K. Zbl 1184.68466
Pan, Guoqiang; Sattler, Ulrike; Vardi, Moshe Y.
7
2006
On locally checkable properties. Zbl 1165.68408
Kupferman, Orna; Lustig, Yoad; Vardi, Moshe Y.
5
2006
Büchi complementation made tighter. Zbl 1096.68081
Friedgut, Ehud; Kupferman, Orna; Vardi, Moshe Y.
4
2006
Relating word and tree automata. Zbl 1097.03034
Kupferman, Orna; Safra, Shmuel; Vardi, Moshe Y.
4
2006
The complexity of enriched \(\mu\)-calculi. Zbl 1133.68374
Bonatti, Piero A.; Lutz, Carsten; Murano, Aniello; Vardi, Moshe Y.
3
2006
Coverage metrics for temporal logic model checking. Zbl 1105.68075
Chockler, Hana; Kupferman, Orna; Vardi, Moshe Y.
2
2006
Verification of open systems. Zbl 1266.68133
Kupferman, Orna; Vardi, Moshe Y.
1
2006
Experimental evaluation of classical automata constructions. Zbl 1143.68443
Tabakov, Deian; Vardi, Moshe Y.
15
2005
Regular vacuity. Zbl 1159.68311
Bustan, Doron; Flaisher, Alon; Grumberg, Orna; Kupferman, Orna; Vardi, Moshe Y.
10
2005
From linear time to branching time. Zbl 1367.68195
Kupferman, Orna; Vardi, Moshe Y.
10
2005
Treewidth in verification: Local vs. global. Zbl 1143.68450
Ferrara, Andrea; Pan, Guoqiang; Vardi, Moshe Y.
7
2005
Model checking for database theoreticians. Zbl 1112.68398
Vardi, Moshe Y.
4
2005
Formal verification of backward compatibility of microcode. Zbl 1081.68602
Arons, Tamarah; Elster, Elad; Fix, Limor; Mador-Haim, Sela; Mishaeli, Michael; Shalev, Jonathan; Singerman, Eli; Tiemeyer, Andreas; Vardi, Moshe Y.; Zuck, Lenore D.
4
2005
View-based query processing: On the relationship between rewriting, answering and losslessness. Zbl 1108.68443
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y.
3
2005
Symbolic techniques in satisfiability solving. Zbl 1109.68104
Pan, Guoqiang; Vardi, Moshe Y.
3
2005
Decidable containment of recursive queries. Zbl 1101.68513
Calvanese, Diego; De Giacomo, Giuseppe; Vardi, Moshe Y.
2
2005
Complementation constructions for nondeterministic automata on infinite words. Zbl 1087.68050
Kupferman, Orna; Vardi, Moshe Y.
2
2005
From complementation to certification. Zbl 1079.68060
Kupferman, Orna; Vardi, Moshe Y.
2
2005
Symbolic systems, explicit properties: On hybrid approaches for LTL symbolic model checking. Zbl 1081.68634
Sebastiani, Roberto; Tonetta, Stefano; Vardi, Moshe Y.
1
2005
SAT-based induction for temporal safety properties. Zbl 1272.68219
Armoni, Roy; Fix, Limor; Fraer, Ranan; Huddleston, Scott; Piterman, Nir; Vardi, Moshe Y.
1
2005
Complete axiomatizations for reasoning about knowledge and time. Zbl 1059.68127
Halpern, Joseph Y.; van der Meyden, Ron; Vardi, Moshe Y.
36
2004
Constraint propagation as a proof system. Zbl 1152.68537
Atserias, Albert; Kolaitis, Phokion G.; Vardi, Moshe Y.
10
2004
Global model-checking of infinite-state systems. Zbl 1103.68077
Piterman, Nir; Vardi, Moshe Y.
10
2004
Symbolic decision procedures for QBF. Zbl 1152.68570
Pan, Guoqiang; Vardi, Moshe Y.
6
2004
Büchi complementation made tighter. Zbl 1108.68068
Friedgut, Ehud; Kupferman, Orna; Vardi, Moshe Y.
4
2004
Verifying \(\omega\)-regular properties of Markov chains. Zbl 1103.68072
Bustan, Doron; Rubin, Sasha; Vardi, Moshe Y.
4
2004
GSTE is partitioned model checking. Zbl 1103.68638
Sebastiani, Roberto; Singerman, Eli; Tonetta, Stefano; Vardi, Moshe Y.
4
2004
From complementation to certification. Zbl 1126.68481
Kupferman, Orna; Vardi, Moshe Y.
3
2004
A measured collapse of the modal \(\mu \)-calculus alternation hierarchy. Zbl 1122.68470
Bustan, Doron; Kupferman, Orna; Vardi, Moshe Y.
2
2004
Common knowledge revisited. Zbl 1060.03008
Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y.
20
2003
...and 124 more Documents
all top 5

Cited by 2,665 Authors

60 Vardi, Moshe Y.
38 Kupferman, Orna
24 Halpern, Joseph Yehuda
24 Murano, Aniello
20 Hell, Pavol
19 Bodirsky, Manuel
19 Gottlob, Georg
18 Chatterjee, Krishnendu
18 Demri, Stéphane P.
17 Henzinger, Thomas A.
17 Krokhin, Andrei A.
17 Rybakov, Vladimir Vladimirovich
17 van Ditmarsch, Hans Pieter
17 Wooldridge, Michael J.
16 Dixon, Clare
15 Bozzelli, Laura
15 Bulatov, Andrei A.
15 Martin, Barnaby D.
15 van der Hoek, Wiebe
15 Živný, Stanislav
14 Chen, Hubie
14 Dalmau, Víctor
14 Feder, Tomás
14 Libkin, Leonid O.
13 Jonsson, Peter A.
13 Kolaitis, Phokion G.
13 Lange, Martin
13 Moses, Yoram
13 Raskin, Jean-François
13 van Benthem, Johan F. A. K.
12 Fagin, Ronald
12 Piterman, Nir
12 Pnueli, Amir
11 Balbiani, Philippe
11 Dawar, Anuj
11 Grädel, Erich
11 Lomuscio, Alessio
11 Markey, Nicolas
11 Mogavero, Fabio
11 Vianu, Victor
10 Cooper, Martin C.
10 Grohe, Martin
10 Gutierrez, Julian
10 Jeavons, Peter G.
10 Link, Sebastian
10 Lorini, Emiliano
10 Lutz, Carsten
10 Pacuit, Eric
10 Perelli, Giuseppe
10 Pinchinat, Sophie
10 Scarcello, Francesco
9 André, Étienne
9 Baltag, Alexandru
9 Barceló, Pablo
9 Barnat, Jiří
9 Barto, Libor
9 Benevides, Mario R. F.
9 Dubois, Didier
9 Hella, Lauri T.
9 La Torre, Salvatore
9 Larose, Benoit
9 Naumov, Pavel G.
9 Nešetřil, Jaroslav
9 Peled, Doron A.
9 Schewe, Sven
9 Smets, Sonja J. L.
8 Ågotnes, Thomas
8 Atserias, Albert
8 Avni, Guy
8 Baader, Franz
8 Baier, Christel
8 Bloem, Roderick
8 Bouyer, Patricia
8 De Giacomo, Giuseppe
8 Duan, Zhenhua
8 Greco, Gianluigi
8 Larsen, Kim Guldstrand
8 Legay, Axel
8 Makowsky, Johann-Andreas
8 Montanari, Angelo
8 Schwentick, Thomas
8 Tian, Cong
8 Van den Bussche, Jan
8 Zimmermann, Martín G.
7 Abiteboul, Serge
7 Alur, Rajeev
7 Arenas, Marcelo
7 Belardinelli, Francesco
7 Brewster, Richard C.
7 Brim, Luboš
7 Calvanese, Diego
7 Cimatti, Alessandro
7 Cohen, David A.
7 Doyen, Laurent
7 Eiter, Thomas
7 French, Tim
7 Goranko, Valentin F.
7 Herzig, Andreas
7 Hustadt, Ullrich
7 Jamroga, Wojciech
...and 2,565 more Authors
all top 5

Cited in 158 Serials

235 Theoretical Computer Science
136 Information and Computation
110 Journal of Computer and System Sciences
99 Artificial Intelligence
59 Formal Methods in System Design
49 Synthese
45 Annals of Mathematics and Artificial Intelligence
42 Information Processing Letters
42 Annals of Pure and Applied Logic
38 Journal of Applied Non-Classical Logics
36 Acta Informatica
36 Logical Methods in Computer Science
35 Journal of Applied Logic
33 Theory of Computing Systems
31 ACM Transactions on Computational Logic
30 Journal of Philosophical Logic
30 Studia Logica
28 Formal Aspects of Computing
26 The Journal of Symbolic Logic
24 Journal of Logic, Language and Information
23 Discrete Applied Mathematics
23 Journal of Automated Reasoning
20 Games and Economic Behavior
20 Journal of Logical and Algebraic Methods in Programming
19 SIAM Journal on Computing
17 Discrete Mathematics
17 European Journal of Combinatorics
16 International Journal of Foundations of Computer Science
15 International Journal of Approximate Reasoning
13 Information Sciences
13 International Journal of Algebra and Computation
13 Discrete Event Dynamic Systems
13 The Bulletin of Symbolic Logic
13 The Journal of Logic and Algebraic Programming
12 Distributed Computing
11 Constraints
10 Mathematical Social Sciences
10 Algorithmica
9 Theory and Practice of Logic Programming
9 The Review of Symbolic Logic
8 Algebra Universalis
8 Programming and Computer Software
7 Journal of the ACM
6 Theory and Decision
6 MSCS. Mathematical Structures in Computer Science
6 Nonlinear Analysis. Hybrid Systems
5 Automatica
5 Fuzzy Sets and Systems
5 Journal of Economic Theory
5 Science of Computer Programming
5 SIAM Journal on Discrete Mathematics
5 International Journal of Computer Mathematics
5 Economic Theory
5 Frontiers of Computer Science
5 Computer Science Review
4 Kybernetika
4 Siberian Mathematical Journal
4 Journal of Symbolic Computation
4 Computational Complexity
4 International Game Theory Review
4 Journal of Siberian Federal University. Mathematics & Physics
3 International Journal of Theoretical Physics
3 Lithuanian Mathematical Journal
3 Journal of Mathematical Economics
3 Notre Dame Journal of Formal Logic
3 Semigroup Forum
3 Transactions of the American Mathematical Society
3 International Journal of Intelligent Systems
3 Cybernetics and Systems Analysis
3 Mathematical Problems in Engineering
3 Erkenntnis
3 RAIRO. Theoretical Informatics and Applications
3 Sādhanā
3 Journal of Discrete Algorithms
3 Logica Universalis
3 Science China. Information Sciences
3 Games
2 Communications in Algebra
2 Computers & Mathematics with Applications
2 International Journal of Control
2 Mathematical Notes
2 International Journal of Computer & Information Sciences
2 International Journal of Game Theory
2 Journal of Algebra
2 Journal of Combinatorial Theory. Series B
2 Cybernetics
2 Systems & Control Letters
2 Combinatorica
2 Order
2 Random Structures & Algorithms
2 RAIRO. Informatique Théorique et Applications
2 Archive for Mathematical Logic
2 The Electronic Journal of Combinatorics
2 The Journal of Artificial Intelligence Research (JAIR)
2 Science in China. Series E
2 Doklady Mathematics
2 Soft Computing
2 Journal of Combinatorial Optimization
2 Discrete Mathematics and Theoretical Computer Science. DMTCS
2 Lobachevskii Journal of Mathematics
...and 58 more Serials

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.