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

#	Date	Titre et Description	Contact

1.	28/10/2021	How fast can you converge towards a consensus value? In their recent work, Matthias Fuegger (LMF), Thom ...	NOWAK Thomas

2.	30/10/2020	Model Transformation as Conservative Theory-Transformation Model transformations play a central role in model ...	WOLFF Burkhart

3.	20/09/2019	Best student paper award (ML) at ECML 2019 Guillaume Doquet (A&O) received the Best Student P ...	DOQUET Guillaume

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

5.	05/07/2019	Best Full Paper Award EDM 2019 - Educational Data Mining Benoit Choffin, Fabrice Popineau, Yolaine Bourda, ...	CHOFFIN Benoît

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

7.	06/05/2019	Best Paper Award ICONS 2019: Resonance Thinking and Inductive Machine Learning Best Paper Award ICONS 2019: Resonance Thinking an ...	FRANOVA Marta

8.	27/04/2018	Computer‐aided biochemical programming of synthetic microreactors as diagnostic devices Biological systems have evolved efficient sensing ...	AMAR Patrick

9.	05/11/2017	Best Paper Award: Self-stabilizing Distributed Stable Marriage	BURMAN Janna

10.	27/07/2017	Best Paper Award INTELLI 2017: A Model of Pulsation for Evolutive Formalizing Incomplete Intelligent Systems	FRANOVA Marta

11.	02/05/2017	Information-Geometric Optimization Algorithms: A Unifying Picture via Invariance Principles We present a canonical way to turn any smooth para ...

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

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

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

15.	27/10/2014	ICDE 2015 tutorial: RDF Data Management: Reasoning on Web Data	MANOLESCU-GOUJOT Ioana

16.	26/10/2014	ICDE 2015: CliqueSquare: Flat Plans for Massively Parallel RDF Queries (paper + demo) As increasing volumes of RDF data are being produc ...	MANOLESCU-GOUJOT Ioana

17.	24/10/2014	CIDR 2015: Invisible Glue: Scalable Self-Tuning Multi-Stores	MANOLESCU-GOUJOT Ioana

18.	19/10/2014	ISWC'14: SAKey: Scalable Almost Key discovery in RDF data Exploiting identity links among RDF resources allo ...	SYMEONIDOU Danai

19.	28/09/2014	Test selection for traces refinement, Ana Cavalcanti and Marie-Claude Gaudel Theories for model-based testing identify exhausti ...	GAUDEL Marie-Claude

20.	01/09/2014	Formal firewall conformance testing: an application of test and proof techniques	WOLFF Burkhart

21.	01/07/2014	Ontology-Aware Prediction from Rules: A Reconciliation-Based Approach Our work is related to the general problem of cons ...	SAÏS Fatiha

22.	06/06/2014	Effects of Display Size and Navigation Type on a Classification Task The advent of ultra-high resolution wall-size disp ...	BEAUDOUIN-LAFON Michel

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

24.	07/04/2014	ESOP 2014 : A Coq Formalization of the Relational Data Model A first Coq certified course in relational databas ...	CONTEJEAN Evelyne

25.	27/02/2014	Identifying change patterns of concept attributes in ontology evolution Ontology versions are periodically released to ens ...


1 - 2 - 3 - 4 - 5 - Suivant [Page 1 sur 5]