Articles in Scholarly Journals [Incomplete List]

1. Equivalence Checking of Arithmetic Circuits on the Arithmetic Bit Level
   IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 23, no. 5, pp. 586–597, 2004
2. Structural FSM Traversal
   IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 23, no. 5, pp. 598–619, 2004
3. Layout driven retiming using the coupled edge timing model
   IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 22, no. 7, pp. 825–835, 2003
4. LOT: Logic Optimization with Testability. New transformations for logic synthesis
   IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 17, no. 5, pp. 386–399, 1998
5. Logic optimization and equivalence checking by implication analysis
   IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 16, no. 3, pp. 266–281, 1997
6. A novel framework for logic verification in a synthesis environment
   IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 15, no. 1, pp. 20–32, 1996
7. Recursive learning: a new implication technique for efficient solutions to CAD problems-test, verification, and optimization
   IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 13, no. 9, pp. 1143–1158, 1994
8. Contribution to Control of Mitochondrial Oxidative Phosphorylation by Supplement of Reducing Equivalents
   Biochemical Medicine and Metabolic Biology, vol. 52, no. 1, pp. 65–75, 1994
9. The influence of the cytosolic oncotic pressure on the permeability of the mitochondrial outer membrane for ADP: implications for the kinetic properties of mitochondrial creatine kinase and for ADP channelling into the intermembrane space
   Molecular and Cellular Biochemistry, vol. 133-134, no. 1, pp. 85–104, 1994
10. Accelerated dynamic learning for test pattern generation in combinational circuits
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 12, no. 5, pp. 684–694, 1993
11. Kinetic limitations in the overall reaction of mitochondrial oxidative phosphorylation accounting for flux-dependent changes in the apparent ?GexP/??H+ ratio
    FEBS Letters, vol. 233, no. 1, pp. 17–21, 1988
12. On the mechanism of the so-called uncoupling effect of medium- and short-chain fatty acids
    Biochimica et Biophysica Acta (BBA) - Bioenergetics, vol. 936, no. 3, pp. 280–288, 1988
13. Dynamic compartmentation of adenine nucleotides in the mitochondrial intermembrane space of rat-heart mitochondria
    Biochimica et Biophysica Acta (BBA) - Bioenergetics, vol. 890, no. 2, pp. 117–126, 1987
14. Interdependence of mitochondrial ATP production and extramitochondrial ATP utilization in intact spermatozoa
    Biochimica et Biophysica Acta (BBA) - Bioenergetics, vol. 808, no. 2, pp. 316–322, 1985
15. Control of mitochondrial respiration. The contribution of the adenine nucleotide translocator depends on the ATP- and ADP-consuming enzymes
    Biochimica et Biophysica Acta (BBA) - Bioenergetics, vol. 722, no. 2, pp. 381–391, 1983
16. Control of mitochondrial respiration
    FEBS Letters, vol. 151, no. 1, pp. 1–9, 1983
17. Relations between extramitochondrial and intramitochondrial adenine nucleotide systems
    Archives of Biochemistry and Biophysics, vol. 209, no. 1, pp. 219–229, 1981
18. Investigation of the dependence of the intramitochondrial [ATP]/[ADP] ratio on the respiration rate
    Biochimica et Biophysica Acta (BBA) - Bioenergetics, vol. 593, no. 2, pp. 196–203, 1980
19. (?)-Acetylcarnitin und Succinatoxydation
    Die Naturwissenschaften, vol. 51, no. 15, pp. 362–362, 1964