Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (5)
  • Caen (4)
  • Nancy 1 (4)
  • Paris 11 (4)
  • Toulouse 3 (4)
  • Cachan, Ecole normale supérieure (2)
  • Grenoble Alpes (2)
  • Paris 1 (2)
  • Paris 6 (2)
  • Paris 7 (2)
  • Besançon (1)
  • Bordeaux (1)
  • Grenoble (1)
  • Grenoble 1 (1)
  • Grenoble INPG (1)
  • Lille 1 (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 10 (1)
  • Paris 5 (1)
  • Paris, Institut d'études politiques (1)
  • Pau (1)
  • Rouen (1)
  • Sorbonne université (1)
  • Toulouse, ISAE (1)
  • Università degli studi (Milan, Italie) (1)
  • Université de Lorraine (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (23)
  • Sciences économiques (5)
  • Sciences appliquées (2)
  • Sciences et techniques communes (2)
  • Sociologie (2)
  • Aide à la décision (1)
  • Aménagement de l'espace, urbanisme (1)
  • Intelligence artificielle (1)
  • Mathématiques appliquées. Statistique (1)
  • Mathématiques et Informatique (1)
  • Philosophie (1)
  • Productique, automatique et informatique industrielle (1)
  • Réseaux, télécom, système et architecture (1)
  • Sciences et techniques (1)
  • Sciences humaines (1)
  • Sciences économiques générales (1)
  • Éthique médicale et santé publique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (5)
  • Ecole doctorale Informatique de Paris-Sud (3)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • ED 37 - Sciences physiques pour l'ingénieur et microtechniques (1)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (1)
  • IAEM Lorraine (1)
  • Informatique, Automatique, Electronique-Electrotechnique, Mathématiques (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Informatique, télécommunications et électronique (Paris) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale de Géographie de Paris. Espace, sociétés, aménagement (Paris) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale Économie, organisations, société (Nanterre) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (29)
  • anglais (12)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Balbiani Philippe (2)
  • Conchon Sylvain (2)
  • Cortier Véronique (2)
  • Delaune Stéphanie (2)
  • Huet Gérard (2)
  • Iosif Radu (2)
  • Lepelley Dominique (2)
  • Perny Patrice (2)
  • Rusinowitch Michaël (2)
  • Salles Maurice (2)
  • Baelde David (1)
  • Caferra Ricardo (1)
  • Cassar Jean-Philippe (1)
  • Caussinus Henri (1)
  • Cerrito Serenella (1)
  • Chemla Guy (1)
  • Chevalier Yannick (1)
  • Comon-Lundh Hubert (1)
  • Contejean Evelyne (1)
  • Delmas Rémi (1)
  • Demri Stéphane (1)
  • Desanti Jean-Toussaint (1)
  • Dufoix Stéphane (1)
  • Fariñas del Cerro Luis (1)
  • Fernandez Jean-Claude (1)
  • Fontaine Pascal (1)
  • Galmiche Didier (1)
  • Gastin Paul (1)
  • Ghilardi Silvio (1)
  • Giorgetti Alain (1)
  • Goranko Valentin (1)
  • Graf Suzanne (1)
  • Grémion Pierre (1)
  • Jouannaud Jean-Pierre (1)
  • Kirchner Hélène (1)
  • Kouchnarenko Olga (1)
  • Laslier Jean-François (1)
  • Lozes Étienne (1)
  • Marché Claude (1)
  • Mauny Michel (1)
  • Merlin Vincent (1)
  • Merz Stephan (1)
  • Monniaux David (1)
  • Moy Matthieu (1)
  • Pagetti Claire (1)
  • Passet René (1)
  • Ranise Silvio (1)
  • Raoult Jean-Pierre (1)
  • Ringeissen Christophe (1)
  • Simon Laurent (1)
  • Violet Dominique (1)
  • Zittoun Robert (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (27)
  • Economie (6)
  • Sciences de l'ingénieur (4)
  • Sciences sociales, sociologie, anthropologie (3)
  • Sciences de la nature et mathématiques (3)
  • Technologie (Sciences appliquées) (3)
  • Philosophie, psychologie (1)
  • Morale (éthique) (1)
  • Statistiques générales (1)
  • Mathématiques (1)
  • Médecine et santé (1)
  • Urbanisme (1)

Domaines :

Fullscreen

...modulaire des procédures de décision.D’autres propriétés peuvent être vérifiées par saturation schématique...

Accéder en ligne

Procédures de décision pour logiques de séparation

par Alessio Mansutti sous la direction de Stéphane Demri et de Étienne Lozes. - Paris Saclay

Informatique

En préparation depuis le 01-09-2017
 thèse en cours de préparation
Sciences économiques

Soutenue en 1989
thèse soutenue
Sciences économiques générales

Soutenue en 2002
thèse soutenue
Sciences appliquées

Soutenue en 1990
thèse soutenue

Résultats 1 à 10