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
1212011
Modular construction of modal logics
C CÓrstea, D Pattinson
International Conference on Concurrency Theory, 258-275, 2004
95*2004
EXPTIME tableaux for the coalgebraic mu-calculus
C CÓrstea, C Kupke, D Pattinson
Logical Methods in Computer Science 7, 2011
712011
Coalgebra semantics for hidden algebra: Parameterised objects and inheritance
C Cirstea
International Workshop on Algebraic Development Techniques, 174-189, 1997
471997
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
262016
A coalgebraic equational approach to specifying observational structures
C Cı̂rstea
Theoretical Computer Science 280 (1-2), 35-68, 2002
242002
From branching to linear time, coalgebraically
C CÓrstea
Fundamenta Informaticae 150 (3-4), 379-406, 2017
222017
An algebra-coalgebra framework for system specification
C CÓrstea
Electronic Notes in Theoretical Computer Science 33, 80-110, 2000
222000
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
A modular approach to defining and characterising notions of simulation
C CÓrstea
Information and Computation 204 (4), 469-502, 2006
202006
On expressivity and compositionality in logics for coalgebras
C CÓrstea
Electronic Notes in Theoretical Computer Science 82 (1), 110-127, 2003
192003
An institution of modal logics for coalgebras
C Cırstea
The Journal of Logic and Algebraic Programming 67 (1-2), 87-113, 2006
182006
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
Generic infinite traces and path-based coalgebraic temporal logics
C CÓrstea
Electronic Notes in Theoretical Computer Science 264 (2), 83-103, 2010
162010
Institutionalising many-sorted coalgebraic modal logic
C CÓrstea
Electronic Notes in Theoretical Computer Science 65 (1), 54-70, 2002
162002
Maximal traces and path-based coalgebraic temporal logics
C CÓrstea
Theoretical computer science 412 (38), 5025-5042, 2011
152011
Modular proof systems for coalgebraic logics
C Cirstea, D Pattinson
Theoretical Computer Science 388, 83-108, 2007
132007
The system can't perform the operation now. Try again later.
Articles 1–20