Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Research highlights
Research results
Research highlights
#
Date
Title & description
Contact
26.
24/01/2005
A Verification Approach for Applied System Security
We report on a case study in applying different fo ...
27.
23/10/2005
Metisse is not a 3d desktop!
Twenty years after the general adoption of overlap ...
28.
22/12/2012
29.
22/07/2007
L2R: A Logical Method for Reference Reconciliation
The reference reconciliation problem consists in d ...
30.
22/05/2013
31.
22/03/2012
32.
22/03/2002
33.
22/02/2013
Best Student Paper Award
In this paper, we propose a distributionally robus ...
34.
21/12/2012
Efficient Query Answering against Dynamic RDF Databases
A promising method for efficiently querying RDF da ...
35.
21/04/2016
Formal mutation testing for Circus
We present a formal definition for fault-based tes ...
36.
21/04/2009
GCC 4.4.0 becomes the first "polyhedral" compiler thanks to GRAPHITE
The compiler GCC 4.4.0 has been published today. O ...
37.
21/03/2011
Testing for refinement in Circus
Circus combines constructs to define complex data ...
38.
21/03/2003
Almost-Linear Inclusion for XML Regular Expression Types
Type inclusion is a fundamental operation in every ...
39.
20/10/2008
40.
20/09/2019
41.
20/06/2012
Six articles and two awards at the CHI'12 conference
The ACM SIGCHI Conference on Human Factors in Comp ...
42.
19/10/2014
43.
19/10/2008
OctoPocus: A Dynamic Guide for Learning Gesture-Based Command Sets
OctoPocus, is a dynamic guide that combines on-scr ...
44.
18/08/2011
View Selection in Semantic Web Databases
We consider the setting of a Semantic Web database ...
45.
17/07/2019
Best Paper Award - HPCS 2019 - On server-side file access pattern matching
¹ Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, ...
46.
17/07/2004
47.
16/08/2012
48.
16/07/2013
Glucose 2.3 best SAT Solver 2013 (Applications, Certified UNSAT)
Glucose 2.3 won the first price at the internation ...
49.
15/12/2011
Book on
The Internet and World Wide Web have revolutionize ...
50.
15/07/2011
VARNA software distinguished
VARNA (http://varna.lri.fr) is a Java lightweight ...
Précédant - 1 - 2 - 3 - 4 - 5 - Suivant [Page 2 sur 5]