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
Current Page :
Number of result pages: 2
Number of documents: 17

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