Helko Lehmann

Publication Activity (10 Years)

Years Active: 1997-2012
Publications (10 Years): 0

Top Venues

MICCAI (2)

Medical Imaging: Image Processing

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Dominik Kutra, Axel Saalbach, Helko Lehmann, Alexandra Groth, Sebastian P. M. Dries, Martin W. Krueger, Olaf Dössel, Jürgen Weese
Automatic Multi-model-Based Segmentation of the Left Atrium in Cardiac MRI Scans. MICCAI (2) (2012)
Alexandra Groth, Jürgen Weese, Helko Lehmann
Robust left ventricular myocardium segmentation for multi-protocol MR. Medical Imaging: Image Processing (2012)
Jürgen Weese, Jochen Peters, Carsten Meyer, Irina Wächter, Reinhard Kneser, Helko Lehmann, Olivier Ecabert, Hans Barschdorf, Raghed Hanna, Frank M. Weber
The Generation of Patient-Specific Heart Models for Diagnosis and Interventions. STACOM/CESC (2010)
Reinhard Kneser, Helko Lehmann, Dieter Geller, Yue-Chen Qian, Jürgen Weese
Toward knowledge-enhanced viewing using encyclopedias and model-based segmentation. Medical Imaging: Computer-Aided Diagnosis (2009)
Helko Lehmann, Reinhard Kneser, Mirja Neizel, Jochen Peters, Olivier Ecabert, Harald Kühl, Malte Kelm, Jürgen Weese
Integrating Viability Information into a Cardiac Model for Interventional Guidance. FIMH (2009)
Helko Lehmann, Dieter Geller, Jürgen Weese, Gundolf Kiefer
Efficient hardware accelerated rendering of multiple volumes by data dependent local render functions. Medical Imaging: Image-Guided Procedures (2007)
Helko Lehmann, Olivier Ecabert, Dieter Geller, Gundolf Kiefer, Jürgen Weese
Visualizing the beating heart: interactive direct volume rendering of high-resolution CT time series using standard PC hardware. Medical Imaging: Image-Guided Procedures (2006)
Gundolf Kiefer, Helko Lehmann, Jürgen Weese
Fast Maximum Intensity Projections of Large Medical Data Sets by Exploiting Hierarchical Memory Architectures. IEEE Trans. Inf. Technol. Biomed. 10 (2) (2006)
Gundolf Kiefer, Helko Lehmann, Jürgen Weese
Visualization of large medical data sets using memory-optimized CPU and GPU algorithms. Medical Imaging: Image-Guided Procedures (2005)
Helko Lehmann, Michael Leuschel
Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce. LOPSTR (2003)
Michael Leuschel, Helko Lehmann
Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction. Computational Logic (2000)
Helko Lehmann, Michael Leuschel
Solving Planning Problems by Partial Deduction. LPAR (2000)
Michael Leuschel, Helko Lehmann
Solving coverability problems of petri nets by partial deduction. PPDP (2000)
Helko Lehmann, Michael Leuschel
Decidability Results for the Propositional Fluent Calculus. Computational Logic (2000)
Sven-Erik Bornscheuer, Helko Lehmann
On the Combination of Partial Action Descriptions. Australian Joint Conference on Artificial Intelligence (1998)
Yvonne Kalinke, Helko Lehmann
Computation in Recurrent Neural Networks: From Counters to Iterated Function Systems. Australian Joint Conference on Artificial Intelligence (1998)
Steffen Hölldobler, Yvonne Kalinke, Helko Lehmann
Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks. KI (1997)

Helko Lehmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Helko Lehmann