Dagstuhl Reports, Volume 3, Issue 5,
-
Dagstuhl Reports, Volume 3, Issue 05, May 2013, Complete Issue
10.4230/DagRep.3.5
-
Dagstuhl Reports, Table of Contents, Volume 3, Issue 05, 2013
10.4230/DagRep.3.5.i
-
Sebastian Maneth and Helmut Seidl
Tree Transducers and Formal Methods (Dagstuhl Seminar 13192)
10.4230/DagRep.3.5.1
-
Andreas Kerren, Helen Purchase, and Mathew O. Ward
Information Visualization - Towards Multivariate Network Visualization (Dagstuhl Seminar 13201)
10.4230/DagRep.3.5.19
-
Diego Calvanese, Sven Hartmann, and Ernest Teniente
Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211)
10.4230/DagRep.3.5.43
-
Andreas Bender, Hinrich Göhlmann, Sepp Hochreiter, and Ziv Shkedy
Computational Methods Aiding Early-Stage Drug Design (Dagstuhl Seminar 13212)
10.4230/DagRep.3.5.78