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


DROPS-Home | Fulltext Search | Imprint Published by LZI