Concepedia

Ulrich Hannemann

UH

Statistics

Publications

3

Citations

85

H-Index

3

Active since

1998

Affiliations

Hamilton Medical (Switzerland)(Current)

Ulrich Hannemann is an author at Hamilton Medical (Switzerland) specializing in computer science, computing, and formal methods.

Publications per year

1998–2006

3

Publications

3

Changes in pulmonary mechanics after fiberoptic bronchoalveolar lavage in mechanically ventilated patients

U. Klein, Waheedullah Karzai, Patricia R. Zimmermann et al. · Intensive Care Medicine · 1998 · 40 citations

, , +16

Verification of hybrid systems: formalization and proof rules in PVS

Erika Ábrahám, Ulrich Hannemann, Martín Steffen · 2002 · 35 citations

, , +16

The HybridUML profile for UML 2.0

Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann et al. · International Journal on Software Tools for Technology Transfer · 2006 · 10 citations

, , +10

1–3 of 3