Balder ten Cate - Concepedia

Author

Balder ten Cate

University of California, Santa Cruz ORCID

Also Known As

B. Ten Cate, B. ten Cate, BALDER TEN CATE, Balder TEN Cate, Balder Ten Cate, Balder ten Cate, Cate, Balder D. ten, Cate, Balder Ten, Cate, Balder ten, Ten Cate, Balder

164

Publications

2.7K

Citations

H-Index

Concepts

All Affiliations

University of California, Santa Cruz University of Amsterdam IBM Research - Almaden Institut national de recherche en sciences et technologies du numérique University of Oxford

About

Balder ten Cate is an author at University of California, Santa Cruz specializing in engineering, automated reasoning, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	25	48	1.8K
2	Management	14	15	583
3	Language Studies	10	10	317
4	Social Sciences	2	2	24
5	Humanities	1	1	10

Balder ten Cate

Publications

2.1K

Citations

H-Index

Page 1

	Year	Citations
Design and Implementation of the LogicBlox System Molham Aref, Balder ten Cate, Todd J. Green, Applied LogicEngineeringBusiness IntelligenceSoftware EngineeringLogic Programming	2015	225
Ontology-Based Data Access Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, ACM Transactions on Database Systems EngineeringOntology EngineeringSemantic WebSemanticsOntology-based Data Integration	2014	145
Pure Extensions, Proof Rules, and Hybrid Axiomatics Patrick Blackburn, Balder ten Cate Studia Logica EngineeringAutomated ReasoningPure ExtensionsFormal MethodsProof Theory	2006	83
Designing and refining schema mappings via data examples Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, EngineeringSemantic WebDatabase SchemaData ScienceSemantic Approach	2011	77
The expressivity of XPath with transitive closure Balder ten Cate Core XpathComputational LogicXml LibraryEngineeringAutomated Reasoning	2006	62
Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, EngineeringBusiness IntelligenceOntology EngineeringSemantic WebSemantics	2013	55
Ontology-based Data Access: A Study through Disjunctive Datalog, CSP,\n and MMSNP Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, arXiv (Cornell University)	2013	55
Queries with guarded negation Vince Bárány, Balder ten Cate, Martin Otto Proceedings of the VLDB Endowment Non-classical LogicEngineeringData ScienceDeductive DatabaseAutomated Reasoning	2012	54
Definitorially complete description logics Balder ten Cate, Willem Conradie, M. Marx,	2006	53
Structural characterizations of schema-mapping languages Balder ten Cate, Phokion G. Kolaitis EngineeringSchema-mapping LanguagesSemantic WebSemanticsLanguage Construct	2009	51

Page 1