Research highlights - Laboratoire de Recherche en Informatique

#	Date	Title & description	Contact

1.	30/03/2011	EATCS Award for Best ETAPs Paper 2011 Sylvain Conchon, Evelyne Contejean and Mohamed Igu ...

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

3.	29/06/2011	Glucose 2 best SAT solveur (Applications,SAT+UNSAT- More competitive than ever, with 67 solvers submit ...	SIMON Laurent

4.	28/01/2008	The Average Complexity of Tree Alignment The same result holds for the average complexity o ...

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

6.	26/03/2009	Genome-wide haplotype association study identifies the SLC22A3-LPAL2-LPA gene cluster as a risk locus for coronary artery disease Brief Communication abstract: David-Alexandre ...	GERMAIN-RENAUD Cécile

7.	25/06/2007	Formal Verification of Floating-Point Programs This paper introduces a methodology to perform for ...	BOLDO Sylvie

8.	25/03/2008	A stochastic automaton shows how enzyme assemblies may contribute to metabolic efficiency The advantages of grouping enzymes into metabolons ...	AMAR Patrick

9.	24/01/2005	A Verification Approach for Applied System Security We report on a case study in applying different fo ...	WOLFF Burkhart

10.	23/10/2005	Metisse is not a 3d desktop! Twenty years after the general adoption of overlap ...	CHAPUIS Olivier

11.	22/07/2007	L2R: A Logical Method for Reference Reconciliation The reference reconciliation problem consists in d ...	SAÏS Fatiha

12.	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 ...	BASTOUL Cédric

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

14.	20/10/2008	An Extensible Encoding of Object-oriented Data Models in HOL with an Application to IMP++. We present an extensible encoding of object-orient ...	WOLFF Burkhart

15.	19/10/2008	OctoPocus: A Dynamic Guide for Learning Gesture-Based Command Sets OctoPocus, is a dynamic guide that combines on-scr ...	MACKAY Wendy

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

17.	15/12/2011	Book on The Internet and World Wide Web have revolutionize ...	MANOLESCU-GOUJOT Ioana

18.	15/07/2011	VARNA software distinguished VARNA (http://varna.lri.fr) is a Java lightweight ...	DENISE Alain

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

20.	09/07/2009	World's Best SAT solver on Industrial (UNSAT) problems glucose, the SAT solver created by L. Simon (LRI) ...	SIMON Laurent

21.	09/04/2008	Sigma Lenses: Focus-Context Transitions Combining Space, Time and Translucence Focus+context techniques such as fisheye lenses ar ...	PIETRIGA Emmanuel

22.	08/10/2007	Verifying a signature architecture: a comparative case study. We report on a case study in applying different fo ...	WOLFF Burkhart

23.	08/07/2005	A Verification Approach for Applied System Security We present a method for the security analysis of r ...

24.	08/07/2003	HOL-Z 2.0: A Proof Environment for Z-Specifications. We present a new proof environment for the specifi ...	WOLFF Burkhart

25.	08/07/1999	Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. This paper attempts to develop a metaphor suited t ...	WOLFF Burkhart


1 - 2 - Suivant [Page 1 sur 2]