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


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