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


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