Bernhard Scholz

University College of the Cayman Islands · AU

Area of research

Hardware and Architecture · Software

Research interest

Research interests include Parallel Computing and Optimization Techniques, Software Testing and Debugging Techniques, Embedded Systems Design Techniques, and Logic, programming, and type systems.

h-index

citations

3,536

works

221

NIH funding

—

primary concept

—

✉ Find email ↗

Recent publications

Ethainter: a smart contract security analyzer for composite vulnerabilities

2020cited by 150position: middledoi

Gigahorse: Thorough, Declarative Decompilation of Smart Contracts

2019cited by 127position: middledoi

MadMax: surviving out-of-gas conditions in Ethereum smart contracts

Proceedings of the ACM on Programming Languages 2018cited by 344position: middledoi

Implant-specific follow-up imaging of treated intracranial aneurysms: TOF-MRA vs. metal artifact reduced intravenous flat panel computed tomography angiography (FPCTA)

Clinical Radiology 2017cited by 8position: middledoi

Soufflé: On Synthesis of Program Analyzers

Lecture notes in computer science 2016cited by 123position: middledoi

Grants

No grants ingested yet.

Frequent collaborators

Lexi Brent · University of Sydney3 papers (2018–2020)Yannis Smaragdakis · University of Massachusetts Amherst3 papers (2018–2020)Neville Grech · National and Kapodistrian University of Athens3 papers (2018–2020)Omid Nikoubashman · Johannes Gutenberg University Mainz1 papers (2017–2017)Marc A. Brockmann · Johannes Gutenberg University Mainz1 papers (2017–2017)Anton Jurisevic · The University of Sydney1 papers (2018–2018)Pavle Subotić · Seattle University1 papers (2016–2016)Martin Wiesmann · Johannes Gutenberg University Mainz1 papers (2017–2017)Sifis Lagouvardos · National and Kapodistrian University of Athens1 papers (2020–2020)N.H. Hänsel · Johannes Gutenberg University Mainz1 papers (2017–2017)Gerrit Alexander Schubert · Charité - Universitätsmedizin Berlin1 papers (2017–2017)Mohamed I. A. Othman · Sohag University1 papers (2017–2017)Rastislav Pjontek · Johannes Gutenberg University Mainz1 papers (2017–2017)Michael Kong · The University of Sydney1 papers (2018–2018)— · 1 papers (2016–2016)