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 Regular Queries on Graph Databases Reutter, Juan L. et al. 2015
4 Design and Synthesis from Components (Dagstuhl Seminar 14232) Rehof, Jakob et al. 2014
5 Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452) Mehlhorn, Kurt et al. 2013
6 Branching vs. Linear Time: Semantical Perspective Vardi, Moshe Y. 2011
7 Constraints, Graphs, Algebra, Logic, and Complexity (Invited Talk) Vardi, Moshe Y. 2011
8 Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482) Kreiker, Jörg et al. 2011
9 Synthesis from Probabilistic Components Lustig, Yoad et al. 2011
10 Temporal Synthesis for Bounded Systems and Environments Kupferman, Orna et al. 2011
Current Page :
Number of result pages: 2
Number of documents: 16


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