Résultats 1 à 10

EXPORTER les résultats
S'ABONNER à theses.fr

Dates de soutenance :


Etablissements :

Valider et fermer
  • Angers (8)
  • Besançon (3)
  • Belfort-Montbéliard (2)
  • Aix-Marseille (1)
  • Bordeaux (1)
  • Bordeaux 1 (1)
  • Cachan, Ecole normale supérieure (1)
  • Clermont-Ferrand 2 (1)
  • Ecole centrale de Nantes (1)
  • Grenoble (1)
  • Grenoble INPG (1)
  • Metz (1)
  • Paris 7 (1)
  • Paris Est (1)
  • Rennes 1 (1)
  • Rouen (1)
  • Sorbonne Paris Cité (1)
  • Technische Universität (Berlin) (1)
  • Universidad de los Andes (Mérida, Venezuela) (1)
  • Université Technische Universität Berlin - GERMANY (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (8)
  • Automatique et informatique appliquée (3)
  • Automatique et informatique appliquée (2)
  • Automatique, productique (2)
  • Automatique (1)
  • Automatique et génie informatique (1)
  • Automatique et informatique (1)
  • Automatique et informatiqueAutomatique et informatique (1)
  • AutomatiqueAutomatique (1)
  • Mathématiques (1)
  • Mathématiques Pures (1)
  • Mathématiques appliquées (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • informatique fondamentale (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (3)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris2000-....) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale des sciences fondamentales (Clermont-Ferrand) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (18)
  • anglais (6)
  • espagnol (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Boimond Jean-Louis (5)
  • El Moudni Abdellah (3)
  • Hardouin Laurent (3)
  • Jensen Thomas (2)
  • Bichon Julien (1)
  • Bourcerie Marc (1)
  • Bucciarelli Antonio (1)
  • Cachera David (1)
  • Cardillo-Albarràn Juan José (1)
  • Courcelle Bruno (1)
  • Della Dora Jean (1)
  • Duchamp Gérard (1)
  • Gehrke Mai (1)
  • Habbas Zineb (1)
  • Khadraoui Djamel (1)
  • Lahaye Sébastien (1)
  • Loiseau Jean-Jacques (1)
  • Lombardy Sylvain (1)
  • Moncel Julien (1)
  • Nicaud Cyril (1)
  • Preissmann Myriam (1)
  • Reynier Pierre-Alain (1)
  • Roch Jean-Louis (1)
  • Talbot Jean-Marc (1)
  • ‎Pagani‎ Michèle (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (14)
  • Sciences de l'ingénieur (12)
  • Mathématiques (4)

Domaines :

Fullscreen

Discrete Event Systems with Standard and Partial Synchronizations

par Xavier David-Henriet sous la direction de Laurent Hardouin - Angers

Automatique, productique

Soutenue le 19-03-2015
thèse soutenue
Accéder en ligne

Modélisation, analyse et commande des systèmes à événements discrets par l’algèbre des dioides : application aux lignes de galvanoplastie

par Pavel Spacek sous la direction de Abdellah El Moudni - Besançon

Automatique et informatique

Soutenue en 1998
thèse soutenue

Contribution à la modélisation du trafic routier dans l'algèbre min-plus

par Julien Rousseau sous la direction de Jean-Louis Boimond - Angers

Automatique

Soutenue en 2010
thèse soutenue

Modélisation, analyse de performance et commande des systèmes à événements discrets

par Abdelhak Guezzi sous la direction de Jean-Louis Boimond - Angers

Automatique et informatique appliquée

Soutenue en 2010
thèse soutenue
Accéder en ligne

Contributions à la commande des systèmes (max,+)-linéaires : applications aux réseaux de transport

par Laurent Houssin sous la direction de Jean-Louis Boimond - Angers

Automatique et informatique appliquée

Soutenue en 2006
thèse soutenue
Accéder en ligne

Modélisation et commande des systèmes de chaînes logistiques par les réseaux de Petri et l'algèbre des dioïdes

par Ilham Elmahi sous la direction de Abdellah El Moudni - Besançon

Automatique et informatiqueAutomatique et informatique

Soutenue en 2006
thèse soutenue

Semi-anneau de fusion des groupes quantiques

par Colin Mrozinski sous la direction de Julien Bichon - Clermont-Ferrand 2

Mathématiques Pures

Soutenue le 05-12-2013
thèse soutenue
Accéder en ligne

Constructions d'algorithmes pour les graphes structurés par des méthodes algébriques et logiques

par Mohamed Hédi Mosbah sous la direction de Bruno Courcelle - Bordeaux 1

Informatique

Soutenue en 1992
thèse soutenue

Etude des graphes d'événements temporisés avec multiplieurs dans l'algèbre (min, +)

par Samir Hamaci sous la direction de Jean-Louis Boimond - Angers

Automatique et informatique appliquée

Soutenue en 2005
thèse soutenue

Quantifiers and duality

par Luca Reggio sous la direction de Mai Gehrke - Sorbonne Paris Cité

Mathématiques. Logique et fondements de l'informatique

Soutenue le 10-09-2018
thèse soutenue
Accéder en ligne

Résultats 1 à 10