Balder ten Cate

	2012
48		Vince Bárány, Balder ten Cate, Martin Otto: Queries with Guarded Negation (full version) CoRR abs/1203.0077: (2012)
	2011
47		Vince Bárány, Balder ten Cate, Luc Segoufin: Guarded Negation. ICALP (2) 2011: 356-367
46		Serge Abiteboul, Balder ten Cate, Yannis Katsis: On the equivalence of distributed systems with queries and communication. ICDT 2011: 126-137
45		Balder ten Cate, Enrico Franconi, Inanç Seylan: Beth Definability in Expressive Description Logics. IJCAI 2011: 1099-1106
44		Balder ten Cate, Alessandro Facchini: Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs. MFCS 2011: 290-302
43		Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan: Designing and refining schema mappings via data examples. SIGMOD Conference 2011: 133-144
42		Balder ten Cate, Luc Segoufin: Unary negation. STACS 2011: 344-355
41		Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan: Characterizing schema mappings via data examples. ACM Trans. Database Syst. 36(4): 23 (2011)
40		Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan: EIRENE: Interactive Design and Refinement of Schema Mappings via Data Examples. PVLDB 4(12): 1414-1417 (2011)
39		Albert Atserias, Mikolaj Bojanczyk, Balder ten Cate, Ronald Fagin, Floris Geerts, Kenneth Ross: Foreword. Theory Comput. Syst. 49(2): 365-366 (2011)
	2010
38		Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan: Database Constraints and Homomorphism Dualities. CP 2010: 475-490
37		Balder ten Cate, Gaëlle Fontaine: An Easy Completeness Proof for the Modal µ-Calculus on Finite Trees. FOSSACS 2010: 161-175
36		Balder ten Cate, Phokion G. Kolaitis: Structural characterizations of schema-mapping languages. Commun. ACM 53(1): 101-110 (2010)
35		Balder ten Cate, Luc Segoufin: Transitive closure logic, nested tree walking automata, and XPath. J. ACM 57(3): (2010)
34		Balder ten Cate, Tadeusz Litak, Maarten Marx: Complete axiomatizations for XPath fragments. J. Applied Logic 8(2): 153-172 (2010)
33		Balder ten Cate, Gaëlle Fontaine, Tadeusz Litak: Some modal aspects of XPath. Journal of Applied Non-Classical Logics 20(3): 139-171 (2010)
	2009
32		Amélie Gheerbrant, Balder ten Cate: Craig Interpolation for Linear Temporal Languages. CSL 2009: 287-301
31		Balder ten Cate, Phokion G. Kolaitis: Structural characterizations of schema-mapping languages. ICDT 2009: 63-72
30		Amélie Gheerbrant, Balder ten Cate: Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. LFCS 2009: 180-196
29		Balder ten Cate, David Gabelaia, Dmitry Sustretov: Modal languages for topology: Expressivity and definability. Ann. Pure Appl. Logic 159(1-2): 146-170 (2009)
28		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)
27		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)
26		Balder ten Cate, Carsten Lutz: The complexity of query containment in expressive fragments of XPath 2.0. J. ACM 56(6): (2009)
25		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)
24		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)
23		Balder ten Cate, Maarten Marx: Axiomatizing the Logical Core of XPath 2.0. Theory Comput. Syst. 44(4): 561-589 (2009)
	2008
22		Balder ten Cate, Luc Segoufin: XPath, transitive closure logic, and nested tree walking automata. PODS 2008: 251-260
	2007
21		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
20		Balder ten Cate, Maarten Marx: Axiomatizing the Logical Core of XPath 2.0. ICDT 2007: 134-148
19		Balder ten Cate, Johan van Benthem, Jouko A. Väänänen: Lindstrom theorems for fragments of first-order logic. LICS 2007: 280-292
18		Balder ten Cate, Carsten Lutz: The complexity of query containment in expressive fragments of XPath 2.0. PODS 2007: 73-82
17		Balder ten Cate, Tadeusz Litak: Topological Perspective on the Hybrid Proof Rules. Electr. Notes Theor. Comput. Sci. 174(6): 79-94 (2007)
16		Balder ten Cate, Maarten Marx: Navigational XPath: calculus and algebra. SIGMOD Record 36(2): 19-26 (2007)
	2006
15		Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema: Definitorially Complete Description Logics. KR 2006: 79-89
14		Balder ten Cate: The expressivity of XPath with transitive closure. PODS 2006: 328-337
13		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)
12		Balder ten Cate: Expressivity of Second Order Propositional Modal Logic. J. Philosophical Logic 35(2): 209-223 (2006)
11		Patrick Blackburn, Balder ten Cate: Pure Extensions, Proof Rules, and Hybrid Axiomatics. Studia Logica 84(2): 277-322 (2006)
10		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
9		Balder ten Cate, Massimo Franceschet: On the Complexity of Hybrid Logics with Binders. CSL 2005: 339-354
8		Balder ten Cate: Interpolation for extended modal languages. J. Symb. Log. 70(1): 223-234 (2005)
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: 322-333 (2001)

Coauthor Index

1	Serge Abiteboul	[46]
2	Bogdan Alexe	[40] [41] [43]
3	Albert Atserias	[39]
4	Vince Bárány	[47] [48]
5	Johan van Benthem	[10] [19] [25]
6	Guram Bezhanishvili	[10]
7	Nick Bezhanishvili	[13]
8	Patrick Blackburn	[11]
9	Mikolaj Bojanczyk	[39]
10	Laura Chiticariu	[24] [28]
11	Willem Conradie	[15]
12	Alessandro Facchini	[44]
13	Ronald Fagin	[39]
14	Gaëlle Fontaine	[33] [37]
15	Massimo Franceschet	[7] [9]
16	Enrico Franconi	[45]
17	David Gabelaia	[29]
18	Floris Geerts	[39]
19	Amélie Gheerbrant	[30] [32]
20	Yannis Katsis	[46]
21	Phokion G. Kolaitis	[24] [28] [31] [36] [38] [40] [41] [43]
22	Tadeusz Litak	[17] [33] [34]
23	Carsten Lutz	[18] [26]
24	Maarten Marx	[6] [15] [16] [20] [23] [34]
25	Martin Otto	[48]
26	Kenneth Ross	[39]
27	Darko Sarenac	[10]
28	Luc Segoufin	[22] [35] [42] [47]
29	Inanç Seylan	[45]
30	Chung-chieh Shan	[2] [3] [4]
31	Dmitry Sustretov	[29]
32	Wang Chiew Tan	[24] [28] [38] [40] [41] [43]
33	Jouko A. Väänänen	[19] [25]
34	Yde Venema	[15]
35	Jorge Petrúcio Viana	[6]
36	Henk Zeevat	[21]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page