Raul Andres Leal

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Iterative Process

Multi Agent Systems

Top Venues

Theor. Comput. Sci.

Publications

Helle Hvid Hansen, Clemens Kupke, Raul Andres Leal
Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics. IFIP TCS (2014)
Alexander Kurz, Raul Andres Leal
Modalities in the Stone age: A comparison of coalgebraic logics. Theor. Comput. Sci. 430 (2012)
Gaëlle Fontaine, Raul Andres Leal, Yde Venema
Automata for Coalgebras: An Approach Using Predicate Liftings. ICALP (2) (2010)
Clemens Kupke, Raul Andres Leal
Characterising Behavioural Equivalence: Three Sides of One Coin. CALCO (2009)
Alexander Kurz, Raul Andres Leal
Equational Coalgebraic Logic. MFPS (2009)
Raul Andres Leal
Predicate Liftings Versus Nabla Modalities. CMCS (2008)