Australian National University (ANU)

Simplified Coalgebraic Trace Equivalence (2015) Kurz A, Milius S, Pattinson D, Schröder L Book chapter / Article in edited volumes 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 LOFAR tied-array imaging of Type III solar radio bursts (2014) Morosan DE, Gallagher PT, Zucca P, Fallows R, Carley EP, Mann G, Bisi MM, et al. Journal article Initial LOFAR observations of epoch of reionization windows II. Diffuse polarized emission in the ELAIS-N1 field (2014) Jelic V, De Bruyn AG, Mevius M, Abdalla FB, Asad KMB, Bernardi G, Brentjens MA, et al. Journal article Coset Constructions of Logarithmic (1, p) Models (2014) Creutzig T, Ridout D, Wood S Journal article Adaptive optics enhanced direct laser writing of high refractive index gyroid photonic crystals in chalcogenide glass (2014) Cumming BP, Turner MD, Schröder-Turk G, Debbarma S, Luther-Davies B, Gu M Journal article Labeling of cancer cells with magnetic nanoparticles for magnetic resonance imaging (2014) Weis C, West A, Blank F, Black G, Woodward RC, Carroll MRJ, Mainka A, et al. Journal article COOL — A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) (2014) Gorin D, Pattinson D, Schröder L, Widmann F, Wißmann T Conference contribution, Original article Coalgebraic Weak Bisimulation from Recursive Equations over Monads (2014) Goncharov S, Pattinson D Conference contribution, Conference Contribution