Skip to Main content Skip to Navigation
New interface


...
tel-01243612v1  Habilitation à diriger des recherches
Nathalie Bertrand. Contributions to the verification and control of timed and probabilistic models
Formal Languages and Automata Theory [cs.FL]. Université Rennes 1, 2015
...
tel-00919684v1  Theses
Rouwaida Abdallah. Implementability of distributed systems described with scenarios
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2013. English. ⟨NNT : 2013DENS0027⟩
...
tel-01939514v1  Habilitation à diriger des recherches
Blaise Genest. Taming Concurrency using Representatives.
Other [cs.OH]. Rennes 1, 2016
...
tel-01094616v1  Habilitation à diriger des recherches
Christophe Morvan. Familles de graphes de présentation finie, propriétés et applications
Théorie et langage formel [cs.FL]. Université Paris-Est, 2014
...
tel-01011210v1  Theses
Aurore Junier. Analyses de performance et de stabilité des réseaux de télécommunication
Autre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2013. Français. ⟨NNT : 2013DENS0066⟩
...
tel-00926742v1  Habilitation à diriger des recherches
Loïc Hélouët. Scenario automata : theory and applications
Formal Languages and Automata Theory [cs.FL]. Université Rennes 1, 2013
...
tel-01127287v1  Theses
Mohamadou Lamine Diouf. Opacité des artefacts d'un système Workflow
Autre [cs.OH]. Université Rennes 1; Université Cheikh Anta Diop (Dakar), 2014. Français. ⟨NNT : 2014REN1S061⟩