Australian National University (ANU)

Unveiling the orbital angular momentum and acceleration of electron beams (2015) Shiloh R, Tsur Y, Remez R, Lereah Y, Malomed BA, Shvedov V, Hnatovsky C, et al. Journal article The shape of the radio wavefront of extensive air showers as measured with LOFAR (2015) Corstanje A, Schellart P, Nelles A, Buitink S, Enriquez JE, Falcke H, Frieswijk W, et al. Journal article Storing light as sound in a photonic integrated circuit (2015) Merklein M, Stiller B, Vu K, Madden SJ, Eggleton BJ Conference contribution A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic (2015) Schröder L, Litak T, Pattinson D Journal article, Original article 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 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