| Modal logics are coalgebraic C Cîrstea, A Kurz, D Pattinson, L Schröder, Y Venema The Computer Journal 54 (1), 31-41, 2011 | 125 | 2011 |
| Modular construction of modal logics C Cîrstea, D Pattinson International Conference on Concurrency Theory, 258-275, 2004 | 98* | 2004 |
| EXPTIME tableaux for the coalgebraic mu-calculus C Cîrstea, C Kupke, D Pattinson Logical Methods in Computer Science 7, 2011 | 72 | 2011 |
| Coalgebra semantics for hidden algebra: Parameterised objects and inheritance C Cirstea International Workshop on Algebraic Development Techniques, 174-189, 1997 | 47 | 1997 |
| Building traceable Event-B models from requirements E Alkhammash, M Butler, AS Fathabadi, C Cîrstea Science of Computer Programming 111, 318-338, 2015 | 32 | 2015 |
| 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 | 29 | 2016 |
| From branching to linear time, coalgebraically C Cîrstea Fundamenta Informaticae 150 (3-4), 379-406, 2017 | 25 | 2017 |
| A coalgebraic equational approach to specifying observational structures C Cı̂rstea Theoretical Computer Science 280 (1-2), 35-68, 2002 | 24 | 2002 |
| A compositional approach to defining logics for coalgebras C Cîrstea Theoretical Computer Science 327 (1-2), 45-69, 2004 | 22 | 2004 |
| An algebra-coalgebra framework for system specification C Cîrstea Electronic Notes in Theoretical Computer Science 33, 80-110, 2000 | 22 | 2000 |
| Coalgebraic epistemic update without change of model C Cîrstea, M Sadrzadeh Algebra and Coalgebra in Computer Science: Second International Conference …, 2007 | 20 | 2007 |
| A modular approach to defining and characterising notions of simulation C Cîrstea Information and Computation 204 (4), 469-502, 2006 | 20 | 2006 |
| On expressivity and compositionality in logics for coalgebras C Cîrstea Electronic Notes in Theoretical Computer Science 82 (1), 110-127, 2003 | 19 | 2003 |
| A coalgebraic approach to linear-time logics C Cîrstea Foundations of Software Science and Computation Structures: 17th …, 2014 | 18 | 2014 |
| An institution of modal logics for coalgebras C Cırstea The Journal of Logic and Algebraic Programming 67 (1-2), 87-113, 2006 | 18 | 2006 |
| Integrating observations and computations in the specification of state-based, dynamical systems C Cirstea University of Oxford, 2000 | 18* | 2000 |
| A fairness-based refinement strategy to transform liveness properties in Event-B models C Zhu, M Butler, C Cirstea, TS Hoang Science of Computer Programming 225, 102907, 2023 | 16 | 2023 |
| Generic infinite traces and path-based coalgebraic temporal logics C Cîrstea Electronic Notes in Theoretical Computer Science 264 (2), 83-103, 2010 | 16 | 2010 |
| Institutionalising many-sorted coalgebraic modal logic C Cîrstea Electronic Notes in Theoretical Computer Science 65 (1), 54-70, 2002 | 16 | 2002 |
| Maximal traces and path-based coalgebraic temporal logics C Cîrstea Theoretical computer science 412 (38), 5025-5042, 2011 | 15 | 2011 |
Dirk PattinsonAustralian National UniversityVerified email at anu.edu.au
