| |
| 2008 | ||
|---|---|---|
| 3 | EE | Y. Wei, T. Singer, H. Mayr, G. N. Sastry, H. Zipse: Assessment of theoretical methods for the calculation of methyl cation affinities. Journal of Computational Chemistry 29(2): 291-297 (2008) |
| 1997 | ||
| 2 | EE | H. Mayr: Using software sensors for migrating from classical simulation systems towards virtual worlds. ECBS 1997: 105-112 |
| 1987 | ||
| 1 | K. Kusche, B. Kutzler, H. Mayr: Implementation of a geometry theorem proving package in SCRATCHPAD II. EUROCAL 1987: 246-257 | |
| 1 | K. Kusche | [1] |
| 2 | B. Kutzler | [1] |
| 3 | G. N. Sastry | [3] |
| 4 | T. Singer | [3] |
| 5 | Y. Wei | [3] |
| 6 | H. Zipse | [3] |