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


DROPS-Home | Fulltext Search | Imprint Published by LZI