Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Research highlights
Research results
Research highlights
#
Date
Title & description
Contact
76.
06/11/2007
Uniform trace sampling in very large models
Let a system described as some parallel compositio ...
77.
06/06/2014
Effects of Display Size and Navigation Type on a Classification Task
The advent of ultra-high resolution wall-size disp ...
78.
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 ...
79.
05/11/2017
Self-stabilizing Distributed Stable Marriage
Stable matching (also called stable marriage in th ...
80.
05/09/2013
Storytelling in Visual Analytics Tools for Business Intelligence
Stories help us communicate knowledge, share and i ...
81.
05/07/2012
82.
05/05/2009
Proving Fairness and Implementation Correctness of a Microkernel Scheduler
We report on the formal proof of a microkernel’s k ...
83.
05/04/2013
Five papers accepted at IJCAI'13
Just-In-Time Compilation of Knowledge Bases by Gi ...
84.
03/10/2010
UIMarks: Quick Graphical Interaction with Specific Targets
This paper reports on the design and evaluation of ...
85.
02/05/2017
86.
02/05/2013
87.
02/04/2012
88.
02/04/2012
Query Containment in Description Logics Reconsidered
While query answering in the presence of descripti ...
89.
02/03/2009
Achim Brucker and Burkhart Wolff. Acta Informatica, 2009. ...
We present a formal semantics for an object-orient ...
90.
01/12/2011
Robust Module-based Data Management
The current trend for building an ontology-based d ...
91.
01/12/2009
Non-conservative Extension of a Peer in a P2P Inference System
This paper points out that the notion of non-conse ...
92.
01/10/2012
Static and Dynamic Semantics of NoSQL Languages, accepted at ACM POPL 2013
NoSQL languages are very popular in the context of ...
93.
01/10/2006
User Interface Façades: Towards Fully Adaptable User Interfaces
User interfaces are becoming more and more complex ...
94.
01/09/2014
Formal firewall conformance testing: an application of test and proof techniques
Firewalls are an important means to secure critica ...
95.
01/09/2008
Model-Based Adaptation of Behavioral Mismatching Components
Component-Based Software Engineering focuses on th ...
96.
01/09/2008
97.
01/09/2004
Similarity Search for Scientific Workflows
With the increasing popularity of scientific workf ...
98.
01/09/2004
Similarity Search for Scientific Workflows
With the increasing popularity of scientific workf ...
99.
01/08/2006
100.
01/08/2004
The Numerical Template Toolbox: A Modern C++ Design for Scientific Computing
The design and implementation of high level tools ...
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - Suivant [Page 4 sur 5]