No. Title Author Year
1 Distribution Constraints: The Chase for Distributed Data Geck, Gaetano et al. 2020
2 Dynamic Complexity Meets Parameterised Algorithms Schmidt, Jonas et al. 2020
3 Parallel-Correctness and Parallel-Boundedness for Datalog Programs Neven, Frank et al. 2019
4 Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361) Dawar, Anuj et al. 2018
5 Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151) Abiteboul, Serge et al. 2018
6 The Ackermann Award 2018 Kozen, Dexter et al. 2018
7 A Strategy for Dynamic Programs: Start over and Muddle Through Datta, Samir et al. 2017
8 Dynamic Complexity under Definable Changes Schwentick, Thomas et al. 2017
9 Circuits, Logic and Games (Dagstuhl Seminar 15401) Bojanczyk, Mikolaj et al. 2016
10 Foundations of Data Management (Dagstuhl Perspectives Workshop 16151) Arenas, Marcelo et al. 2016
11 Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation Geck, Gaetano et al. 2016
12 Games for Active XML Revisited Schuster, Martin et al. 2015
13 Static Analysis for Logic-based Dynamic Programs Schwentick, Thomas et al. 2015
14 LIPIcs, Volume 5, STACS'10, Complete Volume Marion, Jean-Yves et al. 2013
15 LIPIcs, Volume 9, STACS'11, Complete Volume Schwentick, Thomas et al. 2013
16 Foundations of distributed data management (Dagstuhl Seminar 11421) Abiteboul, Serge et al. 2012
17 Frontmatter, Table of Contents, Preface, Conference Organization Schwentick, Thomas et al. 2011
18 Index of Authors Schwentick, Thomas et al. 2011
19 10061 Abstracts Collection -- Circuits, Logic, and Games Rossman, Benjamin et al. 2010
20 10061 Executive Summary -- Circuits, Logic, and Games Rossman, Benjamin et al. 2010
21 Foreword -- 27th International Symposium on Theoretical Aspects of Computer Science Marion, Jean-Yves et al. 2010
22 Table of Contents -- 27th International Symposium on Theoretical Aspects of Computer Science Marion, Jean-Yves et al. 2010
23 Temporal Logics on Words with Multiple Data Values Kara, Ahmet et al. 2010
24 The Dynamic Complexity of Formal Languages Gelade, Wouter et al. 2009
25 08171 Abstracts Collection -- Beyond the Finite: New Challenges in Verification and Semistructured Data Muscholl, Anca et al. 2008
26 08171 Summary -- Beyond the Finite: New Challenges in Verification and Semistructured Data Muscholl, Anca et al. 2008
27 A Little Bit Infinite? On Adding Data to Finitely Labelled Structures (Abstract) Schwentick, Thomas 2008
28 06451 Abstracts Collection -- Circuits, Logic, and Games Schwentick, Thomas et al. 2007
29 06451 Executive Summary -- Circuits, Logic, and Games Schwentick, Thomas et al. 2007
30 05061 Abstracts Collection -- Foundations of Semistructured Data Neven, Frank et al. 2005
Current Page :
Number of result pages: 2
Number of documents: 31


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