Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Research highlights
Research results
Research highlights
#
Date
Title & description
Contact
76.
07/05/2011
TorusDesktop: Pointing via the Backdoor is Sometimes Shorter
When pointing to a target on a computer desktop, w ...
77.
07/04/2014
A Coq Formalization of the Relational Data Model
A first Coq certified course in relational databas ...
78.
07/01/2013
Entity Discovery and Annotation in Tables
The Web is rich of tables (e.g., HTML tables, spre ...
79.
07/01/2003
80.
06/11/2007
Uniform trace sampling in very large models
Let a system described as some parallel compositio ...
81.
06/06/2014
Effects of Display Size and Navigation Type on a Classification Task
The advent of ultra-high resolution wall-size disp ...
82.
06/05/2019
Best Paper Award ICONS 2019: Resonance Thinking and Inductive Machine Learning
Best Paper Award ICONS 2019: Resonance Thinking an ...
83.
05/12/2012
The Mimic Chain Reaction. V. Norris, A. Thierry, P. Amar, B. Holland, F. Molina
It is sometimes speculated that the equivalent of ...
84.
05/11/2017
Self-stabilizing Distributed Stable Marriage
Stable matching (also called stable marriage in th ...
85.
05/09/2013
Storytelling in Visual Analytics Tools for Business Intelligence
Stories help us communicate knowledge, share and i ...
86.
05/07/2019
Best Full Paper Award EDM 2019 - Educational Data Mining
Benoit Choffin, Fabrice Popineau, Yolaine Bourda, ...
87.
05/07/2012
88.
05/05/2009
Proving Fairness and Implementation Correctness of a Microkernel Scheduler
We report on the formal proof of a microkernel’s k ...
89.
05/04/2013
Five papers accepted at IJCAI'13
Just-In-Time Compilation of Knowledge Bases by Gi ...
90.
03/10/2010
UIMarks: Quick Graphical Interaction with Specific Targets
This paper reports on the design and evaluation of ...
91.
02/05/2017
92.
02/05/2013
93.
02/04/2012
94.
02/04/2012
Query Containment in Description Logics Reconsidered
While query answering in the presence of descripti ...
95.
02/03/2009
Achim Brucker and Burkhart Wolff. Acta Informatica, 2009. ...
We present a formal semantics for an object-orient ...
96.
01/12/2011
Robust Module-based Data Management
The current trend for building an ontology-based d ...
97.
01/12/2009
Non-conservative Extension of a Peer in a P2P Inference System
This paper points out that the notion of non-conse ...
98.
01/10/2012
Static and Dynamic Semantics of NoSQL Languages, accepted at ACM POPL 2013
NoSQL languages are very popular in the context of ...
99.
01/10/2006
User Interface Façades: Towards Fully Adaptable User Interfaces
User interfaces are becoming more and more complex ...
100.
01/09/2014
Formal firewall conformance testing: an application of test and proof techniques
Firewalls are an important means to secure critica ...
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - Suivant [Page 4 sur 5]