Balder ten Cate - Google Scholar Citations

Cited by

	All	Since 2014
Citations	2775	1514
h-index	30	20
i10-index	56	41

320

160

240

20052006200720082009201020112012201320142015201620172018201935 69 94 78 168 199 197 156 206 202 234 243 264 314 252

Co-authors

Phokion KolaitisDistinguished Professor of Computer Science, UC Santa Cruz and Research Staff Member, IBM ResearchVerified email at cs.ucsc.edu
Wang-Chiew TanMegagon Labs (was Recruit Institute of Technology)Verified email at megagon.ai
Michael BenediktProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
maarten marxAssistant Professor of Computer Science, University of AmsterdamVerified email at uva.nl
Bárány VinceGoogle Inc.Verified email at mimuw.edu.pl
Benny KimelfeldTechnion - Israel Institute of TechnologyVerified email at cs.technion.ac.il
Carsten LutzProfessor of Computer Science, University of BremenVerified email at uni-bremen.de
Dan OlteanuProfessor of Computer Science, OxfordVerified email at cs.ox.ac.uk
Carlos ArecesUniversidad Nacional de Córdoba - CONICETVerified email at famaf.unc.edu.ar
Patrick BlackburnProfessor of Philosophy, Roskilde University, DenmarkVerified email at ruc.dk
Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Victor DalmauDepartment of Information and Communication Technologies, Universitat Pompeu FabraVerified email at upf.edu
Massimo FranceschetProfessor of Computer Science, University of UdineVerified email at uniud.it
Chung-chieh ShanIndiana UniversityVerified email at indiana.edu
Todd J. GreenAssistant Professor of Computer Science, University of California - DavisVerified email at cs.ucdavis.edu
Willem ConradieAssociate Professor of Mathematics, University of the WitwatersrandVerified email at wits.ac.za
David GabelaiaResearcher, Razmadze Mathematical InstituteVerified email at rmi.ge
Amélie GheerbrantLecturer, LIAFA (University Paris Diderot – Paris 7 & CNRS)Verified email at liafa.univ-paris-diderot.fr
Jouko VäänänenProfessor of Mathematics, University of Helsinki and Professor of Logic, University of AmsterdamVerified email at helsinki.fi
Dmitry SustretovVerified email at hcoop.net

Balder ten Cate

Software Engineer, Google

Verified email at google.com - Homepage

Computer Science Logic Databases Machine Learning


Title	Cited by	Year
14 Hybrid logics C Areces, B ten Cate Studies in Logic and Practical Reasoning 3, 821-868, 2007	336	2007
Model theory for extended modal languages BD ten Cate Institute for Logic, Language and Computation, 2005	159	2005
Design and implementation of the LogicBlox system M Aref, B ten Cate, TJ Green, B Kimelfeld, D Olteanu, E Pasalic, ... Proceedings of the 2015 ACM SIGMOD International Conference on Management of …, 2015	149	2015
Ontology-based data access: A study through disjunctive datalog, CSP, and MMSNP M Bienvenu, BT Cate, C Lutz, F Wolter ACM Transactions on Database Systems (TODS) 39 (4), 33, 2014	147	2014
Guarded negation V Bárány, B Ten Cate, L Segoufin International Colloquium on Automata, Languages, and Programming, 356-367, 2011	113*	2011
Designing and refining schema mappings via data examples B Alexe, B Ten Cate, PG Kolaitis, WC Tan Proceedings of the 2011 ACM SIGMOD International Conference on Management of …, 2011	91	2011
The expressivity of XPath with transitive closure B ten Cate Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on …, 2006	84	2006
Pure extensions, proof rules, and hybrid axiomatics P Blackburn, B Ten Cate Studia Logica 84 (2), 277-322, 2006	82	2006
The complexity of query containment in expressive fragments of XPath 2.0 B Cate, C Lutz Journal of the ACM (JACM) 56 (6), 31, 2009	77	2009
On the complexity of hybrid logics with binders B Ten Cate, M Franceschet Computer Science Logic, 339-354, 2005	71	2005
Multimodal Logics of Products of Topologies J Benthem, G Bezhanishvili, B Cate, D Sarenac Studia Logica 84 (3), 369-392, 2006	69	2006
Characterizing Schema Mappings via Data Examples B Alexe, B ten Cate, PG Kolaitis, WC Tan ACM Transactions on Database Systems-TODS 36 (4), 2011	62	2011
Definitorially Complete Description Logics. B Ten Cate, W Conradie, M Marx, Y Venema KR 6, 79-89, 2006	59	2006
Learning schema mappings BT Cate, V Dalmau, PG Kolaitis ACM Transactions on Database Systems (TODS) 38 (4), 28, 2013	56	2013
Queries with guarded negation V Bárány, B Ten Cate, M Otto Proceedings of the VLDB Endowment 5 (11), 1328-1339, 2012	55	2012
Laconic schema mappings: Computing the core with sql queries B Ten Cate, L Chiticariu, P Kolaitis, WC Tan Proceedings of the VLDB Endowment 2 (1), 1006-1017, 2009	52	2009
Structural characterizations of schema-mapping languages B Ten Cate, PG Kolaitis Proceedings of the 12th International Conference on Database Theory, 63-72, 2009	49	2009
Structural characterizations of schema-mapping languages B Ten Cate, PG Kolaitis Communications of the ACM 53 (1), 101-110, 2010	46	2010
XPath, transitive closure logic, and nested tree walking automata B Ten Cate, L Segoufin Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on …, 2008	46	2008
Modal languages for topology: Expressivity and definability B Ten Cate, D Gabelaia, D Sustretov Annals of Pure and Applied Logic 159 (1-2), 146-170, 2009	44	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors