Balder ten Cate

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
43Guarded Negation. Vince Bárány, Balder ten Cate, Luc Segoufin. ICALP (2) 2011, 356-367. Web SearchBibTeXDownload
42On the equivalence of distributed systems with queries and communication. Serge Abiteboul, Balder ten Cate, Yannis Katsis. ICDT 2011, 126-137. Web SearchBibTeXDownload
41Beth Definability in Expressive Description Logics. Balder ten Cate, Enrico Franconi, Inanç Seylan. IJCAI 2011, 1099-1106. Web SearchBibTeXDownload
40Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs. Balder ten Cate, Alessandro Facchini. MFCS 2011, 290-302. Web SearchBibTeXDownload
39EIRENE: Interactive Design and Refinement of Schema Mappings via Data Examples. Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan. PVLDB (4): 1414-1417 (2011). Web SearchBibTeXDownload
38Designing and refining schema mappings via data examples. Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan. SIGMOD Conference 2011, 133-144. Web SearchBibTeXDownload
37Unary negation. Balder ten Cate, Luc Segoufin. STACS 2011, 344-355. Web SearchBibTeXDownload
2010
36Structural characterizations of schema-mapping languages. Balder ten Cate, Phokion G. Kolaitis. Commun. ACM (53): 101-110 (2010). Web SearchBibTeXDownload
35Database Constraints and Homomorphism Dualities. Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan. CP 2010, 475-490. Web SearchBibTeXDownload
34An Easy Completeness Proof for the Modal µ-Calculus on Finite Trees. Balder ten Cate, Gaëlle Fontaine. FOSSACS 2010, 161-175. Web SearchBibTeXDownload
33Transitive closure logic, nested tree walking automata, and XPath. Balder ten Cate, Luc Segoufin. J. ACM (57) (2010). Web SearchBibTeXDownload
32Complete axiomatizations for XPath fragments. Balder ten Cate, Tadeusz Litak, Maarten Marx. J. Applied Logic (8): 153-172 (2010). Web SearchBibTeXDownload
31Some modal aspects of XPath. Balder ten Cate, Gaëlle Fontaine, Tadeusz Litak. Journal of Applied Non-Classical Logics (20): 139-171 (2010). Web SearchBibTeXDownload
2009
30Modal languages for topology: Expressivity and definability. Balder ten Cate, David Gabelaia, Dmitry Sustretov. Ann. Pure Appl. Logic (159): 146-170 (2009). Web SearchBibTeXDownload
29Laconic schema mappings: computing core universal solutions by means of SQL queries. Balder ten Cate, Laura Chiticariu, Phokion G. Kolaitis, Wang Chiew Tan. CoRR (abs/0903.1953) (2009). Web SearchBibTeXDownload
28Craig Interpolation for Linear Temporal Languages. Amélie Gheerbrant, Balder ten Cate. CSL 2009, 287-301. Web SearchBibTeXDownload
27Structural characterizations of schema-mapping languages. Balder ten Cate, Phokion G. Kolaitis. ICDT 2009, 63-72. Web SearchBibTeXDownload
26A note on the expressibility problem for modal logics and star-free regular expressions. Balder ten Cate. Inf. Process. Lett. (109): 509-513 (2009). Web SearchBibTeXDownload
25The complexity of query containment in expressive fragments of XPath 2.0. Balder ten Cate, Carsten Lutz. J. ACM (56) (2009). Web SearchBibTeXDownload
24Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. Amélie Gheerbrant, Balder ten Cate. LFCS 2009, 180-196. Web SearchBibTeXDownload
23Lindström theorems for fragments of first-order logic. Johan van Benthem, Balder ten Cate, Jouko A. Väänänen. Logical Methods in Computer Science (5) (2009). Web SearchBibTeXDownload
22Laconic Schema Mappings: Computing the Core with SQL Queries. Balder ten Cate, Laura Chiticariu, Phokion G. Kolaitis, Wang Chiew Tan. PVLDB (2): 1006-1017 (2009). Web SearchBibTeXDownload
21Axiomatizing the Logical Core of XPath 2.0. Balder ten Cate, Maarten Marx. Theory Comput. Syst. (44): 561-589 (2009). Cited by 18Web SearchBibTeXDownload
2008
20XPath, transitive closure logic, and nested tree walking automata. Balder ten Cate, Luc Segoufin. PODS 2008, 251-260. Cited by 19Web SearchBibTeXDownload
2007
19Topological Perspective on the Hybrid Proof Rules. Balder ten Cate, Tadeusz Litak. Electr. Notes Theor. Comput. Sci. (174): 79-94 (2007). Web SearchBibTeXDownload
18Axiomatizing the Logical Core of XPath 2.0. Balder ten Cate, Maarten Marx. ICDT 2007, 134-148. Cited by 18Web SearchBibTeXDownload
17Lindstrom theorems for fragments of first-order logic. Balder ten Cate, Johan van Benthem, Jouko A. Väänänen. LICS 2007, 280-292. Web SearchBibTeXDownload
16The complexity of query containment in expressive fragments of XPath 2.0. Balder ten Cate, Carsten Lutz. PODS 2007, 73-82. Web SearchBibTeXDownload
15Navigational XPath: calculus and algebra. Balder ten Cate, Maarten Marx. SIGMOD Record (36): 19-26 (2007). Cited by 3Web SearchBibTeXDownload
2006
14Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators. Nick Bezhanishvili, Balder ten Cate. J. Log. Comput. (16): 177-197 (2006). Web SearchBibTeXDownload
13Definitorially Complete Description Logics. Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema. KR 2006, 79-89. Cited by 17Web SearchBibTeX
12The expressivity of XPath with transitive closure. Balder ten Cate. PODS 2006, 328-337. Web SearchBibTeXDownload
11Multimo dal Logics of Products of Topologies. Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac. Studia Logica (84): 369-392 (2006). Web SearchBibTeXDownload
10Pure Extensions, Proof Rules, and Hybrid Axiomatics. Patrick Blackburn, Balder ten Cate. Studia Logica (84): 277-322 (2006). Web SearchBibTeXDownload
2005
9On the Complexity of Hybrid Logics with Binders. Balder ten Cate, Massimo Franceschet. CSL 2005, 339-354. Web SearchBibTeXDownload
8Guarded Fragments with Constants. Balder ten Cate, Massimo Franceschet. Journal of Logic, Language and Information (14): 281-288 (2005). Web SearchBibTeXDownload
7Interpolation for extended modal languages. Balder ten Cate. J. Symb. Log. (70): 223-234 (2005). Web SearchBibTeXDownload
6Hybrid logics with Sahlqvist axioms. Balder ten Cate, Maarten Marx, Jorge Petrúcio Viana. Logic Journal of the IGPL (13): 293-300 (2005). Cited by 17Web SearchBibTeXDownload
2002
5Question answering: from partitions to Prolog. Balder ten Cate, Chung-chieh Shan. CoRR (cs.CL/0209009) (2002). Web SearchBibTeXDownload
4The partition semantics of questions, syntactically. Chung-chieh Shan, Balder ten Cate. CoRR (cs.CL/0209008) (2002). Web SearchBibTeXDownload
3On the Logic of d-separation. Balder ten Cate. KR 2002, 568-577. Web SearchBibTeX
2Question Answering: From Partitions to Prolog. Balder ten Cate, Chung-chieh Shan. TABLEAUX 2002, 251-265. Web SearchBibTeXDownload
2001
1The dynamics of information exchange dialogues. Balder ten Cate. Electr. Notes Theor. Comput. Sci. (53): 322-333 (2001). Web SearchBibTeXDownload
from DBLP and Google Scholar
References
1. ^ WWW2010 – Raleigh: Committee - Retrieved 2011-03-19 - details
2. ^ The ACM SIGMOD/PODS Conference: Providence, Rhode Island, USA, 2009 - Organization: PODS Program Committee - Retrieved 2009-11-21 - details
3. ^ The ACM SIGMOD/PODS Conference: Vancouver, 2008 - Program: Overview - Retrieved 2009-11-21 - details
Developed by the Database Group at the University of Wisconsin and Yahoo! Research