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

#	Date	Titre et Description	Contact

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

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

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

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

5.	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'h ...	BASTOUL Cédric

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

7.	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 contien ...	GERMAIN-RENAUD Cécile

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

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

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.	01/09/2008	Model-Based Adaptation of Behavioral Mismatching Components Component-Based Software Engineering focuses on th ...	POIZAT Pascal

12.	01/07/2008	GenoQuery: a new querying module for functional annotation in a genomic warehouse Motivation: We have to cope with both a deluge of ...	LEMOINE Frédéric

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

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

15.	01/02/2008	Semantic Subtyping: dealing set-theoretically with function, union, intersection and negation types Subtyping relations are usually defined either syn ...	BENZAKEN Véronique

16.	28/01/2008	The Average Complexity of Tree Alignment Le fait étonnant est que la complexité moyenne d ...	HERRBACH Claire

17.	06/11/2007	Exploration Uniforme de très grands modèles Etant donné un système qui est modélisé comme ...	OUDINET Johan

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

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

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

21.	01/04/2007	Copy-and-Paste Between Overlapping Windows Copy-and-paste, one of the fundamental operations ...	ROUSSEL Nicolas

22.	01/01/2007	SomeRDFS in the Semantic Web The Semantic Web envisions a world-wide distribute ...	GOASDOUE François

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

24.	01/08/2006	MoGo: un joueur de Go artificiel MoGo has been developped tackling specifically and ...	TEYTAUD Olivier

25.	01/01/2006	Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web In a peer-to-peer inference system, each peer can ...	CHATALIC Philippe


1 - 2 - Suivant [Page 1 sur 2]