Research highlights - Laboratoire de Recherche en Informatique

#	Date	Title & description	Contact

51.	15/07/2011	VARNA software distinguished VARNA (http://varna.lri.fr) is a Java lightweight ...	DENISE Alain

52.	15/04/2014	Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics Recently several inconsistency-tolerant semantics ...	BOURGAUX Camille

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

54.	15/03/2012	Type-based Detection of XML Query-Update Independence

55.	15/02/2012	Materialized View Selection for XQuery Workloads The efficient processing of XQuery still poses sig ...	KATSIFODIMOS Asterios

56.	14/10/2012	Optimizing XML querying using type-based document projection XML data projection (or pruning) is a natural opt ...	NGUYEN Kim

57.	14/05/2019	Best Paper Award - CODIT2019 - Stochastic Dual Dynamic integer Programming for a multi-echelon lot-sizing problem with remanufacturing and lost sales	GICQUEL Céline

58.	13/05/2015	Computing with Synthetic Protocells In this article we present a new kind of computing ...	AMAR Patrick

59.	12/06/2012	Discovering Cross-language Links in Wikipedia through Semantic Relatedness Wikipedia is a large multilingual collection of in ...

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

61.	11/02/2012	Automated prediction of three-way junction topological families in RNA secondary structures We present an algorithm for automatically predicti ...	DENISE Alain

62.	10/01/2014	WWW 2014: RDF Analytics: Lenses over Semantic Graphs The development of Semantic Web (RDF) brings new r ...	ROATIS Ioana-Alexandra

63.	10/01/2012	On Theorem Prover-based Testing HOL-TestGen is a specification and test case gener ...	WOLFF Burkhart

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

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

66.	09/02/2016	Cell-cell communication enhances the capacity of cell ensembles to sense shallow gradients during morphogenesis Collective cell responses to exogenous cues depend ...	AMAR Patrick

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

68.	08/08/2013	Algebraic Incremental Maintenance for XML Views Materialized views can bring important performance ...	MANOLESCU-GOUJOT Ioana

69.	08/08/2012	Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques	POIZAT Pascal

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

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

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

73.	08/05/2011	Mid-air Pan-and-Zoom on Wall-sized Displays Very-high-resolution wall-sized displays offer new ...	CHAPUIS Olivier

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

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


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