Skip to content

Research facility · founded 2017

Research Lab in Computer Science

Gif-sur-Yvette, France · projects.lsv.ens-cachan.fr/relax

Part of Centre National de la Recherche Scientifique

Manage this page

Citations, last 5 years: 15
Works, last 5 years: 12
h-index: 6
Scientists listed: 0
Grants since 2016: 0

Strongest research topics

Formal Methods in Verification13Computer Science
semigroups and automata theory13Computer Science
Complexity and Algorithms in Graphs10Computer Science
Petri Nets in System Modeling10Computer Science
Advanced Graph Theory Research7Computer Science
Logic, programming, and type systems5Computer Science