A Tableaux-based Mobile DL Reasoner - An Experience Report. - Felix Müller; Michael Hanselmann; Thorsten Liebig; Olaf Noppens (Description Logics, 2006)

Multivariate Watershed Segmentation of Compositional Data. - Michael Hanselmann; Ullrich Köthe; Bernhard Y. Renard; Marc Kirchner; Ron M. A. Heeren; Fred A. Hamprecht (DGCI, 2009)

SIMA: Simultaneous Multiple Alignment of LC/MS Peak Lists. - Björn Voss; Michael Hanselmann; Bernhard Y. Renard; Martin S. Lindner; Ullrich Köthe; Marc Kirchner; Fred A. Hamprecht (Bioinform., 2011)

Fast greedy insertion and deletion in sparse Gaussian process regression. - Jens Schreiter; Duy Nguyen-Tuong; Heiner Markert; Michael Hanselmann; Marc Toussaint (ESANN, 2015)

CNN-based sensor fusion techniques for multimodal human activity recognition. - Sebastian Münzner; Philip Schmidt 001; Attila Reiss; Michael Hanselmann; Rainer Stiefelhagen; Robert Dürichen (ISWC, 2017)

Conditional Flow Variational Autoencoders for Structured Sequence Prediction. - Apratim Bhattacharyya; Michael Hanselmann; Mario Fritz; Bernt Schiele; Christoph-Nikolas Straehle (CoRR, 2019)

Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (Zenodo, 2023)

Supplementary Material for TACAS Submission "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (Zenodo, 2023)

Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (Zenodo, 2023)

Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (Zenodo, 2023)

Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (TACAS (2), 2024)

Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (Zenodo, 2024)

Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (Zenodo, 2024)