Search filters

List of works by Moshe Vardi

4th International Workshop on Strategic Reasoning (SR 2016)

scholarly article published in August 2018

A note on the reduction of two-way automata to one-way automata

ACM for the Public Good

scientific article published on 21 April 2023

ACM's open-conference principle and political reality

scientific article published on 27 February 2017

ACM, ethics, and corporate behavior

scientific article published on 23 February 2022

Accelerating LTL satisfiability checking by SAT solvers

scholarly article published on 12 April 2018

An Automata-Theoretic Approach to Regular XPath

Are we having an ethical crisis in computing?

scholarly article

Artificial intelligence

scholarly article by Moshe Vardi published 1 January 2012 in Communications of the ACM

Bma: Visual Tool for Modeling and Analyzing Biological Networks

article published in 2012

Computing, You Have Blood on Your Hands!

scientific article published on 21 December 2023

Conjunctive-Query Containment and Constraint Satisfaction

Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics

Decidable containment of recursive queries

Drug target optimization in chronic myeloid leukemia using innovative computational platform

scientific article published on 3 February 2015

Efficiency vs. resilience

scientific article published on 04 May 2020

From visual to logical formalisms for SoC validation

scientific article published on 26 November 2014

How the hippies destroyed the internet

scholarly article published on 25 June 2018

How we lost the women in computing

scholarly article published on 24 April 2018

IN MEMORIAM Paris C. Kanellakis (1953–1995)

scientific article (publication date: March 1996)

More Is Different, in Social Media Too

scientific article published on 12 April 2024

Not all FPRASs are equal: demystifying FPRASs for DNF-counting

scholarly article

On P, NP, and computational complexity

scientific article published on 28 October 2010

On simplification of schema mappings

Program verification

scientific article published on 21 June 2021

Publish and perish

scientific article published on 20 December 2019

Quantum hype and quantum skepticism

scholarly article

Rewriting of Regular Expressions and Regular Path Queries

SAT-based explicit LTL reasoning and its application to satisfiability checking

scholarly article

Self-reference and section 230

scholarly article

Sequential Relational Decomposition

scientific article published on 27 June 2018

Simplifying schema mappings

article published in 2011

Strategy Logic with Imperfect Information

scientific article published on 05 January 2021

The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory

The complexity of relational query languages (Extended Abstract)

The winner-takes-all tech corporation

scholarly article

Validation of SoC Firmware-Hardware Flows

scientific article published on 27 May 2014

View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness

View-based query processing: On the relationship between rewriting, answering and losslessness

War and tech (and ACM)

scientific article published on 25 April 2022

What Came First, Math or Computing?

scientific article published on 20 October 2023

What Do Computing and Economics Have to Say to Each Other?

scholarly article

What Is Theoretical Computer Science?

scientific article published on 07 October 2024

Will MOOCs destroy academia?

Would Turing have won the Turing award?

scientific article published on 26 October 2017