Modal logics are coalgebraic C Cîrstea, A Kurz, D Pattinson, L Schröder, Y Venema The Computer Journal 54 (1), 31-41, 2011 | 121 | 2011 |

Modular construction of modal logics C Cîrstea, D Pattinson International Conference on Concurrency Theory, 258-275, 2004 | 96* | 2004 |

EXPTIME tableaux for the coalgebraic mu-calculus C Cîrstea, C Kupke, D Pattinson Logical Methods in Computer Science 7, 2011 | 71 | 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 | 29 | 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 | 27 | 2016 |

A coalgebraic equational approach to specifying observational structures C Cı̂rstea Theoretical Computer Science 280 (1-2), 35-68, 2002 | 24 | 2002 |

From branching to linear time, coalgebraically C Cîrstea Fundamenta Informaticae 150 (3-4), 379-406, 2017 | 23 | 2017 |

An algebra-coalgebra framework for system specification C Cîrstea Electronic Notes in Theoretical Computer Science 33, 80-110, 2000 | 22 | 2000 |

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 |

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 |

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 |

Modular proof systems for coalgebraic logics C Cirstea, D Pattinson Theoretical Computer Science 388, 83-108, 2007 | 13 | 2007 |