Colin Hirsch

	2002
5		Erich Grädel, Colin Hirsch, Martin Otto: Back and forth between guarded and modal logics. ACM Trans. Comput. Log. 3(3): 418-463 (2002)
	2000
4		Colin Hirsch, Stephan Tobies: A Tableau Algorithm for the Clique Guarded Fragment. Advances in Modal Logic 2000: 257-277
3		Erich Grädel, Colin Hirsch, Martin Otto: Back and Forth between Guarded and Modal Logics. LICS 2000: 217-228
	1999
2		Rudolf Fleischer, Colin Hirsch: Graph Drawing and Its Applications. Drawing Graphs 1999: 1-22
	1998
1		Erich Grädel, Yuri Gurevich, Colin Hirsch: The Complexity of Query Reliability. PODS 1998: 227-234

Coauthor Index

1	Rudolf Fleischer	[2]
2	Erich Grädel	[1] [3] [5]
3	Yuri Gurevich	[1]
4	Martin Otto	[3] [5]
5	Stephan Tobies	[4]

Colors in the list of coauthors