University of Birmingham

Multidisciplinary Free Material Optimization (2010) Haslinger J, Kocvara M, Leugering G, Stingl M Journal article A New Non-linear Semidefinite Programming Algorithm with an Application to Multidisciplinary Free Material Optimization (2009) Stingl M, Kocvara M, Leugering G Book chapter / Article in edited volumes Interactions of LSECtin and DC-SIGN/DC-SIGNR with viral ligands: Differential pH dependence, internalization and virion binding (2008) Gramberg T, Soilleux E, Fisch T, Lalor PF, Hofmann H, Wheeldon S, Cotterill A, et al. Journal article, Original article 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 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