Helko Lehmann
According to our database1,
Helko Lehmann
authored at least 18 papers
between 1997 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
1998
2000
2002
2004
2006
2008
2010
2012
0
1
2
3
4
5
1
2
1
2
1
1
1
1
4
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
Proceedings of the Medical Imaging 2012: Image Processing, 2012
Proceedings of the Medical Image Computing and Computer-Assisted Intervention - MICCAI 2012, 2012
2010
Proceedings of the Statistical Atlases and Computational Models of the Heart, 2010
2009
Proceedings of the Medical Imaging 2009: Computer-Aided Diagnosis, 2009
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.
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.
IEEE Trans. Inf. Technol. Biomed., 2006
Visualizing the beating heart: interactive direct volume rendering of high-resolution CT time series using standard PC hardware.
Proceedings of the Medical Imaging 2006: Visualization, 2006
2005
Visualization of large medical data sets using memory-optimized CPU and GPU algorithms.
Proceedings of the Medical Imaging 2005: Visualization, 2005
2003
Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce.
Proceedings of the Logic Based Program Synthesis and Transformation, 2003
2001
2000
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000
Proceedings of the Logic for Programming and Automated Reasoning, 2000
Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction.
Proceedings of the Computational Logic, 2000
Proceedings of the Computational Logic, 2000
1998
Computation in Recurrent Neural Networks: From Counters to Iterated Function Systems.
Proceedings of the Advanced Topics in Artificial Intelligence, 1998
Proceedings of the Advanced Topics in Artificial Intelligence, 1998
1997
Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks.
Proceedings of the KI-97: Advances in Artificial Intelligence, 1997