University of Birmingham

The PF-STAR Children's Speech Corpus (2005) Batliner A, Blomberg M, D'Arcy S, Elenius D, Giuliani D, Gerosa M, Hacker C, et al. Conference contribution, Conference Contribution Proof development with Ωmega (2002) Kohlhase M, Siekmann J, Benzmüller C, Franke A, Melis E, Normann I, Sorge V Conference contribution, Original article The tumour suppressor protein VHL targets hypoxia-inducible factors for oxygen-dependent proteolysis (1999) Maxwell PH, Wiesener MS, Chang GW, Clifford SC, Vaux EC, Cockman ME, Wykoff CC, et al. Journal article, Letter Palaeobotryllus and friends: Cambro-Ordovician record of probable ascidian tunicates (1999) Lehnert O, Miller JF, Cochrane K Journal article, Original article Agent-oriented integration of distributed mathematical services (1999) Franke A, Kohlhase M, Sorge V Journal article, Original article Integrating Computer Algebra into Proof Planning (1998) Kerber M, Kohlhase M, Sorge V Journal article, Original article ΩMEGA: Towards a mathematical assistant (1997) Benzmüller C, Huang X, Kohlhase M, Melis E, Siekmann J, Sorge V Conference contribution, Original article Omega MEGA: Towards a mathematical assistant (1997) Benzmüller C, Huang X, Kohlhase M, Kerber M, Melis E, Siekmann J, Sorge V Conference contribution, Original article Integrating computer algebra with proof planning (1996) Kerber M, Kohlhase M, Sorge V Conference contribution, Original article The proof development environment Ω-MKRP (1996) Huang X, Kerber M, Kohlhase M, Melis E, Richts J, Siekmann J Journal article, Original article