Helko Lehmann

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