Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Moshe Y. Vardi

Semantic Acyclicity on Graph Databases

2013English

Simplifying Schema Mappings

2011English

Assertion-Based Flow Monitoring of SystemC Models

2014English

Relating Word and Tree Automata

Annals of Pure and Applied Logic
Logic
2006English

Decidable Containment of Recursive Queries

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2005English

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

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2007English

View-Based Query Answering and Query Containment Over Semistructured Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Benefits of Bounded Model Checking at an Industrial Setting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Synthesis From Component Libraries

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

On Complementing Nondeterministic Büchi Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy