×

Vardi, Moshe Ya’akov

Author ID: vardi.moshe-y Recent zbMATH articles by "Vardi, Moshe Ya’akov"
Published as: Vardi, Moshe Y.; Vardi, M. Y.; Vardi, Moshe; Vardi, M.; Vardi, Moshe Ya’akov
Homepage: https://www.cs.rice.edu/~vardi/
External Links: MGP · ORCID · Wikidata · Google Scholar · ResearchGate · Twitter · Math-Net.Ru · dblp · GND · IdRef
all top 5

Co-Authors

33 single-authored
60 Kupferman, Orna
17 Murano, Aniello
15 Halpern, Joseph Yehuda
15 Piterman, Nir
14 Fagin, Ronald
13 Kolaitis, Phokion G.
11 Fogarty, Seth J.
10 Mogavero, Fabio
9 Wolper, Pierre
8 De Giacomo, Giuseppe
8 Zhang, Lijun
7 Calvanese, Diego
7 Li, Jianwen
7 Pan, Guoqiang
7 Yannakakis, Mihalis
6 Bansal, Suguman
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 Fried, Dror
5 Kavraki, Lydia E.
5 Lenzerini, Maurizio
5 Li, Yong
5 Moses, Yoram
5 Perelli, Giuseppe
5 Tabajara, Lucas M.
5 Tsay, Yih-Kuen
4 Abiteboul, Serge
4 Armoni, Roy
4 Bustan, Doron
4 Chaudhuri, Swarat
4 Chockler, Hana
4 Henzinger, Thomas A.
4 Kamhi, Gila
4 Kuper, Gabriel M.
4 Mairson, Harry George
4 Romero, Miguel
4 Rozier, Kristin Yvonne
4 Sattler, Ulrike
4 Sebastiani, Roberto
4 Singerman, Eli
4 Tonetta, Stefano
4 Zhu, Shufang
3 Chatterjee, Krishnendu
3 Di Stasio, Antonio
3 Etessami, Kousha
3 Flaisher, Alon
3 He, Jifeng
3 Legay, Axel
3 Mador-Haim, Sela
3 Meel, Kuldeep S.
3 Peled, Doron A.
3 Plaku, Erion
3 San Miguel Aguirre, Alfonso
3 Tiemeyer, Andreas
3 Turrini, Andrea
3 Vianu, Victor
3 Zhang, Zhiwei
2 Alur, Rajeev
2 Aminof, Benjamin
2 Barceló, Pablo
2 Bonatti, Piero Andrea
2 Bordeaux, Lucas
2 Coarfa, Cristian
2 Cook, Byron
2 Courcoubetis, Costas A.
2 Doyen, Laurent
2 Feder, Tomás
2 Feng, Weizhi
2 Fisler, Kathi
2 Friedgut, Ehud
2 Gottlob, Georg
2 Grädel, Erich
2 Grumberg, Orna
2 Harel, David
2 Istrate, Gabriel I.
2 Kanellakis, Paris Christos
2 Kurshan, Robert P.
2 Kwiatkowska, Marta Z.
2 Lahijanian, Morteza
2 Lutz, Carsten
2 Moore, Cristopher
2 Ouaknine, Joel O.
2 Pnueli, Amir
2 Reutter, Juan L.
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 Ullman, Jeffrey David
1 Aiken, Alexander
1 Amram, Gal
...and 97 more Co-Authors
all top 5

Serials

14 Information and Computation
12 Journal of Computer and System Sciences
12 Formal Methods in System Design
9 Theoretical Computer Science
9 Logical Methods in Computer Science
5 Information Processing Letters
5 Journal of the Association for Computing Machinery
5 SIAM Journal on Computing
4 Lecture Notes in Computer Science
3 Artificial Intelligence
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
2 Acta Informatica
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

256 Publications have been cited 4,678 times in 3,111 Documents Cited by Year
Reasoning about knowledge. Zbl 0839.68095
Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y.
731
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.
329
1998
Reasoning about infinite computations. Zbl 0827.03009
Vardi, Moshe Y.; Wolper, Pierre
180
1994
An automata-theoretic approach to branching-time model checking. Zbl 1133.68376
Kupferman, Orna; Vardi, Moshe Y.; Wolper, Pierre
122
2000
Automata-theoretic techniques for modal logics of programs. Zbl 0622.03017
Vardi, Moshe Y.; Wolper, Pierre
92
1986
Conjunctive-query containment and constraint satisfaction. Zbl 0963.68059
Kolaitis, Phokion G.; Vardi, Moshe Y.
84
2000
The complementation problem for Büchi automata with applications to temporal logic. Zbl 0613.03015
Sistla, A. Prasad; Vardi, Moshe Y.; Wolper, Pierre
82
1987
Parametric real-time reasoning. Zbl 1310.68139
Alur, Rajeev; Henzinger, Thomas A.; Vardi, Moshe Y.
75
1993
Reasoning about the past with two-way automata. Zbl 0909.03019
Vardi, Moshe Y.
75
1998
On the decision problem for two-variable first-order logic. Zbl 0873.03009
Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y.
70
1997
Model checking of safety properties. Zbl 0995.68061
Kupferman, Orna; Vardi, Moshe Y.
60
2001
A proof procedure for data dependencies. Zbl 0632.68097
Beeri, Catriel; Vardi, Moshe Y.
58
1984
The complexity of reasoning about knowledge and time. I: Lower bounds. Zbl 0672.03015
Halpern, Joseph Y.; Vardi, Moshe Y.
58
1989
Alternating refinement relations. Zbl 1070.68524
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna; Vardi, Moshe Y.
57
1998
Reasoning about strategies: on the model-checking problem. Zbl 1354.68178
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
53
2014
Weak alternating automata are not that weak. Zbl 1171.68551
Kupferman, Orna; Vardi, Moshe Y.
53
2001
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
52
2007
Infinitary logics and 0-1 laws. Zbl 0762.03016
Kolaitis, Phokion G.; Vardi, Moshe Y.
49
1992
Complete axiomatizations for reasoning about knowledge and time. Zbl 1059.68127
Halpern, Joseph Y.; van der Meyden, Ron; Vardi, Moshe Y.
48
2004
The implication problem for data dependencies (extended abstract). Zbl 0462.68022
Beeri, C.; Vardi, M. Y.
44
1981
First-order logic with two variables and unary temporal logic. Zbl 1096.03013
Etessami, Kousha; Vardi, Moshe Y.; Wilke, Thomas
42
2002
Rewriting of regular expressions and regular path queries. Zbl 1015.68083
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y.
39
2002
Monotone monadic SNP and constraint satisfaction. Zbl 1310.68086
Feder, Tomás; Vardi, Moshe Y.
38
1993
Reasoning about strategies. Zbl 1245.68138
Mogavero, Fabio; Murano, Aniello; Vardi, Moshe Y.
38
2010
On monadic NP vs monadic co-NP. Zbl 0835.68046
Fagin, Ronald; Stockmeyer, Larry J.; Vardi, Moshe Y.
38
1995
Why is modal logic so robustly decidable? Zbl 0881.03012
Vardi, Moshe Y.
37
1997
The implication problem for functional and inclusion dependencies is undecidable. Zbl 0603.68100
Chandra, Ashok K.; Vardi, Moshe Y.
35
1985
From liveness to promptness. Zbl 1192.68416
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
34
2009
What can machines know? On the properties of knowledge in distributed systems. Zbl 0799.68179
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y.
33
1992
Improved automata generation for linear temporal logic. Zbl 1046.68588
Daniele, Marco; Giunchiglia, Fausto; Vardi, Moshe Y.
30
1999
Synthesis with incomplete information. Zbl 0953.68090
Kupferman, Orna; Vardi, Moshe Y.
30
2000
Weak alternating automata and tree automata emptiness. Zbl 1005.68525
Kupferman, Orna; Vardi, Moshe Y.
29
1998
The hierarchical approach to modeling knowledge and common knowledge. Zbl 1061.68556
Fagin, Ronald; Geanakoplos, John; Halpern, Joseph Y.; Vardi, Moshe Y.
28
1999
Common knowledge revisited. Zbl 1060.03008
Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y.
27
2003
Undecidable optimization problems for database logic programs. Zbl 0785.68021
Gaifman, Haim; Mairson, Harry; Sagiv, Yehoshua; Vardi, Moshe Y.
27
1993
Module checking. Zbl 1003.68071
Kupferman, Orna; Vardi, Moshe Y.; Wolper, Pierre
27
2001
Synthesis with rational environments. Zbl 1372.68173
Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y.
26
2016
A model-theoretic analysis of knowledge. Zbl 0799.68177
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y.
25
1991
What makes Atl* decidable? A decidable fragment of strategy logic. Zbl 1365.68329
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
24
2012
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
24
2002
A note on the reduction of two-way automata to one-way automata. Zbl 0665.68045
Vardi, Moshe Y.
24
1989
Experimental evaluation of classical automata constructions. Zbl 1143.68443
Tabakov, Deian; Vardi, Moshe Y.
24
2005
On the foundations of the universal relation model. Zbl 0563.68077
Maier, David; Ullman, Jeffrey D.; Vardi, Moshe Y.
23
1984
Multi-objective model checking of Markov decision processes. Zbl 1161.68565
Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis
23
2008
The complexity of the graded \(\mu\)-calculus. Zbl 1072.03014
Kupferman, Orna; Sattler, Ulrike; Vardi, Moshe Y.
23
2002
Formal systems for tuple and equality generating dependencies. Zbl 0544.68064
Beeri, C.; Vardi, M. Y.
22
1984
Safraless compositional synthesis. Zbl 1188.68193
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
22
2006
Church’s problem revisited. Zbl 0932.03029
Kupferman, Orna; Vardi, Moshe Y.
21
1999
Automata-theoretic model checking revisited. Zbl 1132.68483
Vardi, Moshe Y.
21
2007
Strategy logic with imperfect information. Zbl 1458.68113
Berthon, Raphaël; Maubert, Bastien; Murano, Aniello; Rubin, Sasha; Vardi, Moshe Y.
21
2017
Fixpoint logics, relational machines, and computational complexity. Zbl 0883.68070
Abiteboul, Serge; Vardi, Moshe Y.; Vianu, Victor.
20
1997
Yet another process logic. Zbl 0549.68020
Vardi, Moshe Y.; Wolper, Pierre
20
1984
Verification of concurrent programs: The automata-theoretic framework. Zbl 0725.03013
Vardi, Moshe Y.
20
1991
Memory efficient algorithms for the verification of temporal properties. Zbl 0786.68060
Courcoubetis, C.; Vardi, M.; Wolper, P.; Yannakakis, M.
20
1991
The theory of data dependencies - a survey. Zbl 0617.68084
Fagin, Ronald; Vardi, Moshe Y.
20
1986
Branching vs. linear time: Final showdown. Zbl 0986.68064
Vardi, Moshe Y.
20
2001
The Büchi complementation saga. Zbl 1186.03062
Vardi, Moshe Y.
20
2007
The complexity of set constraints. Zbl 0953.68557
Aiken, A.; Kozen, D.; Vardi, M.; Wimmers, F.
19
1994
The hybrid \(\mu\)-calculus. Zbl 0988.03053
Sattler, Ulrike; Vardi, Moshe Y.
19
2001
A nonstandard approach to the logical omniscience problem. Zbl 1014.03513
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y.
19
1995
Black box checking. Zbl 0952.68012
Peled, Doron; Vardi, Moshe Y.; Yannakakis, Mihalis
19
1999
0-1 laws and decision problems for fragments of second-order logic. Zbl 0708.03004
Kolaitis, Phokion G.; Vardi, Moshe Y.
18
1990
An automata-theoretic approach to reasoning about infinite-state systems. Zbl 0974.68083
Kupferman, Orna; Vardi, Moshe Y.
18
2000
Open systems in reactive environments: Control and synthesis. Zbl 0999.68124
Kupferman, Orna; Madhusudan, P.; Thiagarajan, P. S.; Vardi, Moshe Y.
18
2000
The complementation problem for Büchi automata with applications to temporal logic. Zbl 0577.03019
Sistla, A. Prasad; Vardi, Moshe Y.; Wolper, Pierre
17
1985
Black box checking. Zbl 1046.68072
Peled, Doron; Vardi, Moshe Y.; Yannakakis, Mihalis
17
2002
On the expressive power of Datalog: tools and a case study. Zbl 1360.68397
Kolaitis, Phokion G.; Vardi, Moshe Y.
17
1995
Model checking of safety properties. Zbl 1046.68597
Kupferman, Orna; Vardi, Moshe Y.
17
1999
Synthesis from component libraries. Zbl 1234.68260
Lustig, Yoad; Vardi, Moshe Y.
16
2009
Reasoning about strategies: on the satisfiability problem. Zbl 1448.68312
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
16
2017
From linear time to branching time. Zbl 1367.68195
Kupferman, Orna; Vardi, Moshe Y.
15
2005
Polynomial-time implication problems for unary inclusion dependencies. Zbl 0698.68090
Cosmadakis, Stavros S.; Kanellakis, Paris C.; Vardi, Moshe Y.
15
1990
Automata: from logics to algorithms. Zbl 1234.03026
Vardi, Moshe Y.; Wilke, Thomas
15
2008
Nontraditional applications of automata theory. Zbl 0942.68600
Vardi, Moshe Y.
15
1994
Pushdown specifications. Zbl 1023.68624
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
15
2002
Vacuity detection in temporal model checking. Zbl 0961.68085
Kupferman, Orna; Vardi, Moshe Y.
15
1999
The complexity of enriched \(\mu\)-calculi. Zbl 1151.03016
Bonatti, Piero A.; Lutz, Carsten; Murano, Aniello; Vardi, Moshe Y.
15
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.
15
2003
Knowledge-based programs. Zbl 1448.68406
Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y.
15
1997
Regular vacuity. Zbl 1159.68311
Bustan, Doron; Flaisher, Alon; Grumberg, Orna; Kupferman, Orna; Vardi, Moshe Y.
14
2005
On the complexity of epistemic reasoning. Zbl 0717.03006
Vardi, Moshe Y.
14
1989
Armstrong databases for functional and inclusion dependencies. Zbl 0501.68056
Fagin, Ronald; Vardi, Moshe Y.
14
1983
Model checking vs. Theorem proving: A manifesto. Zbl 0755.68121
Halpern, Joseph Y.; Vardi, Moshe Y.
14
1991
Constraint propagation as a proof system. Zbl 1152.68537
Atserias, Albert; Kolaitis, Phokion G.; Vardi, Moshe Y.
14
2004
Memory efficient algorithms for the verification of temporal properties. Zbl 0765.68120
Courcoubetis, C.; Vardi, M.; Wolper, P.; Yannakakis, M.
14
1991
Undecidable boundedness problems for datalog programs. Zbl 0876.68021
Hillebrand, Gerd G.; Kanellakis, Paris C.; Mairson, Harry G.; Vardi, Moshe Y.
13
1995
Efficient Büchi universality checking. Zbl 1258.68076
Fogarty, Seth; Vardi, Moshe Y.
13
2010
Global model-checking of infinite-state systems. Zbl 1103.68077
Piterman, Nir; Vardi, Moshe Y.
12
2004
Relating word and tree automata. Zbl 1097.03034
Kupferman, Orna; Safra, Shmuel; Vardi, Moshe Y.
12
2006
BDD-based decision procedures for the modal logic K. Zbl 1184.68466
Pan, Guoqiang; Sattler, Ulrike; Vardi, Moshe Y.
12
2006
Querying logical databases. Zbl 0625.68079
Vardi, Moshe Y.
12
1986
Treewidth in verification: Local vs. global. Zbl 1143.68450
Ferrara, Andrea; Pan, Guoqiang; Vardi, Moshe Y.
12
2005
Knowledge-based programs. Zbl 1374.68102
Fagin, Ronald; Moses, Yoram; Halpern, Joseph Y.; Vardi, Moshe Y.
11
1995
Constraint satisfaction, bounded treewidth, and finite-variable logics. Zbl 05876485
Dalmau, Víctor; Kolaitis, Phokion G.; Vardi, Moshe Y.
11
2002
\(\mu\)-calculus synthesis. Zbl 0996.68107
Kupferman, Orna; Vardi, Moshe Y.
11
2000
Bisimulation minimization and symbolic model checking. Zbl 1018.68052
Fisler, Kathi; Vardi, Moshe Y.
11
2002
On the complexity of verifying concurrent transition systems. Zbl 1009.68082
Harel, David; Kupferman, Orna; Vardi, Moshe Y.
11
2002
Is there a best symbolic cycle-detection algorithm? Zbl 0986.68522
Fisler, Kathi; Fraer, Ranan; Kamhi, Gila; Vardi, Moshe Y.; Yang, Zijiang
11
2001
Büchi complementation and size-change termination. Zbl 1234.68256
Fogarty, Seth; Vardi, Moshe Y.
11
2009
Multi-objective model checking of Markov decision processes. Zbl 1186.68286
Etessami, K.; Kwiatkowska, M.; Vardi, M. Y.; Yannakakis, M.
11
2007
Divide-and-conquer determinization of Büchi automata based on SCC decomposition. Zbl 1514.68108
Li, Yong; Turrini, Andrea; Feng, Weizhi; Vardi, Moshe Y.; Zhang, Lijun
2
2022
From linear temporal logics to Büchi automata: the early and simple principle. Zbl 1522.68287
Tsay, Yih-Kuen; Vardi, Moshe Y.
1
2022
Functional synthesis via input-output separation. Zbl 07683088
Chakraborty, Supratik; Fried, Dror; Tabajara, Lucas M.; Vardi, Moshe Y.
1
2022
Congruence relations for Büchi automata. Zbl 1521.68074
Li, Yong; Tsay, Yih-Kuen; Turrini, Andrea; Vardi, Moshe Y.; Zhang, Lijun
3
2021
ProCount: weighted projected model counting with graded project-join trees. Zbl 07495571
Dudek, Jeffrey M.; Phan, Vu H. N.; Vardi, Moshe Y.
2
2021
On the unreasonable effectiveness of SAT solvers. Zbl 07469275
Ganesh, Vijay; Vardi, Moshe Y.
1
2021
Adapting behaviors via reactive synthesis. Zbl 1493.68201
Amram, Gal; Bansal, Suguman; Fried, Dror; Martinelli Tabajara, Lucas; Vardi, Moshe Y.; Weiss, Gera
1
2021
\(\mathrm{LTL}_f\) synthesis on probabilistic systems. Zbl 07455747
Wells, Andrew M.; Lahijanian, Morteza; Kavraki, Lydia E.; Vardi, Moshe Y.
2
2020
SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking. Zbl 1504.68205
Li, Jianwen; Pu, Geguang; Zhang, Yueling; Vardi, Moshe Y.; Rozier, Kristin Y.
1
2020
LTLf synthesis under partial observability: from theory to practice. Zbl 07455737
Tabajara, Lucas M.; Vardi, Moshe Y.
1
2020
On the power of unambiguity in Büchi complementation. Zbl 07455748
Li, Yong; Vardi, Moshe Y.; Zhang, Lijun
1
2020
First-order vs. second-order encodings for ltl\(_f\)-to-automata translation. Zbl 1524.03030
Zhu, Shufang; Pu, Geguang; Vardi, Moshe Y.
2
2019
Satisfiability checking for mission-time LTL. Zbl 1533.68168
Li, Jianwen; Vardi, Moshe Y.; Rozier, Kristin Y.
2
2019
Not all FPRASs are equal: demystifying FPRASs for DNF-counting. Zbl 1483.68498
Meel, Kuldeep S.; Shrotri, Aditya A.; Vardi, Moshe Y.
1
2019
Comparator automata in quantitative verification. Zbl 1504.68126
Bansal, Suguman; Chaudhuri, Swarat; Vardi, Moshe Y.
5
2018
On hashing-based approaches to approximate DNF-counting. Zbl 1491.68193
Meel, Kuldeep S.; Shrotri, Aditya A.; Vardi, Moshe Y.
3
2018
Solving parity games: explicit vs symbolic. Zbl 1509.68347
Di Stasio, Antonio; Murano, Aniello; Vardi, Moshe Y.
2
2018
Flow games. Zbl 1491.91037
Kupferman, Orna; Vardi, Gal; Vardi, Moshe Y.
2
2018
Sequential relational decomposition. Zbl 1497.68172
Fried, Dror; Legay, Axel; Ouaknine, Joël; Vardi, Moshe Y.
2
2018
Accelerating LTL satisfiability checking by SAT solvers. Zbl 1410.68235
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng
1
2018
Strategy logic with imperfect information. Zbl 1458.68113
Berthon, Raphaël; Maubert, Bastien; Murano, Aniello; Rubin, Sasha; Vardi, Moshe Y.
21
2017
Reasoning about strategies: on the satisfiability problem. Zbl 1448.68312
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
16
2017
Supervisory control and reactive synthesis: a comparative introduction. Zbl 1379.93068
Ehlers, Rüdiger; Lafortune, Stéphane; Tripakis, Stavros; Vardi, Moshe Y.
9
2017
Regular queries on graph databases. Zbl 1375.68047
Reutter, Juan L.; Romero, Miguel; Vardi, Moshe Y.
8
2017
The homomorphism problem for regular graph patterns. Zbl 1457.68082
Romero, Miguel; Barceló, Pablo; Vardi, Moshe Y.
2
2017
Random models for evaluating efficient Büchi universality checking. Zbl 1483.68190
Fisher, Corey; Fogarty, Seth; Vardi, Moshe
1
2017
Synthesis with rational environments. Zbl 1372.68173
Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y.
26
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.
9
2016
Semantic acyclicity on graph databases. Zbl 1407.68123
Barceló, Pablo; Romero, Miguel; Vardi, Moshe Y.
8
2016
Solving parity games using an automata-based algorithm. Zbl 1475.68475
Di Stasio, Antonio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
7
2016
BDD-based Boolean functional synthesis. Zbl 1411.68067
Fried, Dror; Tabajara, Lucas M.; Vardi, Moshe Y.
6
2016
Relentful strategic reasoning in alternating-time temporal logic. Zbl 1354.68257
Mogavero, Fabio; Murano, Aniello; Vardi, Moshe Y.
2
2016
Profile trees for Büchi word automata, with application to determinization. Zbl 1336.68155
Fogarty, Seth; Kupferman, Orna; Vardi, Moshe Y.; Wilke, Thomas
7
2015
Regular queries on graph databases. Zbl 1365.68219
Reutter, Juan L.; Romero, Miguel; Vardi, Moshe Y.
6
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.
53
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
State of Büchi complementation. Zbl 1448.68278
Tsai, Ming-Hsien; Fogarty, Seth; Vardi, Moshe Y.; Tsay, Yih-Kuen
7
2014
\(\mathrm{LTL}_{f}\) satisfiability checking. Zbl 1366.68177
Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng
3
2014
From Löwenheim to PSL and SVA. Zbl 1486.68010
Vardi, Moshe Y.
1
2014
Synthesis from probabilistic components. Zbl 1335.68061
Lustig, Yoad; Nain, Sumit; Vardi, Moshe Y.
1
2014
Regular real analysis. Zbl 1366.03217
Chaudhuri, Swarat; Sankaranarayanan, Sriram; Vardi, Moshe Y.
8
2013
Pushdown module checking with imperfect information. Zbl 1282.68166
Aminof, Benjamin; Legay, Axel; Murano, Aniello; Serre, Olivier; Vardi, Moshe Y.
6
2013
Unifying Büchi complementation constructions. Zbl 1274.68158
Fogarty, Seth J.; Kupferman, Orna; Wilke, Thomas; 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.
4
2013
On simplification of schema mappings. Zbl 1408.68046
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y.
1
2013
Profile trees for Büchi word automata, with application to determinization. Zbl 1464.68166
Fogarty, Seth; Kupferman, Orna; Vardi, Moshe Y.; Wilke, Thomas
1
2013
What makes Atl* decidable? A decidable fragment of strategy logic. Zbl 1365.68329
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
24
2012
Once and for all. Zbl 1245.03022
Kupferman, Orna; Pnueli, Amir; Vardi, Moshe Y.
9
2012
Optimized temporal monitors for SystemcC. Zbl 1284.68206
Tabakov, Deian; Rozier, Kristin Y.; Vardi, Moshe Y.
7
2012
Temporal property verification as a program analysis task. Zbl 1284.68171
Cook, Byron; Koskinen, Eric; Vardi, Moshe
5
2012
Büchi complementation and size-change termination. Zbl 1241.68080
Fogarty, Seth; Vardi, Moshe Y.
3
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
4
2011
Temporal synthesis for bounded systems and environments. Zbl 1230.68144
Kupferman, Orna; Lustig, Yoad; Vardi, Moshe Y.; Yannakakis, Mihalis
4
2011
Unifying Büchi complementation constructions. Zbl 1247.68136
Fogarty, Seth; Kupferman, Orna; Vardi, Moshe Y.; Wilke, Thomas
2
2011
The complexity of integer bound propagation. Zbl 1216.68238
Bordeaux, L.; Katsirelos, G.; Narodytska, N.; Vardi, M. Y.
2
2011
Synthesis from recursive-components libraries. Zbl 1457.68065
Lustig, Yoad; Vardi, Moshe Y.
1
2011
Reasoning about strategies. Zbl 1245.68138
Mogavero, Fabio; Murano, Aniello; Vardi, Moshe Y.
38
2010
Efficient Büchi universality checking. Zbl 1258.68076
Fogarty, Seth; Vardi, Moshe Y.
13
2010
An automata-theoretic approach to infinite-state systems. Zbl 1288.68158
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
6
2010
Relentful strategic reasoning in alternating-time temporal logic. Zbl 1310.68144
Mogavero, Fabio; Murano, Aniello; Vardi, Moshe Y.
5
2010
Synthesis of trigger properties. Zbl 1310.68143
Kupferman, Orna; Vardi, Moshe Y.
3
2010
From liveness to promptness. Zbl 1192.68416
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
34
2009
Synthesis from component libraries. Zbl 1234.68260
Lustig, Yoad; Vardi, Moshe Y.
16
2009
Büchi complementation and size-change termination. Zbl 1234.68256
Fogarty, Seth; Vardi, Moshe Y.
11
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.
10
2009
Falsification of LTL safety properties in hybrid systems. Zbl 1234.68264
Plaku, Erion; Kavraki, Lydia E.; Vardi, Moshe Y.
9
2009
From philosophical to industrial logics. Zbl 1209.68325
Vardi, Moshe Y.
5
2009
Multi-objective model checking of Markov decision processes. Zbl 1161.68565
Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis
23
2008
Automata: from logics to algorithms. Zbl 1234.03026
Vardi, Moshe Y.; Wilke, Thomas
15
2008
The complexity of enriched \(\mu\)-calculi. Zbl 1151.03016
Bonatti, Piero A.; Lutz, Carsten; Murano, Aniello; Vardi, Moshe Y.
15
2008
From Church and Prior to PSL. Zbl 1142.68051
Vardi, Moshe Y.
8
2008
Open implication. Zbl 1155.68436
Greimel, Karin; Bloem, Roderick; Jobstmann, Barbara; Vardi, Moshe
3
2008
From monadic logic to PSL. Zbl 1133.68380
Vardi, Moshe Y.
3
2008
A logical approach to constraint satisfaction. Zbl 1171.03322
Kolaitis, Phokion G.; Vardi, Moshe Y.
2
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
52
2007
Automata-theoretic model checking revisited. Zbl 1132.68483
Vardi, Moshe Y.
21
2007
The Büchi complementation saga. Zbl 1186.03062
Vardi, Moshe Y.
20
2007
Multi-objective model checking of Markov decision processes. Zbl 1186.68286
Etessami, K.; Kwiatkowska, M.; Vardi, M. Y.; Yannakakis, M.
11
2007
Proving that programs eventually do something good. Zbl 1295.68083
Cook, Byron; Gotsman, Alexey; Podelski, Andreas; Rybalchenko, Andrey; Vardi, Moshe Y.
10
2007
From liveness to promptness. Zbl 1135.03336
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
6
2007
Hybrid systems: From verification to falsification. Zbl 1135.68479
Plaku, Erion; Kavraki, Lydia E.; Vardi, Moshe Y.
4
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.
3
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.
2
2007
Branching vs. linear time: Semantical perspective. Zbl 1141.68481
Nain, Sumit; Vardi, Moshe Y.
2
2007
GSTE is partitioned model checking. Zbl 1129.68044
Sebastiani, Roberto; Singerman, Eli; Tonetta, Stefano; 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
Property-driven partitioning for abstraction refinement. Zbl 1186.68301
Sebastiani, Roberto; Tonetta, Stefano; Vardi, Moshe Y.
1
2007
Safraless compositional synthesis. Zbl 1188.68193
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
22
2006
Relating word and tree automata. Zbl 1097.03034
Kupferman, Orna; Safra, Shmuel; Vardi, Moshe Y.
12
2006
BDD-based decision procedures for the modal logic K. Zbl 1184.68466
Pan, Guoqiang; Sattler, Ulrike; Vardi, Moshe Y.
12
2006
Büchi complementation made tighter. Zbl 1096.68081
Friedgut, Ehud; Kupferman, Orna; Vardi, Moshe Y.
10
2006
Aggregating disparate estimates of chance. Zbl 1127.62129
Osherson, Daniel; Vardi, Moshe Y.
10
2006
On locally checkable properties. Zbl 1165.68408
Kupferman, Orna; Lustig, Yoad; Vardi, Moshe Y.
5
2006
The complexity of enriched \(\mu\)-calculi. Zbl 1133.68374
Bonatti, Piero A.; Lutz, Carsten; Murano, Aniello; Vardi, Moshe Y.
4
2006
Coverage metrics for temporal logic model checking. Zbl 1105.68075
Chockler, Hana; Kupferman, Orna; Vardi, Moshe Y.
3
2006
Verification of open systems. Zbl 1266.68133
Kupferman, Orna; Vardi, Moshe Y.
1
2006
...and 156 more Documents
all top 5

Cited by 3,502 Authors

85 Vardi, Moshe Ya’akov
60 Kupferman, Orna
35 Murano, Aniello
31 Halpern, Joseph Yehuda
27 Hell, Pavol
26 Živný, Stanislav
25 Bodirsky, Manuel
25 Henzinger, Thomas A.
24 Bozzelli, Laura
24 Rybakov, Vladimir Vladimirovich
24 van Ditmarsch, Hans Pieter
23 Chatterjee, Krishnendu
23 Demri, Stéphane P.
22 Wooldridge, Michael J.
21 Gottlob, Georg
20 André, Étienne
20 Krokhin, Andrei A.
20 Moses, Yoram
19 Dixon, Clare
19 Grädel, Erich
19 Raskin, Jean-François
19 van der Hoek, Wiebe
18 Feder, Tomás
18 Lange, Martin
18 Martin, Barnaby D.
18 Zimmermann, Martin
17 Ågotnes, Thomas
17 Bulatov, Andrei A.
16 Cimatti, Alessandro
16 Finkbeiner, Bernd
16 Jonsson, Peter
16 Lorini, Emiliano
16 Mogavero, Fabio
16 Montanari, Angelo
16 Schewe, Sven
16 Wang, Yanjing
15 Baier, Christel
15 Dalmau, Víctor
15 Fagin, Ronald
15 Fisher, Michael
15 Markey, Nicolas
15 Peled, Doron A.
15 Perelli, Giuseppe
15 Piterman, Nir
15 van Benthem, Johan F. A. K.
14 Balbiani, Philippe
14 Barceló, Pablo
14 Brewster, Richard C.
14 Chen, Hubie
14 Dawar, Anuj
14 Gutierrez, Julian
14 Kolaitis, Phokion G.
14 Libkin, Leonid O.
14 Lime, Didier
14 Pnueli, Amir
13 Bouyer, Patricia
13 Grohe, Martin
13 Larose, Benoit
13 Link, Sebastian
13 Lutz, Carsten
12 Belardinelli, Francesco
12 Cooper, Martin C.
12 Larsen, Kim Guldstrand
12 Naumov, Pavel G.
12 Pacuit, Eric
12 Peron, Adriano
12 Pinchinat, Sophie
12 Smets, Sonja J. L.
12 Zhang, Lijun
11 Barto, Libor
11 Benevides, Mario R. F.
11 Bloem, Roderick
11 Bollig, Benedikt
11 Goranko, Valentin F.
11 Hella, Lauri T.
11 Herzig, Andreas
11 Jeavons, Peter G.
11 Lomuscio, Alessio
11 Nešetřil, Jaroslav
11 Tonetta, Stefano
11 Van den Bussche, Jan
11 Vianu, Victor
11 Wolter, Frank
11 Zakharyaschev, Michael Viktorovich
10 Atserias, Albert
10 Avni, Guy
10 Baltag, Alexandru
10 Barnat, Jiří
10 Bruyère, Véronique
10 De Giacomo, Giuseppe
10 Hustadt, Ullrich
10 Katoen, Joost-Pieter
10 La Torre, Salvatore
10 Legay, Axel
10 Lehtinen, Karoliina
10 Lohrey, Markus
10 Pieris, Andreas
10 Scarcello, Francesco
10 Schwarzentruber, François
10 Schwentick, Thomas
...and 3,402 more Authors
all top 5

Cited in 178 Serials

258 Theoretical Computer Science
166 Information and Computation
139 Artificial Intelligence
120 Journal of Computer and System Sciences
75 Formal Methods in System Design
62 Synthese
59 Logical Methods in Computer Science
52 ACM Transactions on Computational Logic
50 Annals of Mathematics and Artificial Intelligence
49 Information Processing Letters
45 Annals of Pure and Applied Logic
42 Journal of Philosophical Logic
42 Journal of Applied Non-Classical Logics
38 Acta Informatica
37 Studia Logica
37 Theory of Computing Systems
35 Journal of Applied Logic
31 Journal of Logic, Language and Information
28 The Journal of Symbolic Logic
28 Formal Aspects of Computing
27 SIAM Journal on Computing
27 Journal of Automated Reasoning
27 Journal of Logical and Algebraic Methods in Programming
23 Discrete Applied Mathematics
23 Games and Economic Behavior
20 Discrete Mathematics
19 International Journal of Approximate Reasoning
18 International Journal of Foundations of Computer Science
17 Information Sciences
17 European Journal of Combinatorics
17 Discrete Event Dynamic Systems
16 Constraints
15 The Journal of Logic and Algebraic Programming
14 Distributed Computing
14 The Bulletin of Symbolic Logic
14 The Review of Symbolic Logic
13 International Journal of Algebra and Computation
11 Automatica
11 Mathematical Social Sciences
11 Algorithmica
10 Theory and Practice of Logic Programming
9 Algebra Universalis
8 Journal of Economic Theory
8 Programming and Computer Software
8 Mathematical Structures in Computer Science
8 Fundamenta Informaticae
7 The Journal of Artificial Intelligence Research (JAIR)
7 Journal of the ACM
7 Nonlinear Analysis. Hybrid Systems
6 Fuzzy Sets and Systems
6 Siberian Mathematical Journal
6 Theory and Decision
6 SIAM Journal on Discrete Mathematics
6 Computer Science Review
5 Science of Computer Programming
5 International Journal of Computer Mathematics
5 Economic Theory
5 Erkenntnis
5 Logica Universalis
5 Frontiers of Computer Science
5 Journal of Siberian Federal University. Mathematics & Physics
4 International Journal of Game Theory
4 Kybernetika
4 Notre Dame Journal of Formal Logic
4 Journal of Symbolic Computation
4 Computational Complexity
4 Discrete Mathematics and Theoretical Computer Science. DMTCS
4 International Game Theory Review
4 Logic and Logical Philosophy
4 Modelirovanie i Analiz Informatsionnykh Sistem
3 Computers & Mathematics with Applications
3 International Journal of Theoretical Physics
3 Lithuanian Mathematical Journal
3 Algebra and Logic
3 Journal of Mathematical Economics
3 Semigroup Forum
3 Transactions of the American Mathematical Society
3 International Journal of Intelligent Systems
3 Archive for Mathematical Logic
3 Cybernetics and Systems Analysis
3 Mathematical Logic Quarterly (MLQ)
3 Mathematical Problems in Engineering
3 Doklady Mathematics
3 RAIRO. Theoretical Informatics and Applications
3 Journal of Applied Mathematics
3 Sādhanā
3 Computer Languages, Systems & Structures
3 Journal of Multiple-Valued Logic and Soft Computing
3 Journal of Discrete Algorithms
3 Science China. Information Sciences
3 Games
3 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika
3 Logicheskie Issledovaniya
2 Communications in Algebra
2 International Journal of Control
2 Mathematical Notes
2 Advances in Mathematics
2 International Journal of Computer & Information Sciences
2 Journal of Algebra
2 Journal of Combinatorial Theory. Series B
...and 78 more Serials
all top 5

Cited in 37 Fields

2,460 Computer science (68-XX)
1,384 Mathematical logic and foundations (03-XX)
305 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
187 Combinatorics (05-XX)
91 General algebraic systems (08-XX)
82 Systems theory; control (93-XX)
68 Operations research, mathematical programming (90-XX)
32 Information and communication theory, circuits (94-XX)
26 Probability theory and stochastic processes (60-XX)
21 Order, lattices, ordered algebraic structures (06-XX)
20 Group theory and generalizations (20-XX)
16 Statistics (62-XX)
13 Quantum theory (81-XX)
12 General and overarching topics; collections (00-XX)
12 Category theory; homological algebra (18-XX)
11 Biology and other natural sciences (92-XX)
10 History and biography (01-XX)
5 Linear and multilinear algebra; matrix theory (15-XX)
5 Dynamical systems and ergodic theory (37-XX)
4 General topology (54-XX)
3 Number theory (11-XX)
3 Algebraic topology (55-XX)
3 Numerical analysis (65-XX)
3 Statistical mechanics, structure of matter (82-XX)
2 Field theory and polynomials (12-XX)
2 Algebraic geometry (14-XX)
2 Operator theory (47-XX)
2 Calculus of variations and optimal control; optimization (49-XX)
2 Manifolds and cell complexes (57-XX)
2 Mathematics education (97-XX)
1 Commutative algebra (13-XX)
1 Real functions (26-XX)
1 Measure and integration (28-XX)
1 Functions of a complex variable (30-XX)
1 Functional analysis (46-XX)
1 Convex and discrete geometry (52-XX)
1 Mechanics of particles and systems (70-XX)

Citations by Year

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