| 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 |
