Statistics
Publications
4
Citations
179
H-Index
4
Active since
1998
Affiliations
FH Aachen(Current)
Colin Hirsch is an author at FH Aachen specializing in model checking, computer science, and logic.
Publications per year
1998–2002
4
4
The complexity of query reliability
Erich Grädel, Yuri Gurevich, Colin Hirsch · 1998 · 80 citations
Back and forth between guarded and modal logics
Erich Grädel, Colin Hirsch, Martin Otto · 2002 · 18 citations
Guarded Logics: Algorithms and Bisimulation
Colin Hirsch, Erich Grädel · RWTH Publications (RWTH Aachen) · 2002 · 10 citations · Full text
1–4 of 4