Helko Lehmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1997–2012
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | MICCAI | 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 Dssel, Jrgen Weese |
| 2010 | MICCAI | The Generation of Patient-Specific Heart Models for Diagnosis and Interventions. | Jrgen Weese, Jochen Peters, Carsten Meyer, Irina Wchter, Reinhard Kneser, Helko Lehmann, Olivier Ecabert, Hans Barschdorf, Raghed Hanna, Frank M. Weber |
| 2003 | LOPSTR | Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce. | Helko Lehmann, Michael Leuschel |
| 2000 | LPAR | Solving Planning Problems by Partial Deduction. | Helko Lehmann, Michael Leuschel |
| 2000 | PPDP | Solving coverability problems of petri nets by partial deduction. | Michael Leuschel, Helko Lehmann |
| 1997 | KI | Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks. | Steffen Hlldobler, Yvonne Kalinke, Helko Lehmann |