Algorithmes  Analyse des données  Analyse quantitative  Automates  Automates Communicants  Automates hybrides  Automates mathématiques, Théorie des  Automates probabilistes  Automates temporisés  Automates temporisés et stochastiques  Automates à poids  Automates à état Fini  Automatisation  Base de connaissances  Bases de données -- Interrogation  Bases de données sur le Web  Benchmark  Bqo  Calcul formel  Calculabilité  Capteurs téléphone intelligent  Complexité  Complexité algorithmique  Complexité de calcul  Concurrent  Cryptographie  Da  Datalog  Determinisation  Diagnostic  Distribution  Décidabilité  Décidabilité  Déduction  Démonstration automatique  Déterminabilité  Equilibre  Fiabilité  Fonctions calculables -- Informatique  Formalisme  Gestion de données du Web  Gestion de données personnelles  Graphes de données  Homologie  Homotopie  Hyperséquent  Indistinguabilité  Information imparfaite  Intégration de données  Intégration de données  J  Jeux  Logiciels -- Vérification  Logique  Logique de données  Logique du premier ordre  Logique informatique  Maintenance automatisée  Markov decision process  Markov, Processus de  Mesures de sécurité  Minorants  Model-Checking statistique  Modèle symbolique  Modèles mathématiques  Modélisation des flux des passagers  Monoïdes  Mots synchronisants  Méthode des tableaux  Méthodes formelles  Méthodes formelles  Nash  Nečiporuk  Nombres ordinaux  Optimisation stochastique  Ordre sous-Mot  Pair à pair  Pertinence  Petri, Réseaux de  Poste à poste  Preuve formelle  Preuves automatiques  Processus de décision de Markov  Processus décisionnels de Markov relationnels  Processus stochastiques  Programmes sur monoïdes  Protection de l'information  Protocole de sécurité  Protocoles  Protocoles cryptographiques  Protocoles de réseaux d'ordinateurs  Protocoles de sécurité  Recherche de preuve  Recherche quantitative  Reconnaissance d'activité  Reconnaissance de mode de transport  Requêtes de chemin  Réseaux de Petri  Réseaux électriques intelligents  Résolution de contraintes  Réécriture  Réécriture, Systèmes de  Satisfiability Modulo Theories  Satisfiabilité  Simulink  Simulink  Smart grids  Smartphones  Spécification quantitative  Stochastique  Superposition  Synthèse distribuée  Systèmes d'addition de vecteurs  Systèmes de transitions bien structurés  Systèmes dynamiques  Systèmes informatiques -- Mesures de sûreté  Systèmes à compteurs  Sécurité  Sécurité calculatoire  Sémantique selon la théorie des jeux  Theorie des jeux  Thèses et écrits académiques  Théorie des jeux  Théorèmes -- Démonstration automatique  Topologie algébrique  Topologie algébrique dirigée  Transport de voyageurs  Unification  Vie privée  Vraie concurrence  Vues  Véhicule autonome  Véhicules autonomes  Vérification  Vérification Formelle  Vérification de modèles  Vérification formelle  Wqo  XPath  XPath  Équivalence  

26 thèses soutenues ayant pour partenaire de recherche Laboratoire Spécification et Vérification (Cachan, Val-de-Marne).
Extrait des plus récentes :

Mathématiques et Informatique
Soutenue le 12-06-2017
thèse