Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Nice (11)
  • Toulouse 3 (11)
  • Paris 11 (7)
  • Paris 6 (6)
  • Cachan, Ecole normale supérieure (4)
  • Grenoble (4)
  • Paris 7 (3)
  • Université de Lorraine (3)
  • Aix-Marseille 1 (2)
  • Bordeaux (2)
  • Grenoble 1 (2)
  • Grenoble INPG (2)
  • Montpellier 2 (2)
  • Paris 4 (2)
  • Paris Sciences et Lettres (2)
  • Rennes 1 (2)
  • Rouen (2)
  • Toulouse, INPT (2)
  • Toulouse, ISAE (2)
  • Paris, ENMP (1)
  • Aix-Marseille (1)
  • Besançon (1)
  • Bordeaux 1 (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)
  • Clermont-Ferrand 2 (1)
  • Côte d'Azur (1)
  • Lille 1 (1)
  • Limoges (1)
  • Lorient (1)
  • Lyon (1)
  • Lyon 1 (1)
  • Lyon, École normale supérieure (1)
  • Montpellier (1)
  • Nancy 1 (1)
  • Orléans (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 1 (1)
  • Paris 12 (1)
  • Paris 3 (1)
  • Paris 9 (1)
  • Paris Est (1)
  • Paris Saclay (1)
  • Paris, CNAM (1)
  • Paris, EHESS (1)
  • Paris, ENST (1)
  • Paris, Télécom ParisTech (1)
  • Pau (1)
  • Poitiers (1)
  • Saint-Etienne, EMSE (1)
  • Sofijski universitet Sv. Kliment Ohridski (1)
  • Sorbonne Paris Cité (1)
  • Sorbonne université (1)
  • Toulouse 1 (1)
  • Toulouse, INSA (1)
  • Universitatea politehnica (Bucarest) (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université Politechnica de Timisoara (1)
  • École nationale d'ingénieurs de Tunis (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (57)
  • Sciences appliquées (10)
  • Linguistique (3)
  • Sciences du langage (3)
  • Informatique et télécommunications (2)
  • Lettres (2)
  • Automatique (1)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (1)
  • Electronique (1)
  • Electronique et communications (1)
  • Informatique et application (1)
  • Informatique et applications (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Informatique. Intelligence artificielle (1)
  • Informatique. Systèmes et communication (1)
  • Intelligence artificielle (1)
  • Lettres, sciences humaines et sociales (1)
  • Linguistique informatique (1)
  • Linguistique. Sémantique formelle (1)
  • Mathématiques (1)
  • Mathématiques appliquées aux sciences sociales (1)
  • Mathématiques, informatique et application aux sciences de l'homme (1)
  • Micro et nanoélectronique (1)
  • Philosophie (1)
  • Programmation et systèmes (1)
  • Robotique et informatique (1)
  • Réseaux, télécom, système et architecture (1)
  • Sciences cognitives (1)
  • Sciences et techniques (1)
  • Stic (1)
  • Sureté de logiciel et calcul de haute performance (1)
  • Systèmes automatiques et micro-électroniques (1)
  • Électronique Électrotechnique Automatique (1)
  • Électronique, électrotechnique, automatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • Ecole doctorale Informatique de Paris-Sud (4)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (3)
  • École doctorale en Informatique et Mathématiques de Lyon (3)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (2)
  • École doctorale Concepts et langages (Paris) (2)
  • École doctorale Informatique, télécommunications et électronique (Paris) (2)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (2)
  • Cerveau, cognition, comportement (1)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • IAEM Lorraine (1)
  • École doctorale Cerveau, cognition, comportement (Paris) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (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, informatique et télécommunications (Toulouse) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale des sciences pour l'ingénieur et aéronautique - SPI&A (Poitiers) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (81)
  • anglais (22)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Borillo Mario (5)
  • Pouzet Marc (4)
  • Attali Isabelle (3)
  • Courtiat Jean-Pierre (3)
  • Berry Gérard (2)
  • Borrione Dominique (2)
  • Caromel Denis (2)
  • Desclès Jean-Pierre (2)
  • Diaz Michel (2)
  • Faure Jean-Marc (2)
  • Granger Gilles-Gaston (2)
  • Jensen Thomas (2)
  • Pagetti Claire (2)
  • Rousset Marie-Christine (2)
  • Spyratos Nicolas (2)
  • Amblard Maxime (1)
  • Andreu David (1)
  • Apvrille Ludovic (1)
  • Aït-Ameur Yamine (1)
  • Barbier Franck (1)
  • Barkaoui Kamel (1)
  • Blackburn Patrick (1)
  • Blay-Fornarino Mireille (1)
  • Boitet Christian (1)
  • Boniol Frédéric (1)
  • Boudjlida Nacer (1)
  • Boudol Gérard (1)
  • Bouhoula Adel (1)
  • Boussinot Frédéric (1)
  • Bérard Béatrice (1)
  • Castellani Ilaria (1)
  • Chailloux Emmanuel (1)
  • Chambreuil Michel (1)
  • Chemla Emmanuel (1)
  • Choppy Christine (1)
  • Clerbout Mireille (1)
  • Cléro Jean-Pierre (1)
  • Cohen Albert (1)
  • Coulette Bernard (1)
  • Cretu Vladimir-Ioan (1)
  • Cristea Valentin (1)
  • De Sainte-Catherine Myriam (1)
  • Delmas Rémi (1)
  • Dieng Rose (1)
  • Durieux Jean-Louis (1)
  • Ellouze Noureddine (1)
  • Fabre Christian (1)
  • Ferreira Da Silva Catarina (1)
  • Frydman Claudia (1)
  • Féraud Louis (1)
  • Gaio Mauro (1)
  • Gandon Fabien (1)
  • Garavel Hubert (1)
  • Gava Frédéric (1)
  • Ghallab Malik (1)
  • Girard Patrick (1)
  • Gosselin Laurent (1)
  • Groote Philippe de (1)
  • Guitart René (1)
  • Henrio Ludovic (1)
  • Hirschkoff Daniel (1)
  • Ingrand François (1)
  • Jambon Francis (1)
  • Jayez Jacques (1)
  • Jomier Geneviève (1)
  • Jorrand Philippe (1)
  • Klaudel Hanna (1)
  • Lanet Jean-Louis (1)
  • Laroussinie François (1)
  • Le Guernic Paul (1)
  • Leclère Michel (1)
  • Leroy Xavier (1)
  • Libourel Thérèse (1)
  • Loulergue Frédéric (1)
  • Madaule Françoise (1)
  • Madelaine Éric (1)
  • Maraninchi Florence (1)
  • Marteau Pierre-François (1)
  • Marty Jean-Charles (1)
  • Meghini Carlo (1)
  • Memmi Gérard (1)
  • Merz Stephan (1)
  • Mezghiche Mohamed (1)
  • Mille Alain (1)
  • Mosbah Mohamed (1)
  • Mounier Laurent (1)
  • Mugnier Marie-Laure (1)
  • Najm Elie (1)
  • Ouabdesselam Farid (1)
  • Pacalet Renaud (1)
  • Panetto Hervé (1)
  • Pelz Elisabeth (1)
  • Pierre Laurence (1)
  • Prié Yannick (1)
  • Péroche Bernard (1)
  • Racoceanu Daniel (1)
  • Rebuschi Georges (1)
  • Retoré Christian (1)
  • Rosier-Catach Irène (1)
  • Rueda Camilo (1)
  • Ryl Isabelle (1)
  • Récanati François (1)
  • Sancier-Château Anne (1)
  • Schlenker Philippe (1)
  • Schmitt Alan (1)
  • Shariat Ghodous Parisa (1)
  • Sibertin-Blanc Christophe (1)
  • Sifakis Joseph (1)
  • Simone Robert de (1)
  • Soutet Olivier (1)
  • Spector Benjamin (1)
  • Stefani Jean-Bernard (1)
  • Strecker Martin (1)
  • Tchaouchev Assen (1)
  • Terrier François (1)
  • Villaneau Jeanne (1)
  • Wolff Burkhart (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (67)
  • Sciences de l'ingénieur (24)
  • Langues et linguistique (7)
  • Linguistique générale (6)
  • Mathématiques (3)
  • Histoire et critique littéraires, rhétorique (3)
  • Informatique, information, généralités (2)
  • Sciences sociales, sociologie, anthropologie (2)
  • Technologie (Sciences appliquées) (2)
  • Philosophie, psychologie (1)
  • Psychologie (1)
  • Langues romanes. Français (1)
  • Autres langues (1)
  • Sciences de la nature et mathématiques (1)
  • Physique (1)
  • Sciences de la vie, biologie, biochimie (1)

Domaines :

Fullscreen

105 thèses pour "Sémantique formelle"

Linguistique. Sémantique formelle

Soutenue en 2000
thèse soutenue

...Universidad Javeriana de CaliExaminateurRésuméSémantique Formelle et Vérification Automatique de Scénarios...

Accéder en ligne
Sciences appliquées

Soutenue en 1997
thèse soutenue

Résultats 1 à 10