Implementation of a geometry theorem proving package in SCRATCHPAD II. - K. Kusche; B. Kutzler; H. Mayr (EUROCAL, 1987)

Using software sensors for migrating from classical simulation systems towards virtual worlds. - H. Mayr (ECBS, 1997)

Assessment of theoretical methods for the calculation of methyl cation affinities. - Yin Wei; T. Singer; H. Mayr; G. Narahari Sastry; Hendrik Zipse (J. Comput. Chem., 2008)