Australian National University (ANU)

Internet and Computer-Based Cognitive Behavioral Therapy for Anxiety and Depression in Youth: A Meta-Analysis of Randomized Controlled Outcome Trials (2015) Ebert D, Zarski AC, Christensen H, Stikkelbroek Y, Cuijpers P, Berking M, Heleen R Journal article, other 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 TM, 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