Tree Transducers and Formal Methods (Dagstuhl Seminar 13192) Information Visualization-Towards Multivariate Network Visualization (Dagstuhl Seminar 13201) Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211) Computational Methods Aiding Early-Stage Drug Design (Dagstuhl Seminar 13212)
Sebastian Maneth, Helmut Seidl, Andreas Kerren, Helen Purchase, Matthew, Diego Calvanese, Sven Hartmann, Ernest, Andreas Bender, Hinrich Göhlmann, Sepp Hochreiter, Ziv
2013
unpublished