Follow
Corina Cirstea
Corina Cirstea
Verified email at ecs.soton.ac.uk - Homepage
Title
Cited by
Cited by
Year
Modal logics are coalgebraic
C Cîrstea, A Kurz, D Pattinson, L Schröder, Y Venema
The Computer Journal 54 (1), 31-41, 2011
1172011
Modular construction of modal logics
C Cîrstea, D Pattinson
International Conference on Concurrency Theory, 258-275, 2004
93*2004
EXPTIME tableaux for the coalgebraic mu-calculus
C Cîrstea, C Kupke, D Pattinson
Logical Methods in Computer Science 7, 2011
652011
Modular construction of modal logics
C Cîrstea, D Pattinson
International Conference on Concurrency Theory, 258-275, 2004
652004
Coalgebra semantics for hidden algebra: Parameterised objects and inheritance
C Cirstea
International Workshop on Algebraic Development Techniques, 174-189, 1997
461997
Building traceable Event-B models from requirements
E Alkhammash, M Butler, AS Fathabadi, C Cîrstea
Science of Computer Programming 111, 318-338, 2015
292015
Lattice-theoretic progress measures and coalgebraic model checking
I Hasuo, S Shimizu, C Cîrstea
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
252016
A coalgebraic equational approach to specifying observational structures
C Cı̂rstea
Theoretical Computer Science 280 (1-2), 35-68, 2002
232002
An algebra-coalgebra framework for system specification
C Cîrstea
Electronic Notes in Theoretical Computer Science 33, 80-110, 2000
232000
From branching to linear time, coalgebraically
C Cîrstea
Fundamenta Informaticae 150 (3-4), 379-406, 2017
212017
A compositional approach to defining logics for coalgebras
C Cîrstea
Theoretical Computer Science 327 (1-2), 45-69, 2004
212004
Coalgebraic epistemic update without change of model
C Cîrstea, M Sadrzadeh
Algebra and Coalgebra in Computer Science: Second International Conference …, 2007
202007
An institution of modal logics for coalgebras
C Cırstea
The Journal of Logic and Algebraic Programming 67 (1-2), 87-113, 2006
192006
A modular approach to defining and characterising notions of simulation
C Cîrstea
Information and Computation 204 (4), 469-502, 2006
192006
On expressivity and compositionality in logics for coalgebras
C Cîrstea
Electronic Notes in Theoretical Computer Science 82 (1), 110-127, 2003
192003
Integrating observations and computations in the specification of state-based, dynamical systems
C Cirstea
University of Oxford, 2000
18*2000
A coalgebraic approach to linear-time logics
C Cîrstea
Foundations of Software Science and Computation Structures: 17th …, 2014
172014
Institutionalising many-sorted coalgebraic modal logic
C Cîrstea
Electronic Notes in Theoretical Computer Science 65 (1), 54-70, 2002
152002
Institutionalising many-sorted coalgebraic modal logic
C Cîrstea
Electronic Notes in Theoretical Computer Science 65 (1), 54-70, 2002
152002
Generic infinite traces and path-based coalgebraic temporal logics
C Cîrstea
Electronic Notes in Theoretical Computer Science 264 (2), 83-103, 2010
142010
The system can't perform the operation now. Try again later.
Articles 1–20