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 Fondamentale | Researchclopedia

Back to institutions

Institut de Recherche en Informatique Fondamentale

Paris, Île-de-Francefacility

1,480

Works

14,968

Citations

50

h-index

Top Research Topics

Logic, programming, and type systems semigroups and automata theory Formal Methods in Verification

Top Researchers

Robert M. Grant

1,042 works79,461 citationsh-index: 100

Recent Research

Stateless 2PC Signatures for Internet-Scale Authentication and Authorization

Michael Adjedj,Geoffroy Couteau,et al.

20260 citations

Logic, Reasoning, and Knowledge

Complexity and Algorithms in Graphs

Distributed systems and fault tolerance

Advanced Graph Theory Research

Advanced Algebra and Logic

Computability, Logic, AI Algorithms

Quantum Computing Algorithms and Architecture

Optimization and Search Problems

Cryptography and Data Security

Édouard Duchesnay Centre National de la Recherche Scientifique

158 works67,772 citationsh-index: 32

Denis Le Bihan Kyoto University

499 works46,651 citationsh-index: 98

Jean‐Charles Fruchart Risk Engineering (Bulgaria)

471 works39,808 citationsh-index: 104

Thomas Bourgeron Centre National de la Recherche Scientifique

813 works31,739 citationsh-index: 83

Jean‐Baptiste Poline Montreal Neurological Institute and Hospital

447 works31,201 citationsh-index: 74

On the choice of topological dual of a lattice

Mai Gehrke,Elena Pozzan

20260 citations

Ineffective Right and Undone Science: the case of the access to administrative algorithms in France

Luc Pellissier,Noé Wagener

20260 citations

CTL Model Checking of Concurrent Self Modifying Code

Tayssir Touili,Olzhas Zhangeldinov

20260 citations

Synthetic Differential Geometry in Lean

Riccardo Brasca,Gabriella Clemente

20260 citations

Revisiting the expressiveness of metric temporal logic : A tale of "Je t'aime, moi non plus."

Mohammed Foughali

20260 citations