Balder ten Cate

	2010
31		Balder ten Cate, Phokion G. Kolaitis: Structural characterizations of schema-mapping languages. Commun. CACM 53(1): 101-110 (2010)
	2009
30		Amélie Gheerbrant, Balder ten Cate: Craig Interpolation for Linear Temporal Languages. CSL 2009: 287-301
29		Balder ten Cate, Phokion G. Kolaitis: Structural characterizations of schema-mapping languages. ICDT 2009: 63-72
28		Amélie Gheerbrant, Balder ten Cate: Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. LFCS 2009: 180-196
27		Balder ten Cate, David Gabelaia, Dmitry Sustretov: Modal languages for topology: Expressivity and definability. Ann. Pure Appl. Logic 159(1-2): 146-170 (2009)
26		Balder ten Cate, Laura Chiticariu, Phokion G. Kolaitis, Wang Chiew Tan: Laconic schema mappings: computing core universal solutions by means of SQL queries CoRR abs/0903.1953: (2009)
25		Balder ten Cate: A note on the expressibility problem for modal logics and star-free regular expressions. Inf. Process. Lett. 109(10): 509-513 (2009)
24		Balder ten Cate, Carsten Lutz: The complexity of query containment in expressive fragments of XPath 2.0. J. ACM 56(6): (2009)
23		Johan van Benthem, Balder ten Cate, Jouko A. Väänänen: Lindström theorems for fragments of first-order logic Logical Methods in Computer Science 5(3): (2009)
22		Balder ten Cate, Laura Chiticariu, Phokion G. Kolaitis, Wang Chiew Tan: Laconic Schema Mappings: Computing the Core with SQL Queries. PVLDB 2(1): 1006-1017 (2009)
21		Balder ten Cate, Maarten Marx: Axiomatizing the Logical Core of XPath 2.0. Theory Comput. Syst. 44(4): 561-589 (2009)
	2008
20		Balder ten Cate, Luc Segoufin: XPath, transitive closure logic, and nested tree walking automata. PODS 2008: 251-260
	2007
19		Balder ten Cate, Henk Zeevat: Logic, Language, and Computation, 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005. Revised Selected Papers Springer 2007
18		Balder ten Cate, Maarten Marx: Axiomatizing the Logical Core of XPath 2.0. ICDT 2007: 134-148
17		Balder ten Cate, Johan van Benthem, Jouko A. Väänänen: Lindstrom theorems for fragments of first-order logic. LICS 2007: 280-292
16		Balder ten Cate, Carsten Lutz: The complexity of query containment in expressive fragments of XPath 2.0. PODS 2007: 73-82
15		Balder ten Cate, Tadeusz Litak: Topological Perspective on the Hybrid Proof Rules. Electr. Notes Theor. Comput. Sci. 174(6): 79-94 (2007)
14		Balder ten Cate, Maarten Marx: Navigational XPath: calculus and algebra. SIGMOD Record 36(2): 19-26 (2007)
	2006
13		Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema: Definitorially Complete Description Logics. KR 2006: 79-89
12		Balder ten Cate: The expressivity of XPath with transitive closure. PODS 2006: 328-337
11		Nick Bezhanishvili, Balder ten Cate: Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators. J. Log. Comput. 16(2): 177-197 (2006)
10		Patrick Blackburn, Balder ten Cate: Pure Extensions, Proof Rules, and Hybrid Axiomatics. Studia Logica 84(2): 277-322 (2006)
9		Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac: Multimo dal Logics of Products of Topologies. Studia Logica 84(3): 369-392 (2006)
	2005
8		Balder ten Cate, Massimo Franceschet: On the Complexity of Hybrid Logics with Binders. CSL 2005: 339-354
7		Balder ten Cate, Massimo Franceschet: Guarded Fragments with Constants. Journal of Logic, Language and Information 14(3): 281-288 (2005)
6		Balder ten Cate, Maarten Marx, Jorge Petrúcio Viana: Hybrid logics with Sahlqvist axioms. Logic Journal of the IGPL 13(3): 293-300 (2005)
	2002
5		Balder ten Cate: On the Logic of d-separation. KR 2002: 568-577
4		Balder ten Cate, Chung-chieh Shan: Question Answering: From Partitions to Prolog. TABLEAUX 2002: 251-265
3		Chung-chieh Shan, Balder ten Cate: The partition semantics of questions, syntactically CoRR cs.CL/0209008: (2002)
2		Balder ten Cate, Chung-chieh Shan: Question answering: from partitions to Prolog CoRR cs.CL/0209009: (2002)
	2001
1		Balder ten Cate: The dynamics of information exchange dialogues. Electr. Notes Theor. Comput. Sci. 53: (2001)

Coauthor Index

1	Johan van Benthem	[9] [17] [23]
2	Guram Bezhanishvili	[9]
3	Nick Bezhanishvili	[11]
4	Patrick Blackburn	[10]
5	Laura Chiticariu	[22] [26]
6	Willem Conradie	[13]
7	Massimo Franceschet	[7] [8]
8	David Gabelaia	[27]
9	Amélie Gheerbrant	[28] [30]
10	Phokion G. Kolaitis	[22] [26] [29] [31]
11	Tadeusz Litak	[15]
12	Carsten Lutz	[16] [24]
13	Maarten Marx	[6] [13] [14] [18] [21]
14	Darko Sarenac	[9]
15	Luc Segoufin	[20]
16	Chung-chieh Shan	[2] [3] [4]
17	Dmitry Sustretov	[27]
18	Wang Chiew Tan	[22] [26]
19	Jouko A. Väänänen	[17] [23]
20	Yde Venema	[13]
21	Jorge Petrúcio Viana	[6]
22	Henk Zeevat	[19]

Colors in the list of coauthors