Filtros de búsqueda

Lista de obras de Dag Hovland

A Type System for Usage of Software Components

artículo científico publicado en 2009

A type system for counting instances of software components

artículo científico publicado en 2012

Deciding Twig-definability of Node Selecting Tree Automata

Deciding twig-definability of node selecting tree automata

artículo científico publicado en 2012

Efficient Ontology-Based Data Integration with Canonical IRIs

artículo científico publicado en 2018

Efficient Rule-Matching for Hyper-Tableaux

Engineering ontology-based access to real-world data sources

artículo científico publicado en 2015

Facility Design Metadata as RDF

artículo científico publicado en 2024

Investigating the Limitations of Java Annotations for Input Validation

artículo científico publicado en 2010

KeywDB: A System for Keyword-Driven Ontology-to-RDB Mapping Construction

artículo científico publicado en 2016

OBDA Constraints for Effective Query Answering

artículo científico publicado en 2016

Ontology Based Access to Exploration Data at Statoil

article by Evgeny Kharlamov et al published 2015 in Lecture Notes in Computer Science

Ontology Based Data Access in Statoil

artículo científico publicado en 2017

Ontology-Based Data Access to Slegge

artículo científico publicado en 2017

Ontology-Based Integration of Cross-Linked Datasets

artículo científico publicado en 2015

Regular Expressions with Numerical Constraints and Automata with Counters

artículo científico publicado en 2009

The Inclusion Problem for Regular Expressions

artículo científico publicado en 2010

The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints

artículo científico publicado en 2012

The SHIP Validator: An Annotation-Based Content-Validation Framework for Java Applications

artículo científico publicado en 2010

The inclusion problem for regular expressions

artículo científico publicado en 2012

Versioned Objects

artículo científico publicado en 2022