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

#	Date	Titre et Description	Contact

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

102.	01/10/2006	User Interface Façades: Towards Fully Adaptable User Interfaces User interfaces are becoming more and more complex ...	CHAPUIS Olivier

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

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

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

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

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

108.	25/11/2004	EKAW2014: Logical Detection of Invalid SameAs Statements in RDF Data In the last years, thanks to the standardization o ...	PAPALEO Laura

109.	11/11/2004	EKAW2014: Logical Detection of Invalid SameAs Statements in RDF Data In the last years, thanks to the standardization o ...	PAPALEO Laura

110.	01/09/2004	VLDB 2014 : Similarity Search for Scientific Workflows With the increasing popularity of scientific workf ...	COHEN-BOULAKIA Sarah

111.	01/09/2004	VLDB paper: Similarity Search for Scientific Workflows With the increasing popularity of scientific workf ...

112.	01/08/2004	JPDC - The Numerical Template Toolbox: A Modern C++ Design for Scientific Computing The design and implementation of high level tools ...	FALCOU Joël

113.	17/07/2004	JPDC - The Numerical Template Toolbox: A Modern C++ Design for Scientific Computing	FALCOU Joël

114.	15/04/2004	Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics Recently several inconsistency-tolerant semantics ...

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

116.	21/03/2003	Almost-Linear Inclusion for XML Regular Expression Types

117.	07/01/2003	Entity Discovery and Annotatiion in Tables

118.	22/03/2002	Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems accepté à CAV 2012	ZAIDI Fatiha

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

120.		ACM Fellow "For contributions to human-computer interaction, mixed reality and participatory design, and leadership in ACM SIGCHI”	MACKAY Wendy

121.		Best Paper Award - CODIT 2019

122.		Covariance Matrix Adaptation	HANSEN Nikolaus

123.		Prix du meilleur article applications de la conférence ICORES 2014

124.		SAKey: Scalable Almost Key discovery in RDF data Exploiting identity links among RDF resources allo ...

125.		Web Data Indexing in the Cloud: Efficiency and Cost Reductions


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