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

#	Date	Titre et Description	Contact

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

91.	01/09/2008	Semantic subtyping: dealing set theoretically with function union intersection and negation types Subtyping relations are usually defined either syn ...	BENZAKEN Véronique

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

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

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

95.	28/01/2008	The Average Complexity of Tree Alignment Le fait étonnant est que la complexité moyenne de ...

96.	06/11/2007	Exploration Uniforme de très grands modèles Etant donné un système qui est modélisé comme la c ...	GAUDEL Marie-Claude

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

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

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

100.	01/04/2007	Copy-and-Paste Between Overlapping Windows Copy-and-paste, one of the fundamental operations ...	CHAPUIS Olivier


Première page - Précédant - 1 - 2 - 3 - 4 - 5 - Suivant [Page 4 sur 5]