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


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI