Panel on “Past and future of computer science theory”
- Ronald Fagin
- Georg Gottlob
- et al.
- 2021
- SEBD 2021
Publications
61 results for Moshe Vardi
Constrained sampling and counting: Universal hashing meets SAT solving
- Kuldeep S. Meel
- Moshe Vardi
- et al.
- 2016
- AAAI 2016
On computing minimal independent support and its applications to sampling and counting
- Alexander Ivrii
- Sharad Malik
- et al.
- 2015
- Constraints
Coverage metrics for temporal logic model checking
- Hana Chockler
- Orna Kupferman
- et al.
- 2006
- Formal Methods in System Design
Coverage metrics for formal verification
- Hana Chockler
- Orna Kupferman
- et al.
- 2006
- International Journal on Software Tools for Technology Transfer
Common knowledge revisited
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1999
- Annals of Pure and Applied Logic
The hierarchical approach to modeling knowledge and common knowledge
- Ronald Fagin
- John Geanakoplos
- et al.
- 1999
- International Journal of Game Theory
The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study Through Datalog and Group Theory
- Tomás Feder
- Moshe Y. Vardi
- 1998
- SIAM Journal on Computing
Knowledge-based programs
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1997
- Distributed Computing
Computing with infinitary logic
- Serge Abiteboul
- Moshe Y. Vardi
- et al.
- 1995
- Theoretical Computer Science