A Solution Relying on the Model Checking of Boolean Transition Systems. - Jorge Cuéllar; Dieter Barnard; Martin Huber 001 (Formal Systems Specification, 1994)

TLT. - Jorge Cuéllar; Martin Huber 001 (Formal Development of Reactive Systems, 1995)

Rapid Prototyping for an Assertional Specification language. - Jorge Cuéllar; Dieter Barnard; Martin Huber 001 (TACAS, 1996)

Combining specification methods for distributed systems. - Martin Huber 001 (1999)

Spatial relationship patterns: elements of reusable tracking and calibration systems. - Daniel Pustka; Martin Huber 001; Manuel Bauer; Gudrun Klinker (ISMAR, 2006)

Feature Ontology for Improved Learning from Large-Dimensional Disease-Specific Heterogeneous Data. - Alexey Tsymbal; Sonja Zillner; Martin Huber 001 (CBMS, 2007)

Ontology - Supported Machine Learning and Decision Support in Biomedicine. - Alexey Tsymbal; Sonja Zillner; Martin Huber 001 (DILS, 2007)

Visualizing Patient Similarity in Clinical Decision Support. - Alexey Tsymbal; Martin Huber 001; Sonja Zillner; Tamas Hauer; Shaohua Kevin Zhou (LWA, 2007)

Semantic Visualization of Patient Information. - Sonja Zillner; Tamas Hauer; Dmitri Rogulin; Alexey Tsymbal; Martin Huber 001; Tony Solomonides (CBMS, 2008)

A Discriminative Model-Constrained Graph Cuts Approach to Fully Automated Pediatric Brain Tumor Segmentation in 3-D MRI. - Michael Wels; Gustavo Carneiro 001; Alexander Aplas; Martin Huber 001; Joachim Hornegger; Dorin Comaniciu (MICCAI (1), 2008)

An Architecture for Semantic Navigation and Reasoning with Patient Data - Experiences of the Health-e-Child Project. - Tamas Hauer; Dmitri Rogulin; Sonja Zillner; Andrew Branson; Jetendr Shamdasani; Alexey Tsymbal; Martin Huber 001; Tony Solomonides; Richard McClatchey (ISWC, 2008)

The Neighborhood Graph for Clinical Case Retrieval and Decision Support within Health-e-Child CaseReasoner. - Alexey Tsymbal; Gabor Rendes; Martin Huber 001; Shaohua Kevin Zhou (LWA, 2009)

Personalized Pulmonary Trunk Modeling for Intervention Planning and Valve Assessment Estimated from CT Data. - Dime Vitanovski; Razvan Ioan Ionasec; Bogdan Georgescu; Martin Huber 001; Andrew Mayall Taylor; Joachim Hornegger; Dorin Comaniciu (MICCAI (1), 2009)

Fast and Robust 3-D MRI Brain Structure Segmentation. - Michael Wels; Yefeng Zheng 001; Gustavo Carneiro 001; Martin Huber 001; Joachim Hornegger; Dorin Comaniciu (MICCAI (1), 2009)

Model-driven physiological assessment of the mitral valve from 4D TEE. - Ingmar Voigt; Razvan Ioan Ionasec; Bogdan Georgescu; Helene Houle; Martin Huber 001; Joachim Hornegger; Dorin Comaniciu (Image-Guided Procedures, 2009)

Hierarchical parsing and semantic navigation of full body CT data. - Sascha Seifert; Adrian Barbu; Shaohua Kevin Zhou; David Liu 001; Johannes Feulner; Martin Huber 001; Michael Sühling; Alexander Cavallaro; Dorin Comaniciu (Image Processing, 2009)

Intelligent Medical Image Search (Intelligente Bildsuche in der Medizin). - Sonja Zillner; Martin Huber 001 (it Inf. Technol., 2009)

Lymph node detection in 3-D chest CT using a spatial prior probability. - Johannes Feulner; Shaohua Kevin Zhou; Martin Huber 001; Joachim Hornegger; Dorin Comaniciu; Alexander Cavallaro (CVPR, 2010)

Model-Based Esophagus Segmentation from CT Scans Using a Spatial Probability Map. - Johannes Feulner; Shaohua Kevin Zhou; Martin Huber 001; Alexander Cavallaro; Joachim Hornegger; Dorin Comaniciu (MICCAI (1), 2010)

Cross-Modality Assessment and Planning for Pulmonary Trunk Treatment Using CT and MRI Imaging. - Dime Vitanovski; Alexey Tsymbal; Razvan Ioan Ionasec; Bogdan Georgescu; Martin Huber 001; Andrew Mayall Taylor; Silvia Schievano; Shaohua Kevin Zhou; Joachim Hornegger; Dorin Comaniciu (MICCAI (1), 2010)

Learning discriminative distance functions for valve retrieval and improved decision support in valvular heart disease. - Ingmar Voigt; Dime Vitanovski; Razvan Ioan Ionasec; Alexey Tsymbal; Bogdan Georgescu; Shaohua Kevin Zhou; Martin Huber 001; Nassir Navab; Joachim Hornegger; Dorin Comaniciu (Image Processing, 2010)

Learning Discriminative Distance Functions for Case Retrieval and Decision Support. - Alexey Tsymbal; Martin Huber 001; Shaohua Kevin Zhou (Trans. Case Based Reason., 2010)

Medico. - Sascha Seifert; Sonja Zillner; Martin Huber 001; Michael Sintek; Daniel Sonntag; Alexander Cavallaro (Internet der Dienste, 2011)

A Probabilistic Model for Automatic Segmentation of the Esophagus in 3-D CT Scans. - Johannes Feulner; Shaohua Kevin Zhou; Matthias Hammon; Sascha Seifert; Martin Huber 001; Dorin Comaniciu; Joachim Hornegger; Alexander Cavallaro (IEEE Trans. Medical Imaging, 2011)

Gene-pair representation and incorporation of GO-based semantic similarity into classification of gene expression data. - Torsten Schön; Alexey Tsymbal; Martin Huber 001 (Intell. Data Anal., 2012)

Design and Implementation of a Semantic Dialogue System for Radiologists. - Daniel Sonntag; Martin Huber 001; Manuel Möller; Alassane Ndiaye; Sonja Zillner; Alexander Cavallaro (CoRR, 2017)