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


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