| Modal logics are coalgebraic C Cîrstea, A Kurz, D Pattinson, L Schröder, Y Venema The Computer Journal 54 (1), 31-41, 2011 | 120 | 2011 |
| 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 | 70 | 2011 |
| Coalgebra semantics for hidden algebra: Parameterised objects and inheritance C Cirstea International Workshop on Algebraic Development Techniques, 174-189, 1997 | 46 | 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 | 30 | 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 | 26 | 2016 |
| A coalgebraic equational approach to specifying observational structures C Cı̂rstea Theoretical Computer Science 280 (1-2), 35-68, 2002 | 23 | 2002 |
| An algebra-coalgebra framework for system specification C Cîrstea Electronic Notes in Theoretical Computer Science 33, 80-110, 2000 | 23 | 2000 |
| From branching to linear time, coalgebraically C Cîrstea Fundamenta Informaticae 150 (3-4), 379-406, 2017 | 22 | 2017 |
| A compositional approach to defining logics for coalgebras C Cîrstea Theoretical Computer Science 327 (1-2), 45-69, 2004 | 21 | 2004 |
| Coalgebraic epistemic update without change of model C Cîrstea, M Sadrzadeh Algebra and Coalgebra in Computer Science: Second International Conference …, 2007 | 20 | 2007 |
| An institution of modal logics for coalgebras C Cırstea The Journal of Logic and Algebraic Programming 67 (1-2), 87-113, 2006 | 19 | 2006 |
| A modular approach to defining and characterising notions of simulation C Cîrstea Information and Computation 204 (4), 469-502, 2006 | 19 | 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 |
| 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 | 17 | 2014 |
| Maximal traces and path-based coalgebraic temporal logics C Cîrstea Theoretical computer science 412 (38), 5025-5042, 2011 | 15 | 2011 |
| Generic infinite traces and path-based coalgebraic temporal logics C Cîrstea Electronic Notes in Theoretical Computer Science 264 (2), 83-103, 2010 | 15 | 2010 |
| Institutionalising many-sorted coalgebraic modal logic C Cîrstea Electronic Notes in Theoretical Computer Science 65 (1), 54-70, 2002 | 15 | 2002 |
| Modular proof systems for coalgebraic logics C Cirstea, D Pattinson Theoretical Computer Science 388, 83-108, 2007 | 13 | 2007 |
Dirk PattinsonAustralian National University在 anu.edu.au 的电子邮件经过验证
