Predicate Liftings Versus Nabla Modalities. - Raul Andres Leal (CMCS, 2008)

Characterising Behavioural Equivalence: Three Sides of One Coin. - Clemens Kupke; Raul Andres Leal (CALCO, 2009)

Equational Coalgebraic Logic. - Alexander Kurz 001; Raul Andres Leal (MFPS, 2009)

Automata for Coalgebras: An Approach Using Predicate Liftings. - Gaëlle Fontaine; Raul Andres Leal; Yde Venema (ICALP (2), 2010)

Modalities in the Stone age: A comparison of coalgebraic logics. - Alexander Kurz 001; Raul Andres Leal (Theor. Comput. Sci., 2012)

Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics. - Helle Hvid Hansen; Clemens Kupke; Raul Andres Leal (IFIP TCS, 2014)