Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Research highlights
Research results
Research highlights
#
Date
Title & description
Contact
101.
01/08/2006
102.
01/08/2004
The Numerical Template Toolbox: A Modern C++ Design for Scientific Computing
The design and implementation of high level tools ...
103.
01/07/2014
104.
01/07/2012
Glucose 2.1 SAT Solver won the SAT 2012 Challenge
The new version of Glucose won the SAT Challenge 2 ...
105.
01/07/2008
106.
01/06/2010
107.
01/04/2009
DL-liteR in the Light of Propositional Logic for Decentralized Data Management
This paper provides a decentralized data model and ...
108.
01/04/2007
Copy-and-Paste Between Overlapping Windows
Copy-and-paste, one of the fundamental operations ...
109.
01/02/2010
HOL-Boogie - An Interactive Prover-Backend for the Verified C Compiler
Boogie is a verification condition generator for a ...
110.
01/01/2011
111.
01/01/2007
SomeRDFS in the Semantic Web
The Semantic Web envisions a world-wide distribute ...
112.
01/01/2006
113.
114.
115.
116.
Première page - Précédant - 1 - 2 - 3 - 4 - 5 [Page 5 sur 5]