Research highlights - Laboratoire de Recherche en Informatique

#	Date	Title & description	Contact

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

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

3.	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 Tr� ...	GERMAIN-RENAUD Cécile

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

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

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

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

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

9.	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

10.	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

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

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

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

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

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

16.	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

17.	06/11/2007	Uniform trace sampling in very large models Let a system described as some parallel compositio ...	OUDINET Johan

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

19.	02/03/2009	Achim Brucker and Burkhart Wolff. Acta Informatica, 2009. ... We present a formal semantics for an object-orient ...	WOLFF Burkhart

20.	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

21.	01/10/2006	User Interface Façades: Towards Fully Adaptable User Interfaces User interfaces are becoming more and more complex ...	ROUSSEL Nicolas

22.	01/09/2008	Model-Based Adaptation of Behavioral Mismatching Components Component-Based Software Engineering focuses on th ...	POIZAT Pascal

23.	01/08/2006	MoGo: A program playing Go	TEYTAUD Olivier

24.	01/07/2008	GenoQuery: a new querying module for functional annotation in a genomic warehouse	LEMOINE Frédéric

25.	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


1 - 2 - Suivant [Page 1 sur 2]