Résultats 1 à 10

EXPORTER les résultats
S'ABONNER à theses.fr

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (6)
  • Aix-Marseille 2 (4)
  • Aix-Marseille (3)
  • Grenoble 1 (3)
  • Lyon (3)
  • Aix-Marseille 1 (2)
  • Lyon, École normale supérieure (2)
  • Palaiseau, Ecole polytechnique (2)
  • Paris 11 (2)
  • Paris 6 (2)
  • Sorbonne Paris Cité (2)
  • Besançon (1)
  • Compiègne (1)
  • Grenoble INPG (1)
  • Lille 1 (1)
  • Lyon 1 (1)
  • Nancy 1 (1)
  • Nice (1)
  • Orléans (1)
  • Toulouse, ENSAE (1)
  • Toulouse, INSA (1)
  • UNIVERSITA DEGLI STUDI ROMA TRE (1)
  • University of Cambridge (1)
  • Université Paris-Saclay (ComUE) (1)
  • Université catholique de Louvain (1970-....) (1)
  • Valenciennes (1)
  • Vandoeuvre-les-Nancy, INPL (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (25)
  • Sciences appliquées (5)
  • Mathématiques (4)
  • Automatique. Informatique industrielle (1)
  • Electronique (1)
  • Informat. (1)
  • Informatique. Informatique fondamentale (1)
  • Mathematiques (1)
  • Mathématiques appliquées à l'informatique (1)
  • Mathématiques discrètes et fondements de l'informatique (1)
  • Mathématiques. Informatique (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Sciences et techniques communes (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale en Informatique et Mathématiques de Lyon (6)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (2)
  • Ecole doctorale Informatique de Paris-Sud (2)
  • Mathématiques et informatique de Marseille (184) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (28)
  • anglais (13)
  • null (2)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Laurent Olivier (4)
  • Girard Jean-Yves (3)
  • Blanc Georges (2)
  • Borrione Dominique (2)
  • Régnier Laurent (2)
  • Winskel Glynn (2)
  • Baillot Patrick (1)
  • Berline Chantal (1)
  • Boudol Gérard (1)
  • Bourton Michel (1)
  • Bucciarelli Antonio (1)
  • Chen Liming (1)
  • Collet Christine (1)
  • Curien Pierre-Louis (1)
  • Delahaye Jean-Paul (1)
  • Deville Yves (1)
  • Durieux Jean-Louis (1)
  • Ehrhard Thomas (1)
  • El Fallah Seghrouchni Amal (1)
  • Estublier Jacky (1)
  • Gastin Paul (1)
  • Gaudel Marie-Claude (1)
  • Geffroy Jean-Claude (1)
  • Grigorieff Serge (1)
  • Guerrini Stefano (1)
  • Halbwachs Nicolas (1)
  • Kirchner Claude (1)
  • Lamarche François (1)
  • Lorho Bernard (1)
  • Martel Matthieu (1)
  • Paillet Jean-Luc (1)
  • Perrin Guy-René (1)
  • Pouzet Marc (1)
  • Queinnec Christian (1)
  • Regnier Laurent (1)
  • Serrano Manuel (1)
  • Solnon Christine (1)
  • Tortora de Falco Lorenzo (1)
  • Tortora de falco Lorenzo (1)
  • Werner Benjamin (1)
  • Wolff Burkhart (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (30)
  • Mathématiques (8)
  • Sciences de l'ingénieur (8)
  • Informatique, information, généralités (3)
  • Sciences de la nature et mathématiques (1)
  • Technologie (Sciences appliquées) (1)

Domaines :

Fullscreen

Towards a denotational semantics for mobility

par Joël-Alexis Bialkiewicz sous la direction de Amal El Fallah Seghrouchni - Paris 6

Informatique

Soutenue en 2011
thèse soutenue

Analyse statique par interprétation abstraite de systèmes hybrides

par Olivier Bouissou sous la direction de Matthieu Martel - Palaiseau, Ecole polytechnique

Informatique

Soutenue en 2008
thèse soutenue

La localisation en logique : géométrie de l'interaction et sémantique dénotationnelle

par Etienne Duchesne sous la direction de Laurent Régnier - Aix-Marseille 2

Mathématiques

Soutenue en 2009
thèse soutenue

Types intersection et calculs avec ressources dans la sémantique dénotationnelle du lambda-calcul

par Federico Olimpieri sous la direction de Laurent Regnier et de Lorenzo Tortora de falco. - Aix-Marseille

Mathematiques

Soutenue le 27-11-2020
thèse en cours de préparation

Semantique denotationnelle de s3l un langage de flux, d'ensembles et de suites et son implantation en caml

par Sophie Anglade sous la direction de Bernard Lorho - Orléans

Sciences appliquées

Soutenue en 1988
thèse soutenue

Reflexive spaces of smooth functions : a logical account of linear partial differential equations

par Marie Kerjean sous la direction de Thomas Ehrhard - Sorbonne Paris Cité

Informatique. Informatique fondamentale

Soutenue le 19-10-2018
thèse soutenue

...linéaire, sémantique dénotationnelle, espaces vectoriels topologies,théorie des distributions...

Accéder en ligne

Vérification formelle des circuits digitaux décrits en VHDL

par Ashraf Mohamed El-Farghly Salem sous la direction de Dominique Borrione - Grenoble 1

Electronique

Soutenue en 1992
thèse soutenue
Accéder en ligne

Contribution à la construction d'un réseau de méthodes de spécification, de transformation et de programmation

par Nora Boulahia sous la direction de Jean-Louis Durieux - Toulouse, ENSAE

Informatique

Soutenue en 1990
thèse soutenue

Non idempotent-intersection types to refine strong normalisation with quantitative information

par Alexis Bernadet sous la direction de Benjamin Werner - Palaiseau, Ecole polytechnique

Informatique

Soutenue en 2014
thèse soutenue
Accéder en ligne

Vers un langage de requête général pour les images

par Mohamed El Ansari sous la direction de Liming Chen - Compiègne

Sciences appliquées

Soutenue en 1996
thèse soutenue

Résultats 1 à 10