Lista de obras - Moshe Y. Vardi - Dominio Público Uruguay

4th International Workshop on Strategic Reasoning (SR 2016)

artículo científico publicado en 2018

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

ACM for the Public Good

artículo científico publicado en 2023

ACM's open-conference principle and political reality

artículo científico publicado en 2017

ACM, ethics, and corporate behavior

artículo científico publicado en 2022

Accelerating LTL satisfiability checking by SAT solvers

artículo científico publicado en 2018

An Automata-Theoretic Approach to Regular XPath

Are we having an ethical crisis in computing?

artículo científico publicado en 2018

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!

artículo científico publicado en 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

artículo científico publicado en 2015

Efficiency vs. resilience

scientific article published on 04 May 2020

From visual to logical formalisms for SoC validation

artículo científico publicado en 2014

How the hippies destroyed the internet

artículo científico publicado en 2018

How we lost the women in computing

artículo científico publicado en 2018

IN MEMORIAM Paris C. Kanellakis (1953–1995)

artículo científico publicado en 1996

More Is Different, in Social Media Too

artículo científico publicado en 2024

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

scholarly article

On P, NP, and computational complexity

artículo científico publicado en 2010

On simplification of schema mappings

Program verification

scientific article published on 21 June 2021

Publish and perish

artículo científico publicado en 2019

Quantum hype and quantum skepticism

artículo científico publicado en 2019

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

artículo científico publicado en 2018

Sequential Relational Decomposition

artículo científico publicado en 2018

Simplifying schema mappings

article published in 2011

Strategy Logic with Imperfect Information

artículo científico publicado en 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

artículo científico publicado en 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)

artículo científico publicado en 2022

What Came First, Math or Computing?

artículo científico publicado en 2023

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

scholarly article

What Is Theoretical Computer Science?

artículo científico publicado en 2024

Will MOOCs destroy academia?

Would Turing have won the Turing award?

artículo científico publicado en 2017

Lista de obras de Moshe Y. Vardi

4th International Workshop on Strategic Reasoning (SR 2016)

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

ACM for the Public Good

ACM's open-conference principle and political reality

ACM, ethics, and corporate behavior

Accelerating LTL satisfiability checking by SAT solvers

An Automata-Theoretic Approach to Regular XPath

Are we having an ethical crisis in computing?

Artificial intelligence

Bma: Visual Tool for Modeling and Analyzing Biological Networks

Computing, You Have Blood on Your Hands!

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

Efficiency vs. resilience

From visual to logical formalisms for SoC validation

How the hippies destroyed the internet

How we lost the women in computing

IN MEMORIAM Paris C. Kanellakis (1953–1995)

More Is Different, in Social Media Too

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

On P, NP, and computational complexity

On simplification of schema mappings

Program verification

Publish and perish

Quantum hype and quantum skepticism

Rewriting of Regular Expressions and Regular Path Queries

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

Self-reference and section 230

Sequential Relational Decomposition

Simplifying schema mappings

Strategy Logic with Imperfect Information

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 ⬇️

Validation of SoC Firmware-Hardware Flows

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)

What Came First, Math or Computing?

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

What Is Theoretical Computer Science?

Will MOOCs destroy academia?

Would Turing have won the Turing award?