Corina Cirstea
Corina Cirstea
Lecturer in Computer Science, University of Southampton
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
982011
Modular construction of modal logics
C CÓrstea, D Pattinson
International Conference on Concurrency Theory, 258-275, 2004
90*2004
Modular construction of modal logics
C CÓrstea, D Pattinson
International Conference on Concurrency Theory, 258-275, 2004
622004
EXPTIME tableaux for the coalgebraic μ-calculus
C CÓrstea, C Kupke, D Pattinson
International Workshop on Computer Science Logic, 179-193, 2009
592009
Coalgebra semantics for hidden algebra: parameterised objects and inheritance
C Cirstea
International Workshop on Algebraic Development Techniques, 174-189, 1997
451997
Building traceable Event-B models from requirements
E Alkhammash, M Butler, AS Fathabadi, C CÓrstea
Science of Computer Programming 111, 318-338, 2015
242015
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
202004
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
192016
On expressivity and compositionality in logics for coalgebras
C CÓrstea
Electronic Notes in Theoretical Computer Science 82 (1), 110-127, 2003
182003
A coalgebraic approach to linear-time logics
C CÓrstea
International Conference on Foundations of Software Science and Computation†…, 2014
172014
Coalgebraic epistemic update without change of model
C CÓrstea, M Sadrzadeh
International Conference on Algebra and Coalgebra in Computer Science, 158-172, 2007
172007
Integrating observations and computations in the specification of state-based, dynamical systems
C Cirstea
University of Oxford, 2000
17*2000
Generic infinite traces and path-based coalgebraic temporal logics
C CÓrstea
Electronic Notes in Theoretical Computer Science 264 (2), 83-103, 2010
162010
From branching to linear time, coalgebraically
C CÓrstea
Fundamenta Informaticae 150 (3-4), 379-406, 2017
152017
Modular proof systems for coalgebraic logics
C Cirstea, D Pattinson
Theoretical Computer Science 388, 83-108, 2007
152007
A modular approach to defining and characterising notions of simulation
C CÓrstea
Information and Computation 204 (4), 469-502, 2006
152006
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
Maximal traces and path-based coalgebraic temporal logics
C CÓrstea
Theoretical computer science 412 (38), 5025-5042, 2011
132011
The system can't perform the operation now. Try again later.
Articles 1–20