Colin Stirling

Colin Stirling publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Colin Stirling sits on this spectrum.

Colin Stirling D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Colin Stirling sits on this spectrum.

Best Publications

• Modal and temporal logics

  Unknown

  441
  Citations

• Local model checking in the modal mu-calculus

  Unknown

  423
  Citations

• Modal and Temporal Properties of Processes

  Unknown

  378
  Citations

• Bisimulation equivalence is decidable for all context-free processes

  Unknown

  263
  Citations

• Modal and temporal logics for processes

  Unknown

  251
  Citations

• Modal Mu-Calculi

  Unknown

  244
  Citations

• Modal Logics and mu-Calculi: An Introduction

  Unknown

  220
  Citations

• Modal logics for communicating systems

  Unknown

  194
  Citations

• An introduction to modal and temporal logics for CCS

  Unknown

  191
  Citations

• A framework for intuitionistic modal logics: extended abstract

  Gordon Plotkin;Colin Stirling

  147
  Citations

• Local model checking games (extended abstract)

  Unknown

  136
  Citations

• Bisimulation Equivalence is Decidable for all Context-Free Processes

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

  125
  Citations

• Practical Model-Checking Using Games

  Unknown

  122
  Citations

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

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

  121
  Citations

• Decidability of bisimulation equivalence for normed pushdown processes

  Unknown

  120
  Citations

• Local model checking for infinite state spaces

  Unknown

  114
  Citations

• The power of the future perfect in program logics

  Matthew Hennessy;Colin Stirling

  104
  Citations

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

  Unknown

  103
  Citations

• Weak and strong fairness in CCS

  Unknown

  100
  Citations

• Decidability of DPDA equivalence

  Unknown

  94
  Citations