Connexion
All theses
Ongoing thesis
Individuals
Organisations
Deactivate Autocomplete
Activate Autocomplete
Title
Keywords
Abstract
Discipline
Full text
Author
Thesis supervisor
Thesis committee President
Examiner
Thesis committee member
All roles
Institutions of thesis defence
Etablissement de cotutelle
Ecole doctorale
Laboratoire
Equipe de recherche
Entreprise
Fondation
Autre partenaire
and
or
Title
Keywords
Abstract
Discipline
Full text
Author
Thesis supervisor
Thesis committee President
Examiner
Thesis committee member
All roles
Institutions of thesis defence
Etablissement de cotutelle
Ecole doctorale
Laboratoire
Equipe de recherche
Entreprise
Fondation
Autre partenaire
and
or
Title
Keywords
Abstract
Discipline
Full text
Author
Thesis supervisor
Thesis committee President
Examiner
Thesis committee member
All roles
Institutions of thesis defence
Etablissement de cotutelle
Ecole doctorale
Laboratoire
Equipe de recherche
Entreprise
Fondation
Autre partenaire
and
or
Viva date
Enrollment date
Defending date
from
to
Clear
Advanced search
Only theses to be defended in the next 6 months
Only individuals in connection with a defended thesis or an ongoing thesis for less than five years
defended theses only
defended and online theses
REPORT
an error
previous individual
next individual
Bastien Sérée
is the author of a thesis
Arbres
Automate
Contraintes sur l’énergie
Graphes paramétrés
Jeux sur les graphes
Model-checking
Objectifs de parité
Plus court chemin
Théorie des graphes
Théorie des jeux
Vérification de modèles
Arbres
Automate
Contraintes sur l’énergie
Graphes paramétrés
Jeux sur les graphes
Model-checking
Objectifs de parité
Plus court chemin
Théorie des graphes
Théorie des jeux
Vérification de modèles
Bastien Sérée wrote the following thesis:
Problèmes d'optimisation dans les graphes paramétrés
by
Bastien Sérée
supervised by
Didier Lime
and
Loïg Jezequel
. -
Ecole centrale de Nantes
Informatique
defended on 15-12-2022
Access online