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
Current Page :
Number of result pages: 1
Number of documents: 29


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