Google
Google Scholar
Semantic Scholar
MS Academic
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
2020 – today
- 2021
[j232]Moshe Y. Vardi:
Reboot the computing-research publication systems. Commun. ACM 64(1): 7 (2021)- [j231]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) - [i63]Senthil Rajasekaran, Moshe Y. Vardi:
Nash Equilibria in Finite-Horizon Multiagent Concurrent Games. CoRR abs/2101.00716 (2021) - [i62]Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi:
On Satisficing in Quantitative Games. CoRR abs/2101.02594 (2021) - 2020
- [j230]Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi
, Kristin Y. Rozier:
SAT-based explicit LTLf satisfiability checking. Artif. Intell. 289: 103369 (2020) - [j229]Moshe Y. Vardi:
Publish and perish. Commun. ACM 63(1): 7 (2020) - [j228]Moshe Y. Vardi:
Advancing computing as a science and profession: but to what end? Commun. ACM 63(3): 5 (2020) - [j227]Moshe Y. Vardi:
Efficiency vs. resilience: what COVID-19 teaches computing. Commun. ACM 63(5): 9 (2020) - [j226]Moshe Y. Vardi:
A computational lens on economics. Commun. ACM 63(7): 5 (2020) - [j225]Moshe Y. Vardi:
Where have all the domestic graduate students gone? Commun. ACM 63(9): 5 (2020) - [j224]Moshe Y. Vardi:
What should be done about social media? Commun. ACM 63(11): 5 (2020) - [c376]Jeffrey M. Dudek, Vu Phan, Moshe Y. Vardi:
ADDMC: Weighted Model Counting with Algebraic Decision Diagrams. AAAI 2020: 1468-1476 - [c375]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 - [c374]Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi:
LTLƒ Synthesis with Fairness and Stability Assumptions. AAAI 2020: 3088-3095 - [c373]Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi:
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. AAAI 2020: 9766-9774 - [c372]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 - [c371]Tommy Tracy II, Lucas M. Tabajara, Moshe Y. Vardi, Kevin Skadron:
Runtime Verification on FPGAs with LTLf Specifications. FMCAD 2020: 36-46 - [c370]Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi:
On Uniformly Sampling Traces of a Transition System. ICCAD 2020: 108:1-108:9 - [c369]Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi:
Assume-Guarantee Synthesis for Prompt Linear Temporal Logic. IJCAI 2020: 117-123 - [c368]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 - [c367]Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu:
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. KR 2020: 304-314 - [c366]Lucas M. Tabajara, Moshe Y. Vardi:
LTLf Synthesis under Partial Observability: From Theory to Practice. GandALF 2020: 1-17 - [c365]Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
LTLf Synthesis on Probabilistic Systems. GandALF 2020: 166-181 - [c364]Yong Li, Moshe Y. Vardi, Lijun Zhang:
On the Power of Unambiguity in Büchi Complementation. GandALF 2020: 182-198 - [p4]Vijay Ganesh, Moshe Y. Vardi:
On the Unreasonable Effectiveness of SAT Solvers. Beyond the Worst-Case Analysis of Algorithms 2020: 547-566 - [i61]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) - [i60]Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Strategy Logic with Imperfect Information. CoRR abs/2003.04730 (2020) - [i59]Jeffrey M. Dudek, Moshe Y. Vardi:
Parallel Weighted Model Counting with Tensor Networks. CoRR abs/2006.15512 (2020) - [i58]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) - [i57]Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi:
On Uniformly Sampling Traces of a Transition System (Extended Version). CoRR abs/2008.05102 (2020) - [i56]Shufang Zhu, Lucas M. Tabajara, Geguang Pu, Moshe Y. Vardi:
On the Power of Automata Minimization in Temporal Synthesis. CoRR abs/2008.06790 (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, Marcio 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)
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 An Int. J. 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 Syst. Des. 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 Autom. Lett. 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) - [c363]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 - [c362]Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi:
SAT-Based Explicit LTLf Satisfiability Checking. AAAI 2019: 2946-2953 - [c361]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 - [c360]Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
On the Hardness of Probabilistic Inference Relaxations. AAAI 2019: 7785-7792 - [c359]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 - [c358]Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier:
Satisfiability Checking for Mission-Time LTL. CAV (2) 2019: 3-22 - [c357]Suguman Bansal, Moshe Y. Vardi:
Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion. CAV (1) 2019: 60-78 - [c356]Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi:
On Symbolic Approaches for Computing the Matrix Permanent. CP 2019: 71-90 - [c355]Keliang He, Andrew M. Wells, Lydia E. Kavraki, Moshe Y. Vardi:
Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks. ICRA 2019: 8993-8999 - [c354]Lucas Martinelli Tabajara, Moshe Y. Vardi:
Partitioning Techniques in LTLf Synthesis. IJCAI 2019: 5599-5606 - [c353]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 - [c352]Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
First-Order vs. Second-Order Encodings for \textsc ltl_f -to-Automata Translation. TAMC 2019: 684-705 - [c351]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 - [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 Aspects Comput. 30(2): 193-217 (2018) - [j205]Alessio R. Lomuscio, Moshe Y. Vardi:
4th International Workshop on Strategic Reasoning (SR 2016). Inf. Comput. 261: 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. Autom. Control. 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. Log. Methods Comput. Sci. 13(1) (2017) - [j195]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) - [j194]Natarajan Shankar, Catuscia Palamidessi, Gordon D. Plotkin, Moshe Y. Vardi:
Alonzo Church Award 2017 - Call for Nominations. Bull. 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 An Int. J. 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. Bull. EATCS 118 (2016) - [j182]Moshe Y. Vardi:
Alonzo Church Award 2016 - Call for Nominations. Bull. EATCS 118 (2016) - [j181]Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball:
2014 CAV award announcement. Formal Methods Syst. Des. 48(3): 149-151 (2016)