RELAX · Unité mixte internationale
Indo-French REsearch LAb in Computer Science
Rattachement
Thématiques
Laboratoire de recherche de l'université Paris-Saclay, de l'école normale supérieure Paris-Saclay, de l'université de Bordeaux et du CNRS
Texte : Wikidata
24
Publications HAL
2
Chercheurs
0
Projets
Tutelles
Ecole normale supérieure Paris-Saclay, Centre national de la recherche scientifique, Université de Bordeaux, Université Paris-Saclay
Localisation
Kelambakkam
Création
2017
Identifiants pérennes
Références de cette unité dans les référentiels publics : elles servent à la recouper avec d’autres sources, et ne changent pas quand le nom change.
Domaines
Part des publications HAL par domaine
Théorie et langage formel [cs.FL]
5
Logique en informatique [cs.LO]
5
Théorie des groupes [math.GR]
2
Informatique et langage [cs.CL]
2
Informatique et théorie des jeux [cs.GT]
2
Base de données [cs.DB]
1
Mathématique discrète [cs.DM]
1
Calcul parallèle, distribué et partagé [cs.DC]
1
Combinatoire [math.CO]
1
Langage de programmation [cs.PL]
1
Mots-clés fréquents : zones, cascade product, event-clock automata, verification, simulations, reachability, asynchronous automata, mazurkiewicz traces, transducers, krohn rhodes theorem
Chercheurs
2 personnes ayant publié depuis 2022
Provenance des données
Sources : RNSR (MESR), Wikidata, HAL. Données consolidées le 27/10/2026. Une erreur ? Elle se corrige dans la source d’origine (HAL, RNSR, annuaire) ; voir comment.