H. Mayr

Implementation of a geometry theorem proving package in SCRATCHPAD II

K. Kusche, B. Kutzler, H. Mayr, 1987, EUROCAL.

Performance by integration of intelligent simulation and optimization tools in production planning and control systems for SME's

H. Mayr, W. Krug, J. Liebelt, 1999 .

Assessment of theoretical methods for the calculation of methyl cation affinities

H. Mayr, Yin Wei, Hendrik Zipse, 2008, Journal of Computational Chemistry.

Using software sensors for migrating from classical simulation systems towards virtual worlds

H. Mayr, H. Mayr, 1997, Proceedings International Conference and Workshop on Engineering of Computer-Based Systems.