Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (68)
  • Université Grenoble Alpes (ComUE) (66)
  • Grenoble (53)
  • Cachan, Ecole normale supérieure (40)
  • Université de Lorraine (37)
  • Rennes 1 (35)
  • Toulouse 3 (29)
  • Paris 6 (28)
  • Nancy 1 (25)
  • Paris Est (20)
  • Toulouse, ISAE (20)
  • Sorbonne Paris Cité (19)
  • Paris, CNAM (17)
  • Bordeaux (16)
  • Lorient (15)
  • Paris 11 (15)
  • Besançon (14)
  • Orléans (14)
  • Université Côte d'Azur (ComUE) (14)
  • Ecole centrale de Lille (12)
  • Lyon (12)
  • Toulouse, INPT (12)
  • Montpellier (11)
  • Paris 7 (11)
  • Paris Sciences et Lettres (ComUE) (11)
  • Grenoble 1 (9)
  • Nantes (9)
  • Nice (9)
  • Reims (9)
  • Bordeaux 1 (8)
  • Sorbonne université (8)
  • Aix-Marseille (7)
  • Toulouse, INSA (7)
  • Grenoble INPG (6)
  • Lyon 1 (6)
  • Pau (6)
  • Université Grenoble Alpes (6)
  • CentraleSupélec (5)
  • Ecole centrale de Nantes (5)
  • Evry, Institut national des télécommunications (5)
  • Evry-Val d'Essonne (5)
  • Institut polytechnique de Paris (5)
  • Brest (4)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (4)
  • Lille 1 (4)
  • Lyon, INSA (4)
  • Mulhouse (4)
  • Rennes, INSA (4)
  • Toulouse 1 (4)
  • Toulouse, ENSAE (4)
  • Université de Sherbrooke (Québec, Canada) (4)
  • université Paris-Saclay (4)
  • Belfort-Montbéliard (3)
  • Bourgogne Franche-Comté (3)
  • Clermont-Ferrand 2 (3)
  • Compiègne (3)
  • Dijon (3)
  • La Réunion (3)
  • Littoral (3)
  • Normandie (3)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (3)
  • Université libre de Bruxelles (1970-....) (3)
  • Vandoeuvre-les-Nancy, INPL (3)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (3)
  • École nationale d'ingénieurs de Tunis (Tunisie) (3)
  • Artois (2)
  • Clermont Auvergne (2)
  • Limoges (2)
  • Palaiseau, Ecole polytechnique (2)
  • Paris 13 (2)
  • Paris, ENSAM (2)
  • Paris, ENST (2)
  • Rennes, École normale supérieure (2)
  • Universidade de São Paulo (Brésil) (2)
  • Universitatea politehnica (Bucarest) (2)
  • University of Western Sydney (2)
  • Universität des Saarlandes (2)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (2)
  • Université de Tunis El Manar (2)
  • Université de Yaoundé I (2)
  • Université du Luxembourg (2)
  • Versailles-St Quentin en Yvelines (2)
  • Amiens (1)
  • Angers (1)
  • Antilles (1)
  • Bordeaux 2 (1)
  • Brest, École nationale supérieure de techniques avancées Bretagne (1)
  • Brno University of Technology (MAIS) (1)
  • Cergy-Pontoise (1)
  • Chennai Mathematical Institute (1)
  • E.N.S. DE L'EST DE LA CHINE (1)
  • Ecole Centrale de Lille (1)
  • Ecole Nationale d'Ingénieurs de Sousse-ENISo (Tunisie) (1)
  • Ecole nationale des Mines d'Albi-Carmaux (1)
  • Evry, Institut National des Télécommunications (1)
  • Faculté des Sciences de Monastir (Tunisie) (1)
  • Georgia institute of technology (1)
  • Instituto de Ciências Matemáticas (São Carlos, Brésil) (1)
  • Le Havre (1)
  • Malardalen University (1)
  • Masarykova univerzita (Brno, République tchèque) (1)
  • Metz (1)
  • Montpellier 2 (1)
  • Montpellier, ENSA (1)
  • Montpellier, SupAgro (1)
  • National Taiwan University (Taipei) (1)
  • Paris 1 (1)
  • Paris 9 (1)
  • Paris, Ecole normale supérieure (1)
  • Poitiers (1)
  • Saint-Etienne, EMSE (1)
  • Sankt-Peterburgskij gosudarstvennyj universitet (1)
  • Technische Universität (Munich, Allemagne) (1)
  • Technische Universität Braunschweig (1)
  • Technische universiteit (Delft, Pays-Bas) (1)
  • Tsinghua University (Pékin) (1)
  • Télécom Bretagne (1)
  • UNIVERSITE DE TUNIS EL MANAR (1)
  • Universidad de Sevilla (Espagne) (1)
  • Universidad técnica Federico Santa María (Valparaiso, Chili) (1)
  • Universiteit van Amsterdam (1)
  • Università degli studi (Gênes, Italie) (1)
  • Università degli studi (Milan, Italie) (1)
  • Università degli studi (Trente, Italie) (1)
  • Università degli studi della Calabria (1)
  • Université Abdelhamid Mehri - Constantine 2 (Constantine, Algérie) (1)
  • Université Badji Mokhtar-Annaba (1)
  • Université Libanaise (Liban) (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université Mohammed-V Agdal, Rabat, Maroc (1)
  • Université Quisqueya (Port-au-Prince) (1)
  • Université de Mons (1)
  • Université de Montréal (1)
  • Université de Paris (2019-....) (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Sfax. Faculté des sciences (1)
  • Université de Sherbrooke (1)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (1)
  • Université de Tunis. Faculté des sciences de Tunis (1)
  • Université des Sciences et de la Technologie d'Oran. Mohamed Boudiaf (Algérie) (1)
  • Université des sciences, des techniques et des technologies de Bamako (Mali) (1)
  • Université du Minho (1)
  • Université européenne de Bretagne (1)
  • Université normale de la Chine de l'Est (Shanghai) (1)
  • Université polytechnique de l'Ouest Africain (Dakar, Sénégal) (1)
  • Valenciennes (1)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (543)
  • Automatique (10)
  • Mathématiques et Informatique (9)
  • Stic (9)
  • Informatique et Télécommunications (7)
  • Sciences et technologie industrielles (6)
  • Électronique, électrotechnique, automatique (6)
  • ATS - Automatique et Traitement de Signal (5)
  • Informatique (STIC) (5)
  • Réseaux, télécom, système et architecture (5)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (4)
  • Informatique et applications (4)
  • Mathématiques appliquées (4)
  • Réseaux, télécoms, systèmes et architecture (4)
  • Sciences et technologies industrielles (4)
  • Sureté de logiciel et calcul de haute performance (4)
  • Électronique Électrotechnique Automatique (4)
  • Automatique et informatique (3)
  • Automatique, génie informatique, traitement du signal et des images (3)
  • Automatique, génie informatique, traitement du signal et images (3)
  • Biodiversité écologie environnement (3)
  • Electronique (3)
  • Informatique et mathématiques (3)
  • Informatique et réseaux (3)
  • Informatique, données, IA (3)
  • Mathématiques (3)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (3)
  • Programmation et systèmes (3)
  • Réseaux, information et communications (3)
  • Systèmes automatiques et micro-électroniques (3)
  • Systèmes embarqués (3)
  • Sûreté de Logiciel et Calcul à Haute Performance (3)
  • Automatique et informatique appliquée (2)
  • Automatique et informatique industrielle (2)
  • Automatique et productique (2)
  • Automatique, Génie informatique, Traitement du Signal et des Images (2)
  • Automatique, Traitement du Signal, Génie Informatique (2)
  • Automatique, Traitement du signal et des images, Génie Informatique (2)
  • Automatique, génie informatique, traitement du signal et image (2)
  • Automatique, traitement du signal et images (2)
  • Bioinformatique (2)
  • Biostatistiques (2)
  • Ecologie marine (2)
  • Génie des systèmes industriels (2)
  • Informatique et télécommunication (2)
  • Informatique. Informatique fondamentale (2)
  • Intelligence artificielle (2)
  • Mathématiques Appliquées (2)
  • Mathématiques et informatique (2)
  • Mathématiques. Logique et fondements de l'informatique (2)
  • Nano electronique et nano technologies (2)
  • Nanoélectronique et nanotechnologie (2)
  • Robotique (2)
  • Réseaux, Télécommunications, Systèmes et Architecture (2)
  • Sciences - STS (2)
  • Sciences appliquées (2)
  • Sciences et techniques (2)
  • Sureté de Logiciel et Calcul à Haute Performance (2)
  • Systèmes informatiques (2)
  • Sûreté de logiciel et calcul de haute performance (2)
  • Électronique (2)
  • Sciences de l'ingénieur (1)
  • Algorithmique (1)
  • Aspects moléculaires et cellulaires de la biologie (1)
  • Automatique - productique (1)
  • Automatique, Génie Informatique et Traitement du Signal (1)
  • 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, signal, productique, robotique (1)
  • Automatique, traitement du signal et génie informatique (1)
  • Automatique-Productique (1)
  • Automatique. Automatique, génie informatique (1)
  • Automatique. Productique (1)
  • Automatisme signal télécommunication (1)
  • Biologie Santé (1)
  • Biologie Végétale (1)
  • Biologie de l’invasion (1)
  • Biologie des populations (1)
  • Biologie et génétique des populations (1)
  • Biologie intégrative des plantes (1)
  • Biostatistique (1)
  • Ecologie, évolution (1)
  • Ecologie, évolution, ressources génétiques, paléontologie (1)
  • Genie industriel (1)
  • Génie Industriel et Informatique (1)
  • Génie des procédés (1)
  • Génie informatique (1)
  • Génie électrique (1)
  • Génie énergétique (1)
  • Génomique (1)
  • Info - Informatique (1)
  • Informatique appliquée (1)
  • Informatique et Robotique (1)
  • Informatique et Sciences et Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Informatique et Systèmes embarqués (1)
  • Informatique et Télécommunication (1)
  • Informatique et applications (1)
  • Informatique et télécommunications (1)
  • Informatique fondamentale et parallélisme (1)
  • Informatique, données et IA (1)
  • Informatique. Modélisation et vérification (1)
  • Informatique. Systèmes et logiciels (1)
  • Informatique. Théorie des jeux (1)
  • InformatiqueInformatique (1)
  • Ingenierie informatique (1)
  • Instrumentation et informatique de l'image (1)
  • Linguistique anglaise (1)
  • Mathématiques aux interfaces (1)
  • Mathématiques et Applications (1)
  • Mathématiques et leurs interactions (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • Mathématiques-Informatique (1)
  • Micro et nanoélectronique (1)
  • Micro-électronique (1)
  • Microbiologie (1)
  • Mécanique des fluides (1)
  • Météorologie, océanographie, physique de l'environnement (1)
  • Pharmacotechnie et biopharmacie (1)
  • Philosophie (1)
  • Physiologie et biologie des organismes - populations - interactions (1)
  • Physiologie et biologie des organismes et des populations. Interactions (1)
  • Physiologie et biologie des organismes-populations-interactions (1)
  • Productique, automatique et informatique industrielle (1)
  • Recherche clinique. Innovation technologique. Santé publique (1)
  • Robotique et Informatique (1)
  • Robotique et informatique (1)
  • Réseaux, télécommunications, système et architecture (1)
  • SYAM - Systèmes Automatiques et Micro-Électroniques (1)
  • Santé publique - biostatistiques (1)
  • Sciences (1)
  • Sciences de l'environnement (1)
  • Sciences de l'information et de la communication. Informatique (1)
  • Sciences de la Terre et de l'Univers et de l'Environnement (1)
  • Sciences du végétal (1)
  • Sciences et Technologies de l'Information et de la Communication (1)
  • Sciences et génie des activités à risques (1)
  • Sciences et procédés biologiques industriels (1)
  • Sciences et techniques. Physique (1)
  • Sciences et technologies de l'information et de la communication (1)
  • Sciences économiques (1)
  • Signal, Image, Automatique (1)
  • Signal, Image, Vision (1)
  • Sociétés, Politique, Santé publique. Santé Publique. Biostatistique (1)
  • Stic - ed em2psi (1)
  • Sureté du logiciel et calcul à haute performance (1)
  • Systèmes informatiques et systèmes ambarqués (1)
  • Systèmes informatiques et systèmes embarqués (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)
  • Technologie de l’Information et des Systèmes, Informatique : Unité de recherche Heudyasic (UMR-7253) (1)
  • Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Traitement du signal (1)
  • Virologie microbiologie immunologie (1)
  • Écologie (1)
  • Électronique, électrotechnique et automatique (1)
  • Électronique, électrotechnique, automatiqueÉlectronique, électrotechnique, automatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (101)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (56)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (48)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (41)
  • École doctorale Informatique, télécommunications et électronique de Paris (36)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (27)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (27)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (20)
  • École doctorale Sciences pour l'Ingénieur (Lille) (19)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (19)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (17)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (14)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (14)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (14)
  • IAEM Lorraine (11)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (11)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (11)
  • École doctorale Systèmes (Toulouse) (11)
  • École doctorale en Informatique et Mathématiques de Lyon (10)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (9)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (8)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (7)
  • Ecole doctorale Informatique de Paris-Sud (7)
  • I2S - Information, Structures, Systèmes (7)
  • MATHSTIC (7)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (7)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (7)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (6)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (6)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (6)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (5)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (5)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (5)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (4)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (4)
  • École doctorale chimie et science du vivant (Grenoble) (4)
  • École doctorale de l'Institut polytechnique de Paris (4)
  • Ecole doctorale de Dauphine (Paris) (3)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (3)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (3)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (3)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (3)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (3)
  • Ecole doctorale Sciences du Numérique et de lu2019Ingénieur (2)
  • Ecole doctorale Sciences du Végétal (1992-2015 ; Orsay, Essonne) (2)
  • MATISSE (2)
  • SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques (2)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (2)
  • École doctorale Interfaces : matériaux, systèmes, usages (Palaiseau, Essonne ; 2015-....) (2)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (2)
  • École doctorale Sciences fondamentales et appliquées (Nice) (2)
  • École doctorale Sciences mathématiques de Paris centre (Paris2000-....) (2)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (2)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (2)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (2)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (2)
  • Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (Montpellier ; École Doctorale ; 2015-...) (1)
  • Complexité du vivant (1)
  • ED SIS 488 (1)
  • EGAAL (1)
  • Ecole Doctorale de l'Institut Polytechnique de Paris (1)
  • Ecole doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (1)
  • Ecole doctorale Sciences et technologies (Orléans) (1)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (1)
  • Ecole doctorale des Génomes aux organismes (Versailles ; 2000-2015) (1)
  • Ecole doctorale Économie, Management, Mathématiques , Physique et Sciences Informatiques (EM2PSI) (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (1)
  • SCIENCES MATHEMATIQUES DE PARIS CENTRE (1)
  • SIBAGHE - Systèmes intégrés en Biologie, Agronomie, Géosciences, Hydrosciences et Environnement (1)
  • Sciences Chimiques et Biologiques pour la Santé (Montpellier ; Ecole Doctorale ; 2015-....) (1)
  • Sciences et ingénierie (1)
  • Systèmes Intégrés en Biologie, Agronomie, Géosciences, Hydrosciences, Environnement (Montpellier ; École Doctorale ; 2009-2015) (1)
  • Toulouse School of Economics (1)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (1)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (1)
  • École doctorale Arts, Lettres, Langues (Rennes) (1)
  • École doctorale Aéronautique-Astronautique (Toulouse) (1)
  • École doctorale Cancérologie, Biologie, Médecine, Santé (Villejuif, Val-de-Marne ; 2015-....) (1)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (1)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (1)
  • École doctorale Innovation thérapeutique : du fondamental à l'appliqué (Châtenay-Malabry, Hauts-de-Seine ; 2015-....) (1)
  • École doctorale Mathématiques, informatique et télécommunications (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Milieu insulaire tropical à risques : protection, valorisation , santé et développement (Pointe-à-Pitre) (1)
  • École doctorale Philosophie (Paris) (1)
  • École doctorale SIMPPé - Sciences et ingénierie des molécules, des produits, des procédés, et de l'énergie (Lorraine) (1)
  • École doctorale Santé Publique (Le Kremlin-Bicêtre, Val-de-Marne ; 2015-...) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences de la matière (Rennes) (1)
  • École doctorale Sciences de la mer et du littoral (Plouzané) (1)
  • École doctorale Sciences de la vie et de la santé (Bordeaux) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Sciences et Ingénierie, Matériaux, Modélisation et Environnement (Champs-sur-Marne, Seine-et-Marne) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (1)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (1)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (1)
  • École doctorale Sciences, technologie et santé (Amiens) (1)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (1)
  • École doctorale Ville, Transports et Territoires (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale des sciences de l'environnement d'Île-de-France (Paris ; 1991-....) (1)
  • École doctorale des sciences pour l'ingénieur et aéronautique - SPI&A (Poitiers) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (1)
  • École doctorale physique, sciences de l’Ingénieur, matériaux, énergie (Saint-Etienne du Rouvray, Seine Maritime) (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)
  • École doctorale terre, univers, environnement (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (428)
  • anglais (404)
  • null (4)
  • russe (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (13)
  • Merz Stephan (10)
  • Kordon Fabrice (8)
  • Oquendo Flavio (8)
  • Barkaoui Kamel (7)
  • Faure Jean-Marc (7)
  • Haddad Serge (7)
  • Julliand Jacques (7)
  • Le Gall Pascale (7)
  • Toguyeni Abdoul Karim Armand (7)
  • Aït-Ameur Yamine (6)
  • Borrione Dominique (6)
  • Bozga Dorel Marius (6)
  • Filali Mamoun (6)
  • Maler Oded (6)
  • Sifakis Joseph (6)
  • Bodeveix Jean-Paul (5)
  • Delaune Stéphanie (5)
  • Fribourg Laurent (5)
  • Gastin Paul (5)
  • Groz Roland (5)
  • Jard Claude (5)
  • Jensen Thomas (5)
  • Mammar Amel (5)
  • Mateescu Radu (5)
  • Morin-Allory Katell (5)
  • Niel Eric (5)
  • Riera Bernard (5)
  • Rutten Eric (5)
  • Touili Tayssir (5)
  • Ausbourg Bruno d' (4)
  • Bon Philippe (4)
  • Boniol Frédéric (4)
  • Cavalli Ana (4)
  • Collart-Dutilleul Simon (4)
  • Couvreur Jean-Michel (4)
  • Dang Thao (4)
  • Dubois Catherine (4)
  • Gasquet Olivier (4)
  • Girault Alain (4)
  • Godart Claude (4)
  • Lakhnech Yassine (4)
  • Legay Axel (4)
  • Lesage Jean-Jacques (4)
  • Loulergue Frédéric (4)
  • Markey Nicolas (4)
  • Monniaux David (4)
  • Mourlin Fabrice (4)
  • Muscholl Anca (4)
  • Philippot Alexandre (4)
  • Pétin Jean-François (4)
  • Rusinowitch Michaël (4)
  • Salaün Gwen (4)
  • Segoufin Luc (4)
  • Zaïdi Fatiha (4)
  • Alla Hassane Lotfi (3)
  • Barais Olivier (3)
  • Baudry Benoit (3)
  • Bernot Gilles (3)
  • Berthomieu Bernard (3)
  • Blackburn Patrick (3)
  • Blazy Sandrine (3)
  • Bouajjani Ahmed (3)
  • Bouyer-Decitre Patricia (3)
  • Bérard Béatrice (3)
  • Comet Jean-Paul (3)
  • Conchon Sylvain (3)
  • Cortier Véronique (3)
  • Cousot Radhia (3)
  • Delahaye David (3)
  • Demri Stéphane P. (3)
  • Encrenaz Emmanuelle (3)
  • Galmiche Didier (3)
  • Garavel Hubert (3)
  • Gava Frédéric (3)
  • Ghazel Mohamed (3)
  • Girard Antoine (3)
  • Goubault-Larrecq Jean (3)
  • Graf Susanne (3)
  • Haar Stefan (3)
  • Héam Pierre-Cyrille (3)
  • Iosif Radu (3)
  • Jézéquel Jean-Marc (3)
  • Kouchnarenko Olga (3)
  • Laleau Régine (3)
  • Lanet Jean-Louis (3)
  • Lang Frédéric (3)
  • Levrat Eric (3)
  • Marion Jean-Yves (3)
  • Miné Antoine (3)
  • Mosbah Mohamed (3)
  • Mountassir Hassan (3)
  • Moy Matthieu (3)
  • Méhaut Jean-François (3)
  • Méry Dominique (3)
  • Nakagawa Elisa Yumi (3)
  • Parissis Ioannis (3)
  • Pierre Laurence (3)
  • Pinchinat Sophie (3)
  • Pommereau Franck (3)
  • Pétrot Frédéric (3)
  • Quinson Martin (3)
  • Rauzy Antoine (3)
  • Riveill Michel (3)
  • Roux Olivier (3)
  • Rueher Michel (3)
  • Shariat Ghodous Parisa (3)
  • Vernadat François B. (3)
  • Walukiewicz Igor (3)
  • Wiels Virginie (3)
  • Augé-Blum Isabelle (2)
  • Badr Youakim (2)
  • Baelde David (2)
  • Becher Verónica (2)
  • Benzaken Véronique (2)
  • Berruet Pascal (2)
  • Bertrand Nathalie (2)
  • Bieber Pierre (2)
  • Blum Michaël (2)
  • Bossard Nadine (2)
  • Boulanger Frédéric (2)
  • Brinzei Nicolae (2)
  • Brunel Julien (2)
  • Calvary Gaëlle (2)
  • Cassé Hugues (2)
  • Chailloux Emmanuel (2)
  • Chapurlat Vincent (2)
  • Collavizza Hélène (2)
  • Cordier Marie-Odile (2)
  • Coulette Bernard (2)
  • Dague Philippe (2)
  • Dal Zilio Silvano (2)
  • Demongeot Jacques (2)
  • Després Laurence (2)
  • Dima Catalin (2)
  • Donsez Didier (2)
  • Dony Christophe (2)
  • Dowek Gilles (2)
  • Doyen Laurent (2)
  • Durand Arnaud (2)
  • Estraillier Pascal (2)
  • Fages François (2)
  • Falcone Yliès Carlo (2)
  • Fernandez Jean-Claude (2)
  • Fesquet Laurent (2)
  • Filliâtre Jean-Christophe (2)
  • Finkel Alain (2)
  • Flauzac Olivier (2)
  • Fraboul Christian (2)
  • Fradet Pascal (2)
  • Frappier Marc (2)
  • Frehse Goran (2)
  • Gaaloul Walid (2)
  • Garoche Pierre-Loïc (2)
  • Gechter Franck Joseph Aimé (2)
  • Genet Thomas (2)
  • Girard Patrick (2)
  • Gruer Juan Pablo (2)
  • Gérard Sébastien (2)
  • Gössler Gregor (2)
  • Hacid Mohand Saïd (2)
  • Hadj Kacem Ahmed (2)
  • Hains Gaétan (2)
  • Halbwachs Nicolas (2)
  • Hammad Ahmed (2)
  • Henrio Ludovic (2)
  • Issarny Valérie (2)
  • Jong Hidde de (2)
  • Jéron Thierry (2)
  • Kaiser Claude (2)
  • Khlif Manel (2)
  • Kirchner Claude (2)
  • Klai Kais (2)
  • Klaudel Hanna (2)
  • Kremer Steve (2)
  • Lafourcade Pascal (2)
  • Laroussinie François (2)
  • Legeard Bruno (2)
  • Lime Didier (2)
  • Manceny Matthieu (2)
  • Maraninchi Florence (2)
  • Masson Pierre-Alain (2)
  • Mifdaoui Ahlem (2)
  • Miller Dale (2)
  • Monfroy Éric (2)
  • Monsuez Bruno (2)
  • Moreau Pierre-Etienne (2)
  • Morel Gérard (2)
  • Navet Nicolas (2)
  • Nolot Florent (2)
  • Ober Iulian Sorin (2)
  • Pagetti Claire (2)
  • Palma Noël de (2)
  • Pantel Marc (2)
  • Pellier Damien (2)
  • Percebois Christian (2)
  • Pesty Sylvie (2)
  • Petrucci Laure (2)
  • Peureux Fabien (2)
  • Pichardie David (2)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (611)
  • Sciences de l'ingénieur (129)
  • Informatique, information, généralités (39)
  • Mathématiques (31)
  • Sciences de la vie, biologie, biochimie (31)
  • Technologie (Sciences appliquées) (12)
  • Physique (11)
  • Médecine et santé (8)
  • Gestion et organisation de l'entreprise (7)
  • Sciences de la nature et mathématiques (3)
  • Bibliothéconomie et sciences de l'information (2)
  • Commerce, communications, transports (2)
  • Sciences de la terre (2)
  • Agronomie, agriculture et médecine vétérinaire (2)
  • Philosophie, psychologie (1)
  • Epistémologie, causalité, genre humain (1)
  • Economie (1)
  • Problèmes et services sociaux (1)
  • Linguistique générale (1)
  • Astronomie, cartographie, géodésie (1)
  • Plantes. Botanique (1)
  • Fabrication industrielle (1)
  • Bâtiments (1)

Domaines :

Fullscreen

833 thèses pour "Model checking"

Mathématiques. Logique et fondements de l'informatique

Soutenue en 2015
thèse soutenue

.... . . . . . . . . . . . . . . . . . . . 492.4 Model Checking . . . . . . . . . . . . . . . . . . . . . . . . . . 502.4.1 Specification...

Accéder en ligne
Informatique

Soutenue en 2003
thèse soutenue
Sûreté de logiciel et calcul de haute performance

Soutenue le 20-12-2011
thèse soutenue

...beexpressed by means of fixpoint formulas.2.2.3 Model CheckingGlobal and LocalThe model checking problem can be...

Accéder en ligne
Informatique

Soutenue le 19-11-2014
thèse soutenue

...formelles . . . . . . . . . . . . . . . . . . . . . . . . 160.1.3 Model checking et logique temporelle...

Accéder en ligne
Informatique

Soutenue le 05-07-2018
thèse soutenue

Malware (virus) detection using model checking

par Ugochukwu Onwudebelu sous la direction de Tayssir Touili - Paris 13

Ingenierie informatique

En préparation depuis le 26-03-2018
 thèse en cours de préparation

Model checking de codes binaires exécutables

par Xin Ye sous la direction de Tayssir Touili et de Jifeng He. - Université de Paris (2019-....)

Informatique

En préparation depuis le 09-12-2014
 thèse en cours de préparation
Soutenance prévue le 30-09-2019

Résultats 1 à 10