Accès -- Contrôle  Agents  Agents mobiles  Agents mobiles  Algorithme séquentiel  Algorithmes  Algorithmes parallèles  Algèbre de processus  Aléatoire  Analyse musicale  Analyse numérique  Analyse statique  Architecture Hiérarchique  Architecture des ordinateurs  Architecture des réseaux d'ordinateurs  Architecture orientée services  Asm  Astd  Attaque logicielle  Attaques par déni de service  Automate cellulaire  Automates  Automates hybrides  Automates mathématiques, Théorie des  B  B System  BSP  Bactéries -- Motilité  Big Data  Bsp  But non-fonctionnel  C  Calcul Distribué  Calcul Parallèle  Calcul intensif  Calcul non-conventionnel  Calcul parallèle  Calculabilité  Centres de calcul  Centres de traitement informatique  Cloud Computing  Cloudlet  Clouds  Commande de processus  Communauté  Communautés  Communication Simplifiée  Complexes semi-simpliciaux  Complexes simpliciaux  Complexité implicite  Complétude computationelle  Complétude, Théorème de  Composition et compatibilité des services web  Consommation d'énergie  Contrôle d'accès  Contrôle d\'accès  Decouverte  Dmp  Données XML  Données massives  Dossier médical personnel  Décidabilité  Décidabilité  Déni de service  Déportation  Détection d'intrusion  Déterministe  Eb3  Escherichia coli  Estimation de sélectivité  Evaluations des performances  Event-B  Filtres  Fonctions calculables  Fpga  Framework  Gestion électronique de documents  Grille de calcul  Grilles informatiques  Génie Logiciel  Génie logiciel  Implémentation matérielle  Informatique  Informatique dans les nuages  Informatique musicale  Ingénierie des exigences  Ingénierie dirigée par les modèles  Interprétation de spécifications  IoT  Jeux  Langage  Langage MGS  Langage de programmation  Langage impératif  Langages de programmation -- Sémantique  Langages de programmation  Langages formels  Logiciels -- Vérification  Logiciels  Logique  Logique mathématique  MapReduce  Mathematiques à rebours  Mathématiques à rebours  Mesure de similarité et multicritére  Mgs  Migration  Minimisation  Minimisation des automates  Ml  Mobiles  Model Checking  Model checking  Model-Checking  Modèle de Transition  Modèle de calcul  Modèle de performance  Modèles de calcul  Modèles mathématiques  Modélisation  Modélisation du domaine  Multi-BSP  Médical  Méthode de spécification formelle  Méthodes Formelles  Méthodes formelles  Méthodes formelles  Ndn  Ontologies  Optimisation  Optimisation de requêtes  Optimisation du programme  Orchestration  Ordre supérieur  Organisation  Parallélisme  Parallélisme  Performance  Pi-calcul  Preuves de programmes  Programmation Parallèle  Programmation de haut niveau  Programmation fonctionnelle  Programmation fonctionnelle  Programmation parallèle  Programmation parallèle  Programmation spatiale  Protection  Protection de l'information  Protocoles  Protocoles de réseaux d'ordinateurs  Prototypage  Prototypage  Prédiction de Performance  Raffinement  Requêtes XPath  Réseau  Réseaux  Réseaux de capteurs  Réseaux de capteurs sans fils  SOA  Services Web  Simulation  Simulation par ordinateur  Simulation, Méthodes de  Sous-programmes  Spécification formelle B et Event-B  Spécifications formelles  Streaming  Structures de données  Synchrone  Synthèse  Synthèse de contrôleurs  Synthèse de haut niveau  SysML  SysML/KAOS  Système Ferroviaire  Système d'information  Systèmes complexes  Systèmes cyber-physiques  Systèmes d'information  Systèmes de détection d'intrusion  Systèmes de sécurité  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques  Systèmes ouverts  Sécurité  Sémantique  Sémantique de Langage  Sémantiques  Sûreté des langages  Techniques d'Abstraction  Théorème de ramsey  Tolérance aux fautes  Tonnetz  Traduction automatique  Traitement de flux  Transformation de modèles à modèles  Vérification formelle  Énergie  

9 thèses en cours de préparation ayant pour partenaire de recherche Laboratoire d'algorithmique, complexité et logique (Créteil)
Extrait des plus récentes :

Analyse calculatoire des théorèmes de type Ramsey

par William Gaudelier sous la direction de Benoit Monin, Julien Cervelle et de Ludovic Patey. - Paris 12

Informatique
En préparation depuis le 01-10-2021
thèse

Informatique
En préparation depuis le 20-11-2020
thèse

Informatique
En préparation depuis le 15-10-2020
thèse

Informatique
En préparation depuis le 01-10-2018
thèse

Informatique
En préparation depuis le 01-10-2017
thèse

Vers une Approche Formelle d'Ingénierie des Exigences Outillée et Éprouvée

par Steve Jeffrey Tueno fotso sous la direction de Régine Laleau et de Marc Frappier. - Paris Est

Informatique
Soutenue le 22-10-2019
thèse

Informatique
Soutenue le 22-05-2020
thèse

Informatique
Soutenue le 16-12-2020
thèse


27 thèses soutenues ayant pour partenaire de recherche Laboratoire d'algorithmique, complexité et logique (Créteil)
Extrait des plus récentes :

Informatique
Soutenue le 20-09-2019
thèse
Informatique
Soutenue le 04-05-2018
thèse
Informatique
Soutenue le 12-12-2016
thèse
Signal, Image, Automatique
Soutenue le 29-11-2014
thèse
Informatique
Soutenue le 13-12-2013
thèse