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


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