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