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