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
Janusz Malinowski
is the author of a thesis
Automates
Automates temporisés
Hiérarchie
Ordres partiels
Réduction SAT
Stabilisation
Synthèse de contrôleur
Systèmes EDO
Systèmes non linéaires
Systèmes échantillonnés
Automates
Automates temporisés
Hiérarchie
Ordres partiels
Réduction SAT
Stabilisation
Synthèse de contrôleur
Systèmes EDO
Systèmes non linéaires
Systèmes échantillonnés
Janusz Malinowski wrote the following thesis:
Algorithmes pour la synthèse et le model checking
by
Janusz Malinowski
supervised by
Peter Niebert
-
Aix-Marseille
Informatique
defended on 10-12-2012
Access online