Panel on “Past and future of computer science theory”
- Ronald Fagin
- Georg Gottlob
- et al.
- 2021
- SEBD 2021
Conference paper
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
Conference paperOn computing minimal independent support and its applications to sampling and counting
- Alexander Ivrii
- Sharad Malik
- et al.
- 2015
- Constraints
PaperCoverage metrics for temporal logic model checking
- Hana Chockler
- Orna Kupferman
- et al.
- 2006
- Formal Methods in System Design
PaperCoverage metrics for formal verification
- Hana Chockler
- Orna Kupferman
- et al.
- 2006
- International Journal on Software Tools for Technology Transfer
PaperCommon knowledge revisited
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1999
- Annals of Pure and Applied Logic
PaperThe hierarchical approach to modeling knowledge and common knowledge
- Ronald Fagin
- John Geanakoplos
- et al.
- 1999
- International Journal of Game Theory
PaperThe 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
PaperKnowledge-based programs
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1997
- Distributed Computing
PaperComputing with infinitary logic
- Serge Abiteboul
- Moshe Y. Vardi
- et al.
- 1995
- Theoretical Computer Science
Paper