Research highlights - Laboratoire de Recherche en Informatique

#	Date	Title & description	Contact

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

2.	30/04/2013	Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking The inclusion of Regular Expressions (REs) is the ...

3.	30/03/2011	EATCS Award for Best ETAPs Paper 2011 Sylvain Conchon, Evelyne Contejean and Mohamed Igu ...

4.	30/01/2013	Best application paper at EGC 2013 conference Best application paper at EGC 2013 conference for ...

5.	29/11/2008	Automated motif extraction and classification in RNA tertiary structures We used a novel graph-based approach to extract RN ...	DJELLOUL Mahassine

6.	29/10/2012	Chromosome Replication in Escherichia coli: Life on the Scales. Vic NORRIS and Patrick AMAR At all levels of Life, systems evolve on the 'scal ...	AMAR Patrick

7.	29/06/2012	Distributed tree decomposition with privacy	ARMANT Vincent

8.	29/06/2011	Glucose 2 best SAT solveur (Applications,SAT+UNSAT- More competitive than ever, with 67 solvers submit ...

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

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

11.	28/01/2008	The Average Complexity of Tree Alignment The same result holds for the average complexity o ...

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

13.	27/10/2013	Mapping Adaptation Actions for the Automatic Reconciliation of Dynamic Ontologies J. C. Dos Reis, D. Dinh, C. Pruski, M. Da Silveira ...

14.	27/07/2017	A Model of Pulsation for Evolutive Formalizing Incomplete Intelligent Systems	FRANOVA Marta

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

16.	27/04/2013	Honorable Mention Award at CHI 2013 - 'A Body-centric Design Space for Multi-surface Interaction'

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

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

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

20.	26/03/2013	Almost-Linear Inclusion for XML Regular Expression Types Type inclusion is a fundamental operation in every ...

21.	26/03/2009	Genome-wide haplotype association study identifies the SLC22A3-LPAL2-LPA gene cluster as a risk locus for coronary artery disease Brief Communication abstract: David-Alexandre ...

22.	26/02/2013	Sensor potency of the moonlighting enzyme-decorated cytoskeleton: the cytoskeleton as a metabolic sensor Background There is extensive evidence for the ...	AMAR Patrick

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

24.	25/06/2007	Formal Verification of Floating-Point Programs This paper introduces a methodology to perform for ...	BOLDO Sylvie

25.	25/03/2008	A stochastic automaton shows how enzyme assemblies may contribute to metabolic efficiency The advantages of grouping enzymes into metabolons ...	AMAR Patrick


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