| No. |
Title |
Author |
Year |
| 1 |
Logical Algorithmics: From Theory to Practice (Invited Talk) |
Vardi, Moshe Y. |
2023 |
| 2 |
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata |
Li, Yong et al. |
2023 |
| 3 |
Linear Temporal Logic: From Infinite to Finite Horizon (Invited Talk) |
Vardi, Moshe Y. |
2022 |
| 4 |
Exploration of Large State Spaces (Dagstuhl Seminar 01451) |
Dean, Tom L. et al. |
2021 |
| 5 |
Finite Model Theory, Databases, and Computer-Aided Verification (Dagstuhl Seminar 99401) |
Gottlob, Georg et al. |
2021 |
| 6 |
Probabilistic Methods in Verification (Dagstuhl Seminar 00181) |
Kwiatkowska, Marta et al. |
2021 |
| 7 |
Probabilistic Methods in Verification and Planning (Dagstuhl Seminar 03201) |
Boutilier, Craig et al. |
2021 |
| 8 |
Flow Games |
Kupferman, Orna et al. |
2018 |
| 9 |
On Hashing-Based Approaches to Approximate DNF-Counting |
Meel, Kuldeep S. et al. |
2018 |
| 10 |
The Siren Song of Temporal Synthesis (Invited Talk) |
Vardi, Moshe Y. |
2018 |
| 11 |
Regular Queries on Graph Databases |
Reutter, Juan L. et al. |
2015 |
| 12 |
Design and Synthesis from Components (Dagstuhl Seminar 14232) |
Rehof, Jakob et al. |
2014 |
| 13 |
Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452) |
Mehlhorn, Kurt et al. |
2013 |
| 14 |
Branching vs. Linear Time: Semantical Perspective |
Vardi, Moshe Y. |
2011 |
| 15 |
Constraints, Graphs, Algebra, Logic, and Complexity (Invited Talk) |
Vardi, Moshe Y. |
2011 |
| 16 |
Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482) |
Kreiker, Jörg et al. |
2011 |
| 17 |
Synthesis from Probabilistic Components |
Lustig, Yoad et al. |
2011 |
| 18 |
Temporal Synthesis for Bounded Systems and Environments |
Kupferman, Orna et al. |
2011 |
| 19 |
Unifying Büchi Complementation Constructions |
Fogarty, Seth et al. |
2011 |
| 20 |
Reasoning About Strategies |
Mogavero, Fabio et al. |
2010 |
| 21 |
07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures |
Downey, Rod et al. |
2008 |
| 22 |
07441 Summary -- Algorithmic-Logical Theory of Infinite Structures |
Downey, Rod et al. |
2008 |
| 23 |
05241 Abstracts Collection -- Synthesis and Planning |
Kautz, Henry et al. |
2006 |
| 24 |
05241 Executive Summary -- Synthesis and Planning |
Kautz, Henry et al. |
2006 |
