Home
>
Groups
>
Research activities
> Algorithms
About LRI
Groups
Research groups
Support groups
Joint Inria project teams
Research activities
Collaborations
Research results
Open positions
Teaching
Useful informations
Research activities: Algorithms
Keywords:
-
Randomized algorithms
-
Evolutionary algorithms
-
Approximation algorithms
-
Onilne algorithms
-
Graph algorithms
Groups
Algorithms and Complexity
Toccata
Joint Inria project teams
Research highlights
The Average Complexity of Tree Alignment
Automated motif extraction and classification in RNA tertiary structures
Average complexity of the Jiang-Wang-Zhang pairwise tree alignment algorithm and of a RNA secondary structure alignment algorithm
Coverage-biased random explo-ration of large models and application to testing
Tree decomposition and parameterized algorithms for RNA structure-sequence alignment including tertiary interactions and pseudoknots
A new dichotomic algorithm for the uniform random generation of words in regular languages
Contracts & grants
Brasero
PASAPAS
Software & patents
GenRGenS
VARNA
Collaborations
Members
DE ROUGEMONT Michel
LAPLANTE Sophie
MAGNIEZ Frédéric
SANTHA Miklos
HERRBACH Claire
ZHOU Yu
KERENIDIS Iordanis
ROSEN Adi
KAPLAN Marc
FAYOLLE Julien
SAULE Cédric
THEVENIN Annelyse
CHAILLOUX André
BOROZAN Valentin
DJELLOUL Mahassine
FERNANDEZ DE LA VEGA Wenceslas
PONTY Yann
VISHNOI Nisheeth
MALLA Noor
FEZZANI Riadh
JACQUELIN Mathias
VALICOV Petru
Ph.D. dissertations & Faculty habilitations
Random structures, models, and genome analysis
Algorithmic Aspects of Genome Rearrangements: Duplications and Partial Orders
Research activities
°
Algorithm control and hyper-parameter tuning
°
Algorithms for networked systems
°
Automated Proof, SMT and Applications
°
Automated Reasoning
°
Combinatorics
°
Compilation and code optimization
°
Data-Centric Languages and Systems
°
Deductive Verification of Programs
°
Digital Fabrication
°
Distributed algorithms
°
Distributed Design
°
Engineering of interactive systems
°
Fab lab
°
Formal Model-Based Testing
°
Formalisation and Proof of Numerical Programs
°
Formalisation of (Specification and Programming) Languages in Proof Assistants
°
Generative design methods
°
Graph Theory
°
Green networks
°
Heterogeneous Wireless Networks
°
High-performance computing
°
Human-Computer Interaction
°
Integration of Data and Knowledge
°
Interaction and visualization paradigms
°
Large scale modelling
> more activities