Skip to content

Research facility · founded 1975

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

Rennes, France · irisa.fr

Part of Centre National de la Recherche Scientifique

Manage this page

Citations, last 5 years: 12.8k
Works, last 5 years: 3 368
h-index: 263
Scientists listed: 0
Grants since 2016: 35

Strongest research topics

Formal Methods in Verification1,519Computer Science
Logic, programming, and type systems1,319Computer Science
Distributed systems and fault tolerance1,156Computer Science
Parallel Computing and Optimization Techniques1,025Computer Science
Advanced Software Engineering Methodologies847Computer Science
Embedded Systems Design Techniques799Computer Science