World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
34
Citations
5559
World Ranking
12097
National Ranking
765

Best Publications

  • Modal and temporal logics

    Unknown

  • Local model checking in the modal mu-calculus

    Unknown

  • Modal and Temporal Properties of Processes

    Unknown

  • Bisimulation equivalence is decidable for all context-free processes

    Unknown

  • Modal and temporal logics for processes

    Unknown

  • Modal Mu-Calculi

    Unknown

  • Modal Logics and mu-Calculi: An Introduction

    Unknown

  • Modal logics for communicating systems

    Unknown

  • An introduction to modal and temporal logics for CCS

    Unknown

  • A framework for intuitionistic modal logics: extended abstract

    Gordon Plotkin;Colin Stirling

  • Local model checking games (extended abstract)

    Unknown

  • Bisimulation Equivalence is Decidable for all Context-Free Processes

    Søren Christensen;Hans Hüttel;Colin Stirling

  • Practical Model-Checking Using Games

    Unknown

  • A compositional proof system for the modal /spl mu/-calculus

    H.R. Andersen;C. Stirling;G. Winskel

  • Decidability of bisimulation equivalence for normed pushdown processes

    Unknown

  • Local model checking for infinite state spaces

    Unknown

  • The power of the future perfect in program logics

    Matthew Hennessy;Colin Stirling

  • Actions speak louder than words: proving bisimilarity for context-free processes

    Unknown

  • Weak and strong fairness in CCS

    Unknown

  • Decidability of DPDA equivalence

    Unknown

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: