Research highlights - Laboratoire de Recherche en Informatique

#	Date	Title & description	Contact

26.	24/10/2014	CIDR 2015: Invisible Glue: Scalable Self-Tuning Multi-Stores Next-generation data centric applications often in ...	MANOLESCU-GOUJOT Ioana

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

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

29.	22/12/2012	Web Data Indexing in the Cloud: Efficiency and Cost Reductions	CAMACHO RODRIGUEZ Jesus

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

31.	22/05/2013	Growing Triples on Trees: an XML-RDF Hybrid Model for Annotated Documents	LEBLAY Julien

32.	22/03/2012	Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems	MEBSOUT Alain

33.	22/03/2002	Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems accept à CAV 2012 Cubicle is an open source model checker for verify ...	ZAIDI Fatiha

34.	22/02/2013	Best Student Paper Award In this paper, we propose a distributionally robus ...

35.	21/12/2012	Efficient Query Answering against Dynamic RDF Databases A promising method for efficiently querying RDF da ...	ROATIS Ioana-Alexandra

36.	21/04/2016	Formal mutation testing for Circus We present a formal definition for fault-based tes ...	GAUDEL Marie-Claude

37.	21/04/2009	GCC 4.4.0 becomes the first "polyhedral" compiler thanks to GRAPHITE The compiler GCC 4.4.0 has been published today. O ...	BASTOUL Cédric

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

39.	21/03/2003	Almost-Linear Inclusion for XML Regular Expression Types Type inclusion is a fundamental operation in every ...

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

41.	20/09/2019	Best student paper award (ML) at ECML 2019	DOQUET Guillaume

42.	20/06/2012	Six articles and two awards at the CHI'12 conference The ACM SIGCHI Conference on Human Factors in Comp ...	CHAPUIS Olivier

43.	19/10/2014	ISWC'14: SAKey: Scalable Almost Key discovery in RDF data	SYMEONIDOU Danai

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

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

46.	17/07/2019	Best Paper Award - HPCS 2019 - On server-side file access pattern matching ¹ Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, ...	LIMA PILLA Laércio

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

48.	16/08/2012	A new dichotomic algorithm for the uniform random generation of words in regular languages We present a new algorithm for generating uniforml ...	DENISE Alain

49.	16/07/2013	Glucose 2.3 best SAT Solver 2013 (Applications, Certified UNSAT) Glucose 2.3 won the first price at the internation ...

50.	15/12/2011	Book on The Internet and World Wide Web have revolutionize ...	MANOLESCU-GOUJOT Ioana


Précédant - 1 - 2 - 3 - 4 - 5 - Suivant [Page 2 sur 5]