Helko Lehmann

According to our database, Helko Lehmann authored at least 18 papers between 1997 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Robust left ventricular myocardium segmentation for multi-protocol MR.

Alexandra Groth, Jürgen Weese, Helko Lehmann

Proceedings of the Medical Imaging 2012: Image Processing, 2012

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

Proceedings of the Medical Image Computing and Computer-Assisted Intervention - MICCAI 2012, 2012

2010

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

Proceedings of the Statistical Atlases and Computational Models of the Heart, 2010

2009

Toward knowledge-enhanced viewing using encyclopedias and model-based segmentation.

Reinhard Kneser, Helko Lehmann, Dieter Geller, Yue-Chen Qian, Jürgen Weese

Proceedings of the Medical Imaging 2009: Computer-Aided Diagnosis, 2009

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

Proceedings of the Functional Imaging and Modeling of the Heart, 2009

2007

Efficient hardware accelerated rendering of multiple volumes by data dependent local render functions.

Helko Lehmann, Dieter Geller, Jürgen Weese, Gundolf Kiefer

Proceedings of the Medical Imaging 2007: Visualization and Image-Guided Procedures, 2007

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

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

Proceedings of the Medical Imaging 2006: Visualization, 2006

2005

Visualization of large medical data sets using memory-optimized CPU and GPU algorithms.

Gundolf Kiefer, Helko Lehmann, Jürgen Weese

Proceedings of the Medical Imaging 2005: Visualization, 2005

2003

Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce.

Helko Lehmann, Michael Leuschel

Proceedings of the Logic Based Program Synthesis and Transformation, 2003

2001

On reasoning about action and change in the Fluent Calculus.

Helko Lehmann

PhD thesis, 2001

2000

Solving coverability problems of petri nets by partial deduction.

Michael Leuschel, Helko Lehmann

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

Solving Planning Problems by Partial Deduction.

Helko Lehmann, Michael Leuschel

Proceedings of the Logic for Programming and Automated Reasoning, 2000

Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction.

Michael Leuschel, Helko Lehmann

Proceedings of the Computational Logic, 2000

Decidability Results for the Propositional Fluent Calculus.

Helko Lehmann, Michael Leuschel

Proceedings of the Computational Logic, 2000

1998

Computation in Recurrent Neural Networks: From Counters to Iterated Function Systems.

Yvonne Kalinke, Helko Lehmann

Proceedings of the Advanced Topics in Artificial Intelligence, 1998

On the Combination of Partial Action Descriptions.

Sven-Erik Bornscheuer, Helko Lehmann

Proceedings of the Advanced Topics in Artificial Intelligence, 1998

1997

Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks.

Steffen Hölldobler, Yvonne Kalinke, Helko Lehmann

Proceedings of the KI-97: Advances in Artificial Intelligence, 1997