Person · Open Library
- Works
- 40
Top works
- Eine Methode zur Behandlung von potentialtheoretischen Problemen mit freiem Rand mit Hilfe der nichtlinearen Optimierung
- Combined Power of Research, Education, and Dissemination
- Real Time and Such
- Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS Colloquium
- Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten
via Open Library + Wikidata
Recent publications · Crossref
5 total works indexed
- Global burden of 369 diseases and injuries in 204 countries and territories, 1990–2019: a systematic analysis for the Global Burden of Disease Study 2019
· 2020 · cited 15,320x
- The WEKA data mining software
· 2009 · cited 13,052x
- A method and server for predicting damaging missense mutations
· 2010 · cited 11,628x
- 2021 ESC Guidelines for the diagnosis and treatment of acute and chronic heart failure
· 2021 · cited 11,541x
- Global, regional, and national incidence, prevalence, and years lived with disability for 354 diseases and injuries for 195 countries and territories, 1990–2017: a systematic analysis for the Global Burden of Disease Study 2017
· 2018 · cited 10,795x
via Crossref · CC0