Publication

LODE: une ontologie pour représenter des événements dans le web de données In Proceedings

R. Shaw (Ryan), R. Troncy (Raphael) and L. Hardman (Lynda)

Exploring Visual Bookmarks and Layered Visualizations Master Thesis

J.T. Teuben (Jan)

Database Cracking: Towards Auto-tuning Database Kernels Dissertation

S. Idreos (Stratos)

CWI lectures in mathematics and computer science 2010 : data intensive research : 25.06.2010 : invitation Other

Handling biological complexity: as simple as possible but not simpler Dissertation

H.M. Härdin (Hanna)

A Taylor Function Calculus for Hybrid System Analysis: Validation in Coq In Proceedings

P.J. Collins (Pieter), M. Niqui (Milad) and N. Revol

Preliminary Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers Proceedings

Following the Flattened Leader In Proceedings

W.T. Kotlowski (Wojciech), P.D. Grünwald (Peter) and S. de Rooij (Steven)