Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Helko Lehmann
@inproceedings{DBLP:conf/miccai/KutraSLGDKDW12,
author = {Dominik Kutra and
Axel Saalbach and
Helko Lehmann and
Alexandra Groth and
Sebastian P. M. Dries and
Martin W. Krueger and
Olaf D{\"{o}}ssel and
J{\"{u}}rgen Weese},
editor = {Nicholas Ayache and
Herv{\'{e}} Delingette and
Polina Golland and
Kensaku Mori},
title = {Automatic Multi-model-Based Segmentation of the Left Atrium in Cardiac
{MRI} Scans},
booktitle = {Medical Image Computing and Computer-Assisted Intervention - {MICCAI}
2012 - 15th International Conference, Nice, France, October 1-5, 2012,
Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7511},
pages = {1--8},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33418-4\_1},
doi = {10.1007/978-3-642-33418-4\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/miccai/KutraSLGDKDW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miip/GrothWL12,
author = {Alexandra Groth and
J{\"{u}}rgen Weese and
Helko Lehmann},
editor = {David R. Haynor and
S{\'{e}}bastien Ourselin},
title = {Robust left ventricular myocardium segmentation for multi-protocol
{MR}},
booktitle = {Medical Imaging 2012: Image Processing, San Diego, California, USA,
February 4, 2012},
series = {{SPIE} Proceedings},
volume = {8314},
pages = {83142S},
publisher = {{SPIE}},
year = {2012},
url = {https://doi.org/10.1117/12.911201},
doi = {10.1117/12.911201},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/miip/GrothWL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/WeesePMWKLEBHW10,
author = {J{\"{u}}rgen Weese and
Jochen Peters and
Carsten Meyer and
Irina W{\"{a}}chter and
Reinhard Kneser and
Helko Lehmann and
Olivier Ecabert and
Hans Barschdorf and
Raghed Hanna and
Frank M. Weber},
editor = {Oscar Camara and
Mihaela Pop and
Kawal S. Rhode and
Maxime Sermesant and
Nic Smith and
Alistair A. Young},
title = {The Generation of Patient-Specific Heart Models for Diagnosis and
Interventions},
booktitle = {Statistical Atlases and Computational Models of the Heart, First International
Workshop, {STACOM} 2010, and Cardiac Electrophysiological Simulation
Challenge, {CESC} 2010, Held in Conjunction with {MICCAI} 2010, Beijing,
China, September 20, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6364},
pages = {25--35},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15835-3\_3},
doi = {10.1007/978-3-642-15835-3\_3},
timestamp = {Thu, 16 Mar 2023 20:00:44 +0100},
biburl = {https://dblp.org/rec/conf/miccai/WeesePMWKLEBHW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fimh/LehmannKNPEKKW09,
author = {Helko Lehmann and
Reinhard Kneser and
Mirja Neizel and
Jochen Peters and
Olivier Ecabert and
Harald K{\"{u}}hl and
Malte Kelm and
J{\"{u}}rgen Weese},
editor = {Nicholas Ayache and
Herv{\'{e}} Delingette and
Maxime Sermesant},
title = {Integrating Viability Information into a Cardiac Model for Interventional
Guidance},
booktitle = {Functional Imaging and Modeling of the Heart, 5th International Conference,
{FIMH} 2009, Nice, France, June 3-5, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5528},
pages = {312--320},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01932-6\_34},
doi = {10.1007/978-3-642-01932-6\_34},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fimh/LehmannKNPEKKW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micad/KneserLGQW09,
author = {Reinhard Kneser and
Helko Lehmann and
Dieter Geller and
Yue{-}Chen Qian and
J{\"{u}}rgen Weese},
editor = {Nico Karssemeijer and
Maryellen L. Giger},
title = {Toward knowledge-enhanced viewing using encyclopedias and model-based
segmentation},
booktitle = {Medical Imaging 2009: Computer-Aided Diagnosis, Lake Buena Vista (Orlando
Area), Florida, United States, 7-12 February 2009},
series = {{SPIE} Proceedings},
volume = {7260},
pages = {72601D},
publisher = {{SPIE}},
year = {2009},
url = {https://doi.org/10.1117/12.811587},
doi = {10.1117/12.811587},
timestamp = {Thu, 17 May 2018 17:35:39 +0200},
biburl = {https://dblp.org/rec/conf/micad/KneserLGQW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miigp/LehmannGWK07,
author = {Helko Lehmann and
Dieter Geller and
J{\"{u}}rgen Weese and
Gundolf Kiefer},
editor = {Kevin R. Cleary and
Michael I. Miga},
title = {Efficient hardware accelerated rendering of multiple volumes by data
dependent local render functions},
booktitle = {Medical Imaging 2007: Visualization and Image-Guided Procedures, San
Diego, CA, United States, 17-22 February 2007},
series = {{SPIE} Proceedings},
volume = {6509},
pages = {65091Z},
publisher = {{SPIE}},
year = {2007},
url = {https://doi.org/10.1117/12.709197},
doi = {10.1117/12.709197},
timestamp = {Wed, 23 May 2018 15:10:40 +0200},
biburl = {https://dblp.org/rec/conf/miigp/LehmannGWK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/KieferLW06,
author = {Gundolf Kiefer and
Helko Lehmann and
J{\"{u}}rgen Weese},
title = {Fast Maximum Intensity Projections of Large Medical Data Sets by Exploiting
Hierarchical Memory Architectures},
journal = {{IEEE} Trans. Inf. Technol. Biomed.},
volume = {10},
number = {2},
pages = {385--394},
year = {2006},
url = {https://doi.org/10.1109/TITB.2005.863871},
doi = {10.1109/TITB.2005.863871},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/titb/KieferLW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miigp/LehmannEGKW06,
author = {Helko Lehmann and
Olivier Ecabert and
Dieter Geller and
Gundolf Kiefer and
J{\"{u}}rgen Weese},
editor = {Kevin R. Cleary and
Robert L. Galloway Jr.},
title = {Visualizing the beating heart: interactive direct volume rendering
of high-resolution {CT} time series using standard {PC} hardware},
booktitle = {Medical Imaging 2006: Visualization, Image-Guided Procedures, and
Display, San Diego, California, United States, 11-16 February 2006},
series = {{SPIE} Proceedings},
volume = {6141},
pages = {614109},
publisher = {{SPIE}},
year = {2006},
url = {https://doi.org/10.1117/12.652087},
doi = {10.1117/12.652087},
timestamp = {Fri, 25 May 2018 12:25:22 +0200},
biburl = {https://dblp.org/rec/conf/miigp/LehmannEGKW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miigp/KieferLW05,
author = {Gundolf Kiefer and
Helko Lehmann and
J{\"{u}}rgen Weese},
editor = {Robert L. Galloway and
Kevin R. Cleary},
title = {Visualization of large medical data sets using memory-optimized {CPU}
and {GPU} algorithms},
booktitle = {Medical Imaging 2005: Visualization, Image-Guided Procedures, and
Display, San Diego, California, United States, 12-17 February 2005},
series = {{SPIE} Proceedings},
volume = {5744},
publisher = {{SPIE}},
year = {2005},
url = {https://doi.org/10.1117/12.595025},
doi = {10.1117/12.595025},
timestamp = {Tue, 22 May 2018 14:55:03 +0200},
biburl = {https://dblp.org/rec/conf/miigp/KieferLW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LehmannL03,
author = {Helko Lehmann and
Michael Leuschel},
editor = {Maurice Bruynooghe},
title = {Inductive Theorem Proving by Program Specialisation: Generating Proofs
for Isabelle Using Ecce},
booktitle = {Logic Based Program Synthesis and Transformation, 13th International
Symposium {LOPSTR} 2003, Uppsala, Sweden, August 25-27, 2003, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3018},
pages = {1--19},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25938-1\_1},
doi = {10.1007/978-3-540-25938-1\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LehmannL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Lehmann01,
author = {Helko Lehmann},
title = {On reasoning about action and change in the Fluent Calculus},
school = {University of Southampton, {UK}},
year = {2001},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.249592},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Lehmann01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/LeuschelL00,
author = {Michael Leuschel and
Helko Lehmann},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {Coverability of Reset Petri Nets and Other Well-Structured Transition
Systems by Partial Deduction},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {101--115},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_7},
doi = {10.1007/3-540-44957-4\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/LeuschelL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/LehmannL00,
author = {Helko Lehmann and
Michael Leuschel},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {Decidability Results for the Propositional Fluent Calculus},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {762--776},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_51},
doi = {10.1007/3-540-44957-4\_51},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cl/LehmannL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LehmannL00,
author = {Helko Lehmann and
Michael Leuschel},
editor = {Michel Parigot and
Andrei Voronkov},
title = {Solving Planning Problems by Partial Deduction},
booktitle = {Logic for Programming and Automated Reasoning, 7th International Conference,
{LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1955},
pages = {451--468},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44404-1\_29},
doi = {10.1007/3-540-44404-1\_29},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/LehmannL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/LeuschelL00,
author = {Michael Leuschel and
Helko Lehmann},
editor = {Maurizio Gabbrielli and
Frank Pfenning},
title = {Solving coverability problems of petri nets by partial deduction},
booktitle = {Proceedings of the 2nd international {ACM} {SIGPLAN} conference on
on Principles and practice of declarative programming, Montreal, Canada,
September 20-23, 2000},
pages = {268--279},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/351268.351298},
doi = {10.1145/351268.351298},
timestamp = {Tue, 27 Nov 2018 15:37:24 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/LeuschelL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/BornscheuerL98,
author = {Sven{-}Erik Bornscheuer and
Helko Lehmann},
editor = {Grigoris Antoniou and
John K. Slaney},
title = {On the Combination of Partial Action Descriptions},
booktitle = {Advanced Topics in Artificial Intelligence, 11th Australian Joint
Conference on Artificial Intelligence, {AI} '98, Brisbane, Australia,
July 13-17, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1502},
pages = {95--106},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0095044},
doi = {10.1007/BFB0095044},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/BornscheuerL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/KalinkeL98,
author = {Yvonne Kalinke and
Helko Lehmann},
editor = {Grigoris Antoniou and
John K. Slaney},
title = {Computation in Recurrent Neural Networks: From Counters to Iterated
Function Systems},
booktitle = {Advanced Topics in Artificial Intelligence, 11th Australian Joint
Conference on Artificial Intelligence, {AI} '98, Brisbane, Australia,
July 13-17, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1502},
pages = {179--190},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0095051},
doi = {10.1007/BFB0095051},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/KalinkeL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HolldoblerKL97,
author = {Steffen H{\"{o}}lldobler and
Yvonne Kalinke and
Helko Lehmann},
editor = {Gerhard Brewka and
Christopher Habel and
Bernhard Nebel},
title = {Designing a Counter: Another Case Study of Dynamics and Activation
Landscapes in Recurrent Networks},
booktitle = {{KI-97:} Advances in Artificial Intelligence, 21st Annual German Conference
on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1303},
pages = {313--324},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3540634932\_25},
doi = {10.1007/3540634932\_25},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/HolldoblerKL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
