Semantic constructions for the specification of objects

by Cirstea, Corina
Published 2001

A coalgebraic equational approach to specifying observational structures

by Cirstea, Corina
Published 2002

Integrating observational and computational features in the specification of state-based, dynamical systems

by Cirstea, Corina
Published 2001

A compositional approach to defining logics for coalgebras

by Cirstea, Corina
Published 2004

An Institution of Modal Logics for Coalgebras

by Cirstea, Corina
Published 2006

A modular approach to defining and characterising notions of simulation

by Cirstea, Corina
Published 2006

Maximal traces and path-based coalgebraic temporal logics

by Cirstea, Corina
Published 2011

Canonical coalgebraic linear time logics

by Cirstea, Corina
Published 2015

EXPTIME tableaux for the coalgebraic µ-Calculus

by Cirstea, Corina, Kupke, Clemens, Pattinson, Dirk
Published 2011

Building traceable Event-B models from requirements

by Alkhammash, Eman, Butler, Michael, Fathabadi, Asieh Salehi, Cîrstea, Corina
Published 2015

Modal logics are coalgebraic

by Cirstea, Corina, Kurz, Alexander, Pattinson, Dirk, Schröder, Lutz, Venema, Yde
Published 2011