Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Centre Inria de l'Université de Rennes | Researchclopedia

Back to institutions

Centre Inria de l'Université de Rennes

Rennes, Brittanyfacility

3,572

Works

135,968

Citations

137

h-index

Top Research Topics

Formal Methods in Verification Advanced Vision and Imaging Distributed systems and fault tolerance

Top Researchers

Fabrice André Inserm

1,818 works103,006 citationsh-index: 148

Recent Research

Bounding Byzantine Impact in Open CRDT Systems

Timothé Albouy,Carlos Baquero,et al.

20260 citations

Cloud Computing and Resource Management

Parallel Computing and Optimization Techniques

Robotics and Sensor-Based Localization

Advanced Software Engineering Methodologies

Distributed and Parallel Computing Systems

Caching and Content Delivery

Advanced Data Storage Technologies

Peer-to-Peer Network Technologies

Advanced Image and Video Retrieval Techniques

Frank Hutter Thorlabs (Germany)

384 works42,561 citationsh-index: 72

Ivan Laptev Mohamed bin Zayed University of Artificial Intelligence

275 works32,276 citationsh-index: 65

Pierre Vandergheynst Haute École Pédagogique du Canton de Vaud

491 works30,048 citationsh-index: 63

Holger H. Hoos University of Rome Tor Vergata

380 works28,334 citationsh-index: 70

Kim G. Larsen Oxford Instruments (United Kingdom)

852 works24,075 citationsh-index: 70

Bounding Byzantine Impact in Open CRDT Systems

Timothé Albouy,Carlos Baquero,et al.

20260 citations

A Floyd-Warshall approach to value computation in Markov decision processes

Aymeric Côme,Eric Fabre,et al.

20260 citations

Nested Inductive Types: Justified and Usable Nested Inductive Types in Lean and Rocq

Thomas Lamiaux,Matthieu Sozeau,et al.

20260 citations

Nested Inductive Types: Justified and Usable Nested Inductive Types in Lean and Rocq

Thomas Lamiaux,Matthieu Sozeau,et al.

20260 citations

Enhancing simplified models for the inversion of surface mesoscale dynamics from satellite data

Gaétan Rigaut,Noé Lahaye,et al.

20260 citations