Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Bernd Becker

Incremental Preprocessing Methods for Use in BMC

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2011English

Parallel QBF Solving With Advanced Knowledge Sharing

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2011English

Exact Logic and Fault Simulation in Presence of Unknowns

ACM Transactions on Design Automation of Electronic Systems
Computer Science ApplicationsElectronic EngineeringComputer GraphicsElectricalComputer-Aided Design
2014English

Variation-Aware Deterministic ATPG

2014English

Loss of Dipeptidyl Peptidase IV Immunostaining Discriminates Malignant Melanomas From Deep Penetrating Nevi

Modern Pathology
Forensic MedicinePathology
2006English

German Oak and Pine 14C Calibration, 7200–9439 BC

Radiocarbon
ArcheologyPlanetary SciencesEarth
1993English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy