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.

Laboratoire Méthodes Formelles | Researchclopedia

Back to institutions

Laboratoire Méthodes Formelles

Gif-sur-Yvette, Île-de-Francefacility

375

Works

1,816

Citations

18

h-index

Top Research Topics

Formal Methods in Verification Logic, programming, and type systems Quantum Computing Algorithms and Architecture

Top Researchers

Michel Renard Centre National de la Recherche Scientifique

161 works8,367 citationsh-index: 43

Recent Research

Proper maps and quasi-adjoints

Jean Goubault-Larrecq

20260 citations

Logic, Reasoning, and Knowledge

semigroups and automata theory

Computability, Logic, AI Algorithms

Advanced Topology and Set Theory

Model-Driven Software Engineering Techniques

Quantum Information and Cryptography

Software Testing and Debugging Techniques

Semantic Web and Ontologies

Business Process Modeling and Analysis

Jean-Pierre Jouannaud Laboratoire de Mesure du Carbone 14

147 works5,050 citationsh-index: 28

Dong-Ho Lee Korea Institute of Energy Research

420 works4,584 citationsh-index: 37

Olivier Danvy National University of Singapore

228 works4,219 citationsh-index: 35

Kim Nguyễn Cho Ray Hospital

103 works3,711 citationsh-index: 22

Patricia Bouyer Centre National de la Recherche Scientifique

168 works3,254 citationsh-index: 34

Outils automatisés pour le raisonnement inductif en logique de séparation

Quentin Petitjean

20260 citations

Les anagrammes de ce titre

Jean-Christophe Filliâtre

20260 citations

Deep Reinforcement Learning with Permutation Equivariant Neural Network for Multi-Armed Bandit

Zhuofan Xu,Benedikt Bollig,et al.

20260 citations

A dataflow programming framework for linear optical distributed quantum computing

Giovanni de Felice,Boldizsár Poór,et al.

20260 citations

The HOL-Light library of Multivariate Real analysis in Rocq

Claudio Sacerdoti Coen,Abdelghani Alidra,et al.

20260 citations