Concepedia

Balder ten Cate

BT

63

Publications

2.1K

Citations

29

H-Index

2002

Active since

Affiliations

University of California, Santa Cruz(Current)

University of Amsterdam

IBM Research - Almaden

Institut national de recherche en sciences et technologies du numérique

University of Oxford

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

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceSemantic WebFormal VerificationSemanticsData ScienceData IntegrationManagement

Publications per year

2002–2022

63

Publications

63

Design and Implementation of the LogicBlox System

Molham Aref, Balder ten Cate, Todd J. Green et al. · 2015 · 225 citations

Applied Logic, Engineering, Business Intelligence +21

Ontology-Based Data Access

Meghyn Bienvenu, Balder ten Cate, Carsten Lutz et al. · ACM Transactions on Database Systems · 2014 · 145 citations

Engineering, Ontology Engineering, Semantic Web +16

Pure Extensions, Proof Rules, and Hybrid Axiomatics

Patrick Blackburn, Balder ten Cate · Studia Logica · 2006 · 83 citations

Engineering, Automated Reasoning, Pure Extensions +5

Designing and refining schema mappings via data examples

Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis et al. · 2011 · 77 citations

Engineering, Semantic Web, Database Schema +16

The expressivity of XPath with transitive closure

Balder ten Cate · 2006 · 62 citations

Core Xpath, Computational Logic, Xml Library +15

Rows per page

1–5 of 63