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
fatcat:7cilywhonvc2vgdqrs37oau66y