Australia (AU)

Sound and Complete Equational Reasoning over Comodels (2015) Schröder L, Pattinson D Conference contribution, Original article Simplified Coalgebraic Trace Equivalence (2015) Kurz A, Milius S, Pattinson D, Schröder L Book chapter / Article in edited volumes XMM-Newton study of 30 Doradus C and a newly identified MCSNR J0536-6913 in the Large Magellanic Cloud (2015) Kavanagh PJ, Sasaki M, Bozzetto LM, Filipovic MD, Points SD, Maggi P, Haberl F Journal article 7th International Workshop on Osteoarthritis Imaging report: "imaging in OA--now is the time to move ahead" (2015) Guermazi A, Eckstein F, Hunter D, Roemer F Journal article Oxygen diffusion in marine-derived tissue engineering scaffolds (2015) Boccardi E, Belova IV, Murch GE, Boccaccini AR, Fiedler T Journal article, Original article Generic Trace Semantics and Graded Monads (2015) Milius S, Pattinson D, Schröder L Conference contribution, Original article Reasoning with Global Assumptions in Arithmetic Modal Logics (2015) Kupke C, Pattinson D, Schröder L Conference contribution Response to: 'Synovitis in knee osteoarthritis: a precursor or concomitant feature?' by Zeng et al (2015) Atukorala I, Kwoh CK, Guermazi A, Roemer F, Boudreau R, Hannon MJ, Hunter DJ Journal article, Letter A common variant mapping to CACNA1A is associated with susceptibility to exfoliation syndrome (2015) Aung T, Ozaki M, Mizoguchi T, Allingham RR, Li Z, Haripriya A, Nakano S, et al. Journal article Regional resources buffer the impact of functional limitations on perceived autonomy in older adults with multiple illnesses. (2015) Wolff JK, Schüz B, Westland JN, Tesch-Römer C, Wurm S, Schwarzer R, Warner LM, Wolff JK Journal article, Original article