Concepedia

Ulrich Kühne

UK

Statistics

Publications

26

Citations

725

H-Index

17

Active since

2006

Affiliations

University of Bremen(Current)

Goethe University Frankfurt

University of California, Berkeley

Wellcome Sanger Institute

New York University

Ulrich Kühne is an author at University of Bremen specializing in computer science, computing, and computer engineering.

Publications per year

2006–2022

26

Publications

26

Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction

Amr Sayed-Ahmed, Daniel Große, Ulrich Kühne et al. · 2016 · 80 citations · Full text

Computing, Computer Engineering, Computer Science +16

Co-Design of a Trustworthy AI System in Healthcare: Deep Learning Based Skin Lesion Classifier

Roberto V. Zicari, Sheraz Ahmed, Julia Amann et al. · Frontiers in Human Dynamics · 2021 · 67 citations · Full text

Computing, Computer Science, Dermatology +17

HW/SW co-verification of embedded systems using bounded model checking

Ulrich Kühne, Rolf Drechsler · 2006 · 53 citations

Engineering, Computer Engineering, Computer Science +16

On Assessing Trustworthy AI in Healthcare. Machine Learning as a Supportive Tool to Recognize Cardiac Arrest in Emergency Calls

Roberto V. Zicari, James Brusseau, Stig Nikolaj Fasmer Blomberg et al. · Frontiers in Human Dynamics · 2021 · 51 citations · Full text

Computing, Computer Science, Artificial Intelligence +10

Treatment of the ageing hand with dermal fillers

Ulrich Kühne, Matthias Imhof · Journal of Cutaneous and Aesthetic Surgery · 2012 · 42 citations · Full text

Medicine, Surgery, Reconstructive Surgery +14

1–5 of 26