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

#	Date	Titre et Description	Contact

51.	05/07/2012	A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic This paper describes a novel decision procedure fo ...	MEBSOUT Alain

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

53.	29/06/2012	Distributed tree decomposition with privacy Tree Decomposition of Graphical Models is a well k ...	ARMANT Vincent

54.	20/06/2012	Six articles dont deux primés pour l'équipe InSitu à la conférence CHI'12 La conférence ACM SIGCHI on Human Factors in Compu ...	CHAPUIS Olivier

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

56.	02/04/2012	On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies Consistent query answering is a standard approach ...	BIENVENU Meghyn

57.	02/04/2012	Query Containment in Description Logics Reconsidered While query answering in the presence of descripti ...	BIENVENU Meghyn

58.	22/03/2012	Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Cubicle is a new model checker for verifying safet ...	MEBSOUT Alain

59.	15/03/2012	Type-based Detection of XML Query-Update Independence This paper presents a novel static analysis techni ...

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

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.	08/02/2012	Prix du meilleur papier étudiant

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

64.	15/12/2011	Livre Web Data Management par S. Abiteboul, I. Manolescu, P. Rigaux, M.-C. Rousset et P. Senellart	MANOLESCU-GOUJOT Ioana

65.	01/12/2011	Robust Module-based Data Management The current trend for building an ontology-based d ...	GOASDOUE François

66.	18/08/2011	View Selection in Semantic Web Databases We consider the setting of a Semantic Web database ...	LEBLAY Julien

67.	15/07/2011	Le logiciel VARNA à l'honneur VARNA (http://varna.lri.fr) est une applet Java dé ...	DENISE Alain

68.	29/06/2011	Glucose 2 meilleur solveur SAT (applications/SAT+UNSAT) La compétition SAT 2011 a été plus compétitive que ...

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

70.	07/05/2011	TorusDesktop: Pointing via the Backdoor is Sometimes Shorter When pointing to a target on a computer desktop, w ...

71.	30/03/2011	EATCS Award for Best ETAPS Paper 2011 Sylvain Conchon, Evelyne Contejean et Mohamed Igue ...

72.	27/03/2011	Coverage-biased random explo-ration of large models and application to testing This paper presents several randomised algorithms ...	GAUDEL Marie-Claude

73.	21/03/2011	Testing for refinement in Circus Circus combines constructs to define complex data ...	GAUDEL Marie-Claude

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

75.	03/10/2010	UIMarks: Quick Graphical Interaction with Specific Targets This paper reports on the design and evaluation of ...	CHAPUIS Olivier


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