Les résultats majeurs (Production) - Laboratoire de Recherche en Informatique

#	Date	Titre et Description	Contact

1.	10/01/2012	On Theorem Prover-based Testing HOL-TestGen is a specification and test case gener ...	WOLFF Burkhart

2.	15/12/2011	Livre Web Data Management par S. Abiteboul, I. Manolescu, P. Rigaux, M.-C. Rousset et P. Senellart	MANOLESCU-GOUJOT Ioana

3.	01/12/2011	Robust Module-based Data Management The current trend for building an ontology-based d ...	GOASDOUE François

4.	18/08/2011	View Selection in Semantic Web Databases We consider the setting of a Semantic Web database ...	GOASDOUE François

5.	15/07/2011	Le logiciel VARNA à l'honneur VARNA (http://varna.lri.fr) est une applet Java dé ...	DENISE Alain

6.	29/06/2011	Glucose 2 meilleur solveur SAT (applications/SAT+UNSAT) La compétition SAT 2011 a été plus compétitive que ...	SIMON Laurent

7.	08/05/2011	Mid-air Pan-and-Zoom on Wall-sized Displays Very-high-resolution wall-sized displays offer new ...	CHAPUIS Olivier

8.	07/05/2011	TorusDesktop: Pointing via the Backdoor is Sometimes Shorter When pointing to a target on a computer desktop, w ...	HUOT Stéphane

9.	30/03/2011	EATCS Award for Best ETAPS Paper 2011 Sylvain Conchon, Evelyne Contejean et Mohamed Igue ...

10.	27/03/2011	Coverage-biased random explo-ration of large models and application to testing This paper presents several randomised algorithms ...	DENISE Alain

11.	21/03/2011	Testing for refinement in Circus Circus combines constructs to define complex data ...	GAUDEL Marie-Claude

12.	01/01/2011	One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches Wireless self-organizing networks (WSONs) have att ...	ZAIDI Fatiha

13.	03/10/2010	UIMarks: Quick Graphical Interaction with Specific Targets This paper reports on the design and evaluation of ...	CHAPUIS Olivier

14.	01/06/2010	Average complexity of the Jiang-Wang-Zhang pairwise tree alignment algorithm and of a RNA secondary structure alignment algorithm We prove that the average complexity of the pairwi ...	DENISE Alain

15.	01/02/2010	HOL-Boogie - An Interactive Prover-Backend for the Verified C Compiler Boogie is a verification condition generator for a ...	WOLFF Burkhart

16.	01/12/2009	Non-conservative Extension of a Peer in a P2P Inference System This paper points out that the notion of non-conse ...	GOASDOUE François

17.	09/07/2009	Meilleur SAT-Solveur au monde sur les instances industrielles glucose, démonstrateur SAT développé par L. Simon ...	SIMON Laurent

18.	05/05/2009	Proving Fairness and Implementation Correctness of a Microkernel Scheduler We report on the formal proof of a microkernel’s k ...	WOLFF Burkhart

19.	21/04/2009	GCC 4.4.0 devient le premier compilateur "polyédrique" grâce à GRAPHITE Le compilateur GCC 4.4.0 a été publié aujourd'hui. ...	BASTOUL Cédric

20.	08/04/2009	DynaSpot: Speed-Dependent Area Cursor We present DynaSpot, a new technique for acquiring ...	CHAPUIS Olivier

21.	08/04/2009	Musink: Composing Music through Augmented Drawing We focus on the creative use of paper in the music ...	TSANDILAS Theophanis

22.	01/04/2009	DL-liteR in the Light of Propositional Logic for Decentralized Data Management This paper provides a decentralized data model and ...	GOASDOUE François

23.	26/03/2009	Genome-wide haplotype association study identifies a gene cluster as a risk locus for coronary artery disease Le numéro de mars 2009 de Nature Genetics contient ...	GERMAIN-RENAUD Cécile

24.	02/03/2009	Semantics, Calculi, and Analysis for Object-oriented Specifications. We present a formal semantics for an object-orient ...	WOLFF Burkhart

25.	29/11/2008	Automated motif extraction and classification in RNA tertiary structures We used a novel graph-based approach to extract RN ...	DJELLOUL Mahassine


1 - 2 - Suivant [Page 1 sur 2]