University of Birmingham

Coproducts of Monads on Set (2012) Adámek J, Bowler N, Levy P, Milius S Conference contribution Engineered Nanomaterials (2012) Misra S, Tetley T, Thorley A, Boccaccini AR, Valsami-Jones E Book chapter / Article in edited volumes Reasoning without believing: On the mechanisation of presuppositions and partiality (2012) Kerber M, Kohlhase M Journal article, Original article Dipping in Cygnus X-2 in a multi-wavelength campaign due to absorption of extended ADC emission (2011) Balucinska-Church M, Schulz NS, Wilms J, Gibiec A, Hanke M, Spencer RE, Rushton A, Church MJ Journal article 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 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