Christoph Scholl

Checking equivalence for partial implementations

Christoph Scholl, Bernd Becker · 2001 · 81 citations

Computing, Computer Engineering, Computer Science +5

BDD minimization using symmetries

Christoph Scholl, Dirk Möller, Paul Molitor et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1999 · 74 citations

Natural Sciences, Computer Engineering, Computer Science +16

Studies on lung surfactant replacement in respiratory distress syndrome. Rapid film formation from binary mixed liposomes

Michael Obladen, D. Popp, Christoph Scholl et al. · Biochimica et Biophysica Acta (BBA) - Biomembranes · 1983 · 54 citations

Pharmacy, Biochemistry, Drug Delivery +16

Towards Formal Verification of Optimized and Industrial Multipliers

Alireza Mahzoon, Daniel Grose, Christoph Scholl et al. · 2020 · 47 citations

Computing, Computer Engineering, Computer Science +14

Exploiting structure in an AIG based QBF solver

Florian Pigorsch, Christoph Scholl · 2009 · 37 citations

Computing, Computer Science, Algorithms +9