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


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