Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (15)
  • Grenoble Alpes (13)
  • Grenoble (12)
  • Paris, CNAM (12)
  • Rennes 1 (10)
  • Paris 7 (9)
  • Paris Est (6)
  • Paris 6 (5)
  • Bordeaux (4)
  • Palaiseau, Ecole polytechnique (4)
  • Paris 11 (4)
  • Sorbonne Paris Cité (4)
  • Montpellier (3)
  • Université de Lorraine (3)
  • Cachan, Ecole normale supérieure (2)
  • Clermont-Ferrand 2 (2)
  • Lyon (2)
  • Orléans (2)
  • Artois (1)
  • Besançon (1)
  • Bordeaux 1 (1)
  • Brno University of Technology (MAIS) (1)
  • Côte d'Azur (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Limoges (1)
  • Lorient (1)
  • Palaiseau, École nationale supérieure de techniques avancées (1)
  • Paris 9 (1)
  • Paris, Ecole normale supérieure (1)
  • Prove & Run (1)
  • Rennes, Agrocampus Ouest (1)
  • Rennes, École normale supérieure (1)
  • Strasbourg (1)
  • Toulouse 3 (1)
  • Universidad de la República (Montevideo) (1)
  • Università degli studi (Bologne, Italie) (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Versailles-St Quentin en Yvelines (1)
  • Warsaw, Uniwersytet Warszawski (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (112)
  • Biologie Santé (2)
  • Bioinformatique (1)
  • Informatique fondamentale (1)
  • Informatique. Informatique fondamentale (1)
  • Mathématiques et Informatique (1)
  • Mathématiques et informatique (1)
  • Physique. Astronomie, Astrophysique (1)
  • Sciences de l'environnement (1)
  • Sciences de l'information et de la communication. Informatique (1)
  • Sciences et techniques (1)
  • Sciences. Mathématiques appliquées (1)
  • Sociologie (1)
  • Stic (1)
  • Vision pour la Robotique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (24)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (13)
  • École doctorale Informatique, télécommunications et électronique (Paris) (12)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (5)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (5)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (4)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (4)
  • MATISSE (3)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (3)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (2)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (2)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (2)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (2)
  • École doctorale en Informatique et Mathématiques de Lyon (2)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • I2S - Information, Structures, Systèmes (1)
  • MATHSTIC (1)
  • SCIENCES MATHEMATIQUES DE PARIS CENTRE (1)
  • Sciences Chimiques et Biologiques pour la Santé (1)
  • Sciences Chimiques et Biologiques pour la Santé (Montpellier ; Ecole Doctorale ; 2015-....) (1)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine) (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, informatique et télécommunications (Toulouse) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences de la matière (Rennes) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (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 technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences humaines et sociales : cultures, individus, sociétés (Paris) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale de l’Ecole Polytechnique (Palaiseau, Essonne ; 2000-2015) (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)
  • École polytechnique (Palaiseau, Essonne) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (63)
  • anglais (62)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Dubois Catherine (7)
  • Mauny Michel (5)
  • Blazy Sandrine (4)
  • Delahaye David (3)
  • Filliâtre Jean-Christophe (3)
  • Jensen Thomas (3)
  • Monin Jean-François (3)
  • Pichardie David (3)
  • Accart Hardin Thérèse (2)
  • Barkaoui Kamel (2)
  • Chailloux Emmanuel (2)
  • Delaune Stéphanie (2)
  • Genevès Pierre (2)
  • Girault Alain (2)
  • Haddad Serge (2)
  • Herbelin Hugo (2)
  • Leroy Xavier (2)
  • Loulergue Frédéric (2)
  • Monniaux David (2)
  • Stefani Jean-Bernard (2)
  • Wolff Burkhart (2)
  • Amblard Maxime (1)
  • Asperti Andréa (1)
  • Badr Youakim (1)
  • Bardin Sébastien (1)
  • Baudry Benoit (1)
  • Bensalem Saddek (1)
  • Benzaken Véronique (1)
  • Berkani Karim (1)
  • Berry Gérard (1)
  • Blanchet Bruno (1)
  • Blanqui Frédéric (1)
  • Bodeveix Jean-Paul (1)
  • Brauner Nadia (1)
  • Cachera David (1)
  • Caillaud Benoît (1)
  • Calvin Christophe (1)
  • Castéran Pierre (1)
  • Chambart Pierre (1)
  • Conchon Sylvain (1)
  • Contejean Evelyne (1)
  • Cortier Véronique (1)
  • Cousot Patrick (1)
  • Cousot Radhia (1)
  • Danos Vincent (1)
  • De Sainte-Catherine Myriam (1)
  • Demange Delphine (1)
  • Derrien Steven (1)
  • Desainte-Catherine Myriam (1)
  • Di Cosmo Roberto (1)
  • Diguet Jean-Philippe (1)
  • Dowek Gilles (1)
  • Ducournau Roland (1)
  • Dufourd Jean-François (1)
  • Durand Patrick (1)
  • Echenim Bertrand Mnacho (1)
  • Feautrier Paul (1)
  • Fernandez Jean-Claude (1)
  • Filali Mamoun (1)
  • Fradet Pascal (1)
  • Frappier Marc (1)
  • Gava Frédéric (1)
  • Genet Thomas (1)
  • Genitrini Antoine (1)
  • Gérard Étienne (1)
  • Giavitto Jean-Louis (1)
  • Giorgetti Alain (1)
  • Gratadour Damien (1)
  • Groote Philippe de (1)
  • Hains Gaétan (1)
  • Halbwachs Nicolas (1)
  • Hermant Olivier (1)
  • Hirschowitz Tom (1)
  • Huet Gérard (1)
  • Hyvernat Pierre (1)
  • Iosif Radu (1)
  • Jeannet Bertrand (1)
  • Joloboff Vania (1)
  • Jouannaud Jean-Pierre (1)
  • Jourdan Jacques-henri (1)
  • Julliand Jacques (1)
  • Kieffer Yann (1)
  • Koriche Frédéric (1)
  • Kosmatov Nikolaï (1)
  • Kremer Steve (1)
  • Lagrue Sylvain (1)
  • Lakhnech Yassine (1)
  • Lalanda Philippe (1)
  • Laleau Régine (1)
  • Lamotte Jean-Luc (1)
  • Lanet Jean-Louis (1)
  • Lang Frédéric (1)
  • Laurent Olivier (1)
  • Lavest Jean-Marc (1)
  • Layaida Nabil (1)
  • Le Gall Pascale (1)
  • Le Lann Jean-Christophe (1)
  • Lelong Jérôme (1)
  • Leroux Jérôme (1)
  • Ly Olivier (1)
  • Lévy Nicole (1)
  • Maffray Frédéric (1)
  • Magaud Nicolas (1)
  • Mahboubi Assia (1)
  • Manceny Matthieu (1)
  • Maraninchi Florence (1)
  • Marché Claude (1)
  • Marion Jean-Yves (1)
  • Mateescu Radu (1)
  • Mezghiche Mohamed (1)
  • Michel Olivier (1)
  • Miller Dale (1)
  • Miné Antoine (1)
  • Miquel Alexandre (1)
  • Mokdad Nadia Lynda (1)
  • Moreaux Patrice (1)
  • Mosbah Mohamed (1)
  • Mounier Laurent (1)
  • Mourlin Fabrice (1)
  • Nour Karim (1)
  • Paulin-Mohring Christine (1)
  • Pawlak Renaud (1)
  • Peltier Nicolas (1)
  • Peschanski Frédéric (1)
  • Potet Marie-Laure (1)
  • Pottier François (1)
  • Pous Damien (1)
  • Périn Michaël (1)
  • Quercini Gianluca (1)
  • Raffalli Christophe (1)
  • Rioboo Renaud (1)
  • Roberts Jean E. (1)
  • Roch Jean-louis (1)
  • Roisin Cécile (1)
  • Rousset Gérard (1)
  • Rueda Camilo (1)
  • Rémy Didier (1)
  • Sangiorgi Davide (1)
  • Schnoebelen Philippe (1)
  • Seghouani-Bennacer Nacéra (1)
  • Sentieys Olivier (1)
  • Serrano Manuel (1)
  • Siles Vincent (1)
  • Sorel Yves (1)
  • Soria Michèle (1)
  • Soutif Eric (1)
  • Sutre Grégoire (1)
  • Sérot Jocelyn (1)
  • Tabareau Nicolas (1)
  • Trystram Denis (1)
  • Urzyczyn Pawel (1)
  • Vernier Flavien (1)
  • Villalba Martin (1)
  • Villalba-Gonzalez Martin (1)
  • Vojnar Tomáš (1)
  • Werner Benjamin (1)
  • Yakobowski Boris (1)
  • Zagury Jean-François (1)
  • Zemmari Akka (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (112)
  • Informatique, information, généralités (5)
  • Mathématiques (5)
  • Médecine et santé (2)
  • Sciences de l'ingénieur (2)
  • Education et enseignement (1)
  • Sciences de la nature et mathématiques (1)
  • Astronomie, cartographie, géodésie (1)
  • Physique (1)
  • Sciences de la terre (1)
  • Sciences de la vie, biologie, biochimie (1)
  • Technologie (Sciences appliquées) (1)
  • Bâtiments (1)

Domaines :

Fullscreen

127 thèses pour OCaml

...that ’let rec’ bindings are well formed. https://github.com/ocaml/ocaml/pull/556 (cf. page 115).Titre...

Accéder en ligne

...programmer.Our methodology to use the Why3 framework to producing veri ed OCaml code is an attemptto...

Accéder en ligne

Towards a system for proving the correctness of concurrent multicore OCAML programs.

par Glen Mevel sous la direction de François Pottier et de Jacques-henri Jourdan. - Sorbonne Paris Cité

Informatique

En préparation depuis le 13-11-2018
 thèse en cours de préparation

...1 Stratégies dans les langages de programmationLa sémantique de OCaml [Ler+14] impose l’ordre dans...

Accéder en ligne
Sciences. Mathématiques appliquées

Soutenue en 2004
thèse soutenue

Résultats 1 à 10