Bernd Becker

Researcher Next ID · RN-000527

Professor · Computer Science

Freiburg im Breisgau, Germany

Not currently recruitingFunding unknown

About

687 publications and 7,889 citations recorded on OpenAlex.

Computer Science

VLSI and Analog Circuit Testing

Formal Methods in Verification

Integrated Circuits and Semiconductor Failure Analysis

Radiation Effects in Electronics

Software Testing and Debugging Techniques

Binary Decision Diagrams: Theory and Implementation
Medical Entomology and Zoology · 2013
A survey of the 2006–2009 quartz crystal microbalance biosensor literature
Journal of Molecular Recognition · 2011 · 10.1002/jmr.1117
A Definition and Classification of Timing Anomalies
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2006 · 10.4230/oasics.wcet.2006.671
Binary Decision Diagrams
Journal · 1998 · 10.1007/978-1-4757-2892-7
Efficient representation and manipulation of switching functions based on ordered Kronecker functional decision diagrams
Journal · 1994 · 10.1145/196244.196444

No projects listed.