Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks. - Steffen Hölldobler; Yvonne Kalinke; Helko Lehmann (KI, 1997)

On the Combination of Partial Action Descriptions. - Sven-Erik Bornscheuer; Helko Lehmann (Australian Joint Conference on Artificial Intelligence, 1998)

Computation in Recurrent Neural Networks: From Counters to Iterated Function Systems. - Yvonne Kalinke; Helko Lehmann (Australian Joint Conference on Artificial Intelligence, 1998)

Decidability Results for the Propositional Fluent Calculus. - Helko Lehmann; Michael Leuschel (Computational Logic, 2000)

Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction. - Michael Leuschel; Helko Lehmann (Computational Logic, 2000)

Solving Planning Problems by Partial Deduction. - Helko Lehmann; Michael Leuschel (LPAR, 2000)

Solving coverability problems of petri nets by partial deduction. - Michael Leuschel; Helko Lehmann (PPDP, 2000)

On reasoning about action and change in the Fluent Calculus. - Helko Lehmann (2001)

Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce. - Helko Lehmann; Michael Leuschel (LOPSTR, 2003)

Visualization of large medical data sets using memory-optimized CPU and GPU algorithms. - Gundolf Kiefer; Helko Lehmann; Jürgen Weese (Image-Guided Procedures, 2005)

Visualizing the beating heart: interactive direct volume rendering of high-resolution CT time series using standard PC hardware. - Helko Lehmann; Olivier Ecabert; Dieter Geller; Gundolf Kiefer; Jürgen Weese (Image-Guided Procedures, 2006)

Fast Maximum Intensity Projections of Large Medical Data Sets by Exploiting Hierarchical Memory Architectures. - Gundolf Kiefer; Helko Lehmann; Jürgen Weese (IEEE Trans. Inf. Technol. Biomed., 2006)

Efficient hardware accelerated rendering of multiple volumes by data dependent local render functions. - Helko Lehmann; Dieter Geller; Jürgen Weese; Gundolf Kiefer (Image-Guided Procedures, 2007)

Integrating Viability Information into a Cardiac Model for Interventional Guidance. - Helko Lehmann; Reinhard Kneser; Mirja Neizel; Jochen Peters; Olivier Ecabert; Harald Kühl; Malte Kelm; Jürgen Weese (FIMH, 2009)

Toward knowledge-enhanced viewing using encyclopedias and model-based segmentation. - Reinhard Kneser; Helko Lehmann; Dieter Geller; Yue-Chen Qian; Jürgen Weese (Computer-Aided Diagnosis, 2009)

The Generation of Patient-Specific Heart Models for Diagnosis and Interventions. - Jürgen Weese; Jochen Peters; Carsten Meyer; Irina Wächter; Reinhard Kneser; Helko Lehmann; Olivier Ecabert; Hans Barschdorf; Raghed Hanna; Frank M. Weber (STACOM/CESC, 2010)

Automatic Multi-model-Based Segmentation of the Left Atrium in Cardiac MRI Scans. - Dominik Kutra; Axel Saalbach; Helko Lehmann; Alexandra Groth; Sebastian P. M. Dries; Martin W. Krueger; Olaf Dössel; Jürgen Weese (MICCAI (2), 2012)

Robust left ventricular myocardium segmentation for multi-protocol MR. - Alexandra Groth; Jürgen Weese; Helko Lehmann (Image Processing, 2012)