Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarMoshe Y. Vardi
Person information
- affiliation: Rice University, Department of Computer Science
- award: ACM Presidential Award, 2017
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j224]Moshe Y. Vardi:
Publish and perish. Commun. ACM 63(1): 7 (2020)
2010 – 2019
- 2019
- [j223]Moshe Y. Vardi:
Are we having an ethical crisis in computing? Commun. ACM 62(1): 7 (2019) - [j222]Moshe Y. Vardi:
Lost in math? Commun. ACM 62(3): 7 (2019) - [j221]Moshe Y. Vardi:
Quantum hype and quantum skepticism. Commun. ACM 62(5): 7 (2019) - [j220]Moshe Y. Vardi:
To serve humanity. Commun. ACM 62(7): 7 (2019) - [j219]Moshe Y. Vardi:
The long game of research. Commun. ACM 62(9): 7 (2019) - [j218]Moshe Y. Vardi:
The winner-takes-all tech corporation. Commun. ACM 62(11): 7 (2019) - [j217]Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi:
Not all FPRASs are equal: demystifying FPRASs for DNF-counting. Constraints 24(3-4): 211-233 (2019) - [j216]Jianwen Li
, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi:
SAT-based explicit LTL reasoning and its application to satisfiability checking. Formal Methods in System Design 54(2): 164-190 (2019) - [j215]Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis. IEEE Robotics and Automation Letters 4(2): 285-292 (2019) - [j214]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) - [c362]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 - [c361]Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi:
SAT-Based Explicit LTLf Satisfiability Checking. AAAI 2019: 2946-2953 - [c360]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 - [c359]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
On the Hardness of Probabilistic Inference Relaxations. AAAI 2019: 7785-7792 - [c358]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 - [c357]Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier:
Satisfiability Checking for Mission-Time LTL. CAV (2) 2019: 3-22 - [c356]Suguman Bansal, Moshe Y. Vardi:
Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion. CAV (1) 2019: 60-78 - [c355]Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi:
On Symbolic Approaches for Computing the Matrix Permanent. CP 2019: 71-90 - [c354]Keliang He, Andrew M. Wells, Lydia E. Kavraki, Moshe Y. Vardi:
Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks. ICRA 2019: 8993-8999 - [c353]Lucas Martinelli Tabajara, Moshe Y. Vardi:
Partitioning Techniques in LTLf Synthesis. IJCAI 2019: 5599-5606 - [c352]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 - [c351]Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
First-Order vs. Second-Order Encodings for \textsc ltl_f -to-Automata Translation. TAMC 2019: 684-705 - [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
- [j213]Moshe Y. Vardi:
Computer professionals for social responsibility. Commun. ACM 61(1): 9 (2018) - [j212]Moshe Y. Vardi:
A declaration of the dependence of cyberspace. Commun. ACM 61(3): 9 (2018) - [j211]Moshe Y. Vardi:
Open access and ACM. Commun. ACM 61(4): 7 (2018) - [j210]Moshe Y. Vardi:
How we lost the women in computing. Commun. ACM 61(5): 9 (2018) - [j209]Moshe Y. Vardi:
How the hippies destroyed the internet. Commun. ACM 61(7): 9 (2018) - [j208]Moshe Y. Vardi:
Move fast and break things. Commun. ACM 61(9): 7 (2018) - [j207]Moshe Y. Vardi:
Self-reference and section 230. Commun. ACM 61(11): 7 (2018) - [j206]Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He:
An explicit transition system construction approach to LTL satisfiability checking. Formal Asp. Comput. 30(2): 193-217 (2018) - [j205]Alessio R. Lomuscio, Moshe Y. Vardi:
4th International Workshop on Strategic Reasoning (SR 2016). Inf. Comput. 261(Part): 615 (2018) - [j204]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) - [j203]Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada:
Mode-Target Games: Reactive Synthesis for Control Applications. IEEE Trans. Automat. Contr. 63(1): 196-202 (2018) - [c350]Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan:
Synthesis of Orchestrations of Transducers for Manufacturing. AAAI 2018: 6161-6168 - [c349]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 - [c348]Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi:
Automata vs Linear-Programming Discounted-Sum Inclusion. CAV (2) 2018: 99-116 - [c347]Moshe Y. Vardi:
The Siren Song of Temporal Synthesis (Invited Talk). CONCUR 2018: 1:1-1:1 - [c346]Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
Functional Synthesis via Input-Output Separation. FMCAD 2018: 1-9 - [c345]Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi:
Comparator Automata in Quantitative Verification. FoSSaCS 2018: 420-437 - [c344]Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. LICS 2018: 432-441 - [c343]Antonio Di Stasio, Aniello Murano, Moshe Y. Vardi:
Solving Parity Games: Explicit vs Symbolic. CIAA 2018: 159-172 - [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
- [j202]Moshe Y. Vardi:
Technology for the most effective use of mankind. Commun. ACM 60(1): 5 (2017) - [j201]Moshe Y. Vardi:
ACM's open-conference principle and political reality. Commun. ACM 60(3): 5 (2017) - [j200]Moshe Y. Vardi:
Cyber insecurity and cyber libertarianism. Commun. ACM 60(5): 5 (2017) - [j199]Moshe Y. Vardi:
Ten years at the helm of communications of the ACM. Commun. ACM 60(6): 5 (2017) - [j198]Moshe Y. Vardi:
Divination by program committee. Commun. ACM 60(9): 7 (2017) - [j197]Moshe Y. Vardi:
Would Turing have won the Turing award? Commun. ACM 60(11): 7 (2017) - [j196]Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Reasoning about Strategies: on the Satisfiability Problem. Logical Methods in Computer Science 13(1) (2017) - [j195]Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi:
Supervisory control and reactive synthesis: a comparative introduction. Discrete Event Dynamic Systems 27(2): 209-260 (2017) - [j194]Natarajan Shankar, Catuscia Palamidessi, Gordon D. Plotkin, Moshe Y. Vardi:
Alonzo Church Award 2017 - Call for Nominations. Bulletin of the EATCS 121 (2017) - [j193]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Preface to the Special Issue on SR 2014. Inf. Comput. 254: 141-142 (2017) - [j192]Juan L. Reutter, Miguel Romero, Moshe Y. Vardi:
Regular Queries on Graph Databases. Theory Comput. Syst. 61(1): 31-83 (2017) - [c342]Leonardo Dueñas-Osorio, Kuldeep S. Meel, Roger Paredes, Moshe Y. Vardi:
Counting-Based Reliability Estimation for Power-Transmission Grids. AAAI 2017: 4488-4494 - [c341]Lucas M. Tabajara, Moshe Y. Vardi:
Factored boolean functional synthesis. FMCAD 2017: 124-131 - [c340]Orna Kupferman, Gal Vardi, Moshe Y. Vardi:
Flow Games. FSTTCS 2017: 38:38-38:16 - [c339]Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi:
On Hashing-Based Approaches to Approximate DNF-Counting. FSTTCS 2017: 41:1-41:14 - [c338]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 - [c337]Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi:
Safety model checking with complementary approximations. ICCAD 2017: 95-100 - [c336]Corey Fisher, Seth Fogarty, Moshe Y. Vardi:
Random Models for Evaluating Efficient Büchi Universality Checking. ICLA 2017: 91-105 - [c335]Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi:
The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. IJCAI 2017: 600-606 - [c334]Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
Symbolic LTLf Synthesis. IJCAI 2017: 1362-1369 - [c333]Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Reactive synthesis for finite tasks under resource constraints. IROS 2017: 5326-5332 - [c332]Miguel Romero, Pablo Barceló, Moshe Y. Vardi:
The homomorphism problem for regular graph patterns. LICS 2017: 1-12 - [c331]Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Strategy logic with imperfect information. LICS 2017: 1-12 - [c330]Leonid Libkin, Moshe Y. Vardi:
2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS 2017: 91 - [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
- [j191]Orna Kupferman, Giuseppe Perelli, Moshe Y. Vardi:
Synthesis with rational environments. Ann. Math. Artif. Intell. 78(1): 3-20 (2016) - [j190]Moshe Y. Vardi:
The moral hazard of complexity-theoretic assumptions. Commun. ACM 59(2): 5 (2016) - [j189]Moshe Y. Vardi:
Are we headed toward another global tech bust? Commun. ACM 59(4): 5 (2016) - [j188]Moshe Y. Vardi:
The moral imperative of artificial intelligence. Commun. ACM 59(5): 5 (2016) - [j187]Moshe Y. Vardi:
The ritual of academic-unit review. Commun. ACM 59(7): 5 (2016) - [j186]Moshe Y. Vardi:
Academic rankings considered harmful! Commun. ACM 59(9): 5 (2016) - [j185]Moshe Y. Vardi:
Globalization, computing, and their political impact. Commun. ACM 59(11): 5 (2016) - [j184]Alexander Ivrii, Sharad Malik, Kuldeep S. Meel, Moshe Y. Vardi:
On computing minimal independent support and its applications to sampling and counting. Constraints 21(1): 41-58 (2016) - [j183]Luca Aceto, Thomas A. Henzinger, Joost-Pieter Katoen, Wolfgang Thomas, Moshe Y. Vardi:
Viewpoints on "Logic activities in Europe", twenty years later. Bulletin of the EATCS 118 (2016) - [j182]Moshe Y. Vardi:
Alonzo Church Award 2016 - Call for Nominations. Bulletin of the EATCS 118 (2016) - [j181]Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball:
2014 CAV award announcement. Formal Methods in System Design 48(3): 149-151 (2016) - [j180]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Relentful strategic reasoning in alternating-time temporal logic. J. Log. Comput. 26(5): 1663-1695 (2016) - [j179]Pablo Barceló, Miguel Romero, Moshe Y. Vardi:
Semantic Acyclicity on Graph Databases. SIAM J. Comput. 45(4): 1339-1376 (2016) - [j178]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) - [c329]Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi:
Approximate Probabilistic Inference via Word-Level Counting. AAAI 2016: 3218-3224 - [c328]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 - [c327]Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
BDD-Based Boolean Functional Synthesis. CAV (2) 2016: 402-421 - [c326]Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi:
Combining the k-CNF and XOR Phase-Transitions. IJCAI 2016: 727-734 - [c325]Giuseppe De Giacomo, Moshe Y. Vardi:
LTLf and LDLf Synthesis under Partial Observability. IJCAI 2016: 1044-1050 - [c324]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 - [c323]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Regular Open APIs. KR 2016: 329-338 - [c322]Moshe Y. Vardi:
A Theory of Regular Queries. PODS 2016: 1-9 - [c321]Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Solving Parity Games Using an Automata-Based Algorithm. CIAA 2016: 64-76 - [e13]Blai Bonet, Sven Koenig, Benjamin Kuipers, Illah R. Nourbakhsh, Stuart J. Russell, Moshe Y. Vardi, Toby Walsh:
AI, Ethics, and Society, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. AAAI Workshops 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] - [i31]Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi:
Approximate Reachability. CoRR abs/1611.04946 (2016) - 2015
- [j177]Moshe Y. Vardi:
The rise and fall of industrial research labs. Commun. ACM 58(1): 5 (2015) - [j176]Moshe Y. Vardi:
Is information technology destroying the middle class? Commun. ACM 58(2): 5 (2015) - [j175]Moshe Y. Vardi:
Incentivizing quality and impact in computing research. Commun. ACM 58(5): 5 (2015) - [j174]Moshe Y. Vardi:
Why doesn't ACM have a SIG for theoretical computer science? Commun. ACM 58(8): 5 (2015) - [j173]Moshe Y. Vardi:
What can be done about gender diversity in computing?: a lot! Commun. ACM 58(10): 5 (2015) - [j172]Moshe Y. Vardi:
On lethal autonomous weapons. Commun. ACM 58(12): 5 (2015) - [j171]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) - [j170]Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Special issue on SR 2013. Inf. Comput. 242: 1 (2015) - [j169]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) - [j168]Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi:
Theory in practice for system design and verification. SIGLOG News 2(1): 46-51 (2015) - [c320]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 - [c319]Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada:
Controller Synthesis for Mode-Target Games. ADHS 2015: 343-350 - [c318]Moshe Y. Vardi:
Humans, machines, and the future of work. Ada Lovelace Symposium 2015: 2 - [c317]Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
SAT-Based Explicit LTL Reasoning. Haifa Verification Conference 2015: 209-224 - [c316]Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi:
The Complexity of Synthesis from Probabilistic Components. ICALP (2) 2015: 108-120 - [c315]Juan L. Reutter, Miguel Romero, Moshe Y. Vardi:
Regular Queries on Graph Databases. ICDT 2015: 177-194 - [c314]Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Towards manipulation planning with temporal logic specifications. ICRA 2015: 346-352 - [c313]