Skip to content

Research facility · founded 2020

TYREX: Types and Reasoning for the Web

Montbonnot-Saint-Martin, France · inria.fr/equipes/tyrex

Part of Institut polytechnique de Grenoble

Manage this page

Citations, last 5 years: 18
Works, last 5 years: 27
h-index: 16
Scientists listed: 0
Grants since 2016: 0

Strongest research topics

Advanced Database Systems and Queries47Computer Science
Semantic Web and Ontologies32Computer Science
Graph Theory and Algorithms30Computer Science
Logic, programming, and type systems17Computer Science
Logic, Reasoning, and Knowledge16Computer Science
Formal Methods in Verification8Computer Science