Edit Profile (opens in new tab) Vardi, Moshe Ya’akov Compute Distance To: Compute Author ID: vardi.moshe-y Published as: Vardi, Moshe Y.; Vardi, M. Y.; Vardi, Moshe; Vardi, M.; Vardi, Moshe Ya’akov more...less Homepage: https://www.cs.rice.edu/~vardi/ External Links: MGP · ORCID · Wikidata · Google Scholar · ResearchGate · Twitter · Math-Net.Ru · dblp · GND · IdRef Documents Indexed: 273 Publications since 1981, including 2 Books 10 Contributions as Editor · 1 Further Contribution Biographic References: 1 Publication Co-Authors: 192 Co-Authors with 250 Joint Publications 4,209 Co-Co-Authors all top 5 Co-Authors 34 single-authored 58 Kupferman, Orna 17 Murano, Aniello 16 Halpern, Joseph Yehuda 15 Fagin, Ronald 15 Piterman, Nir 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 Li, Jianwen 6 Lustig, Yoad 6 Nain, Sumit 6 Pu, Geguang 6 Wilke, Thomas 5 Beeri, Catriel 5 Demopoulos, Demetrios D. 5 Fraer, Ranan 5 Kavraki, Lydia E. 5 Lenzerini, Maurizio 5 Moses, Yoram 5 Perelli, Giuseppe 5 Zhang, Lijun 4 Abiteboul, Serge 4 Armoni, Roy 4 Bansal, Suguman 4 Bustan, Doron 4 Chockler, Hana 4 Fried, Dror 4 Kamhi, Gila 4 Kuper, Gabriel M. 4 Mairson, Harry George 4 Romero, Miguel 4 Sattler, Ulrike 4 Sebastiani, Roberto 4 Singerman, Eli 4 Tonetta, Stefano 3 Chatterjee, Krishnendu 3 Chaudhuri, Swarat 3 Etessami, Kousha 3 Flaisher, Alon 3 He, Jifeng 3 Henzinger, Thomas A. 3 Legay, Axel 3 Mador-Haim, Sela 3 Meel, Kuldeep S. 3 Peled, Doron A. 3 Plaku, Erion 3 Rozier, Kristin Yvonne 3 San Miguel Aguirre, Alfonso 3 Tabajara, Lucas M. 3 Tiemeyer, Andreas 3 Vianu, Victor 3 Zhu, Shufang 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 Di Stasio, Antonio 2 Doyen, Laurent 2 Feder, Tomás 2 Fisler, Kathi 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 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 Tsay, Yih-Kuen 2 Ullman, Jeffrey David 1 Aiken, Alexander 1 Amram, Gal 1 Arons, Tamarah 1 Atserias, Albert 1 Balkan, Ayça 1 Berthon, Raphaël 1 Bloem, Roderick ...and 92 more Co-Authors all top 5 Serials 13 Information and Computation 12 Journal of Computer and System Sciences 10 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 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 3 Lecture Notes in Computer Science 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 all top 5 Fields 269 Computer science (68-XX) 101 Mathematical logic and foundations (03-XX) 21 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 General and overarching topics; collections (00-XX) 5 Operations research, mathematical programming (90-XX) 3 History and biography (01-XX) 3 Combinatorics (05-XX) 3 Systems theory; control (93-XX) 1 Statistics (62-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 236 Publications have been cited 3,803 times in 2,573 Documents Cited by ▼ Year ▼ Reasoning about knowledge. Zbl 0839.68095Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y. 598 1995 The computational structure of monotone monadic SNP and constraint satisfaction: A study through Datalog and group theory. Zbl 0914.68075Feder, Tomás; Vardi, Moshe Y. 305 1998 Reasoning about infinite computations. Zbl 0827.03009Vardi, Moshe Y.; Wolper, Pierre 147 1994 An automata-theoretic approach to branching-time model checking. Zbl 1133.68376Kupferman, Orna; Vardi, Moshe Y.; Wolper, Pierre 111 2000 Automata-theoretic techniques for modal logics of programs. Zbl 0622.03017Vardi, Moshe Y.; Wolper, Pierre 78 1986 Conjunctive-query containment and constraint satisfaction. Zbl 0963.68059Kolaitis, Phokion G.; Vardi, Moshe Y. 76 2000 The complementation problem for Büchi automata with applications to temporal logic. Zbl 0613.03015Sistla, A. Prasad; Vardi, Moshe Y.; Wolper, Pierre 66 1987 Reasoning about the past with two-way automata. Zbl 0909.03019Vardi, Moshe Y. 62 1998 Parametric real-time reasoning. Zbl 1310.68139Alur, Rajeev; Henzinger, Thomas A.; Vardi, Moshe Y. 62 1993 On the decision problem for two-variable first-order logic. Zbl 0873.03009Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y. 56 1997 A proof procedure for data dependencies. Zbl 0632.68097Beeri, Catriel; Vardi, Moshe Y. 51 1984 Alternating refinement relations. Zbl 1070.68524Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna; Vardi, Moshe Y. 51 1998 The complexity of reasoning about knowledge and time. I: Lower bounds. Zbl 0672.03015Halpern, Joseph Y.; Vardi, Moshe Y. 48 1989 Infinitary logics and 0-1 laws. Zbl 0762.03016Kolaitis, Phokion G.; Vardi, Moshe Y. 47 1992 Complete axiomatizations for reasoning about knowledge and time. Zbl 1059.68127Halpern, Joseph Y.; van der Meyden, Ron; Vardi, Moshe Y. 45 2004 Reasoning about strategies: on the model-checking problem. Zbl 1354.68178Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y. 40 2014 Weak alternating automata are not that weak. Zbl 1171.68551Kupferman, Orna; Vardi, Moshe Y. 39 2001 The implication problem for data dependencies (extended abstract). Zbl 0462.68022Beeri, C.; Vardi, M. Y. 39 1981 Model checking of safety properties. Zbl 0995.68061Kupferman, Orna; Vardi, Moshe Y. 39 2001 Rewriting of regular expressions and regular path queries. Zbl 1015.68083Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y. 34 2002 On monadic NP vs monadic co-NP. Zbl 0835.68046Fagin, Ronald; Stockmeyer, Larry J.; Vardi, Moshe Y. 34 1995 First-order logic with two variables and unary temporal logic. Zbl 1096.03013Etessami, Kousha; Vardi, Moshe Y.; Wilke, Thomas 33 2002 From liveness to promptness. Zbl 1192.68416Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y. 32 2009 The implication problem for functional and inclusion dependencies is undecidable. Zbl 0603.68100Chandra, Ashok K.; Vardi, Moshe Y. 32 1985 Reasoning about strategies. Zbl 1245.68138Mogavero, Fabio; Murano, Aniello; Vardi, Moshe Y. 32 2010 What can machines know? On the properties of knowledge in distributed systems. Zbl 0799.68179Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. 30 1992 Why is modal logic so robustly decidable? Zbl 0881.03012Vardi, Moshe Y. 30 1997 Finite model theory and its applications. Zbl 1133.03001Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott 29 2007 Weak alternating automata and tree automata emptiness. Zbl 1005.68525Kupferman, Orna; Vardi, Moshe Y. 28 1998 Monotone monadic SNP and constraint satisfaction. Zbl 1310.68086Feder, Tomás; Vardi, Moshe Y. 26 1993 Module checking. Zbl 1003.68071Kupferman, Orna; Vardi, Moshe Y.; Wolper, Pierre 25 2001 Undecidable optimization problems for database logic programs. Zbl 0785.68021Gaifman, Haim; Mairson, Harry; Sagiv, Yehoshua; Vardi, Moshe Y. 25 1993 The hierarchical approach to modeling knowledge and common knowledge. Zbl 1061.68556Fagin, Ronald; Geanakoplos, John; Halpern, Joseph Y.; Vardi, Moshe Y. 24 1999 Common knowledge revisited. Zbl 1060.03008Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y. 24 2003 Improved automata generation for linear temporal logic. Zbl 1046.68588Daniele, Marco; Giunchiglia, Fausto; Vardi, Moshe Y. 24 1999 A model-theoretic analysis of knowledge. Zbl 0799.68177Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. 23 1991 Synthesis with incomplete information. Zbl 0953.68090Kupferman, Orna; Vardi, Moshe Y. 22 2000 Formal systems for tuple and equality generating dependencies. Zbl 0544.68064Beeri, C.; Vardi, M. Y. 22 1984 On the foundations of the universal relation model. Zbl 0563.68077Maier, David; Ullman, Jeffrey D.; Vardi, Moshe Y. 22 1984 What makes Atl* decidable? A decidable fragment of strategy logic. Zbl 1365.68329Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y. 21 2012 Memory efficient algorithms for the verification of temporal properties. Zbl 0786.68060Courcoubetis, C.; Vardi, M.; Wolper, P.; Yannakakis, M. 20 1991 The complexity of the graded \(\mu\)-calculus. Zbl 1072.03014Kupferman, Orna; Sattler, Ulrike; Vardi, Moshe Y. 20 2002 A note on the reduction of two-way automata to one-way automata. Zbl 0665.68045Vardi, Moshe Y. 20 1989 Synthesis with rational environments. Zbl 1372.68173Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y. 19 2016 Multi-objective model checking of Markov decision processes. Zbl 1161.68565Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis 19 2008 The hybrid \(\mu\)-calculus. Zbl 0988.03053Sattler, Ulrike; Vardi, Moshe Y. 18 2001 A nonstandard approach to the logical omniscience problem. Zbl 1014.03513Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. 18 1995 The ForSpec temporal logic: A new temporal property-specification language. Zbl 1043.68563Armoni, 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 18 2002 0-1 laws and decision problems for fragments of second-order logic. Zbl 0708.03004Kolaitis, Phokion G.; Vardi, Moshe Y. 18 1990 Verification of concurrent programs: The automata-theoretic framework. Zbl 0725.03013Vardi, Moshe Y. 18 1991 The complexity of set constraints. Zbl 0953.68557Aiken, A.; Kozen, D.; Vardi, M.; Wimmers, F. 18 1994 Automata-theoretic model checking revisited. Zbl 1132.68483Vardi, Moshe Y. 18 2007 Safraless compositional synthesis. Zbl 1188.68193Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y. 18 2006 Fixpoint logics, relational machines, and computational complexity. Zbl 0883.68070Abiteboul, Serge; Vardi, Moshe Y.; Vianu, Victor. 17 1997 Church’s problem revisited. Zbl 0932.03029Kupferman, Orna; Vardi, Moshe Y. 17 1999 An automata-theoretic approach to reasoning about infinite-state systems. Zbl 0974.68083Kupferman, Orna; Vardi, Moshe Y. 17 2000 Open systems in reactive environments: Control and synthesis. Zbl 0999.68124Kupferman, Orna; Madhusudan, P.; Thiagarajan, P. S.; Vardi, Moshe Y. 16 2000 Branching vs. linear time: Final showdown. Zbl 0986.68064Vardi, Moshe Y. 15 2001 Experimental evaluation of classical automata constructions. Zbl 1143.68443Tabakov, Deian; Vardi, Moshe Y. 15 2005 On the expressive power of Datalog: tools and a case study. Zbl 1360.68397Kolaitis, Phokion G.; Vardi, Moshe Y. 14 1995 Black box checking. Zbl 0952.68012Peled, Doron; Vardi, Moshe Y.; Yannakakis, Mihalis 14 1999 Synthesis from component libraries. Zbl 1234.68260Lustig, Yoad; Vardi, Moshe Y. 14 2009 Model checking vs. Theorem proving: A manifesto. Zbl 0755.68121Halpern, Joseph Y.; Vardi, Moshe Y. 14 1991 Polynomial-time implication problems for unary inclusion dependencies. Zbl 0698.68090Cosmadakis, Stavros S.; Kanellakis, Paris C.; Vardi, Moshe Y. 14 1990 Pushdown specifications. Zbl 1023.68624Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y. 13 2002 Automata: from logics to algorithms. Zbl 1234.03026Vardi, Moshe Y.; Wilke, Thomas 13 2008 Enhanced vacuity detection in linear temporal logic. Zbl 1278.68153Armoni, Roy; Fix, Limor; Flaisher, Alon; Grumberg, Orna; Piterman, Nir; Tiemeyer, Andreas; Vardi, Moshe Y. 13 2003 Model checking of safety properties. Zbl 1046.68597Kupferman, Orna; Vardi, Moshe Y. 13 1999 The Büchi complementation saga. Zbl 1186.03062Vardi, Moshe Y. 13 2007 From linear time to branching time. Zbl 1367.68195Kupferman, Orna; Vardi, Moshe Y. 13 2005 Black box checking. Zbl 1046.68072Peled, Doron; Vardi, Moshe Y.; Yannakakis, Mihalis 12 2002 Armstrong databases for functional and inclusion dependencies. Zbl 0501.68056Fagin, Ronald; Vardi, Moshe Y. 12 1983 Regular vacuity. Zbl 1159.68311Bustan, Doron; Flaisher, Alon; Grumberg, Orna; Kupferman, Orna; Vardi, Moshe Y. 12 2005 Global model-checking of infinite-state systems. Zbl 1103.68077Piterman, Nir; Vardi, Moshe Y. 12 2004 Reasoning about strategies: on the satisfiability problem. Zbl 1448.68312Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y. 12 2017 Querying logical databases. Zbl 0625.68079Vardi, Moshe Y. 11 1986 Vacuity detection in temporal model checking. Zbl 0961.68085Kupferman, Orna; Vardi, Moshe Y. 11 1999 Constraint propagation as a proof system. Zbl 1152.68537Atserias, Albert; Kolaitis, Phokion G.; Vardi, Moshe Y. 11 2004 The complexity of enriched \(\mu\)-calculi. Zbl 1151.03016Bonatti, Piero A.; Lutz, Carsten; Murano, Aniello; Vardi, Moshe Y. 11 2008 Memory efficient algorithms for the verification of temporal properties. Zbl 0765.68120Courcoubetis, C.; Vardi, M.; Wolper, P.; Yannakakis, M. 11 1991 On the complexity of verifying concurrent transition systems. Zbl 1009.68082Harel, David; Kupferman, Orna; Vardi, Moshe Y. 10 2002 Aggregating disparate estimates of chance. Zbl 1127.62129Osherson, Daniel; Vardi, Moshe Y. 10 2006 What is an inference rule? Zbl 0761.03010Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. 10 1992 Efficient Büchi universality checking. Zbl 1258.68076Fogarty, Seth; Vardi, Moshe Y. 10 2010 Yet another process logic. Zbl 0549.68020Vardi, Moshe Y.; Wolper, Pierre 10 1984 Treewidth in verification: Local vs. global. Zbl 1143.68450Ferrara, Andrea; Pan, Guoqiang; Vardi, Moshe Y. 10 2005 View-based query answering and query containment over semistructured data. Zbl 1098.68560Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y. 10 2002 \(\mu\)-calculus synthesis. Zbl 0996.68107Kupferman, Orna; Vardi, Moshe Y. 9 2000 Undecidable boundedness problems for datalog programs. Zbl 0876.68021Hillebrand, Gerd G.; Kanellakis, Paris C.; Mairson, Harry G.; Vardi, Moshe Y. 9 1995 Nontraditional applications of automata theory. Zbl 0942.68600Vardi, Moshe Y. 9 1994 Büchi complementation and size-change termination. Zbl 1234.68256Fogarty, Seth; Vardi, Moshe Y. 9 2009 BDD-based decision procedures for the modal logic K. Zbl 1184.68466Pan, Guoqiang; Sattler, Ulrike; Vardi, Moshe Y. 9 2006 Hybrid systems: From verification to falsification by combining motion planning and discrete search. Zbl 1192.68692Plaku, Erion; Kavraki, Lydia E.; Vardi, Moshe Y. 9 2009 Once and for all. Zbl 1245.03022Kupferman, Orna; Pnueli, Amir; Vardi, Moshe Y. 9 2012 Proving that programs eventually do something good. Zbl 1295.68083Cook, Byron; Gotsman, Alexey; Podelski, Andreas; Rybalchenko, Andrey; Vardi, Moshe Y. 9 2007 Bisimulation minimization and symbolic model checking. Zbl 1018.68052Fisler, Kathi; Vardi, Moshe Y. 8 2002 Complexity of problems on graphs represented as OBDDs. Zbl 0924.68097Feigenbaum, Joan; Kannan, Sampath; Vardi, Moshe Y.; Viswanathan, Mahesh 8 1999 Symbolic decision procedures for QBF. Zbl 1152.68570Pan, Guoqiang; Vardi, Moshe Y. 8 2004 The decision problem for database dependencies. Zbl 0482.68094Vardi, M. Y. 8 1981 Model checking vs. theorem proving: A manifesto. Zbl 0765.68189Halpern, Joseph Y.; Vardi, Moshe Y. 8 1991 On satisficing in quantitative games. Zbl 1467.68161Bansal, Suguman; Chatterjee, Krishnendu; Vardi, Moshe Y. 1 2021 ProCount: weighted projected model counting with graded project-join trees. Zbl 07495571Dudek, Jeffrey M.; Phan, Vu H. N.; Vardi, Moshe Y. 1 2021 First-order vs. second-order encodings for ltl\(_f\)-to-automata translation. Zbl 07117308Zhu, Shufang; Pu, Geguang; Vardi, Moshe Y. 2 2019 Not all FPRASs are equal: demystifying FPRASs for DNF-counting. Zbl 1483.68498Meel, Kuldeep S.; Shrotri, Aditya A.; Vardi, Moshe Y. 1 2019 Comparator automata in quantitative verification. Zbl 06904549Bansal, Suguman; Chaudhuri, Swarat; Vardi, Moshe Y. 5 2018 On hashing-based approaches to approximate DNF-counting. Zbl 1491.68193Meel, Kuldeep S.; Shrotri, Aditya A.; Vardi, Moshe Y. 2 2018 Solving parity games: explicit vs symbolic. Zbl 06974631Di Stasio, Antonio; Murano, Aniello; Vardi, Moshe Y. 2 2018 Accelerating LTL satisfiability checking by SAT solvers. Zbl 1410.68235Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng 1 2018 Sequential relational decomposition. Zbl 1497.68172Fried, Dror; Legay, Axel; Ouaknine, Joël; Vardi, Moshe Y. 1 2018 Reasoning about strategies: on the satisfiability problem. Zbl 1448.68312Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y. 12 2017 Supervisory control and reactive synthesis: a comparative introduction. Zbl 1379.93068Ehlers, Rüdiger; Lafortune, Stéphane; Tripakis, Stavros; Vardi, Moshe Y. 6 2017 Strategy logic with imperfect information. Zbl 1458.68113Berthon, Raphaël; Maubert, Bastien; Murano, Aniello; Rubin, Sasha; Vardi, Moshe Y. 5 2017 Regular queries on graph databases. Zbl 1375.68047Reutter, Juan L.; Romero, Miguel; Vardi, Moshe Y. 4 2017 Synthesis with rational environments. Zbl 1372.68173Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y. 19 2016 Solving parity games using an automata-based algorithm. Zbl 1475.68475Di Stasio, Antonio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y. 7 2016 On computing minimal independent support and its applications to sampling and counting. Zbl 1334.90146Ivrii, Alexander; Malik, Sharad; Meel, Kuldeep S.; Vardi, Moshe Y. 7 2016 Semantic acyclicity on graph databases. Zbl 1407.68123Barceló, Pablo; Romero, Miguel; Vardi, Moshe Y. 4 2016 BDD-based Boolean functional synthesis. Zbl 1411.68067Fried, Dror; Tabajara, Lucas M.; Vardi, Moshe Y. 3 2016 Relentful strategic reasoning in alternating-time temporal logic. Zbl 1354.68257Mogavero, Fabio; Murano, Aniello; Vardi, Moshe Y. 2 2016 Regular queries on graph databases. Zbl 1365.68219Reutter, Juan L.; Romero, Miguel; Vardi, Moshe Y. 5 2015 Profile trees for Büchi word automata, with application to determinization. Zbl 1336.68155Fogarty, Seth; Kupferman, Orna; Vardi, Moshe Y.; Wilke, Thomas 2 2015 The complexity of synthesis from probabilistic components. Zbl 1440.68045Chatterjee, Krishnendu; Doyen, Laurent; Vardi, Moshe Y. 1 2015 Reasoning about strategies: on the model-checking problem. Zbl 1354.68178Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y. 40 2014 The complexity of partial-observation stochastic parity games with finite-memory strategies. Zbl 1405.68135Chatterjee, Krishnendu; Doyen, Laurent; Nain, Sumit; Vardi, Moshe Y. 8 2014 State of Büchi complementation. Zbl 1448.68278Tsai, Ming-Hsien; Fogarty, Seth; Vardi, Moshe Y.; Tsay, Yih-Kuen 3 2014 \(\mathrm{LTL}_{f}\) satisfiability checking. Zbl 1366.68177Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng 2 2014 Synthesis from probabilistic components. Zbl 1335.68061Lustig, Yoad; Nain, Sumit; Vardi, Moshe Y. 1 2014 Pushdown module checking with imperfect information. Zbl 1282.68166Aminof, Benjamin; Legay, Axel; Murano, Aniello; Serre, Olivier; Vardi, Moshe Y. 6 2013 Regular real analysis. Zbl 1366.03217Chaudhuri, Swarat; Sankaranarayanan, Sriram; Vardi, Moshe Y. 6 2013 Solving partial-information stochastic parity games. Zbl 1369.91016Nain, Sumit; Vardi, Moshe Y. 4 2013 Iterative temporal motion planning for hybrid systems in partially unknown environments. Zbl 1361.68272Maly, Matthew R.; Lahijanian, Morteza; Kavraki, Lydia E.; Kress-Gazit, Hadas; Vardi, Moshe Y. 2 2013 Profile trees for Büchi word automata, with application to determinization. Zbl 1464.68166Fogarty, Seth; Kupferman, Orna; Vardi, Moshe Y.; Wilke, Thomas 1 2013 Unifying Büchi complementation constructions. Zbl 1274.68158Fogarty, Seth J.; Kupferman, Orna; Wilke, Thomas; Vardi, Moshe Y. 1 2013 On simplification of schema mappings. Zbl 1408.68046Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y. 1 2013 What makes Atl* decidable? A decidable fragment of strategy logic. Zbl 1365.68329Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y. 21 2012 Once and for all. Zbl 1245.03022Kupferman, Orna; Pnueli, Amir; Vardi, Moshe Y. 9 2012 Optimized temporal monitors for SystemcC. Zbl 1284.68206Tabakov, Deian; Rozier, Kristin Y.; Vardi, Moshe Y. 6 2012 Temporal property verification as a program analysis task. Zbl 1284.68171Cook, Byron; Koskinen, Eric; Vardi, Moshe 4 2012 Büchi complementation and size-change termination. Zbl 1241.68080Fogarty, Seth; Vardi, Moshe Y. 1 2012 Dynamic reactive modules. Zbl 1343.68167Fisher, Jasmin; Henzinger, Thomas A.; Nickovic, Dejan; Piterman, Nir; Singh, Anmol V.; Vardi, Moshe Y. 5 2011 Temporal synthesis for bounded systems and environments. Zbl 1230.68144Kupferman, Orna; Lustig, Yoad; Vardi, Moshe Y.; Yannakakis, Mihalis 3 2011 State of Büchi complementation. Zbl 1297.68168Tsai, Ming-Hsien; Fogarty, Seth; Vardi, Moshe Y.; Tsay, Yih-Kuen 3 2011 The complexity of integer bound propagation. Zbl 1216.68238Bordeaux, L.; Katsirelos, G.; Narodytska, N.; Vardi, M. Y. 1 2011 Unifying Büchi complementation constructions. Zbl 1247.68136Fogarty, Seth; Kupferman, Orna; Vardi, Moshe Y.; Wilke, Thomas 1 2011 Reasoning about strategies. Zbl 1245.68138Mogavero, Fabio; Murano, Aniello; Vardi, Moshe Y. 32 2010 Efficient Büchi universality checking. Zbl 1258.68076Fogarty, Seth; Vardi, Moshe Y. 10 2010 An automata-theoretic approach to infinite-state systems. Zbl 1288.68158Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y. 5 2010 Relentful strategic reasoning in alternating-time temporal logic. Zbl 1310.68144Mogavero, Fabio; Murano, Aniello; Vardi, Moshe Y. 4 2010 Synthesis of trigger properties. Zbl 1310.68143Kupferman, Orna; Vardi, Moshe Y. 3 2010 From liveness to promptness. Zbl 1192.68416Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y. 32 2009 Synthesis from component libraries. Zbl 1234.68260Lustig, Yoad; Vardi, Moshe Y. 14 2009 Büchi complementation and size-change termination. Zbl 1234.68256Fogarty, Seth; Vardi, Moshe Y. 9 2009 Hybrid systems: From verification to falsification by combining motion planning and discrete search. Zbl 1192.68692Plaku, Erion; Kavraki, Lydia E.; Vardi, Moshe Y. 9 2009 Falsification of LTL safety properties in hybrid systems. Zbl 1234.68264Plaku, Erion; Kavraki, Lydia E.; Vardi, Moshe Y. 6 2009 From philosophical to industrial logics. Zbl 1209.68325Vardi, Moshe Y. 4 2009 Multi-objective model checking of Markov decision processes. Zbl 1161.68565Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis 19 2008 Automata: from logics to algorithms. Zbl 1234.03026Vardi, Moshe Y.; Wilke, Thomas 13 2008 The complexity of enriched \(\mu\)-calculi. Zbl 1151.03016Bonatti, Piero A.; Lutz, Carsten; Murano, Aniello; Vardi, Moshe Y. 11 2008 From Church and Prior to PSL. Zbl 1142.68051Vardi, Moshe Y. 6 2008 Open implication. Zbl 1155.68436Greimel, Karin; Bloem, Roderick; Jobstmann, Barbara; Vardi, Moshe 3 2008 From monadic logic to PSL. Zbl 1133.68380Vardi, Moshe Y. 3 2008 A logical approach to constraint satisfaction. Zbl 1171.03322Kolaitis, Phokion G.; Vardi, Moshe Y. 1 2008 Finite model theory and its applications. Zbl 1133.03001Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott 29 2007 Automata-theoretic model checking revisited. Zbl 1132.68483Vardi, Moshe Y. 18 2007 The Büchi complementation saga. Zbl 1186.03062Vardi, Moshe Y. 13 2007 Proving that programs eventually do something good. Zbl 1295.68083Cook, Byron; Gotsman, Alexey; Podelski, Andreas; Rybalchenko, Andrey; Vardi, Moshe Y. 9 2007 Multi-objective model checking of Markov decision processes. Zbl 1186.68286Etessami, K.; Kwiatkowska, M.; Vardi, M. Y.; Yannakakis, M. 7 2007 From liveness to promptness. Zbl 1135.03336Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y. 5 2007 Hybrid systems: From verification to falsification. Zbl 1135.68479Plaku, Erion; Kavraki, Lydia E.; Vardi, Moshe Y. 4 2007 A continuous-discontinuous second-order transition in the satisfiability of random Horn-SAT formulas. Zbl 1147.68717Moore, Cristopher; Istrate, Gabriel; Demopoulos, Demetrios; Vardi, Moshe Y. 2 2007 Branching vs. linear time: Semantical perspective. Zbl 1141.68481Nain, Sumit; Vardi, Moshe Y. 2 2007 View-based query processing: on the relationship between rewriting, answering and losslessness. Zbl 1108.68038Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y. 2 2007 An analysis of slow convergence in interval propagation. Zbl 1145.68506Bordeaux, Lucas; Hamadi, Youssef; Vardi, Moshe Y. 1 2007 Pushdown module checking with imperfect information. Zbl 1151.68468Aminof, Benjamin; Murano, Aniello; Vardi, Moshe Y. 1 2007 Property-driven partitioning for abstraction refinement. Zbl 1186.68301Sebastiani, Roberto; Tonetta, Stefano; Vardi, Moshe Y. 1 2007 GSTE is partitioned model checking. Zbl 1129.68044Sebastiani, Roberto; Singerman, Eli; Tonetta, Stefano; Vardi, Moshe Y. 1 2007 Safraless compositional synthesis. Zbl 1188.68193Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y. 18 2006 Aggregating disparate estimates of chance. Zbl 1127.62129Osherson, Daniel; Vardi, Moshe Y. 10 2006 BDD-based decision procedures for the modal logic K. Zbl 1184.68466Pan, Guoqiang; Sattler, Ulrike; Vardi, Moshe Y. 9 2006 Relating word and tree automata. Zbl 1097.03034Kupferman, Orna; Safra, Shmuel; Vardi, Moshe Y. 6 2006 Büchi complementation made tighter. Zbl 1096.68081Friedgut, Ehud; Kupferman, Orna; Vardi, Moshe Y. 5 2006 On locally checkable properties. Zbl 1165.68408Kupferman, Orna; Lustig, Yoad; Vardi, Moshe Y. 5 2006 Coverage metrics for temporal logic model checking. Zbl 1105.68075Chockler, Hana; Kupferman, Orna; Vardi, Moshe Y. 3 2006 The complexity of enriched \(\mu\)-calculi. Zbl 1133.68374Bonatti, Piero A.; Lutz, Carsten; Murano, Aniello; Vardi, Moshe Y. 3 2006 Verification of open systems. Zbl 1266.68133Kupferman, Orna; Vardi, Moshe Y. 1 2006 Experimental evaluation of classical automata constructions. Zbl 1143.68443Tabakov, Deian; Vardi, Moshe Y. 15 2005 From linear time to branching time. Zbl 1367.68195Kupferman, Orna; Vardi, Moshe Y. 13 2005 Regular vacuity. Zbl 1159.68311Bustan, Doron; Flaisher, Alon; Grumberg, Orna; Kupferman, Orna; Vardi, Moshe Y. 12 2005 Treewidth in verification: Local vs. global. Zbl 1143.68450Ferrara, Andrea; Pan, Guoqiang; Vardi, Moshe Y. 10 2005 Symbolic techniques in satisfiability solving. Zbl 1109.68104Pan, Guoqiang; Vardi, Moshe Y. 5 2005 Model checking for database theoreticians. Zbl 1112.68398Vardi, Moshe Y. 4 2005 Formal verification of backward compatibility of microcode. Zbl 1081.68602Arons, Tamarah; Elster, Elad; Fix, Limor; Mador-Haim, Sela; Mishaeli, Michael; Shalev, Jonathan; Singerman, Eli; Tiemeyer, Andreas; Vardi, Moshe Y.; Zuck, Lenore D. 4 2005 Decidable containment of recursive queries. Zbl 1101.68513Calvanese, Diego; De Giacomo, Giuseppe; Vardi, Moshe Y. 3 2005 View-based query processing: On the relationship between rewriting, answering and losslessness. Zbl 1108.68443Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y. 3 2005 From complementation to certification. Zbl 1079.68060Kupferman, Orna; Vardi, Moshe Y. 3 2005 Search vs. symbolic techniques in satisfiability solving. Zbl 1122.68613Pan, Guoqiang; Vardi, Moshe Y. 3 2005 Complementation constructions for nondeterministic automata on infinite words. Zbl 1087.68050Kupferman, Orna; Vardi, Moshe Y. 2 2005 Symbolic systems, explicit properties: On hybrid approaches for LTL symbolic model checking. Zbl 1081.68634Sebastiani, Roberto; Tonetta, Stefano; Vardi, Moshe Y. 2 2005 SAT-based induction for temporal safety properties. Zbl 1272.68219Armoni, Roy; Fix, Limor; Fraer, Ranan; Huddleston, Scott; Piterman, Nir; Vardi, Moshe Y. 1 2005 Complete axiomatizations for reasoning about knowledge and time. Zbl 1059.68127Halpern, Joseph Y.; van der Meyden, Ron; Vardi, Moshe Y. 45 2004 ...and 136 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,049 Authors 69 Vardi, Moshe Ya’akov 45 Kupferman, Orna 32 Murano, Aniello 27 Halpern, Joseph Yehuda 23 Hell, Pavol 23 Živný, Stanislav 22 Bodirsky, Manuel 21 Gottlob, Georg 21 Wooldridge, Michael J. 20 Chatterjee, Krishnendu 20 Demri, Stéphane P. 20 van Ditmarsch, Hans Pieter 19 Henzinger, Thomas A. 19 Krokhin, Andrei A. 19 Rybakov, Vladimir Vladimirovich 18 Bozzelli, Laura 18 Dixon, Clare 17 Bulatov, Andrei A. 17 Moses, Yoram 17 van der Hoek, Wiebe 16 Feder, Tomás 16 Martin, Barnaby D. 15 André, Étienne 15 Dalmau, Víctor 15 Jonsson, Peter 15 Lange, Martin 15 Mogavero, Fabio 15 Raskin, Jean-François 14 Ågotnes, Thomas 14 Chen, Hubie 14 Libkin, Leonid O. 14 Piterman, Nir 14 Zimmermann, Martín G. 13 Fagin, Ronald 13 Grädel, Erich 13 Gutierrez, Julian 13 Kolaitis, Phokion G. 13 Perelli, Giuseppe 13 van Benthem, Johan F. A. K. 12 Barceló, Pablo 12 Cooper, Martin C. 12 Dawar, Anuj 12 Lorini, Emiliano 12 Markey, Nicolas 12 Pnueli, Amir 11 Balbiani, Philippe 11 Barto, Libor 11 Benevides, Mario R. F. 11 Bouyer, Patricia 11 Cimatti, Alessandro 11 Grohe, Martin 11 Hella, Lauri T. 11 Jeavons, Peter G. 11 Larose, Benoit 11 Lomuscio, Alessio 11 Lutz, Carsten 11 Schewe, Sven 11 Vianu, Victor 11 Wang, Yanjing 10 Baier, Christel 10 Belardinelli, Francesco 10 Bloem, Roderick 10 Larsen, Kim Guldstrand 10 Lime, Didier 10 Link, Sebastian 10 Montanari, Angelo 10 Naumov, Pavel G. 10 Nešetřil, Jaroslav 10 Pacuit, Eric 10 Pinchinat, Sophie 10 Scarcello, Francesco 10 Smets, Sonja J. L. 9 Avni, Guy 9 Baltag, Alexandru 9 Barnat, Jiří 9 Bollig, Benedikt 9 Brewster, Richard C. 9 Dubois, Didier 9 Finkbeiner, Bernd 9 Goranko, Valentin F. 9 Herzig, Andreas 9 Hustadt, Ullrich 9 Kozik, Marcin 9 Kuusisto, Antti 9 La Torre, Salvatore 9 Legay, Axel 9 Peled, Doron A. 9 Pieris, Andreas 9 Rubin, Sasha 9 Schwarzentruber, François 9 Schwentick, Thomas 9 Van den Bussche, Jan 8 Atserias, Albert 8 Baader, Franz 8 Benerecetti, Massimo 8 Bruyère, Véronique 8 Černá, Ivana 8 Cohen, David A. 8 De Giacomo, Giuseppe 8 Duan, Zhenhua ...and 2,949 more Authors all top 5 Cited in 166 Serials 243 Theoretical Computer Science 145 Information and Computation 125 Artificial Intelligence 113 Journal of Computer and System Sciences 63 Formal Methods in System Design 53 Synthese 49 Logical Methods in Computer Science 46 Annals of Mathematics and Artificial Intelligence 43 Information Processing Letters 43 Annals of Pure and Applied Logic 38 Acta Informatica 38 Journal of Applied Non-Classical Logics 35 ACM Transactions on Computational Logic 35 Journal of Applied Logic 33 Theory of Computing Systems 31 Journal of Philosophical Logic 31 Studia Logica 28 Formal Aspects of Computing 26 The Journal of Symbolic Logic 26 Journal of Logic, Language and Information 25 SIAM Journal on Computing 24 Journal of Automated Reasoning 24 Journal of Logical and Algebraic Methods in Programming 23 Discrete Applied Mathematics 20 Games and Economic Behavior 18 Discrete Mathematics 17 European Journal of Combinatorics 16 International Journal of Approximate Reasoning 16 International Journal of Foundations of Computer Science 16 Discrete Event Dynamic Systems 14 Distributed Computing 13 Information Sciences 13 International Journal of Algebra and Computation 13 The Bulletin of Symbolic Logic 13 The Journal of Logic and Algebraic Programming 12 Constraints 12 The Review of Symbolic Logic 11 Algorithmica 10 Mathematical Social Sciences 9 Automatica 9 Theory and Practice of Logic Programming 8 Algebra Universalis 8 Programming and Computer Software 8 Fundamenta Informaticae 7 Journal of the ACM 7 Nonlinear Analysis. Hybrid Systems 6 Theory and Decision 6 SIAM Journal on Discrete Mathematics 6 MSCS. Mathematical Structures in Computer Science 6 Computer Science Review 6 Journal of Siberian Federal University. Mathematics & Physics 5 Fuzzy Sets and Systems 5 Journal of Economic Theory 5 Siberian Mathematical Journal 5 Science of Computer Programming 5 International Journal of Computer Mathematics 5 Economic Theory 5 The Journal of Artificial Intelligence Research (JAIR) 5 Frontiers of Computer Science 4 Kybernetika 4 Notre Dame Journal of Formal Logic 4 Journal of Symbolic Computation 4 Computational Complexity 4 International Game Theory Review 3 International Journal of Theoretical Physics 3 Lithuanian Mathematical Journal 3 International Journal of Game Theory 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 Problems in Engineering 3 Erkenntnis 3 RAIRO. Theoretical Informatics and Applications 3 Logic and Logical Philosophy 3 Sādhanā 3 Journal of Multiple-Valued Logic and Soft Computing 3 Journal of Discrete Algorithms 3 Logica Universalis 3 Science China. Information Sciences 3 Games 3 Modelirovanie i Analiz Informatsionnykh Sistem 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 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 The Electronic Journal of Combinatorics 2 Science in China. Series E 2 Doklady Mathematics ...and 66 more Serials all top 5 Cited in 34 Fields 2,059 Computer science (68-XX) 1,113 Mathematical logic and foundations (03-XX) 263 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 163 Combinatorics (05-XX) 82 General algebraic systems (08-XX) 63 Systems theory; control (93-XX) 54 Operations research, mathematical programming (90-XX) 29 Information and communication theory, circuits (94-XX) 21 Probability theory and stochastic processes (60-XX) 18 Order, lattices, ordered algebraic structures (06-XX) 16 Group theory and generalizations (20-XX) 13 Quantum theory (81-XX) 11 General and overarching topics; collections (00-XX) 10 Statistics (62-XX) 10 Biology and other natural sciences (92-XX) 9 History and biography (01-XX) 7 Category theory; homological algebra (18-XX) 5 Dynamical systems and ergodic theory (37-XX) 4 General topology (54-XX) 3 Number theory (11-XX) 3 Linear and multilinear algebra; matrix theory (15-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 Operator theory (47-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Mathematics education (97-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Measure and integration (28-XX) 1 Functional analysis (46-XX) 1 Convex and discrete geometry (52-XX) 1 Manifolds and cell complexes (57-XX) 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.