Home
→
Laboratories
→

RELAX

RELAX · Unité mixte internationale

Indo-French REsearch LAb in Computer Science

Laboratoire de recherche de l'université Paris-Saclay, de l'école normale supérieure Paris-Saclay, de l'université de Bordeaux et du CNRS

Text: Wikidata · Text available in French only.

24

HAL publications

2

Researchers

0

Projects

Lab website ↗Publications in HAL ↗

Parent institutions

Ecole normale supérieure Paris-Saclay, Centre national de la recherche scientifique, Université de Bordeaux, Université Paris-Saclay

Location

Kelambakkam

Founded

2017

Persistent identifiers

References for this unit in public registries: they allow cross-checking with other sources and do not change when the name does.

Fields

Share of HAL publications by field

Formal Languages and Automata Theory [cs.FL]

5

Logic in Computer Science [cs.LO]

5

Group Theory [math.GR]

2

Computation and Language [cs.CL]

2

Computer Science and Game Theory [cs.GT]

2

Databases [cs.DB]

1

Discrete Mathematics [cs.DM]

1

Distributed, Parallel, and Cluster Computing [cs.DC]

1

Combinatorics [math.CO]

1

Programming Languages [cs.PL]

1

Frequent keywords: zones, cascade product, event-clock automata, verification, simulations, reachability, asynchronous automata, mazurkiewicz traces, transducers, krohn rhodes theorem

Researchers

2 people who have published since 2022

Data provenance

Sources : RNSR (MESR), Wikidata, HAL. Data compiled on 27/10/2026. Found an error? It is corrected in the original source (HAL, RNSR, directory); see how.