Accès -- Contrôle  Accélération des performances  Agents  Agents mobiles  Agents mobiles  Algorithme  Algorithme séquentiel  Algorithmes  Algorithmes parallèles  Algèbre de processus  Aléatoire  Analyse musicale  Analyse numérique  Analyse statique  Applications conteneurisées  Apprentissage par renforcement  Architecture Hiérarchique  Architecture des ordinateurs  Architecture des réseaux d'ordinateurs  Architecture logiciel  Architecture logicielle  Architecture orientée services  Asm  Astd  Attaque logicielle  Attaques  Attaques par déni de service  Automate cellulaire  Automates  Automates cellulaires  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  Comparaison stochastique  Compilation  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étection d'intrusion  Eb3  Escherichia coli  Espace dynamique  Estimation de sélectivité  Evaluations des performances  Event-B  Filtres  Fonctions calculables  Fpga  Framework  Gestion électronique de documents  Graphe  Grille de calcul  Grilles informatiques  Génie Logiciel  Génie logiciel  Implémentation matérielle  Informations partielles  Informatique  Informatique dans les nuages  Informatique musicale  Ingénierie des exigences  Ingénierie dirigée par les modèles  Intelligence artificielle  Interprétation de spécifications  IoT  Jeux  Jeux multi-agents  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  Logiques de stratégies  MapReduce  Mathematiques à rebours  Mathématiques à rebours  Mesure de similarité et multicritére  Methode de couplage  Mgs  Migration  Minimisation  Minimisation des automates  Ml  Mobiles  Model Checking  Model checking  Model-Checking  Modèle 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  Nanoréseaux  Ndn  Non-déterminisme  Ontologies  Ontologies  Optimisation  Optimisation de requêtes  Optimisation du programme  Orchestration  Orchestration de services  Ordre supérieur  Organisation  Parallélisme  Parallélisme  Parallélisme structurel  Performabilité  Performance  Pi-calcul  Preuve de propriétés  Preuves de programmes  Programmation Parallèle  Programmation de haut niveau  Programmation fonctionnelle  Programmation fonctionnelle  Programmation parallèle  Programmation parallèle  Programmation spatiale  Programmes malveillants  Propriétés temporelles  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  Réseaux de neurones  Réseaux logiques programmables par l'utilisateur  SOA  Services Web  Simulation  Simulation par ordinateur  SysML/KAOS  Système d'information  Systèmes d'information  Systèmes informatiques -- Mesures de sûreté  Sécurité  Sûreté des langages  Verification  Vérification formelle  Énergie  

13 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 :

Informatique
En préparation depuis le 01-09-2022
thèse

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

Algorithmes pour la synthèse rationnelle dans les systèmes multi-agents

par Madalina Jitaru sous la direction de Catalin Dima et de Rodica Condurache. - 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-09-2020
thèse

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

Informatique
Soutenue le 18-12-2012
thèse

Informatique
Soutenue le 08-12-2022
thèse


31 thèses soutenues ayant pour partenaire de recherche LACL - Laboratoire d'Algorithmique, Complexité et Logique
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