No. Title Author Year
1 Design and Synthesis from Components (Dagstuhl Seminar 14232) Rehof, Jakob et al. 2014
2 Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452) Mehlhorn, Kurt et al. 2013
3 Branching vs. Linear Time: Semantical Perspective Vardi, Moshe Y. 2011
4 Constraints, Graphs, Algebra, Logic, and Complexity (Invited Talk) Vardi, Moshe Y. 2011
5 Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482) Kreiker, Jörg et al. 2011
6 Synthesis from Probabilistic Components Lustig, Yoad et al. 2011
7 Temporal Synthesis for Bounded Systems and Environments Kupferman, Orna et al. 2011
8 Unifying Büchi Complementation Constructions Fogarty, Seth et al. 2011
9 Reasoning About Strategies Mogavero, Fabio et al. 2010
10 07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures Downey, Rod et al. 2008
Current Page :
Number of result pages: 2
Number of documents: 13


DROPS-Home | Fulltext Search | Imprint Published by LZI