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.

Institut de Recherche en Informatique et Systèmes Aléatoires | Researchclopedia

Back to institutions

Institut de Recherche en Informatique et Systèmes Aléatoires

Rennes, Brittanyfacility

14,160

Works

522,806

Citations

241

h-index

Top Research Topics

Distributed systems and fault tolerance Parallel Computing and Optimization Techniques Formal Methods in Verification

Top Researchers

Fabrice André Inserm

1,818 works102,976 citationsh-index: 148

Recent Research

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

David Baelde,Adrien Koutsos,et al.

20260 citations

Advanced Vision and Imaging

Advanced Software Engineering Methodologies

Embedded Systems Design Techniques

Distributed and Parallel Computing Systems

Logic, programming, and type systems

Service-Oriented Architecture and Web Services

Data Management and Algorithms

Interconnection Networks and Systems

Logic, Reasoning, and Knowledge

E. Chassande‐Mottin Centre National de la Recherche Scientifique

460 works86,967 citationsh-index: 98

M. Bejger Centre National de la Recherche Scientifique

377 works83,169 citationsh-index: 94

Bertrand Thirion Centre Inria de Saclay

448 works79,908 citationsh-index: 53

Robert W. Heath University of California San Diego

1,308 works75,757 citationsh-index: 130

Nicolas Pons Université Paris-Saclay

125 works51,661 citationsh-index: 45

Mind the Gap: Connecting Protocol Representations in Squirrel

David Baelde,S. Delaune,et al.

20260 citations

Linking and Combining Digital Music Sources in Digital Archives: The CollabScore approach

P Rigaux,Bertrand Coüasnon,et al.

20260 citations

Effects of an unsynchronized RTS attack on a hardware 802.11ah test bed

Ignacio José Dasso,Sébastien Maudet,et al.

20260 citations

Simplified 3D control of magnetic objects by a triple-coil static unit on a robotic arm

Luca Cinus,Jessé Alves,et al.

20260 citations

DroidHunter : une détection robuste basée sur la vision contre les logiciels malveillants Android obfusqués

Victoire Nganfang,Simon Queyrut,et al.

20260 citations