Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (8)
  • Université de Lorraine (7)
  • Grenoble INPG (6)
  • Grenoble Alpes (5)
  • Cachan, Ecole normale supérieure (4)
  • Paris 6 (4)
  • Paris Saclay (4)
  • Toulouse 3 (4)
  • Ecole centrale de Lille (3)
  • Grenoble 1 (3)
  • Orléans (3)
  • Paris 7 (3)
  • Paris, CNAM (3)
  • Toulouse, INSA (3)
  • Côte d'Azur (2)
  • Lorient (2)
  • Lyon 1 (2)
  • Mulhouse (2)
  • Paris 1 (2)
  • Paris 10 (2)
  • Paris Sciences et Lettres (2)
  • Paris, EHESS (2)
  • Paris, Institut d'études politiques (2)
  • Rennes 2 (2)
  • Toulouse 2 (2)
  • Toulouse, ISAE (2)
  • Amiens (1)
  • Artois (1)
  • Bordeaux (1)
  • Bordeaux 1 (1)
  • Brest, École nationale supérieure de techniques avancées Bretagne (1)
  • Caen (1)
  • Clermont-Ferrand 2 (1)
  • Dijon (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • La Réunion (1)
  • Lille 3 (1)
  • Limoges (1)
  • Lyon 2 (1)
  • Lyon, INSA (1)
  • Montpellier (1)
  • Montpellier 2 (1)
  • Montpellier 3 (1)
  • Nice (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 13 (1)
  • Paris 3 (1)
  • Paris 8 (1)
  • Paris Est (1)
  • Paris, AgroParisTech (1)
  • Rennes 1 (1)
  • Saint-Etienne, EMSE (1)
  • Toulon (1)
  • Toulouse 1 (1)
  • Universitatea politehnica (Bucarest) (1)
  • Université Cheikh Anta Diop de Dakar (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université Savoie Mont Blanc (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Université de Yaoundé I (1)
  • Université des sciences, des techniques et des technologies de Bamako (Mali) (1)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (55)
  • Sociologie (6)
  • Sciences de gestion (3)
  • Sciences et technologie industrielles (3)
  • Architecture (2)
  • Génie informatique (2)
  • Géographie (2)
  • Psychologie (2)
  • Sciences de l'information et de la communication (2)
  • Sciences de l'éducation (2)
  • Stic (2)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (1)
  • Automatique, Traitement du signal et des images, Génie Informatique (1)
  • Automatique, génie informatique, traitement du signal et image (1)
  • Automatique, génie informatique, traitement du signal et images (1)
  • Bioinformatique (1)
  • Droit privé (1)
  • Droit public. Droit international public (1)
  • Energétique et procédés (1)
  • Esthétique et Sciences de l’Art. Spécialité : Architecture et technologie (1)
  • Geopolitique (1)
  • Génie informatique (1)
  • Informatique et Systèmes embarqués (1)
  • Intelligence artificielle (1)
  • Lettres et sciences humaines (1)
  • Littérature et civilisation francaises (1)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (1)
  • Psychologie du travail (1)
  • Psychologie du travail et ergonomie (1)
  • Sciences appliquées (1)
  • Sciences de Gestion (1)
  • Sciences de l'information et de la communication. Études cinématographiques (1)
  • Sciences de l’information et de la communication (1)
  • Sciences et Technologies de l'Information et de la Communication (1)
  • Sciences et technologies industrielles (1)
  • Sciences. Informatique et automatique appliquées. Intelligence artificielle (1)
  • Sureté de logiciel et calcul de haute performance (1)
  • Systèmes automatiques et micro-électroniques (1)
  • Sûreté de Logiciel et Calcul de Haute Performance (1)
  • Sûreté de logiciel et calcul de haute performance (1)
  • Sûreté logicielle et calcul de haute performance (1)
  • Urbanisme mention architecture (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (6)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (5)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (4)
  • École doctorale Informatique, télécommunications et électronique (Paris) (3)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (3)
  • École doctorale Sciences pour l'Ingénieur (Lille) (3)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (3)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (3)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (2)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (2)
  • École doctorale de Sciences Po (Paris) (2)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (2)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (2)
  • ED SIS 488 (1)
  • ED Sciences Pour l'Ingénieur (n°72) (1)
  • Ecole Doctorale Informatique et Information Pour La Societe. 1992-2009 (Lyon) (1)
  • Ecole doctorale de Dauphine (Paris) (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • SMI - Sciences des Métiers de l'Ingénieur (1)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (1)
  • École doctorale 60, Territoires, Temps, Sociétés et Développement (Montpellier ; 2015-....) (1)
  • École doctorale Abbé Grégoire (Paris) (1)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (Paris ; 2015-....) (1)
  • École doctorale Arts plastiques, esthétique et sciences de l'art (Paris) (1)
  • École doctorale Arts, Lettres, Langues, Philosophie, Communication (Toulouse) (1)
  • École doctorale Comportement, Langage, Éducation, Socialisation, Cognition (Toulouse) (1)
  • École doctorale Humanités Nouvelles - Fernand Braudel (Lorraine) (1)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Lettres, langues, spectacles (Nanterre) (1)
  • École doctorale Littérature française et comparée (Paris) (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences de l'Homme et de la Société (Sceaux, Hauts-de-Seine ; 2015-....) (1)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (1)
  • École doctorale Sciences de l'éducation, psychologie, information et communication (Lyon) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Sciences humaines et sociales (Rennes) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale Sciences sociales (Saint-Denis, Seine-Saint-Denis) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale Sociétés méditerranéennes et sciences humaines. ED 509 (Toulon) (1)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale Temps, Espaces, Sociétés, Cultures (Toulouse) (1)
  • École doctorale de droit de la Sorbonne (Paris ; 2015-....) (1)
  • École doctorale de l'École des hautes études en sciences sociales (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale en Sciences humaines et sociales (Amiens) (1)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (1)
  • École doctorale structures, informations, matière et matériaux (Caen ; 1992-2016) (1)
  • École doctorale Économie, organisations, société (Nanterre) (1)
  • École doctorale Éducation, langages, interactions, cognition, clinique (Nantes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (98)
  • anglais (14)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Gastin Paul (3)
  • Toguyeni Abdoul Karim Armand (3)
  • Barkaoui Kamel (2)
  • Berthomieu Bernard (2)
  • Bodeveix Jean-Paul (2)
  • Comet Jean-Paul (2)
  • Dal Zilio Silvano (2)
  • Demri Stéphane P. (2)
  • Filali Mamoun (2)
  • Garavel Hubert (2)
  • Haddad Serge (2)
  • Jorrand Philippe (2)
  • Mateescu Radu (2)
  • Oquendo Flavio (2)
  • Pétin Jean-François (2)
  • Sifakis Joseph (2)
  • Vernadat François B. (2)
  • Alcantara Christophe (1)
  • Alla Hassane Lotfi (1)
  • Andreu David (1)
  • Aucher Guillaume (1)
  • Bachimon Philippe (1)
  • Badonnel Rémi (1)
  • Balbiani Philippe (1)
  • Barthe Gilles (1)
  • Belghiti-Mahut Sophia (1)
  • Bellot Patrick (1)
  • Berruet Pascal (1)
  • Bessin Marc (1)
  • Bon Philippe (1)
  • Borraz Olivier (1)
  • Borrione Dominique (1)
  • Bressoux Pascal (1)
  • Brinzei Nicolae (1)
  • Briole Alain (1)
  • Brunel Julien (1)
  • Bérard Béatrice (1)
  • Cerrito Serenella (1)
  • Chelkoff Grégoire (1)
  • Cholvy Laurence (1)
  • Clot Yves (1)
  • Collart-Dutilleul Simon (1)
  • Condotta Jean François (1)
  • Correia de Freitas Ana Teresa (1)
  • Courdier Rémy (1)
  • Cousot Radhia (1)
  • Cristea Valentin (1)
  • Daunay Bertrand (1)
  • Delaunay Franck (1)
  • Demazière Didier (1)
  • Demongeot Jacques (1)
  • Dhaussy Philippe (1)
  • Diallo Ouaténi (1)
  • Douzet Frédérick (1)
  • Drucker-Godard Carole (1)
  • Dussauchoy Alain (1)
  • Eisemann Pierre Michel (1)
  • Fages François (1)
  • Fesquet Laurent (1)
  • Fotso Laure Pauline (1)
  • Galmiche Didier (1)
  • Ghazel Mohamed (1)
  • Giavitto Jean-Louis (1)
  • Giblin Béatrice (1)
  • Girardot Jean-Jacques (1)
  • Giroux Sylvain (1)
  • Gogniat Guy (1)
  • Goranko Valentin (1)
  • Guillotin Alain (1)
  • Gwiazdzinski Luc (1)
  • Hassenforder Michel (1)
  • Hervieu-Léger Danièle (1)
  • Hirschelmann Astrid (1)
  • Huyghe Pierre-Damien (1)
  • Jenn Éric (1)
  • Jong Hidde de (1)
  • Kane Alioune (1)
  • Lallouet Arnaud (1)
  • Lamizet Bernard (1)
  • Lanet Jean-Louis (1)
  • Lang Frédéric (1)
  • Larchey-Wendling Dominique (1)
  • Laroussinie François (1)
  • Laurini Robert (1)
  • Le Berre François (1)
  • Le Blanc Alexis (1)
  • Le Moënne Christian (1)
  • Le botlan Didier (1)
  • Leriche Frédéric (1)
  • Libourel Thérèse (1)
  • Loor Pierre de (1)
  • Loulergue Frédéric (1)
  • Lowy Vincent (1)
  • Ly Olivier (1)
  • Marion Jean-Yves (1)
  • Maumi Catherine (1)
  • Mermet Laurent (1)
  • Merz Stephan (1)
  • Mezghiche Mohamed (1)
  • Moreaux Patrice (1)
  • Morin-Allory Katell (1)
  • Mosbah Mohamed (1)
  • Mourlin Fabrice (1)
  • Mègemont Jean-Luc (1)
  • Méry Dominique (1)
  • Nicolle Christophe (1)
  • Ouabdesselam Farid (1)
  • Peuportier Bruno (1)
  • Pierre Laurence (1)
  • Pinchinat Sophie (1)
  • Plateau Gérard (1)
  • Pommereau Franck (1)
  • Pottier Nathalie (1)
  • Rampacek Sylvain (1)
  • Rauzy Antoine (1)
  • Regourd Martine (1)
  • Roncancio Claudia Lucia (1)
  • Roussel Jean-Marc (1)
  • Réty Pierre (1)
  • Salles Denis (1)
  • Sangnier Arnaud (1)
  • Schaffner Alain (1)
  • Schalbart Patrick (1)
  • Schnoebelen Philippe (1)
  • Seguin Christel (1)
  • Soubeyran Olivier (1)
  • Sèdes Florence (1)
  • Tagina Moncef (1)
  • Talpin Jean-Marc (1)
  • Thirion Bernard (1)
  • Thoemmes Jens (1)
  • Traoré Mamadou Kaba (1)
  • Vallery Gérard (1)
  • Vaujany François-Xavier de (1)
  • Verdier Christine (1)
  • Verfaillie Gérard (1)
  • Verjus Hervé (1)
  • Viart Dominique (1)
  • Voiron Jacques (1)
  • Zaid Abdelkarim (1)
  • Zielonka Wieslaw (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (60)
  • Sciences de l'ingénieur (19)
  • Sciences sociales, sociologie, anthropologie (7)
  • Psychologie (4)
  • Gestion et organisation de l'entreprise (4)
  • Sciences de la vie, biologie, biochimie (3)
  • Informatique, information, généralités (2)
  • Bibliothéconomie et sciences de l'information (2)
  • Droit (2)
  • Education et enseignement (2)
  • Architecture (2)
  • Littérature de langues romanes. Littérature française (2)
  • Géographie et voyages (2)
  • Philosophie, psychologie (1)
  • Epistémologie, causalité, genre humain (1)
  • Science politique (1)
  • Economie (1)
  • Mathématiques (1)
  • Sciences de la terre (1)
  • Urbanisme (1)
  • Arts du spectacle, loisirs (1)

Domaines :

Fullscreen

113 thèses pour "Logiques temporelles"

Sureté de logiciel et calcul de haute performance

Soutenue le 20-06-2014
thèse soutenue

...poursuivonsdonc notre étude de l’état de l’art dans le domaine des logiques temporelles multi-agents. C...

Accéder en ligne
Informatique

Soutenue en 1992
thèse soutenue

Résultats 1 à 10