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.

École Normale Supérieure de Rennes | Researchclopedia

Back to institutions

École Normale Supérieure de Rennes

Bruzeducation

1,357

Works

19,978

Citations

59

h-index

Top Research Topics

Logic, Reasoning, and Knowledge Logic, programming, and type systems Sports Performance and Training

Top Researchers

Ryan E. Rhodes University of Victoria

889 works36,033 citationsh-index: 93

Recent Research

Leveraging Cryptographic Simulator Synthesis for Formally Verifying the FOO E-Voting Protocol

David Baelde,Adrien Koutsos,et al.

20260 citations

Formal Methods in Verification

Physical Activity and Health

Advanced Mathematical Modeling in Engineering

Smart Grid Energy Management

Parallel Computing and Optimization Techniques

Cloud Computing and Resource Management

Distributed and Parallel Computing Systems

Electric Motor Design and Analysis

Stability and Controllability of Differential Equations

Guerric Le Maire Centre de Coopération Internationale en Recherche Agronomique pour le Développement

278 works12,618 citationsh-index: 53

Christian Walter Institut Agro Rennes-Angers

730 works10,179 citationsh-index: 53

Anatole Lécuyer Centre National de la Recherche Scientifique

445 works10,108 citationsh-index: 53

Philippe Sarrazin Unité de Recherche Pluridisciplinaire Sport, Santé, Société

345 works9,262 citationsh-index: 54

Alain Roucoux Centre National de la Recherche Scientifique

205 works7,956 citationsh-index: 41

Mind the Gap: Connecting Protocol Representations in Squirrel

David Baelde,S. Delaune,et al.

20260 citations

seL4/l4v: Proofs for seL4 15.0.0

Gerwin Klein,Rafal Kolanski,et al.

20260 citations

Anchor-based Haptics: Portable Interfaces Leveraging Real Surfaces to Display Grounded Forces for 3D Shape Simulation in VR

Julien Manson,Anatole Lécuyer,et al.

20260 citations

SpaceTimePy Performance Data and Code on 5 Python Project from Github

Jean-Baptiste Döderlein

20260 citations

SpaceTimePy Performance Data and Code on 5 Python Project from Github

Jean-Baptiste Döderlein

20260 citations