Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMoshe Y. Vardi
Person information
- affiliation: Rice University, Department of Computer Science
- award (2017): ACM Presidential Award
- award (2011): Harry H. Goode Memorial Award
- award (2008): SIGMOD Edgar F. Codd Innovations Award
- award (2005): Paris Kanellakis Award
- award (2000): Gödel Prize
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2007
[b3]Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein:
Finite Model Theory and Its Applications. Texts in Theoretical Computer Science. An EATCS Series, Springer 2007, ISBN 978-3-540-00428-8, pp. 1-437- 1995
- [b2]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Reasoning About Knowledge. MIT Press 1995, ISBN 9780262562003 - 1981
- [b1]Moshe Y. Vardi:
בעיית הגרירה לתלויות בין נתונים במסדי נתונים יחסיים (The implication problem for data dependencies in relational databases.). Hebrew University of Jerusalem, Israel, 1981
Journal Articles
- 2024
- [j256]Moshe Y. Vardi:
Computing, You Have Blood on Your Hands! Commun. ACM 67(1): 5 (2024) - [j255]Moshe Y. Vardi:
What Do Computing and Economics Have to Say to Each Other? Commun. ACM 67(3): 5 (2024) - 2023
- [j254]Moshe Y. Vardi:
How Not to Win a Tech War. Commun. ACM 66(1): 7 (2023) - [j253]Moshe Y. Vardi:
Who Is Responsible Around Here? Commun. ACM 66(3): 5 (2023) - [j252]Moshe Y. Vardi:
ACM for the Public Good. Commun. ACM 66(5): 5 (2023) - [j251]Moshe Y. Vardi:
Revisiting ACM's Open-Conference Principle. Commun. ACM 66(7): 5 (2023) - [j250]Moshe Y. Vardi:
To Regulate Tech, Nullify Click-Through Contracts. Commun. ACM 66(9): 5 (2023) - [j249]Moshe Y. Vardi:
What Came First, Math or Computing? Commun. ACM 66(11): 5 (2023) - [j248]Weizhi Feng, Yong Li, Andrea Turrini
, Moshe Y. Vardi, Lijun Zhang:
On the power of finite ambiguity in Büchi complementation. Inf. Comput. 292: 105032 (2023) - 2022
- [j247]Moshe Y. Vardi:
Will AI destroy education? Commun. ACM 65(1): 7 (2022) - [j246]Moshe Y. Vardi:
ACM, ethics, and corporate behavior. Commun. ACM 65(3): 5 (2022) - [j245]Moshe Y. Vardi:
War and tech (and ACM). Commun. ACM 65(5): 9 (2022) - [j244]Moshe Y. Vardi:
An association of the members, by the members, for the members. Commun. ACM 65(7): 11 (2022) - [j243]Moshe Y. Vardi:
Technology and democracy. Commun. ACM 65(9): 5 (2022) - [j242]Moshe Y. Vardi:
Accountability and liability in computing. Commun. ACM 65(11): 5 (2022) - [j241]Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
Functional synthesis via input-output separation. Formal Methods Syst. Des. 60(2): 228-258 (2022) - [j240]Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu:
Finite-trace and generalized-reactivity specifications in temporal synthesis. Formal Methods Syst. Des. 61(2): 139-163 (2022) - [j239]Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier:
Satisfiability checking for Mission-time LTL (MLTL). Inf. Comput. 289(Part): 104923 (2022) - [j238]Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. Log. Methods Comput. Sci. 18(1) (2022) - [j237]Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi:
Comparator automata in quantitative verification. Log. Methods Comput. Sci. 18(3) (2022) - 2021
- [j236]Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang:
Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions. Artif. Intell. 299: 103559 (2021) - [j235]Moshe Y. Vardi:
Reboot the computing-research publication systems. Commun. ACM 64(1): 7 (2021) - [j234]Moshe Y. Vardi:
The people vs. tech. Commun. ACM 64(3): 9 (2021) - [j233]Moshe Y. Vardi:
The agency trilemma and ACM. Commun. ACM 64(5): 4 (2021) - [j232]Moshe Y. Vardi:
Program verification: vision and reality. Commun. ACM 64(7): 5 (2021) - [j231]Moshe Y. Vardi:
The sand-heap paradox of privacy and influence. Commun. ACM 64(9): 5 (2021) - [j230]Moshe Y. Vardi:
The paradox of choice in computing-research conferences. Commun. ACM 64(11): 5 (2021) - [j229]Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Strategy Logic with Imperfect Information. ACM Trans. Comput. Log. 22(1): 5:1-5:51 (2021) - 2020
- [j228]Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier:
SAT-based explicit LTLf satisfiability checking. Artif. Intell. 289: 103369 (2020) - [j227]Moshe Y. Vardi:
Publish and perish. Commun. ACM 63(1): 7 (2020) - [j226]Moshe Y. Vardi:
Advancing computing as a science and profession: but to what end? Commun. ACM 63(3): 5 (2020) - [j225]Moshe Y. Vardi:
Efficiency vs. resilience: what COVID-19 teaches computing. Commun. ACM 63(5): 9 (2020) - [j224]Moshe Y. Vardi:
A computational lens on economics. Commun. ACM 63(7): 5 (2020) - [j223]Moshe Y. Vardi:
Where have all the domestic graduate students gone? Commun. ACM 63(9): 5 (2020) - [j222]Moshe Y. Vardi:
What should be done about social media? Commun. ACM 63(11): 5 (2020) - 2019
- [j221]Moshe Y. Vardi:
Are we having an ethical crisis in computing? Commun. ACM 62(1): 7 (2019) - [j220]Moshe Y. Vardi:
Lost in math? Commun. ACM 62(3): 7 (2019) - [j219]Moshe Y. Vardi:
Quantum hype and quantum skepticism. Commun. ACM 62(5): 7 (2019) - [j218]Moshe Y. Vardi:
To serve humanity. Commun. ACM 62(7): 7 (2019) - [j217]Moshe Y. Vardi:
The long game of research. Commun. ACM 62(9): 7 (2019) - [j216]Moshe Y. Vardi:
The winner-takes-all tech corporation. Commun. ACM 62(11): 7 (2019) - [j215]Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi:
Not all FPRASs are equal: demystifying FPRASs for DNF-counting. Constraints An Int. J. 24(3-4): 211-233 (2019) - [j214]Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi:
SAT-based explicit LTL reasoning and its application to satisfiability checking. Formal Methods Syst. Des. 54(2): 164-190 (2019) - [j213]Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis. IEEE Robotics Autom. Lett. 4(2): 285-292 (2019) - [j212]Roger Paredes, Leonardo Dueñas-Osorio, Kuldeep S. Meel, Moshe Y. Vardi:
Principled network reliability approximation: A counting-based approach. Reliab. Eng. Syst. Saf. 191 (2019) - 2018
- [j211]Moshe Y. Vardi:
Computer professionals for social responsibility. Commun. ACM 61(1): 9 (2018) - [j210]Moshe Y. Vardi:
A declaration of the dependence of cyberspace. Commun. ACM 61(3): 9 (2018) - [j209]Moshe Y. Vardi:
Open access and ACM. Commun. ACM 61(4): 7 (2018) - [j208]Moshe Y. Vardi:
How we lost the women in computing. Commun. ACM 61(5): 9 (2018) - [j207]Moshe Y. Vardi:
How the hippies destroyed the internet. Commun. ACM 61(7): 9 (2018) - [j206]Moshe Y. Vardi:
Move fast and break things. Commun. ACM 61(9): 7 (2018) - [j205]Moshe Y. Vardi:
Self-reference and section 230. Commun. ACM 61(11): 7 (2018) - [j204]Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He:
An explicit transition system construction approach to LTL satisfiability checking. Formal Aspects Comput. 30(2): 193-217 (2018) - [j203]Alessio R. Lomuscio, Moshe Y. Vardi:
4th International Workshop on Strategic Reasoning (SR 2016). Inf. Comput. 261: 615 (2018) - [j202]Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He:
Accelerating LTL satisfiability checking by SAT solvers. J. Log. Comput. 28(6): 1011-1030 (2018) - [j201]Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada:
Mode-Target Games: Reactive Synthesis for Control Applications. IEEE Trans. Autom. Control. 63(1): 196-202 (2018) - 2017
- [j200]Moshe Y. Vardi:
Technology for the most effective use of mankind. Commun. ACM 60(1): 5 (2017) - [j199]Moshe Y. Vardi:
ACM's open-conference principle and political reality. Commun. ACM 60(3): 5 (2017) - [j198]Moshe Y. Vardi:
Cyber insecurity and cyber libertarianism. Commun. ACM 60(5): 5 (2017) - [j197]Moshe Y. Vardi:
Ten years at the helm of communications of the ACM. Commun. ACM 60(6): 5 (2017) - [j196]Moshe Y. Vardi:
Divination by program committee. Commun. ACM 60(9): 7 (2017) - [j195]Moshe Y. Vardi:
Would Turing have won the Turing award? Commun. ACM 60(11): 7 (2017) - [j194]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Reasoning about Strategies: on the Satisfiability Problem. Log. Methods Comput. Sci. 13(1) (2017) - [j193]Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi:
Supervisory control and reactive synthesis: a comparative introduction. Discret. Event Dyn. Syst. 27(2): 209-260 (2017) - [j192]Natarajan Shankar, Catuscia Palamidessi, Gordon D. Plotkin, Moshe Y. Vardi:
Alonzo Church Award 2017 - Call for Nominations. Bull. EATCS 121 (2017) - [j191]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Preface to the Special Issue on SR 2014. Inf. Comput. 254: 141-142 (2017) - [j190]Juan L. Reutter, Miguel Romero, Moshe Y. Vardi:
Regular Queries on Graph Databases. Theory Comput. Syst. 61(1): 31-83 (2017) - 2016
- [j189]Orna Kupferman, Giuseppe Perelli, Moshe Y. Vardi:
Synthesis with rational environments. Ann. Math. Artif. Intell. 78(1): 3-20 (2016) - [j188]Moshe Y. Vardi:
The moral hazard of complexity-theoretic assumptions. Commun. ACM 59(2): 5 (2016) - [j187]Moshe Y. Vardi:
Are we headed toward another global tech bust? Commun. ACM 59(4): 5 (2016) - [j186]Moshe Y. Vardi:
The moral imperative of artificial intelligence. Commun. ACM 59(5): 5 (2016) - [j185]Moshe Y. Vardi:
The ritual of academic-unit review. Commun. ACM 59(7): 5 (2016) - [j184]Moshe Y. Vardi:
Academic rankings considered harmful! Commun. ACM 59(9): 5 (2016) - [j183]Moshe Y. Vardi:
Globalization, computing, and their political impact. Commun. ACM 59(11): 5 (2016) - [j182]Alexander Ivrii, Sharad Malik, Kuldeep S. Meel, Moshe Y. Vardi:
On computing minimal independent support and its applications to sampling and counting. Constraints An Int. J. 21(1): 41-58 (2016) - [j181]Luca Aceto, Thomas A. Henzinger, Joost-Pieter Katoen, Wolfgang Thomas, Moshe Y. Vardi:
Viewpoints on "Logic activities in Europe", twenty years later. Bull. EATCS 118 (2016) - [j180]Moshe Y. Vardi:
Alonzo Church Award 2016 - Call for Nominations. Bull. EATCS 118 (2016) - [j179]Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball:
2014 CAV award announcement. Formal Methods Syst. Des. 48(3): 149-151 (2016) - [j178]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Relentful strategic reasoning in alternating-time temporal logic. J. Log. Comput. 26(5): 1663-1695 (2016) - [j177]Pablo Barceló, Miguel Romero, Moshe Y. Vardi:
Semantic Acyclicity on Graph Databases. SIAM J. Comput. 45(4): 1339-1376 (2016) - [j176]Morteza Lahijanian, Matthew R. Maly, Dror Fried, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi:
Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees. IEEE Trans. Robotics 32(3): 583-599 (2016) - 2015
- [j175]Moshe Y. Vardi:
The rise and fall of industrial research labs. Commun. ACM 58(1): 5 (2015) - [j174]Moshe Y. Vardi:
Is information technology destroying the middle class? Commun. ACM 58(2): 5 (2015) - [j173]Moshe Y. Vardi:
Incentivizing quality and impact in computing research. Commun. ACM 58(5): 5 (2015) - [j172]Moshe Y. Vardi:
Why doesn't ACM have a SIG for theoretical computer science? Commun. ACM 58(8): 5 (2015) - [j171]Moshe Y. Vardi:
What can be done about gender diversity in computing?: a lot! Commun. ACM 58(10): 5 (2015) - [j170]Moshe Y. Vardi:
On lethal autonomous weapons. Commun. ACM 58(12): 5 (2015) - [j169]Moshe Y. Vardi, Mark Guzdial:
What do we do when the jobs are gone, and why we must embrace active learning. Commun. ACM 58(12): 10-11 (2015) - [j168]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Special issue on SR 2013. Inf. Comput. 242: 1 (2015) - [j167]Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke:
Profile trees for Büchi word automata, with application to determinization. Inf. Comput. 245: 136-151 (2015) - [j166]Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi:
Theory in practice for system design and verification. ACM SIGLOG News 2(1): 46-51 (2015) - 2014
- [j165]Moshe Y. Vardi:
Scalable conferences. Commun. ACM 57(1): 5 (2014) - [j164]Moshe Y. Vardi:
Boolean satisfiability: theory and engineering. Commun. ACM 57(3): 5 (2014) - [j163]Moshe Y. Vardi:
Moore's law and the sand-heap paradox. Commun. ACM 57(5): 5 (2014) - [j162]Moshe Y. Vardi:
Openism, IPism, fundamentalism, and pragmatism. Commun. ACM 57(8): 5 (2014) - [j161]Moshe Y. Vardi:
Would Turing have passed the Turing Test? Commun. ACM 57(9): 5 (2014) - [j160]Sumit Nain, Yoad Lustig, Moshe Y. Vardi:
Synthesis from Probabilistic Components. Log. Methods Comput. Sci. 10(2) (2014) - [j159]Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay:
State of Büchi Complementation. Log. Methods Comput. Sci. 10(4) (2014) - [j158]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Reasoning About Strategies: On the Model-Checking Problem. ACM Trans. Comput. Log. 15(4): 34:1-34:47 (2014) - 2013
- [j157]Moshe Y. Vardi:
Who begat computing? Commun. ACM 56(1): 5 (2013) - [j156]Moshe Y. Vardi:
To boycott or not to boycott. Commun. ACM 56(3): 5 (2013) - [j155]Moshe Y. Vardi:
Fricative computing. Commun. ACM 56(5): 5 (2013) - [j154]Moshe Y. Vardi:
The great robotics debate. Commun. ACM 56(7): 5 (2013) - [j153]Moshe Y. Vardi, Victor Vianu:
What is a flagship publication? Commun. ACM 56(8): 5 (2013) - [j152]Moshe Y. Vardi:
Has the innovation cup run dry? Commun. ACM 56(9): 5 (2013) - [j151]Moshe Y. Vardi:
The end of the American network. Commun. ACM 56(11): 5 (2013) - [j150]Seth Fogarty, Orna Kupferman, Thomas Wilke, Moshe Y. Vardi:
Unifying Büchi Complementation Constructions. Log. Methods Comput. Sci. 9(1) (2013) - [j149]Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Y. Vardi:
Pushdown module checking with imperfect information. Inf. Comput. 223: 1-17 (2013) - [j148]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
On simplification of schema mappings. J. Comput. Syst. Sci. 79(6): 816-834 (2013) - [j147]Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
Falsification of LTL safety properties in hybrid systems. Int. J. Softw. Tools Technol. Transf. 15(4): 305-320 (2013) - [j146]Yoad Lustig, Moshe Y. Vardi:
Synthesis from component libraries. Int. J. Softw. Tools Technol. Transf. 15(5-6): 603-618 (2013) - 2012
- [j145]Moshe Y. Vardi:
Artificial intelligence: past and future. Commun. ACM 55(1): 5 (2012) - [j144]Moshe Y. Vardi:
What is an algorithm? Commun. ACM 55(3): 5 (2012) - [j143]Moshe Y. Vardi:
Fair access. Commun. ACM 55(5): 5 (2012) - [j142]Moshe Y. Vardi:
Predatory scholarly publishing. Commun. ACM 55(7): 5 (2012) - [j141]Moshe Y. Vardi:
Why ACM? Commun. ACM 55(9): 5 (2012) - [j140]Moshe Y. Vardi:
Will MOOCs destroy academia? Commun. ACM 55(11): 5 (2012) - [j139]Seth Fogarty, Moshe Y. Vardi:
Büchi Complementation and Size-Change Termination. Log. Methods Comput. Sci. 8(1) (2012) - [j138]Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur:
2010 CAV award announcement. Formal Methods Syst. Des. 40(2): 117-120 (2012) - [j137]Moshe Y. Vardi, Thomas A. Henzinger, Rajeev Alur, Marta Z. Kwiatkowska:
2011 CAV award announcement. Formal Methods Syst. Des. 41(1): 1-2 (2012) - [j136]Byron Cook, Eric Koskinen, Moshe Y. Vardi:
Temporal property verification as a program analysis task - Extended Version. Formal Methods Syst. Des. 41(1): 66-82 (2012) - [j135]Deian Tabakov, Kristin Y. Rozier, Moshe Y. Vardi:
Optimized temporal monitors for SystemC. Formal Methods Syst. Des. 41(3): 236-268 (2012) - [j134]Orna Kupferman, Amir Pnueli, Moshe Y. Vardi:
Once and for all. J. Comput. Syst. Sci. 78(3): 981-996 (2012) - [j133]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Query Processing under GLAV Mappings for Relational and Graph Databases. Proc. VLDB Endow. 6(2): 61-72 (2012) - 2011
- [j132]Moshe Y. Vardi:
Where have all the workshops gone? Commun. ACM 54(1): 5 (2011) - [j131]Moshe Y. Vardi:
Fumbling the future. Commun. ACM 54(3): 5 (2011) - [j130]Moshe Y. Vardi:
Technology has social consequences. Commun. ACM 54(5): 5 (2011) - [j129]Moshe Y. Vardi:
Solving the unsolvable. Commun. ACM 54(7): 5 (2011) - [j128]Moshe Y. Vardi:
Are you talking to me? Commun. ACM 54(9): 5 (2011) - [j127]Moshe Y. Vardi:
Is Moore's Party over? Commun. ACM 54(11): 5 (2011) - [j126]Moshe Y. Vardi:
Computing for humans. Commun. ACM 54(12): 5 (2011) - [j125]Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, Reinhard Wilhelm:
Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482). Dagstuhl Manifestos 1(1): 21-40 (2011) - [j124]Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi:
The Complexity of Integer Bound Propagation. J. Artif. Intell. Res. 40: 657-676 (2011) - [j123]Amit Bhatia, Matthew R. Maly, Lydia E. Kavraki, Moshe Y. Vardi:
Motion Planning with Complex Goals. IEEE Robotics Autom. Mag. 18(3): 55-64 (2011) - [j122]Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi:
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking. Int. J. Softw. Tools Technol. Transf. 13(4): 319-335 (2011) - 2010
- [j121]Moshe Y. Vardi:
More debate, please! Commun. ACM 53(1): 5 (2010) - [j120]Moshe Y. Vardi:
Revisiting the publication culture in computing research. Commun. ACM 53(3): 5 (2010) - [j119]Moshe Y. Vardi:
Globalization and Offshoring of Software revisited. Commun. ACM 53(5): 5 (2010) - [j118]Moshe Y. Vardi:
Hypercriticality. Commun. ACM 53(7): 5 (2010) - [j117]Moshe Y. Vardi:
Science has only two legs. Commun. ACM 53(9): 5 (2010) - [j116]Moshe Y. Vardi:
On P, NP, and computational complexity. Commun. ACM 53(11): 5 (2010) - [j115]Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi:
2009 CAV award announcement. Formal Methods Syst. Des. 36(3): 195-197 (2010) - [j114]Kristin Y. Rozier, Moshe Y. Vardi:
LTL satisfiability checking. Int. J. Softw. Tools Technol. Transf. 12(2): 123-137 (2010) - [j113]Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
Motion Planning With Dynamics by a Synergistic Combination of Layers of Planning. IEEE Trans. Robotics 26(3): 469-482 (2010) - 2009
- [j112]Moshe Y. Vardi:
How are we doing? Commun. ACM 52(1): 5 (2009) - [j111]Moshe Y. Vardi:
"Yes, it can be done". Commun. ACM 52(3): 5 (2009) - [j110]Moshe Y. Vardi:
Conferences vs. journals in computing research. Commun. ACM 52(5): 5 (2009) - [j109]Moshe Y. Vardi:
Open, closed, or clopen access? Commun. ACM 52(7): 5 (2009) - [j108]Moshe Y. Vardi:
The financial meltdown and computing. Commun. ACM 52(9): 5 (2009) - [j107]Moshe Y. Vardi:
Is the image crisis over? Commun. ACM 52(11): 5 (2009) - [j106]Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
From liveness to promptness. Formal Methods Syst. Des. 34(2): 83-103 (2009) - [j105]Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
Hybrid systems: from verification to falsification by combining motion planning and discrete search. Formal Methods Syst. Des. 34(2): 157-182 (2009) - [j104]Randal E. Bryant, Orna Grumberg, Thomas A. Henzinger, Moshe Y. Vardi:
The 2008 CAV Award citation. Formal Methods Syst. Des. 35(1): 4-5 (2009) - [j103]Roni Wiener, Gila Kamhi, Moshe Y. Vardi:
Intelligate: An Algorithm for Learning Boolean Functions for Dynamic Power Reduction. J. Low Power Electron. 5(1): 106-112 (2009) - 2008
- [j102]Moshe Y. Vardi:
CACM: past, present, and future. Commun. ACM 51(1): 44-48 (2008) - [j101]Moshe Y. Vardi:
"Where do you come from? and where are you going?". Commun. ACM 51(7): 5 (2008) - [j100]Moshe Y. Vardi:
Let us---together---make CACM exciting. Commun. ACM 51(10): 5 (2008) - [j99]Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi:
The Complexity of Enriched Mu-Calculi. Log. Methods Comput. Sci. 4(3) (2008) - [j98]Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis:
Multi-Objective Model Checking of Markov Decision Processes. Log. Methods Comput. Sci. 4(4) (2008) - 2007
- [j97]Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi:
GSTE is partitioned model checking. Formal Methods Syst. Des. 31(2): 177-196 (2007) - [j96]Marco Pistore, Moshe Y. Vardi:
The Planning Spectrum - One, Two, Three, Infinity. J. Artif. Intell. Res. 30: 101-132 (2007) - [j95]Cristopher Moore, Gabriel Istrate, Demetrios D. Demopoulos, Moshe Y. Vardi:
A continuous-discontinuous second-order transition in the satisfiability of random Horn-SAT formulas. Random Struct. Algorithms 31(2): 173-185 (2007) - [j94]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-based query processing: On the relationship between rewriting, answering and losslessness. Theor. Comput. Sci. 371(3): 169-182 (2007) - 2006
- [j93]Orna Kupferman, Shmuel Safra, Moshe Y. Vardi:
Relating word and tree automata. Ann. Pure Appl. Log. 138(1-3): 126-146 (2006) - [j92]Hana Chockler, Orna Kupferman, Moshe Y. Vardi:
Coverage metrics for temporal logic model checking*. Formal Methods Syst. Des. 28(3): 189-212 (2006) - [j91]Daniel N. Osherson, Moshe Y. Vardi:
Aggregating disparate estimates of chance. Games Econ. Behav. 56(1): 148-173 (2006) - [j90]Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi:
Büchi Complementation Made Tighter. Int. J. Found. Comput. Sci. 17(4): 851-868 (2006) - [j89]Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi:
BDD-based decision procedures for the modal logic K. J. Appl. Non Class. Logics 16(1-2): 169-208 (2006) - [j88]Hana Chockler, Orna Kupferman, Moshe Y. Vardi:
Coverage metrics for formal verification. Int. J. Softw. Tools Technol. Transf. 8(4-5): 373-386 (2006) - 2005
- [j87]Guoqiang Pan, Moshe Y. Vardi:
Symbolic Techniques in Satisfiability Solving. J. Autom. Reason. 35(1-3): 25-50 (2005) - [j86]Serge Abiteboul, Richard Hull, Victor Vianu, Sheila A. Greibach, Michael A. Harrison, Ellis Horowitz, Daniel J. Rosenkrantz, Jeffrey D. Ullman, Moshe Y. Vardi:
In memory of Seymour Ginsburg 1928 - 2004. SIGMOD Rec. 34(1): 5-12 (2005) - [j85]Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
Decidable containment of recursive queries. Theor. Comput. Sci. 336(1): 33-56 (2005) - [j84]Orna Kupferman, Moshe Y. Vardi:
From complementation to certification. Theor. Comput. Sci. 345(1): 83-100 (2005) - [j83]Orna Kupferman, Moshe Y. Vardi:
From linear time to branching time. ACM Trans. Comput. Log. 6(2): 273-294 (2005) - 2004
- [j82]Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi:
Complete Axiomatizations for Reasoning about Knowledge and Time. SIAM J. Comput. 33(3): 674-703 (2004) - 2003
- [j81]Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi:
Random 3-SAT: The Plot Thickens. Constraints An Int. J. 8(3): 243-261 (2003) - [j80]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Reasoning on regular path queries. SIGMOD Rec. 32(4): 83-92 (2003) - [j79]Orna Kupferman, Moshe Y. Vardi:
Vacuity detection in temporal model checking. Int. J. Softw. Tools Technol. Transf. 4(2): 224-233 (2003) - [j78]Nir Piterman, Moshe Y. Vardi:
From bidirectionality to alternation. Theor. Comput. Sci. 295: 295-321 (2003) - 2002
- [j77]Ken Kennedy, Moshe Y. Vardi:
A Rice University perspective on software engineering licensing. Commun. ACM 45(11): 94-95 (2002) - [j76]Kathi Fisler, Moshe Y. Vardi:
Bisimulation Minimization and Symbolic Model Checking. Formal Methods Syst. Des. 21(1): 39-78 (2002) - [j75]David Harel, Orna Kupferman, Moshe Y. Vardi:
On the Complexity of Verifying Concurrent Transition Systems. Inf. Comput. 173(2): 143-161 (2002) - [j74]Kousha Etessami, Moshe Y. Vardi, Thomas Wilke:
First-Order Logic with Two Variables and Unary Temporal Logic. Inf. Comput. 179(2): 279-295 (2002) - [j73]Doron A. Peled, Moshe Y. Vardi, Mihalis Yannakakis:
Black Box Checking. J. Autom. Lang. Comb. 7(2): 225-246 (2002) - [j72]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Rewriting of Regular Expressions and Regular Path Queries. J. Comput. Syst. Sci. 64(3): 443-465 (2002) - 2001
- [j71]Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu:
On the unusual effectiveness of logic in computer science. Bull. Symb. Log. 7(2): 213-236 (2001) - [j70]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi:
Towards an Efficient Library for SAT: a Manifesto. Electron. Notes Discret. Math. 9: 290-310 (2001) - [j69]Ronald H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi:
A New Heuristic for Bad Cycle Detection Using BDDs. Formal Methods Syst. Des. 18(2): 131-140 (2001) - [j68]Orna Kupferman, Moshe Y. Vardi:
Model Checking of Safety Properties. Formal Methods Syst. Des. 19(3): 291-314 (2001) - [j67]Orna Kupferman, Moshe Y. Vardi, Pierre Wolper:
Module Checking. Inf. Comput. 164(2): 322-344 (2001) - [j66]Yonit Kesten, Amir Pnueli, Moshe Y. Vardi:
Verification by Augmented Abstraction: The Automata-Theoretic View. J. Comput. Syst. Sci. 62(4): 668-690 (2001) - [j65]Orna Kupferman, Moshe Y. Vardi:
Weak alternating automata are not that weak. ACM Trans. Comput. Log. 2(3): 408-429 (2001) - 2000
- [j64]Orna Kupferman, Moshe Y. Vardi, Pierre Wolper:
An automata-theoretic approach to branching-time model checking. J. ACM 47(2): 312-360 (2000) - [j63]Phokion G. Kolaitis, Moshe Y. Vardi:
Conjunctive-Query Containment and Constraint Satisfaction. J. Comput. Syst. Sci. 61(2): 302-332 (2000) - [j62]Orna Kupferman, Moshe Y. Vardi:
An automata-theortetic approach to modular model checking. ACM Trans. Program. Lang. Syst. 22(1): 87-128 (2000) - 1999
- [j61]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Common Knowledge Revisited. Ann. Pure Appl. Log. 96(1-3): 89-105 (1999) - [j60]Orna Kupferman, Moshe Y. Vardi:
Church's problem revisited. Bull. Symb. Log. 5(2): 245-263 (1999) - [j59]Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan:
The Complexity of Problems on Graphs Represented as OBDDs. Chic. J. Theor. Comput. Sci. 1999 (1999) - [j58]Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi:
The hierarchical approach to modeling knowledge and common knowledge. Int. J. Game Theory 28(3): 331-365 (1999) - [j57]Kenneth A. Ross, Surajit Chaudhuri, Gösta Grahne, H. V. Jagadish, Jan Van den Bussche, Moshe Y. Vardi:
Reminiscences on Influential Papers. SIGMOD Rec. 28(4): 39-41 (1999) - 1998
- [j56]Orna Kupferman, Moshe Y. Vardi:
Verification of Fair Transition Systems. Chic. J. Theor. Comput. Sci. 1998 (1998) - [j55]Moshe Y. Vardi:
Computational Model Theory: An Overview. Log. J. IGPL 6(4): 601-623 (1998) - [j54]Tomás Feder, Moshe Y. Vardi:
The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory. SIAM J. Comput. 28(1): 57-104 (1998) - 1997
- [j53]Erich Grädel, Phokion G. Kolaitis, Moshe Y. Vardi:
On the decision problem for two-variable first-order logic. Bull. Symb. Log. 3(1): 53-69 (1997) - [j52]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Knowledge-Based Programs. Distributed Comput. 10(4): 199-225 (1997) - [j51]Serge Abiteboul, Moshe Y. Vardi, Victor Vianu:
Fixpoint logics, relational machines, and computational complexity. J. ACM 44(1): 30-56 (1997) - [j50]Surajit Chaudhuri, Moshe Y. Vardi:
On the Equivalence of Recursive and Nonrecursive Datalog Programs. J. Comput. Syst. Sci. 54(1): 61-78 (1997) - [j49]Moshe Y. Vardi:
Special Selection in Logic in Computer Science. J. Symb. Log. 62(2): 608 (1997) - [j48]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Reasoning about Knowledge: A Response by the Authors. Minds Mach. 7(1): 113 (1997) - 1996
- [j47]Moshe Y. Vardi:
Rank Predicates vs. Progress Measures in Concurrent-Program Verification. Chic. J. Theor. Comput. Sci. 1996 (1996) - [j46]Serge Abiteboul, Gabriel M. Kuper, Harry G. Mairson, Alexander A. Shvartsman, Moshe Y. Vardi:
In Memoriam Paris C. Kanellakis. ACM Comput. Surv. 28(1): 3-15 (1996) - [j45]Moshe Y. Vardi:
In Memoriam: Paris C. Kanellakis (1953-1995). Inf. Comput. 127(2): 65 (1996) - 1995
- [j44]Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
A Nonstandard Approach to the Logical Omniscience Problem. Artif. Intell. 79(2): 203-240 (1995) - [j43]Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi:
On Monadic NP vs. Monadic co-NP. Inf. Comput. 120(1): 78-92 (1995) - [j42]Phokion G. Kolaitis, Moshe Y. Vardi:
On the Expressive Power of Datalog: Tools and a Case Study. J. Comput. Syst. Sci. 51(1): 110-134 (1995) - [j41]Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi:
Undecidable Boundedness Problems for Datalog Programs. J. Log. Program. 25(2): 163-190 (1995) - [j40]Serge Abiteboul, Moshe Y. Vardi, Victor Vianu:
Computing with Infinitary Logic. Theor. Comput. Sci. 149(1): 101-128 (1995) - 1994
- [j39]Moshe Y. Vardi, Pierre Wolper:
Reasoning About Infinite Computations. Inf. Comput. 115(1): 1-37 (1994) - 1993
- [j38]Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi:
Undecidable Optimization Problems for Database Logic Programs. J. ACM 40(3): 683-713 (1993) - [j37]Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi:
Logical Query Optimization by Proff-Tree Transformation. J. Comput. Syst. Sci. 47(1): 222-248 (1993) - [j36]Gabriel M. Kuper, Moshe Y. Vardi:
On the Complexity of Queries in the Logical Data Model. Theor. Comput. Sci. 116(1): 33-57 (1993) - [j35]Gabriel M. Kuper, Moshe Y. Vardi:
The Logical Data Model. ACM Trans. Database Syst. 18(3): 379-413 (1993) - 1992
- [j34]Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis:
Memory-Efficient Algorithms for the Verification of Temporal Properties. Formal Methods Syst. Des. 1(2/3): 275-288 (1992) - [j33]Phokion G. Kolaitis, Moshe Y. Vardi:
Infinitary Logics and 0-1 Laws. Inf. Comput. 98(2): 258-294 (1992) - [j32]Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
What Can Machines Know? On the Properties of Knowledge in Distributed Systems. J. ACM 39(2): 328-376 (1992) - [j31]Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
What Is an Inference Rule? J. Symb. Log. 57(3): 1018-1045 (1992) - 1991
- [j30]Moshe Y. Vardi:
Verification of Concurrent Programs: The Automata-Theoretic Framework. Ann. Pure Appl. Log. 51(1-2): 79-98 (1991) - [j29]Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
A Model-Theoretic Analysis of Knowledge. J. ACM 38(2): 382-428 (1991) - [j28]Moshe Y. Vardi:
Database Logic Programming. J. Log. Program. 10(3&4): 179-180 (1991) - 1990
- [j27]Phokion G. Kolaitis, Moshe Y. Vardi:
0-1 Laws and Decision Problems for Fragments of Second-Order Logic. Inf. Comput. 87(1/2): 301-337 (1990) - [j26]Moshe Y. Vardi:
Endmarkers can Make a Difference. Inf. Process. Lett. 35(3): 145-148 (1990) - [j25]Stavros S. Cosmadakis, Paris C. Kanellakis, Moshe Y. Vardi:
Polynomial-Time Implication Problems for Unary Inclusion Dependencies. J. ACM 37(1): 15-46 (1990) - 1989
- [j24]Moshe Y. Vardi:
A Note on the Reduction of Two-Way Automata to One-Way Automata. Inf. Process. Lett. 30(5): 261-264 (1989) - [j23]Joseph Y. Halpern, Moshe Y. Vardi:
The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. J. Comput. Syst. Sci. 38(1): 195-237 (1989) - 1988
- [j22]Moshe Y. Vardi:
The Universal-Relation Data Model for Logical Independence. IEEE Softw. 5(2): 80-85 (1988) - [j21]Moshe Y. Vardi:
Response to a Letter to the Editor. IEEE Softw. 5(4): 4-6 (1988) - 1987
- [j20]A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper:
The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. Theor. Comput. Sci. 49: 217-237 (1987) - 1986
- [j19]Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi:
Updating Logical Databases. Adv. Comput. Res. 3: 1-18 (1986) - [j18]Johann A. Makowsky, Moshe Y. Vardi:
On the Expressive Power of Data Dependencies. Acta Informatica 23(3): 231-244 (1986) - [j17]Marc H. Graham, Alberto O. Mendelzon, Moshe Y. Vardi:
Notions of dependency satisfaction. J. ACM 33(1): 105-129 (1986) - [j16]Moshe Y. Vardi, Pierre Wolper:
Automata-Theoretic Techniques for Modal Logics of Programs. J. Comput. Syst. Sci. 32(2): 183-221 (1986) - [j15]Moshe Y. Vardi:
Querying Logical Databases. J. Comput. Syst. Sci. 33(2): 142-160 (1986) - 1985
- [j14]Haim Gaifman, Moshe Y. Vardi:
A simple proof that connectivity of finite graphs is not first-order definable. Bull. EATCS 26: 43-44 (1985) - [j13]Moshe Y. Vardi:
A responce to "A complete axiomatisation for full join dependencies in relations". Bull. EATCS 26: 65-66 (1985) - [j12]Ashok K. Chandra, Moshe Y. Vardi:
The Implication Problem for Functional and Inclusion Dependencies is Undecidable. SIAM J. Comput. 14(3): 671-677 (1985) - [j11]Catriel Beeri, Moshe Y. Vardi:
Formal Systems for Join Dependencies. Theor. Comput. Sci. 38: 99-116 (1985) - 1984
- [j10]Catriel Beeri, Moshe Y. Vardi:
On Acyclic Database Decompositions. Inf. Control. 61(2): 75-84 (1984) - [j9]Moshe Y. Vardi:
A Note on Lossless Database Decompositions. Inf. Process. Lett. 18(5): 257-260 (1984) - [j8]Catriel Beeri, Moshe Y. Vardi:
A Proof Procedure for Data Dependencies. J. ACM 31(4): 718-741 (1984) - [j7]Moshe Y. Vardi:
The Implication and Finite Implication Problems for Typed Template Dependencies. J. Comput. Syst. Sci. 28(1): 3-28 (1984) - [j6]Catriel Beeri, Moshe Y. Vardi:
Formal Systems for Tuple and Equality Generating Dependencies. SIAM J. Comput. 13(1): 76-98 (1984) - [j5]David Maier, Jeffrey D. Ullman, Moshe Y. Vardi:
On the Foundations of the Universal Relation Model. ACM Trans. Database Syst. 9(2): 283-308 (1984) - 1983
- [j4]Moshe Y. Vardi:
Inferring Multivalued Dependencies From Functional and Join Dependencies. Acta Informatica 19: 305-324 (1983) - [j3]Ronald Fagin, Moshe Y. Vardi:
Armstrong Databases for Functional and Inclusion Dependencies. Inf. Process. Lett. 16(1): 13-19 (1983) - 1981
- [j2]Moshe Y. Vardi:
The Decision Problem for Database Dependencies. Inf. Process. Lett. 12(5): 251-254 (1981) - [j1]Catriel Beeri, Moshe Y. Vardi:
A Note on Decompositions of Relational Databases. SIGMOD Rec. 12(1): 33-37 (1981)
Conference and Workshop Papers
- 2024
- [c420]Moshe Y. Vardi:
Logical Algorithmics: From Theory to Practice (Invited Talk). CSL 2024: 6:1-6:1 - [c419]Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi:
Model-Guided Synthesis for LTL over Finite Traces. VMCAI (1) 2024: 186-207 - 2023
- [c418]Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells:
Model Checking Strategies from Synthesis over Finite Traces. ATVA (1) 2023: 227-247 - [c417]Yong Li, Sven Schewe, Moshe Y. Vardi:
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. CONCUR 2023: 37:1-37:17 - [c416]Moshe Y. Vardi:
How to Be An Ethical Technologist. ECBS 2023: 1-6 - [c415]Kristin Y. Rozier, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi:
Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community. FMCAD 2023: 1 - [c414]Khen Elimelech, Lydia E. Kavraki, Moshe Y. Vardi:
Extracting generalizable skills from a single plan execution using abstraction-critical state detection. ICRA 2023: 5772-5778 - [c413]Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi:
Multi-Agent Systems with Quantitative Satisficing Goals. IJCAI 2023: 280-288 - [c412]Moshe Y. Vardi, Zhiwei Zhang:
Solving Quantum-Inspired Perfect Matching Problems via Tutte-Theorem-Based Hybrid Boolean Constraints. IJCAI 2023: 2039-2048 - [c411]Moshe Y. Vardi:
Logical Algorithmics: From Theory to Practice (Invited Talk). STACS 2023: 3:1-3:1 - 2022
- [c410]Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi:
Constraint-Driven Explanations for Black-Box ML Models. AAAI 2022: 8304-8314 - [c409]Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, Andrew M. Wells:
Synthesis from Satisficing and Temporal Goals. AAAI 2022: 9679-9686 - [c408]Moshe Y. Vardi, Seth Fogarty, Yong Li, Yih-Kuen Tsay:
Towards a Grand Unification of Büchi Complementation Constructions. Principles of Systems Design 2022: 185-207 - [c407]Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang:
Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition. CAV (2) 2022: 152-173 - [c406]Moshe Y. Vardi:
Program Verification: A 70+-Year History. ICSOFT 2022: 15 - [c405]Jeffrey M. Dudek, Aditya A. Shrotri, Moshe Y. Vardi:
DPSampler: Exact Weighted Sampling Using Dynamic Programming. IJCAI 2022: 1795-1803 - [c404]Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu:
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work. IJCAI 2022: 2591-2598 - [c403]Khen Elimelech, Lydia E. Kavraki, Moshe Y. Vardi:
Efficient Task Planning Using Abstract Skills and Dynamic Road Map Matching. ISRR 2022: 487-503 - [c402]Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Public and Private Affairs in Strategic Reasoning. KR 2022 - [c401]Senthil Rajasekaran, Moshe Y. Vardi:
Verification and Realizability in Finite-Horizon Multiagent Systems. KR 2022 - [c400]Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi:
ZDD Boolean Synthesis. TACAS (1) 2022: 64-83 - [c399]Moshe Y. Vardi:
Linear Temporal Logic: From Infinite to Finite Horizon (Invited Talk). TIME 2022: 1:1-1:1 - [c398]Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu:
Compositional Safety LTL Synthesis. VSTTE 2022: 1-19 - [c397]Khen Elimelech, Lydia E. Kavraki, Moshe Y. Vardi:
Automatic Cross-domain Task Plan Transfer by Caching Abstract Skills. WAFR 2022: 470-487 - 2021
- [c396]Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang:
On Continuous Local BDD-Based Search for Hybrid SAT Solving. AAAI 2021: 3841-3850 - [c395]Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi:
On-the-fly Synthesis for LTL over Finite Traces. AAAI 2021: 6530-6537 - [c394]Senthil Rajasekaran, Moshe Y. Vardi:
Nash Equilibria in Finite-Horizon Multiagent Concurrent Games. AAMAS 2021: 1046-1054 - [c393]Lucas M. Tabajara, Moshe Y. Vardi:
Linear Temporal Logic - From Infinite to Finite Horizon. ATVA 2021: 3-12 - [c392]Yih-Kuen Tsay, Moshe Y. Vardi:
From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle. Model Checking, Synthesis, and Learning 2021: 8-40 - [c391]Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss:
Adapting Behaviors via Reactive Synthesis. CAV (1) 2021: 870-893 - [c390]Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang:
Congruence Relations for Büchi Automata. FM 2021: 465-482 - [c389]Andrew M. Wells, Zachary K. Kingston, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Finite-Horizon Synthesis for Probabilistic Manipulation Domains. ICRA 2021: 6336-6342 - [c388]Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu:
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. IJCAI 2021: 1852-1858 - [c387]Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang:
Synthesizing Good-Enough Strategies for LTLf Specifications. IJCAI 2021: 4144-4151 - [c386]Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi:
ProCount: Weighted Projected Model Counting with Graded Project-Join Trees. SAT 2021: 152-170 - [c385]Ronald Fagin, Georg Gottlob, Christos H. Papadimitriou, Moshe Y. Vardi, Giorgio Ausiello, Maurizio Lenzerini, Domenico Saccà, Luigi Palopoli, Francesco Scarcello:
Panel on "Past and Future of Computer Science Theory" (Discussion Paper). SEBD 2021: 531-542 - [c384]Rodrigo Ferreira, Moshe Y. Vardi:
Deep Tech Ethics: An Approach to Teaching Social Justice in Computer Science. SIGCSE 2021: 1041-1047 - [c383]Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi:
On Satisficing in Quantitative Games. TACAS (1) 2021: 20-37 - [c382]Moshe Y. Vardi:
Program Verification: a 70+- Year History. TASE 2021: 1-2 - [c381]Shufang Zhu, Lucas M. Tabajara, Geguang Pu, Moshe Y. Vardi:
On the Power of Automata Minimization in Temporal Synthesis. GandALF 2021: 117-134 - 2020
- [c380]Jeffrey M. Dudek, Vu Phan, Moshe Y. Vardi:
ADDMC: Weighted Model Counting with Algebraic Decision Diagrams. AAAI 2020: 1468-1476 - [c379]Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang:
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints. AAAI 2020: 1552-1560 - [c378]Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi:
LTLƒ Synthesis with Fairness and Stability Assumptions. AAAI 2020: 3088-3095 - [c377]Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi:
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. AAAI 2020: 9766-9774 - [c376]Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi:
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. CP 2020: 211-230 - [c375]Tommy Tracy II, Lucas M. Tabajara, Moshe Y. Vardi, Kevin Skadron:
Runtime Verification on FPGAs with LTLf Specifications. FMCAD 2020: 36-46 - [c374]Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi:
On Uniformly Sampling Traces of a Transition System. ICCAD 2020: 108:1-108:9 - [c373]Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi:
Assume-Guarantee Synthesis for Prompt Linear Temporal Logic. IJCAI 2020: 117-123 - [c372]Luís C. Lamb, Artur S. d'Avila Garcez, Marco Gori, Marcelo O. R. Prates, Pedro H. C. Avelar, Moshe Y. Vardi:
Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective. IJCAI 2020: 4877-4884 - [c371]Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu:
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. KR 2020: 304-314 - [c370]Lucas M. Tabajara, Moshe Y. Vardi:
LTLf Synthesis under Partial Observability: From Theory to Practice. GandALF 2020: 1-17 - [c369]Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
LTLf Synthesis on Probabilistic Systems. GandALF 2020: 166-181 - [c368]Yong Li, Moshe Y. Vardi, Lijun Zhang:
On the Power of Unambiguity in Büchi Complementation. GandALF 2020: 182-198 - 2019
- [c367]Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi:
Unbounded Orchestrations of Transducers for Manufacturing. AAAI 2019: 2646-2653 - [c366]Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi:
SAT-Based Explicit LTLf Satisfiability Checking. AAAI 2019: 2946-2953 - [c365]Marcelo O. R. Prates, Pedro H. C. Avelar, Henrique Lemos, Luís C. Lamb, Moshe Y. Vardi:
Learning to Solve NP-Complete Problems: A Graph Neural Network for Decision TSP. AAAI 2019: 4731-4738 - [c364]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
On the Hardness of Probabilistic Inference Relaxations. AAAI 2019: 7785-7792 - [c363]David Harel, Assaf Marron, Ariel Rosenfeld, Moshe Y. Vardi, Gera Weiss:
Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea). AAAI 2019: 9770-9774 - [c362]Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier:
Satisfiability Checking for Mission-Time LTL. CAV (2) 2019: 3-22 - [c361]Suguman Bansal, Moshe Y. Vardi:
Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion. CAV (1) 2019: 60-78 - [c360]Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi:
On Symbolic Approaches for Computing the Matrix Permanent. CP 2019: 71-90 - [c359]Keliang He, Andrew M. Wells, Lydia E. Kavraki, Moshe Y. Vardi:
Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks. ICRA 2019: 8993-8999 - [c358]Lucas Martinelli Tabajara, Moshe Y. Vardi:
Partitioning Techniques in LTLf Synthesis. IJCAI 2019: 5599-5606 - [c357]Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi:
Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract). IJCAI 2019: 6211-6215 - [c356]Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
First-Order vs. Second-Order Encodings for \textsc ltl_f -to-Automata Translation. TAMC 2019: 684-705 - [c355]Rohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi, Kristin Y. Rozier:
Intersection and Rotation of Assumption Literals Boosts Bug-Finding. VSTTE 2019: 180-192 - 2018
- [c354]Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan:
Synthesis of Orchestrations of Transducers for Manufacturing. AAAI 2018: 6161-6168 - [c353]Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Y. Vardi:
SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability. CAV (2) 2018: 37-44 - [c352]Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi:
Automata vs Linear-Programming Discounted-Sum Inclusion. CAV (2) 2018: 99-116 - [c351]Moshe Y. Vardi:
The Siren Song of Temporal Synthesis (Invited Talk). CONCUR 2018: 1:1-1:1 - [c350]Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
Functional Synthesis via Input-Output Separation. FMCAD 2018: 1-9 - [c349]Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi:
Comparator Automata in Quantitative Verification. FoSSaCS 2018: 420-437 - [c348]Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. LICS 2018: 432-441 - [c347]Antonio Di Stasio, Aniello Murano, Moshe Y. Vardi:
Solving Parity Games: Explicit vs Symbolic. CIAA 2018: 159-172 - 2017
- [c346]Leonardo Dueñas-Osorio, Kuldeep S. Meel, Roger Paredes, Moshe Y. Vardi:
Counting-Based Reliability Estimation for Power-Transmission Grids. AAAI 2017: 4488-4494 - [c345]Lucas M. Tabajara, Moshe Y. Vardi:
Factored boolean functional synthesis. FMCAD 2017: 124-131 - [c344]Orna Kupferman, Gal Vardi, Moshe Y. Vardi:
Flow Games. FSTTCS 2017: 38:38-38:16 - [c343]Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi:
On Hashing-Based Approaches to Approximate DNF-Counting. FSTTCS 2017: 41:1-41:14 - [c342]Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
A Symbolic Approach to Safety ltl Synthesis. Haifa Verification Conference 2017: 147-162 - [c341]Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi:
Safety model checking with complementary approximations. ICCAD 2017: 95-100 - [c340]Corey Fisher, Seth Fogarty, Moshe Y. Vardi:
Random Models for Evaluating Efficient Büchi Universality Checking. ICLA 2017: 91-105 - [c339]Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi:
The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. IJCAI 2017: 600-606 - [c338]Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
Symbolic LTLf Synthesis. IJCAI 2017: 1362-1369 - [c337]Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Reactive synthesis for finite tasks under resource constraints. IROS 2017: 5326-5332 - [c336]Miguel Romero, Pablo Barceló, Moshe Y. Vardi:
The homomorphism problem for regular graph patterns. LICS 2017: 1-12 - [c335]Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Strategy logic with imperfect information. LICS 2017: 1-12 - [c334]Leonid Libkin, Moshe Y. Vardi:
2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS 2017: 91 - 2016
- [c333]Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi:
Approximate Probabilistic Inference via Word-Level Counting. AAAI 2016: 3218-3224 - [c332]Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik:
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. AAAI Workshop: Beyond NP 2016 - [c331]Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
BDD-Based Boolean Functional Synthesis. CAV (2) 2016: 402-421 - [c330]Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi:
Combining the k-CNF and XOR Phase-Transitions. IJCAI 2016: 727-734 - [c329]Giuseppe De Giacomo, Moshe Y. Vardi:
LTLf and LDLf Synthesis under Partial Observability. IJCAI 2016: 1044-1050 - [c328]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls. IJCAI 2016: 3569-3576 - [c327]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Regular Open APIs. KR 2016: 329-338 - [c326]Moshe Y. Vardi:
A Theory of Regular Queries. PODS 2016: 1-9 - [c325]Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Solving Parity Games Using an Automata-Based Algorithm. CIAA 2016: 64-76 - 2015
- [c324]Morteza Lahijanian, Shaull Almagor, Dror Fried, Lydia E. Kavraki, Moshe Y. Vardi:
This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction. AAAI 2015: 3664-3671 - [c323]Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada:
Controller Synthesis for Mode-Target Games. ADHS 2015: 343-350 - [c322]Moshe Y. Vardi:
Humans, machines, and the future of work. Ada Lovelace Symposium 2015: 2 - [c321]Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
SAT-Based Explicit LTL Reasoning. Haifa Verification Conference 2015: 209-224 - [c320]Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi:
The Complexity of Synthesis from Probabilistic Components. ICALP (2) 2015: 108-120 - [c319]Juan L. Reutter, Miguel Romero, Moshe Y. Vardi:
Regular Queries on Graph Databases. ICDT 2015: 177-194 - [c318]Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Towards manipulation planning with temporal logic specifications. ICRA 2015: 346-352 - [c317]Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi:
From Weighted to Unweighted Model Counting. IJCAI 2015: 689-695 - [c316]Giuseppe De Giacomo, Moshe Y. Vardi:
Synthesis for LTL and LDL on Finite Traces. IJCAI 2015: 1558-1564 - [c315]Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi:
On Parallel Scalable Uniform SAT Witness Generation. TACAS 2015: 304-319 - 2014
- [c314]Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi:
Distribution-Aware Sampling and Weighted Model Counting for SAT. AAAI 2014: 1722-1730 - [c313]Moshe Y. Vardi:
From Löwenheim to PSL and SVA. Language, Culture, Computation (1) 2014: 78-102 - [c312]Yael Abarbanel, Eli Singerman, Moshe Y. Vardi:
Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions. DAC 2014: 2:1-2:4 - [c311]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
Balancing Scalability and Uniformity in SAT Witness Generator. DAC 2014: 60:1-60:6 - [c310]Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTLf Satisfiability Checking. ECAI 2014: 513-518 - [c309]Orna Kupferman, Giuseppe Perelli, Moshe Y. Vardi:
Synthesis with Rational Environments. EUMAS 2014: 219-235 - [c308]Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi:
The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. FoSSaCS 2014: 242-257 - [c307]Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
A sampling-based strategy planner for nondeterministic hybrid systems. ICRA 2014: 3005-3012 - [c306]Sonali Dutta, Moshe Y. Vardi:
Assertion-based flow monitoring of SystemC models. MEMOCODE 2014: 145-154 - [c305]Ranan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang:
From visual to logical formalisms for SoC validation. MEMOCODE 2014: 165-174 - [c304]Pablo Barceló, Miguel Romero, Moshe Y. Vardi:
Does query evaluation tractability help query containment? PODS 2014: 188-199 - [c303]Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi:
Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. WODES 2014: 222-227 - 2013
- [c302]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
A Scalable and Nearly Uniform Generator of SAT Witnesses. CAV 2013: 608-623 - [c301]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
A Scalable Approximate Model Counter. CP 2013: 200-216 - [c300]Sonali Dutta, Moshe Y. Vardi, Deian Tabakov:
CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models. DIFTS@FMCAD 2013 - [c299]Matthew R. Maly, Morteza Lahijanian, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi:
Iterative temporal motion planning for hybrid systems in partially unknown environments. HSCC 2013: 353-362 - [c298]Giuseppe De Giacomo, Moshe Y. Vardi:
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. IJCAI 2013: 854-860 - [c297]Sumit Nain, Moshe Y. Vardi:
Solving Partial-Information Stochastic Parity Games. LICS 2013: 341-348 - [c296]Swarat Chaudhuri, Sriram Sankaranarayanan, Moshe Y. Vardi:
Regular Real Analysis. LICS 2013: 509-518 - [c295]Pablo Barceló Baeza, Miguel Romero, Moshe Y. Vardi:
Semantic acyclicity on graph databases. PODS 2013: 237-248 - [c294]Moshe Y. Vardi:
A logical revolution (keynote). ESEC/SIGSOFT FSE 2013: 1 - [c293]Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, Moshe Y. Vardi:
A publication culture in software engineering (panel). ESEC/SIGSOFT FSE 2013: 19-23 - [c292]Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTL Satisfiability Checking Revisited. TIME 2013: 91-98 - [c291]Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke:
Profile Trees for Büchi Word Automata, with Application to Determinization. GandALF 2013: 107-121 - 2012
- [c290]Deian Tabakov, Moshe Y. Vardi:
Automatic aspectization of systemC. MISS@AOSD 2012: 9-14 - [c289]David Benqué, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex S. Taylor, Moshe Y. Vardi:
Bma: Visual Tool for Modeling and Analyzing Biological Networks. CAV 2012: 686-692 - [c288]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. CONCUR 2012: 193-208 - [c287]Sumit Nain, Moshe Y. Vardi:
Synthesizing Probabilistic Composers. FoSSaCS 2012: 421-436 - [c286]Kristin Yvonne Rozier, Moshe Y. Vardi:
Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking. Haifa Verification Conference 2012: 243-259 - [c285]Moshe Y. Vardi:
Compositional Temporal Synthesis. QEST 2012: 1 - 2011
- [c284]Byron Cook, Eric Koskinen, Moshe Y. Vardi:
Temporal Property Verification as a Program Analysis Task. CAV 2011: 333-348 - [c283]Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi:
Dynamic Reactive Modules. CONCUR 2011: 404-418 - [c282]Moshe Y. Vardi:
Branching vs. Linear Time: Semantical Perspective. CSL 2011: 3 - [c281]Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke:
Unifying Büchi Complementation Constructions. CSL 2011: 248-263 - [c280]Yoad Lustig, Sumit Nain, Moshe Y. Vardi:
Synthesis from Probabilistic Components. CSL 2011: 412-427 - [c279]Jasmin Fisher, Nir Piterman, Moshe Y. Vardi:
The Only Way Is Up. FM 2011: 3-11 - [c278]Kristin Y. Rozier, Moshe Y. Vardi:
A Multi-encoding Approach for LTL Symbolic Satisfiability Checking. FM 2011: 417-431 - [c277]Moshe Y. Vardi:
Constraints, Graphs, Algebra, Logic, and Complexity (Invited Talk). FSTTCS 2011: 3-3 - [c276]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Simplifying schema mappings. ICDT 2011: 114-125 - [c275]Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis:
Temporal Synthesis for Bounded Systems and Environments. STACS 2011: 615-626 - [c274]Yoad Lustig, Moshe Y. Vardi:
Synthesis from Recursive-Components Libraries. GandALF 2011: 1-16 - 2010
- [c273]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Node Selection Query Languages for Trees. AAAI 2010: 279-284 - [c272]Moshe Y. Vardi:
From Automated Verification to Automated Design. ICAPS 2010: 271 - [c271]Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
An Automata-Theoretic Approach to Infinite-State Systems. Essays in Memory of Amir Pnueli 2010: 202-259 - [c270]Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi:
Motion planning with hybrid dynamics and temporal goals. CDC 2010: 1108-1115 - [c269]Moshe Y. Vardi:
Constraints, Graphs, Algebra, Logic, and Complexity. CP 2010: 8 - [c268]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Reasoning About Strategies. FSTTCS 2010: 133-144 - [c267]Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi:
Sampling-based motion planning with temporal goals. ICRA 2010: 2689-2696 - [c266]Orna Kupferman, Moshe Y. Vardi:
Synthesis of Trigger Properties. LPAR (Dakar) 2010: 312-331 - [c265]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Relentful Strategic Reasoning in Alternating-Time Temporal Logic. LPAR (Dakar) 2010: 371-386 - [c264]Deian Tabakov, Moshe Y. Vardi:
Monitoring temporal SystemC properties. MEMOCODE 2010: 123-132 - [c263]Deian Tabakov, Moshe Y. Vardi:
Optimized temporal monitors for SystemC. RV 2010: 436-451 - [c262]Seth Fogarty, Moshe Y. Vardi:
Efficient Büchi Universality Checking. TACAS 2010: 205-220 - [c261]Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay:
State of Büchi Complementation. CIAA 2010: 261-271 - 2009
- [c260]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
An Automata-Theoretic Approach to Regular XPath. DBPL 2009: 18-35 - [c259]Yoad Lustig, Moshe Y. Vardi:
Synthesis from Component Libraries. FoSSaCS 2009: 395-409 - [c258]Moshe Y. Vardi:
From Philosophical to Industrial Logics. ICLA 2009: 89-115 - [c257]Sumit Nain, Moshe Y. Vardi:
Trace Semantics is Fully Abstract. LICS 2009: 59-68 - [c256]Moshe Y. Vardi:
Model Checking as A Reachability Problem. RP 2009: 35 - [c255]Moshe Y. Vardi:
Symbolic Techniques in Propositional Satisfiability Solving. SAT 2009: 2-3 - [c254]Seth Fogarty, Moshe Y. Vardi:
Büchi Complementation and Size-Change Termination. TACAS 2009: 16-30 - [c253]Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
Falsification of LTL Safety Properties in Hybrid Systems. TACAS 2009: 368-382 - [c252]Moshe Y. Vardi:
Constraints, Graphs, Algebra, Logic, and Complexity. TAMC 2009: 3 - 2008
- [c251]Moshe Y. Vardi, Thomas Wilke:
Automata: from logics to algorithms. Logic and Automata 2008: 629-736 - [c250]Moshe Y. Vardi:
From Monadic Logic to PSL. Pillars of Computer Science 2008: 656-681 - [c249]Phokion G. Kolaitis, Moshe Y. Vardi:
A Logical Approach to Constraint Satisfaction. Complexity of Constraints 2008: 125-155 - [c248]Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman:
A Temporal Language for SystemC. FMCAD 2008: 1-9 - [c247]Moshe Y. Vardi:
Automata-Theoretic Model Checking Revisited. Haifa Verification Conference 2008: 2 - [c246]Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi:
A Framework for Inherent Vacuity. Haifa Verification Conference 2008: 7-22 - [c245]Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi:
Open Implication. ICALP (2) 2008: 361-372 - [c244]Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
Impact of workspace decompositions on discrete search leading continuous exploration (DSLX) motion planning. ICRA 2008: 3751-3756 - [c243]Roni Wiener, Gila Kamhi, Moshe Y. Vardi:
Intelligate: Scalable Dynamic Invariant Learning for Power Reduction. PATMOS 2008: 52-61 - [c242]Moshe Y. Vardi:
From Church and Prior to PSL. 25 Years of Model Checking 2008: 150-171 - [c241]Moshe Y. Vardi:
From Verification to Synthesis. VSTTE 2008: 2 - 2007
- [c240]Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar:
Deeper Bound in BMC by Combining Constant Propagation and Abstraction. ASP-DAC 2007: 304-309 - [c239]Sumit Nain, Moshe Y. Vardi:
Branching vs. Linear Time: Semantical Perspective. ATVA 2007: 19-34 - [c238]Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
From Liveness to Promptness. CAV 2007: 406-419 - [c237]Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
Hybrid Systems: From Verification to Falsification. CAV 2007: 463-476 - [c236]Benjamin Aminof, Aniello Murano, Moshe Y. Vardi:
Pushdown Module Checking with Imperfect Information. CONCUR 2007: 460-475 - [c235]Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi:
An Analysis of Slow Convergence in Interval Propagation. CP 2007: 790-797 - [c234]Moshe Y. Vardi:
Formal Techniques for SystemC Verification; Position Paper. DAC 2007: 188-192 - [c233]Pietro Babighian, Gila Kamhi, Moshe Y. Vardi:
Interactive presentation: PowerQuest: trace driven data mining for power optimization. DATE 2007: 1078-1083 - [c232]Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints. ICRA 2007: 692-697 - [c231]Deian Tabakov, Moshe Y. Vardi:
Model Checking Buechi Specifications. LATA 2007: 565-576 - [c230]Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi:
Proving that programs eventually do something good. POPL 2007: 265-276 - [c229]Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
Discrete Search Leading Continuous Exploration for Kinodynamic Motion Planning. Robotics: Science and Systems 2007 - [c228]Kristin Y. Rozier, Moshe Y. Vardi:
LTL Satisfiability Checking. SPIN 2007: 149-167 - [c227]Moshe Y. Vardi:
The Büchi Complementation Saga. STACS 2007: 12-22 - [c226]Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis:
Multi-objective Model Checking of Markov Decision Processes. TACAS 2007: 50-65 - [c225]Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi:
Property-Driven Partitioning for Abstraction Refinement. TACAS 2007: 389-404 - [c224]Moshe Y. Vardi:
Automata-Theoretic Model Checking Revisited. VMCAI 2007: 137-150 - [c223]Moshe Y. Vardi:
Linear-Time Model Checking: Automata Theory in Practice. CIAA 2007: 5-10 - 2006
- [c222]Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
Safraless Compositional Synthesis. CAV 2006: 31-44 - [c221]Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar:
Deterministic Dynamic Monitors for Linear-Time Assertions. FATES/RV 2006: 163-177 - [c220]Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi:
The Complexity of Enriched µ-Calculi. ICALP (2) 2006: 540-551 - [c219]Guoqiang Pan, Moshe Y. Vardi:
Fixed-Parameter Hierarchies inside PSPACE. LICS 2006: 27-36 - [c218]Orna Kupferman, Moshe Y. Vardi:
Memoryful Branching-Time Logic. LICS 2006: 265-274 - [c217]Orna Kupferman, Yoad Lustig, Moshe Y. Vardi:
On Locally Checkable Properties. LPAR 2006: 302-316 - [c216]Michal Armoni, Susan H. Rodger, Moshe Y. Vardi, Rakesh M. Verma:
Automata theory: its relevance to computer science students and course contents. SIGCSE 2006: 197-198 - [c215]William Aspray, A. Frank Mayadas, Moshe Y. Vardi, Stuart H. Zweben:
educational response to offshore outsourcing. SIGCSE 2006: 330-331 - 2005
- [c214]Cristopher Moore, Gabriel Istrate, Demetrios D. Demopoulos, Moshe Y. Vardi:
A Continuous-Discontinuous Second-Order Transition in the Satisfiability of Random Horn-SAT Formulas. APPROX-RANDOM 2005: 414-425 - [c213]Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck:
Formal Verification of Backward Compatibility of Microcode. CAV 2005: 185-198 - [c212]Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi:
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking. CAV 2005: 350-363 - [c211]Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi:
Regular Vacuity. CHARME 2005: 191-206 - [c210]Orna Kupferman, Moshe Y. Vardi:
Safraless Decision Procedures. FOCS 2005: 531-542 - [c209]Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi:
Efficient LTL compilation for SAT-based model checking. ICCAD 2005: 877-884 - [c208]Moshe Y. Vardi:
Model Checking for Database Theoreticians. ICDT 2005: 1-16 - [c207]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness. ICDT 2005: 321-336 - [c206]Deian Tabakov, Moshe Y. Vardi:
Experimental Evaluation of Classical Automata Constructions. LPAR 2005: 396-411 - [c205]Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi:
Treewidth in Verification: Local vs. Global. LPAR 2005: 489-503 - [c204]Orna Kupferman, Moshe Y. Vardi:
Complementation Constructions for Nondeterministic Automata on Infinite Words. TACAS 2005: 206-221 - 2004
- [c203]Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi:
Büchi Complementation Made Tighter. ATVA 2004: 64-78 - [c202]Doron Bustan, Sasha Rubin, Moshe Y. Vardi:
Verifying omega-Regular Properties of Markov Chains. CAV 2004: 189-201 - [c201]Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi:
GSTE Is Partitioned Model Checking. CAV 2004: 229-241 - [c200]Nir Piterman, Moshe Y. Vardi:
Global Model-Checking of Infinite-State Systems. CAV 2004: 387-400 - [c199]Albert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi:
Constraint Propagation as a Proof System. CP 2004: 77-91 - [c198]Guoqiang Pan, Moshe Y. Vardi:
Symbolic Decision Procedures for QBF. CP 2004: 453-467 - [c197]Benjamin J. McMahan, Guoqiang Pan, Patrick Porter, Moshe Y. Vardi:
Projection Pushing Revisited. EDBT 2004: 441-458 - [c196]Zvi Terem, Gila Kamhi, Moshe Y. Vardi, Amitai Irron:
Pattern search in hierarchical high-level designs. ICECS 2004: 519-522 - [c195]Guoqiang Pan, Moshe Y. Vardi:
Search vs. Symbolic Techniques in Satisfiability Solving. SAT 2004 - [c194]Guoqiang Pan, Moshe Y. Vardi:
Search vs. Symbolic Techniques in Satisfiability Solving. SAT (Selected Papers 2004: 235-250 - [c193]Doron Bustan, Orna Kupferman, Moshe Y. Vardi:
A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy. STACS 2004: 522-533 - [c192]Orna Kupferman, Moshe Y. Vardi:
From Complementation to Certification. TACAS 2004: 591-606 - [c191]Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi:
SAT-based Induction for Temporal Safety Properties. BMC@CAV 2004: 3-16 - 2003
- [c190]Serge Abiteboul, Gabriel M. Kuper, Alexander A. Shvartsman, Moshe Y. Vardi:
In Memoriam: Paris C. Kanellakis. PCK50 2003: 1-8 - [c189]Moshe Y. Vardi:
A Call to Regularity. PCK50 2003: 11 - [c188]Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
Fair Equivalence Relations. Verification: Theory and Practice 2003: 702-732 - [c187]Guoqiang Pan, Moshe Y. Vardi:
Optimizing a BDD-Based Modal Solver. CADE 2003: 75-89 - [c186]Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi:
Enhanced Vacuity Detection in Linear Temporal Logic. CAV 2003: 368-380 - [c185]Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi:
On Complementing Nondeterministic Büchi Automata. CHARME 2003: 96-110 - [c184]Hana Chockler, Orna Kupferman, Moshe Y. Vardi:
Coverage Metrics for Formal Verification. CHARME 2003: 111-125 - [c183]Moshe Y. Vardi:
Logic and Automata: A Match Made in Heaven. ICALP 2003: 64-65 - [c182]Orna Kupferman, Moshe Y. Vardi:
Π2 ∩ Σ2 ≡ AFMC. ICALP 2003: 697-713 - [c181]Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
Decidable Containment of Recursive Queries. ICDT 2003: 327-342 - [c180]Moshe Y. Vardi:
Automated Verification: Graphs, Logic, and Automata. IJCAI 2003: 1603-1606 - [c179]Marco Pistore, Moshe Y. Vardi:
The Planning Spectrum - One, Two, Three, Infinity. LICS 2003: 234-243 - [c178]Tomás Feder, Moshe Y. Vardi:
Homomorphism Closed vs. Existential Positive. LICS 2003: 311-320 - [c177]Nir Piterman, Moshe Y. Vardi:
Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems. LICS 2003: 381- - [c176]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-based query containment. PODS 2003: 56-67 - [c175]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Query Containment Using Views. SEBD 2003: 467-474 - [c174]Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi:
Resets vs. Aborts in Linear Temporal Logic. TACAS 2003: 65-80 - [c173]Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi:
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. TACAS 2003: 176-191 - 2002
- [c172]Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi:
BDD-Based Decision Procedures for K. CADE 2002: 16-30 - [c171]Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi:
The Complexity of the Graded µ-Calculus. CADE 2002: 423-437 - [c170]Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
Model Checking Linear Properties of Prefix-Recognizable Systems. CAV 2002: 371-385 - [c169]Víctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi:
Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. CP 2002: 310-326 - [c168]Moshe Y. Vardi:
Alternation. JELIA 2002: 565 - [c167]Randy Batsell, Lyle Brenner, Daniel N. Osherson, Spyros Tsavachidis, Moshe Y. Vardi:
Eliminating Incoherence from Subjective Estimates of Chance. KR 2002: 353-364 - [c166]Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
Reasoning about Actions and Planning in LTL Action Theories. KR 2002: 593-602 - [c165]Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
Pushdown Specifications. LPAR 2002: 262-277 - [c164]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Lossless Regular Views. PODS 2002: 247-258 - [c163]Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar:
The ForSpec Temporal Logic: A New Temporal Property-Specification Language. TACAS 2002: 296-211 - [c162]Moshe Y. Vardi:
Model Checking: A Complexity-Theoretic Perspective (invited talk). PDMC@CONCUR 2002: 484 - 2001
- [c161]Ulrike Sattler, Moshe Y. Vardi:
The Hybrid µ-Calculus. IJCAR 2001: 76-91 - [c160]Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi:
A Practical Approach to Coverage in Model Checking. CAV 2001: 66-78 - [c159]Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi:
Benefits of Bounded Model Checking at an Industrial Setting. CAV 2001: 436-453 - [c158]Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
Extended Temporal Logic Revisited. CONCUR 2001: 519-535 - [c157]Alfonso San Miguel Aguirre, Moshe Y. Vardi:
Random 3-SAT and BDDs: The Plot Thickens Further. CP 2001: 121-136 - [c156]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001: 40-61 - [c155]Valerie King, Orna Kupferman, Moshe Y. Vardi:
On the Complexity of Parity Word Automata. FoSSaCS 2001: 276-286 - [c154]Orna Kupferman, Moshe Y. Vardi:
Synthesizing Distributed Systems. LICS 2001: 389-398 - [c153]Orna Kupferman, Moshe Y. Vardi:
On Bounded Specifications. LPAR 2001: 24-38 - [c152]Nir Piterman, Moshe Y. Vardi:
From Bidirectionality to Alternation. MFCS 2001: 598-610 - [c151]Moshe Y. Vardi:
Branching vs. Linear Time: Final Showdown. TACAS 2001: 1-22 - [c150]Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang:
Is There a Best Symbolic Cycle-Detection Algorithm? TACAS 2001: 420-434 - [c149]Hana Chockler, Orna Kupferman, Moshe Y. Vardi:
Coverage Metrics for Temporal Logic Model Checking. TACAS 2001: 528-542 - 2000
- [c148]Phokion G. Kolaitis, Moshe Y. Vardi:
A Game-Theoretic Approach to Constraint Satisfaction. AAAI/IAAI 2000: 175-181 - [c147]Orna Kupferman, Moshe Y. Vardi:
An Automata-Theoretic Approach to Reasoning about Infinite-State Systems. CAV 2000: 36-52 - [c146]Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix:
Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. CAV 2000: 389-402 - [c145]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
What is Query Rewriting? CIA 2000: 51-59 - [c144]Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi:
Open Systems in Reactive Environments: Control and Synthesis. CONCUR 2000: 92-107 - [c143]Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi:
Random 3-SAT: The Plot Thickens. CP 2000: 143-159 - [c142]Moshe Y. Vardi:
Automated Verification = Graphs, Automata, and Logic. CSL 2000: 139 - [c141]Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
Fair Equivalence Relations. FSTTCS 2000: 151-163 - [c140]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Answering Regular Path Queries Using Views. ICDE 2000: 389-398 - [c139]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Containment of Conjunctive Regular Path Queries with Inverse. KR 2000: 176-185 - [c138]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
What is View-Based Query Rewriting? KRDB 2000: 17-27 - [c137]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Processing and Constraint Satisfaction. LICS 2000: 361-371 - [c136]Phokion G. Kolaitis, Moshe Y. Vardi:
0-1 Laws for Fragments of Existential Second-Order Logic: A Survey. MFCS 2000: 84-98 - [c135]Orna Kupferman, Moshe Y. Vardi:
µ-Calculus Synthesis. MFCS 2000: 497-507 - [c134]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000: 58-66 - [c133]Moshe Y. Vardi:
Constraint Satisfaction and Database Theory: a Tutorial. PODS 2000: 76-85 - 1999
- [c132]Moshe Y. Vardi:
Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach. ARTS 1999: 265-276 - [c131]Orna Kupferman, Moshe Y. Vardi:
Model Checking of Safety Properties. CAV 1999: 172-183 - [c130]Marco Daniele, Fausto Giunchiglia, Moshe Y. Vardi:
Improved Automata Generation for Linear Temporal Logic. CAV 1999: 249-260 - [c129]Orna Kupferman, Moshe Y. Vardi:
Vacuity Detection in Temporal Model Checking. CHARME 1999: 82-96 - [c128]Kathi Fisler, Moshe Y. Vardi:
Bisimulation and Model Checking. CHARME 1999: 338-341 - [c127]Orna Kupferman, Moshe Y. Vardi:
Robust Satisfaction. CONCUR 1999: 383-398 - [c126]Marco Daniele, Paolo Traverso, Moshe Y. Vardi:
Strong Cyclic Planning Revisited. ECP 1999: 35-48 - [c125]Giuseppe De Giacomo, Moshe Y. Vardi:
Automata-Theoretic Approach to Planning for Temporally Extended Goals. ECP 1999: 226-238 - [c124]Doron A. Peled, Moshe Y. Vardi, Mihalis Yannakakis:
Black Box Checking. FORTE 1999: 225-240 - [c123]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Rewriting of Regular Expressions and Regular Path Queries. PODS 1999: 194-204 - [c122]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Rewriting of Regular Path Queries. SEBD 1999: 213-224 - [c121]Orna Kupferman, Moshe Y. Vardi:
The Weakness of Self-Complementation. STACS 1999: 455-466 - [c120]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Query Answering Using Views for Data Integration over the Web. WebDB (Informal Proceedings) 1999: 73-78 - [c119]Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi:
Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. SMC@FLoC 1999: 11-22 - 1998
- [c118]Moshe Y. Vardi:
Sometimes and Not Never Re-revisited: On Branching Versus Linear Time. CONCUR 1998: 1-17 - [c117]Ron van der Meyden, Moshe Y. Vardi:
Synthesis from Knowledge-Based Specifications (Extended Abstract). CONCUR 1998: 34-49 - [c116]Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi:
Alternating Refinement Relations. CONCUR 1998: 163-178 - [c115]Kathi Fisler, Moshe Y. Vardi:
Bisimulation Minimization in an Automata-Theoretic Verification Framework. FMCAD 1998: 115-132 - [c114]Moshe Y. Vardi:
Reasoning about The Past with Two-Way Automata. ICALP 1998: 628-641 - [c113]Orna Kupferman, Moshe Y. Vardi:
Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time. LICS 1998: 81-92 - [c112]Moshe Y. Vardi:
Linear vs. Branching Time: A Complexity-Theoretic Perspective. LICS 1998: 394-405 - [c111]Phokion G. Kolaitis, Moshe Y. Vardi:
Conjunctive-Query Containment and Constraint Satisfaction. PODS 1998: 205-213 - [c110]Orna Kupferman, Moshe Y. Vardi:
Relating linear and branching model checking. PROCOMET 1998: 304-326 - [c109]Kim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi:
Panel: logic in the computer science curriculum. SIGCSE 1998: 376-377 - [c108]Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan:
Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract). STACS 1998: 216-226 - [c107]Orna Kupferman, Moshe Y. Vardi:
Weak Alternating Automata and Tree Automata Emptiness. STOC 1998: 224-233 - 1997
- [c106]Moshe Y. Vardi:
Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics. CADE 1997: 191-206 - [c105]Orna Kupferman, Moshe Y. Vardi:
Module Checking Revisited. CAV 1997: 36-47 - [c104]Neil Immerman, Moshe Y. Vardi:
Model Checking and Transitive-Closure Logic. CAV 1997: 291-302 - [c103]Orna Kupferman, Moshe Y. Vardi:
Modular Model Checking. COMPOS 1997: 381-401 - [c102]David Harel, Orna Kupferman, Moshe Y. Vardi:
On the Complexity of Verifying Concurrent Transition Systems. CONCUR 1997: 258-272 - [c101]Moshe Y. Vardi:
Verification of Open Systems. FSTTCS 1997: 250-266 - [c100]Orna Kupferman, Moshe Y. Vardi:
Weak Alternating Automata Are Not That Weak. ISTCS 1997: 147-158 - [c99]Kousha Etessami, Moshe Y. Vardi, Thomas Wilke:
First-Order Logic with Two Variables and Unary Temporal Logic. LICS 1997: 228-235 - 1996
- [c98]Orna Kupferman, Moshe Y. Vardi:
Module Checking. CAV 1996: 75-86 - [c97]Orna Kupferman, Moshe Y. Vardi:
Verification of Fair Transisiton Systems. CAV 1996: 372-382 - [c96]Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi:
A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. CONCUR 1996: 514-529 - [c95]Moshe Y. Vardi:
Why is Modal Logic So Robustly Decidable? Descriptive Complexity and Finite Models 1996: 149-183 - [c94]Surajit Chaudhuri, Ashok K. Chandra, Umeshwar Dayal, Jim Gray, Michael Stonebraker, Gio Wiederhold, Moshe Y. Vardi:
Database Research: Lead, Follow, or Get Out of the Way? - Panel Abstract. ICDE 1996: 190 - [c93]Orna Kupferman, Shmuel Safra, Moshe Y. Vardi:
Relating Word and Tree Automata. LICS 1996: 322-332 - [c92]Phokion G. Kolaitis, Moshe Y. Vardi:
On the Expressive Power of Variable-Confined Logics. LICS 1996: 348-359 - [c91]Serge Abiteboul, Gabriel M. Kuper, Christos H. Papadimitriou, Moshe Y. Vardi:
In Memoriam: Paris C. Kanellakis. PODS 1996: 79 - [c90]Moshe Y. Vardi:
Implementing Knowledge-Based Programs. TARK 1996: 15-30 - [c89]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Common Knowledge Revisited. TARK 1996: 283-298 - 1995
- [c88]Moshe Y. Vardi:
An Automata-Theoretic Approach to Linear Temporal Logic. Banff Higher Order Workshop 1995: 238-266 - [c87]Moshe Y. Vardi:
An Automata-Theoretic Approach to Fair Realizability and Synthesis. CAV 1995: 267-278 - [c86]Orna Kupferman, Moshe Y. Vardi:
On the Complexity of Branching Modular Model Checking (Extended Abstract). CONCUR 1995: 408-422 - [c85]Moshe Y. Vardi:
On the Complexity of Modular Model Checking. LICS 1995: 101-111 - [c84]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Knowledge-Based Programs. PODC 1995: 153-163 - [c83]Moshe Y. Vardi:
On the Complexity of Bounded-Variable Queries. PODS 1995: 266-276 - [c82]Rob Gerth, Doron A. Peled, Moshe Y. Vardi, Pierre Wolper:
Simple on-the-fly automatic verification of linear temporal logic. PSTV 1995: 3-18 - 1994
- [c81]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
An Operational Semantics for Knowledge Bases. AAAI 1994: 1142-1147 - [c80]Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper:
An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). CAV 1994: 142-155 - [c79]Surajit Chaudhuri, Moshe Y. Vardi:
On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. PODS 1994: 107-116 - [c78]Moshe Y. Vardi:
Nontraditional Applications of Automata Theory. TACS 1994: 575-597 - [c77]Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Algorithmic Knowledge. TARK 1994: 255-266 - 1993
- [c76]Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi:
On Monadic NP vs. Monadic co-NP (Extended Abstract). SCT 1993: 19-30 - [c75]Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers:
The Complexity of Set Constraints. CSL 1993: 1-17 - [c74]Surajit Chaudhuri, Moshe Y. Vardi:
Optimization of Real Conjunctive Queries. PODS 1993: 59-70 - [c73]Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi:
Parametric real-time reasoning. STOC 1993: 592-601 - [c72]Tomás Feder, Moshe Y. Vardi:
Monotone monadic SNP and constraint satisfaction. STOC 1993: 612-622 - 1992
- [c71]Moshe Y. Vardi:
Automata Theory for Database Theoreticans. Theoretical Studies in Computer Science 1992: 153-180 - [c70]Serge Abiteboul, Moshe Y. Vardi, Victor Vianu:
Fixpoint Logics, Relational Machines, and Computational Complexity. SCT 1992: 156-168 - [c69]Phokion G. Kolaitis, Moshe Y. Vardi:
Infinitary Logic for Computer Science. ICALP 1992: 450-473 - [c68]Serge Abiteboul, Moshe Y. Vardi, Victor Vianu:
Computing with Infinitary Logic. ICDT 1992: 113-123 - [c67]Phokion G. Kolaitis, Moshe Y. Vardi:
Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory. LICS 1992: 46-57 - [c66]Surajit Chaudhuri, Moshe Y. Vardi:
On the Equivalence of Recursive and Nonrecursive Datalog Programs. PODS 1992: 55-66 - [c65]Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi:
The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge. TARK 1992: 229-244 - 1991
- [c64]Joseph Y. Halpern, Moshe Y. Vardi:
Model Checking vs. Theorem Proving: A Manifesto. Artificial and Mathematical Theory of Computation 1991: 151-176 - [c63]Joseph Y. Halpern, Moshe Y. Vardi:
Model Checking vs. Theorem Proving: A Manifesto. KR 1991: 325-334 - [c62]Thom W. Frühwirth, Ehud Shapiro, Moshe Y. Vardi, Eyal Yardeni:
Logic Programs as Types for Logic Programs. LICS 1991: 300-309 - [c61]Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi:
Tools for Datalog Boundedness. PODS 1991: 1-12 - 1990
- [c60]Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis:
Memory Efficient Algorithms for the Verification of Temporal Properties. CAV 1990: 233-242 - [c59]Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis:
Memory Efficient Algorithms for the Verification of Temporal Properties. CAV (DIMACS/AMS volume) 1990: 207-218 - [c58]Moshe Y. Vardi:
Global Optimization Problems for Database Logic Programs. ICLP 1990: 767-771 - [c57]Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
What is an inference rule? Jerusalem Conference on Information Technology 1990: 391-401 - [c56]Phokion G. Kolaitis, Moshe Y. Vardi:
0-1 Laws for Infinitary Logics (Preliminary Report). LICS 1990: 156-167 - [c55]David Harel, Roni Rosner, Moshe Y. Vardi:
On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report). LICS 1990: 478-488 - [c54]Phokion G. Kolaitis, Moshe Y. Vardi:
On the Expressive Power of Datalog: Tools and a Case Study. PODS 1990: 61-71 - [c53]Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
A Nonstandard Approach to the Logical Omniscience Problem. TARK 1990: 41-55 - 1989
- [c52]Moshe Y. Vardi:
On the Complexity of Epistemic Reasoning. LICS 1989: 243-252 - [c51]Moshe Y. Vardi:
Automata Theory for Database Theoreticans. PODS 1989: 83-92 - [c50]Yehoshua Sagiv, Moshe Y. Vardi:
Safety of Datalog Queries over Infinite Databases. PODS 1989: 160-171 - [c49]Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi:
Proof-Tree Transformation Theorems and Their Applications. PODS 1989: 172-181 - [c48]Shmuel Safra, Moshe Y. Vardi:
On omega-Automata and Temporal Logic (Preliminary Report). STOC 1989: 127-137 - 1988
- [c47]Moshe Y. Vardi:
An Automata-Theoretic Approach to Protocol Verification (Abstract). Concurrency 1988: 73 - [c46]Gabriel M. Kuper, Moshe Y. Vardi:
On the Complexity of Queries in the Logical Data Model (Extended Abstract). ICDT 1988: 267-280 - [c45]Phokion G. Kolaitis, Moshe Y. Vardi:
0-1 Laws and Decision Problems for Fragments of Second-Order Logic. LICS 1988: 2-11 - [c44]Jeffrey D. Ullman, Moshe Y. Vardi:
The Complexity of Ordering Subgoals. PODS 1988: 74-81 - [c43]Moshe Y. Vardi:
Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. PODS 1988: 341-351 - [c42]Moshe Y. Vardi:
A Temporal Fixpoint Calculus. POPL 1988: 250-259 - [c41]Moshe Y. Vardi:
Database Logic Programming, Deductive Databases, and Expert Database Systems. SIGMOD Conference 1988: 7 - [c40]Joseph Y. Halpern, Moshe Y. Vardi:
Reasoning about Knowledge and Time in Asynchronous Systems. STOC 1988: 53-65 - [c39]Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, Moshe Y. Vardi:
Decidable Optimization Problems for Database Logic Programs (Preliminary Report). STOC 1988: 477-490 - 1987
- [c38]Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi:
Undecidable Optimization Problems for Database Logic Programs. LICS 1987: 106-115 - [c37]Moshe Y. Vardi:
Verification of Concurrent Programs: The Automata-Theoretic Framework. LICS 1987: 167-176 - [c36]Phokion G. Kolaitis, Moshe Y. Vardi:
The Decision Problem for the Probabilities of Higher-Order Properties. STOC 1987: 425-435 - [c35]Moshe Y. Vardi:
Unified Verification Theory. Temporal Logic in Specification 1987: 202-212 - 1986
- [c34]Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
What Can Machines Know? On the Epistemic Properties of Machines. AAAI 1986: 428-435 - [c33]Moshe Y. Vardi, Pierre Wolper:
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report). LICS 1986: 332-344 - [c32]Moshe Y. Vardi:
On the Integrity of Databases with Incomplete Information. PODS 1986: 252-266 - [c31]Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper:
Reasoning about Fair Concurrent Programs. STOC 1986: 283-294 - [c30]Joseph Y. Halpern, Moshe Y. Vardi:
The Complexity of Reasoning about Knowledge and Time: Extended Abstract. STOC 1986: 304-315 - [c29]Ronald Fagin, Moshe Y. Vardi:
Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report. TARK 1986: 187-206 - [c28]Moshe Y. Vardi:
On Epistemic Logic and Logical Omniscience. TARK 1986: 293-305 - 1985
- [c27]Moshe Y. Vardi:
Automatic Verification of Probabilistic Concurrent Finite-State Programs. FOCS 1985: 327-338 - [c26]A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper:
The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract). ICALP 1985: 465-474 - [c25]Moshe Y. Vardi:
A Model-Theoretic Analysis of Monotonic Knowledge. IJCAI 1985: 509-512 - [c24]Moshe Y. Vardi:
The Taming of Converse: Reasoning about Two-way Computations. Logic of Programs 1985: 413-423 - [c23]Moshe Y. Vardi:
Querying Logical Databases. PODS 1985: 57-65 - [c22]Gabriel M. Kuper, Moshe Y. Vardi:
On the Expressive Power of the Logical Data Model (Preliminary Report). SIGMOD Conference 1985: 180-187 - [c21]Moshe Y. Vardi, Larry J. Stockmeyer:
Improved Upper and Lower Bounds for Modal Logics of Programs: Preliminary Report. STOC 1985: 240-251 - [c20]Ronald Fagin, Moshe Y. Vardi:
An Internal Semantics for Modal Logic: Preliminary Report. STOC 1985: 305-315 - 1984
- [c19]Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
A Model-Theoretic Analysis of Knowledge: Preliminary Report. FOCS 1984: 268-278 - [c18]Ronald Fagin, Moshe Y. Vardi:
The Theory of Data Dependencies - An Overview. ICALP 1984: 1-22 - [c17]Gabriel M. Kuper, Moshe Y. Vardi:
A New Approach to Database Logic. PODS 1984: 86-96 - [c16]Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi:
On the Equivalence of Logical Databases. PODS 1984: 221-228 - [c15]Marc H. Graham, Moshe Y. Vardi:
On the Complexity and Axiomatizability of Consistent Database States. PODS 1984: 281-289 - [c14]Moshe Y. Vardi, Pierre Wolper:
Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract). STOC 1984: 446-456 - 1983
- [c13]Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla:
Reasoning about Infinite Computation Paths (Extended Abstract). FOCS 1983: 185-194 - [c12]Moshe Y. Vardi, Pierre Wolper:
Yet Another Process Logic (Preliminary Version). Logic of Programs 1983: 501-512 - [c11]David Maier, Jeffrey D. Ullman, Moshe Y. Vardi:
The Revenge of the JD. PODS 1983: 279-287 - [c10]Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi:
On the Semantics of Updates in Databases. PODS 1983: 352-365 - [c9]Paris C. Kanellakis, Stavros S. Cosmadakis, Moshe Y. Vardi:
Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract). STOC 1983: 264-277 - [c8]Moshe Y. Vardi:
Second-Order Dependency Theory. XP4.5 Workshop on Database Theory 1983 - 1982
- [c7]Moshe Y. Vardi:
On Decomposition of Relational Databases. FOCS 1982: 176-185 - [c6]Moshe Y. Vardi:
The Implication and Finite Implication Problems for Typed Template Dependencies. PODS 1982: 230-238 - [c5]Moshe Y. Vardi:
The Complexity of Relational Query Languages (Extended Abstract). STOC 1982: 137-146 - 1981
- [c4]Moshe Y. Vardi:
Global Decision Problems for Relational Databases. FOCS 1981: 198-202 - [c3]Catriel Beeri, Moshe Y. Vardi:
The Implication Problem for Data Dependencies. ICALP 1981: 73-85 - 1980
- [c2]Catriel Beeri, Moshe Y. Vardi:
Decision Problems for Data Dependencies. XP1 Workshop on Database Theory 1980 - 1979
- [c1]Catriel Beeri, Moshe Y. Vardi:
On the Properties of Join Dependencies. Advances in Data Base Theory 1979: 25-71
Parts in Books or Collections
- 2022
- [p7]Moshe Y. Vardi:
Efficiency vs. Resilience: Lessons from COVID-19. Perspectives on Digital Humanism 2022: 285-289 - 2021
- [p6]Javier Esparza, Orna Kupferman, Moshe Y. Vardi:
Verification. Handbook of Automata Theory (II.) 2021: 1415-1456 - [p5]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
Approximate Model Counting. Handbook of Satisfiability 2021: 1015-1045 - 2020
- [p4]Vijay Ganesh, Moshe Y. Vardi:
On the Unreasonable Effectiveness of SAT Solvers. Beyond the Worst-Case Analysis of Algorithms 2020: 547-566 - 2007
- [p3]Moshe Y. Vardi:
Automata-theoretic techniques for temporal reasoning. Handbook of Modal Logic 2007: 971-989 - 2006
- [p2]Demetrios D. Demopoulos, Moshe Y. Vardi:
The Phase Transition in the Random HornSAT Problem. Computational Complexity and Statistical Physics 2006: 195-222 - 1995
- [p1]Moshe Y. Vardi:
Alternating Automata and Program Verification. Computer Science Today 1995: 471-485
Editorship
- 2016
- [e13]Blai Bonet, Sven Koenig, Benjamin Kuipers, Illah R. Nourbakhsh, Stuart Russell, Moshe Y. Vardi, Toby Walsh:
AI, Ethics, and Society, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. AAAI Technical Report WS-16-02, AAAI Press 2016 [contents] - [e12]Alessio Lomuscio, Moshe Y. Vardi:
Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016. EPTCS 218, 2016 [contents] - 2014
- [e11]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014. EPTCS 146, 2014 [contents] - 2013
- [e10]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013. EPTCS 112, 2013 [contents] - 2008
- [e9]Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi:
Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007. Dagstuhl Seminar Proceedings 07441, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 2006
- [e8]Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi:
Synthesis and Planning, 12.-17. June 2005. Dagstuhl Seminar Proceedings 05241, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 2003
- [e7]Moshe Y. Vardi, Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings. Lecture Notes in Computer Science 2850, Springer 2003, ISBN 3-540-20101-7 [contents] - 2002
- [e6]Doron A. Peled, Moshe Y. Vardi:
Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings. Lecture Notes in Computer Science 2529, Springer 2002, ISBN 3-540-00141-7 [contents] - 1998
- [e5]Alan J. Hu, Moshe Y. Vardi:
Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings. Lecture Notes in Computer Science 1427, Springer 1998, ISBN 3-540-64608-6 [contents] - 1995
- [e4]Georg Gottlob, Moshe Y. Vardi:
Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings. Lecture Notes in Computer Science 893, Springer 1995, ISBN 3-540-58907-4 [contents] - 1992
- [e3]Moshe Y. Vardi, Paris C. Kanellakis:
Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 2-4, 1992, San Diego, California, USA. ACM Press 1992, ISBN 0-89791-519-4 [contents] - 1988
- [e2]Moshe Y. Vardi:
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1988. Morgan Kaufmann 1988, ISBN 0-934613-66-4 [contents] - 1987
- [e1]Moshe Y. Vardi:
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California, USA. ACM 1987, ISBN 0-89791-223-3 [contents]
Data and Artifacts
- 2022
- [d2]Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang:
Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition". Version 2. Zenodo, 2022 [all versions]
- [d1]Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang:
Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition". Version 1. Zenodo, 2022 [all versions]
Informal and Other Publications
- 2024
- [i78]Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Stochastic Games for Interactive Manipulation Domains. CoRR abs/2403.04910 (2024) - 2023
- [i77]Moshe Y. Vardi, Zhiwei Zhang:
Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints. CoRR abs/2301.09833 (2023) - [i76]Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi:
Multi-Agent Systems with Quantitative Satisficing Goals. CoRR abs/2305.00953 (2023) - [i75]Suguman Bansal, Yong Li, Lucas Martinelli Tabajara, Moshe Y. Vardi, Andrew M. Wells:
On Strategies in Synthesis Over Finite Traces. CoRR abs/2305.08319 (2023) - [i74]Yong Li, Sven Schewe, Moshe Y. Vardi:
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. CoRR abs/2305.09966 (2023) - 2022
- [i73]Senthil Rajasekaran, Moshe Y. Vardi:
Verification and Realizability in Finite-Horizon Multiagent Systems. CoRR abs/2205.01029 (2022) - [i72]Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang:
DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving. CoRR abs/2205.03747 (2022) - [i71]Vu H. N. Phan, Moshe Y. Vardi:
DPO: Dynamic-Programming Optimization on Hybrid Constraints. CoRR abs/2205.08632 (2022) - [i70]Vu H. N. Phan, Moshe Y. Vardi:
DPER: Dynamic Programming for Exist-Random Stochastic SAT. CoRR abs/2205.09826 (2022) - [i69]Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, Andrew M. Wells:
Synthesis from Satisficing and Temporal Goals. CoRR abs/2205.10464 (2022) - [i68]Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang:
Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition. CoRR abs/2206.13739 (2022) - [i67]Moshe Y. Vardi, Zhiwei Zhang:
Quantum-Inspired Perfect Matching under Vertex-Color Constraints. CoRR abs/2209.13063 (2022) - 2021
- [i66]Senthil Rajasekaran, Moshe Y. Vardi:
Nash Equilibria in Finite-Horizon Multiagent Concurrent Games. CoRR abs/2101.00716 (2021) - [i65]Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi:
On Satisficing in Quantitative Games. CoRR abs/2101.02594 (2021) - [i64]Yong Li, Yih-Kuen Tsay, Moshe Y. Vardi:
Congruence Relations for Büchi Automata. CoRR abs/2104.03555 (2021) - [i63]Gal Amram, Suguman Bansal, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Gera Weiss:
Adapting Behaviors via Reactive Synthesis. CoRR abs/2105.13837 (2021) - [i62]Kevin W. Smith, Moshe Y. Vardi:
Automata Linear Dynamic Logic on Finite Traces. CoRR abs/2108.12003 (2021) - [i61]Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang:
On the Power of Finite Ambiguity in Büchi Complementation. CoRR abs/2109.12828 (2021) - 2020
- [i60]Luís C. Lamb, Artur S. d'Avila Garcez, Marco Gori, Marcelo O. R. Prates, Pedro H. C. Avelar, Moshe Y. Vardi:
Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective. CoRR abs/2003.00330 (2020) - [i59]Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Strategy Logic with Imperfect Information. CoRR abs/2003.04730 (2020) - [i58]Jeffrey M. Dudek, Moshe Y. Vardi:
Parallel Weighted Model Counting with Tensor Networks. CoRR abs/2006.15512 (2020) - [i57]Rajeev Alur, Richard G. Baraniuk, Rastislav Bodík, Ann W. Drobnis, Sumit Gulwani, Bjoern Hartmann, Yasmin B. Kafai, Jeff Karpicke, Ran Libeskind-Hadas, Debra J. Richardson, Armando Solar-Lezama, Candace Thille, Moshe Y. Vardi:
Computer-Aided Personalized Education. CoRR abs/2007.03704 (2020) - [i56]Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi:
On Uniformly Sampling Traces of a Transition System (Extended Version). CoRR abs/2008.05102 (2020) - [i55]Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi:
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. CoRR abs/2008.08748 (2020) - [i54]Anderson R. Tavares, Pedro H. C. Avelar, João M. Flach, Márcio Nicolau, Luís C. Lamb, Moshe Y. Vardi:
Understanding Boolean Function Learnability on Deep Neural Networks. CoRR abs/2009.05908 (2020) - [i53]James E. Newman, Moshe Y. Vardi:
FPRAS Approximation of the Matrix Permanent in Practice. CoRR abs/2012.03367 (2020) - [i52]Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang:
On Continuous Local BDD-Based Search for Hybrid SAT Solving. CoRR abs/2012.07983 (2020) - 2019
- [i51]Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation. CoRR abs/1901.06108 (2019) - [i50]Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. CoRR abs/1903.01368 (2019) - [i49]Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi:
ADDMC: Exact Weighted Model Counting with Algebraic Decision Diagrams. CoRR abs/1907.05000 (2019) - [i48]Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi:
On Symbolic Approaches for Computing the Matrix Permanent. CoRR abs/1908.03252 (2019) - [i47]Jeffrey M. Dudek, Leonardo Dueñas-Osorio, Moshe Y. Vardi:
Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions. CoRR abs/1908.04381 (2019) - [i46]Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Solving Parity Games Using An Automata-Based Algorithm. CoRR abs/1910.13765 (2019) - [i45]Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi:
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. CoRR abs/1911.08145 (2019) - [i44]Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang:
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints. CoRR abs/1912.01032 (2019) - [i43]Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi:
LTLf Synthesis with Fairness and Stability Assumptions. CoRR abs/1912.07804 (2019) - 2018
- [i42]Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Strategy Logic with Imperfect Information. CoRR abs/1805.12592 (2018) - [i41]Roger Paredes, Leonardo Dueñas-Osorio, Kuldeep S. Meel, Moshe Y. Vardi:
Network Reliability Estimation in Theory and Practice. CoRR abs/1806.00917 (2018) - [i40]Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
Functional Synthesis via Input-Output Separation. CoRR abs/1808.08190 (2018) - [i39]Marcelo O. R. Prates, Pedro H. C. Avelar, Henrique Lemos, Luís C. Lamb, Moshe Y. Vardi:
Learning to Solve NP-Complete Problems - A Graph Neural Network for the Decision TSP. CoRR abs/1809.02721 (2018) - [i38]Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi:
SAT-based Explicit LTLf Satisfiability Checking. CoRR abs/1811.03176 (2018) - [i37]Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi:
Comparator automata in quantitative verification. CoRR abs/1812.06569 (2018) - 2017
- [i36]Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi:
Combining the k-CNF and XOR Phase-Transitions. CoRR abs/1702.08392 (2017) - [i35]Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
Symbolic LTLf Synthesis. CoRR abs/1705.08426 (2017) - [i34]Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
A Symbolic Approach to Safety LTL Synthesis. CoRR abs/1709.07495 (2017) - [i33]Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi:
On Hashing-Based Approaches to Approximate DNF-Counting. CoRR abs/1710.05247 (2017) - [i32]Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi:
The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. CoRR abs/1710.06378 (2017) - 2016
- [i31]Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi:
Approximate Reachability. CoRR abs/1611.04946 (2016) - 2015
- [i30]Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi:
The Complexity of Synthesis from Probabilistic Components. CoRR abs/1502.04844 (2015) - [i29]Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada:
Controller Synthesis for Mode-Target Games. CoRR abs/1504.07702 (2015) - [i28]Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
SAT-based Explicit LTL Reasoning. CoRR abs/1507.02519 (2015) - [i27]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Node Selection Query Languages for Trees. CoRR abs/1509.08979 (2015) - [i26]Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi:
Approximate Probabilistic Inference via Word-Level Counting. CoRR abs/1511.07663 (2015) - [i25]Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik:
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. CoRR abs/1512.06633 (2015) - 2014
- [i24]Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi:
The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies. CoRR abs/1401.3289 (2014) - [i23]Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi:
The Complexity of Integer Bound Propagation. CoRR abs/1401.3887 (2014) - [i22]Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He:
Fast LTL Satisfiability Checking by SAT Solvers. CoRR abs/1401.5677 (2014) - [i21]Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTLf satisfiability checking. CoRR abs/1403.1666 (2014) - [i20]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
Balancing Scalability and Uniformity in SAT Witness Generator. CoRR abs/1403.6246 (2014) - [i19]Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi:
Distribution-Aware Sampling and Weighted Model Counting for SAT. CoRR abs/1404.2984 (2014) - [i18]Jakob Rehof, Moshe Y. Vardi:
Design and Synthesis from Components (Dagstuhl Seminar 14232). Dagstuhl Reports 4(6): 29-47 (2014) - 2013
- [i17]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
A Scalable and Nearly Uniform Generator of SAT Witnesses. CoRR abs/1304.1584 (2013) - [i16]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
A Scalable Approximate Model Counter. CoRR abs/1306.5726 (2013) - [i15]Ron van der Meyden, Moshe Y. Vardi:
Synthesis from Knowledge-Based Specifications. CoRR abs/1307.6333 (2013) - [i14]Jianwen Li, Geguang Pu, Lijun Zhang, Yinbo Yao, Moshe Y. Vardi, Jifeng He:
Polsat: A Portfolio LTL Satisfiability Solver. CoRR abs/1311.1602 (2013) - 2012
- [i13]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
A Decidable Fragment of Strategy Logic. CoRR abs/1202.1309 (2012) - [i12]Kurt Mehlhorn, Moshe Y. Vardi, Marc Herbstritt:
Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452). Dagstuhl Reports 2(11): 20-44 (2012) - 2011
- [i11]Marco Pistore, Moshe Y. Vardi:
The Planning Spectrum - One, Two, Three, Infinity. CoRR abs/1109.6346 (2011) - [i10]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Reasoning About Strategies: On the Model-Checking Problem. CoRR abs/1112.6275 (2011) - 2010
- [i9]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View Synthesis from Schema Mappings. CoRR abs/1003.1179 (2010) - 2008
- [i8]Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi:
The Complexity of Enriched Mu-Calculi. CoRR abs/0809.0360 (2008) - [i7]Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis:
Multi-Objective Model Checking of Markov Decision Processes. CoRR abs/0810.5728 (2008) - 2007
- [i6]Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi:
07441 Summary -- Algorithmic-Logical Theory of Infinite Structures. Algorithmic-Logical Theory of Infinite Structures 2007 - [i5]Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi:
07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures. Algorithmic-Logical Theory of Infinite Structures 2007 - 2005
- [i4]Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi:
05241 Executive Summary - Synthesis and Planning. Synthesis and Planning 2005 - [i3]Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi:
05241 Abstracts Collection - Synthesis and Planning. Synthesis and Planning 2005 - 2002
- [i2]Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi:
Complete Axiomatizations for Reasoning About Knowledge and Time. CoRR cs.LO/0208033 (2002) - 1998
- [i1]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Common knowledge revisited. CoRR cs.LO/9809003 (1998)
Coauthor Index
Orna Kupferman
aka: Orna Bernholtz
aka: Orna Bernholtz
[j189] [j167] [j150] [j134] [j106] [j93] [j92] [j90] [j88] [j84] [j83] [j79] [j75] [j68] [j67] [j65] [j64] [j62] [j60] [j56] [c344] [c309] [c291] [c281] [c275] [c271] [c266] [c246] [c238] [c222] [c218] [c217] [c211] [c210] [c204] [c203] [c193] [c192] [c188] [c185] [c184] [c182] [c174] [c171] [c170] [c165] [c160] [c158] [c155] [c154] [c153] [c149] [c147] [c144] [c141] [c135] [c131] [c129] [c127] [c121] [c116] [c113] [c110] [c107] [c105] [c103] [c102] [c100] [c98] [c97] [c96] [c93] [c86] [c80] [p6]
Kristin Y. Rozier
aka: Kristin Yvonne Rozier
aka: Kristin Yvonne Rozier
Lucas M. Tabajara
aka: Lucas Martinelli Tabajara
aka: Lucas Martinelli Tabajara
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
