Research highlights - Laboratoire de Recherche en Informatique

#	Date	Title & description	Contact

101.	01/10/2012	Static and Dynamic Semantics of NoSQL Languages, accepted at ACM POPL 2013 NoSQL languages are very popular in the context of ...	NGUYEN Kim

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/09/2014	Formal firewall conformance testing: an application of test and proof techniques Firewalls are an important means to secure critica ...	WOLFF Burkhart

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

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

106.	01/09/2004	Similarity Search for Scientific Workflows With the increasing popularity of scientific workf ...

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

108.	01/08/2006	MoGo: A program playing Go

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

110.	01/07/2014	Ontology-Aware Prediction from Rules: A Reconciliation-Based Approach	SAÏS Fatiha

111.	01/07/2012	Glucose 2.1 SAT Solver won the SAT 2012 Challenge The new version of Glucose won the SAT Challenge 2 ...

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

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

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

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

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

117.	01/01/2011	One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches Wireless self-organizing networks (WSONs) have att ...	ZAIDI Fatiha

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

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

120.	01/01/1970	Best Paper Award - CODIT 2019

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

122.		Best Paper Award

123.		Covariance Matrix Adaptation	HANSEN Nikolaus

124.		SAKey: Scalable Almost Key discovery in RDF data

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]