Michael Weber

Using high-performance quantitative NMR (HP-qNMR®) for certifying traceable and highly accurate purity values of organic reference materials with uncertainties <0.1 %

Michael Weber, Christine Hellriegel, Alex Rück et al. · Accreditation and Quality Assurance · 2013 · 77 citations · Full text

Engineering, Chemical Analysis, Measurement +22

Detection of symmetry of Boolean functions represented by ROBDDs

Dirk Möller, Janett Mohnke, Michael Weber · International Conference on Computer Aided Design · 1993 · 61 citations

Circuit Complexity, Logic Synthesis, Logic Optimization +14

Using high-performance 1H NMR (HP-qNMR®) for the certification of organic reference materials under accreditation guidelines—Describing the overall process with focus on homogeneity and stability assessment

Michael Weber, Christine Hellriegel, Alexander Rueck et al. · Journal of Pharmaceutical and Biomedical Analysis · 2013 · 53 citations · Full text

Engineering, H Qnmr Measurements, Organic Reference Materials +24

The Uncertainty of Weighing Data Obtained with Electronic Analytical Balances

Arthur Reichmuth, Samuel Wunderli, Michael Weber et al. · Microchimica Acta · 2004 · 52 citations

Reliability, Precision Measurement, Engineering +11

Boosting multi-core reachability performance with shared hash tables

Alfons Laarman, Jaco van de Pol, Michael Weber · Formal Methods in Computer-Aided Design · 2010 · 49 citations

Cluster Computing, State Storage, Engineering +21