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


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