Accès transparents  Action  Aide programmation  Application program  Approche deterministe  Architecture modulaire  Assisted programming  Atelier logiciel  Bases de programmes  Capabilite  Cd  Chorus  Classe  Coherence  Compilateurs  Compilation  Conception de systèmes interactifs  Concurrence  Concurrency control  Conformité  Controle acces  Contrôle concurrence  Coordination  Debugging  Deroutement  Deterministic approach  Developpement logiciel  Distributed debugging  Distributed system  Déclencheur  Efficacité  Environnement de génie logiciel  Environnement programmation  Event  Exception  Execution programme  Fault tolerance  Fiabilité  Formalisme graphique  Gestion distribuée d'objet  Gestion du dialogue  Gestion mémoire  Guide  Génie logiciel  Générateur d'interfaces  Horloges matricielles  Héritage  Imprimerie  Informatique, automatique theorique, systemes  Informatique, automatique théorique, systèmes  Informatique. Automatique theorique. Systemes  Integration  Interface homme-ordinateur  Interface utilisateur  Interfaces graphiques  Interfaces utilisateurs  Internet  Intégration d'outils  Langage a objets  Langage de spécification d'interface  Local network  Logiciel interactif  Logiciels -- Maintenance  Mach  Machine virtuelle  Maintenance de logiciel  Mathématiques -- Impression  Matrix clocks  Memoire virtuelle  Micro-noyaux  Microkernels  Migrations  Mise au point programme  Mise au point répartie  Modes  Modular architecture  Modularite  Modèle d'architecture  Modèle à objets  Modélisation conceptuelle d'une interface  Multicast  Multidestinataire  Méthode conception par objets  Object oriented  Objet  Objet atomique  Observation  Optimisations  Ordinateurs -- Mémoires virtuelles  Oriente objet  Outil de développement d'interface utilisateur  Paradigme objet  Parallel system  Parallélisme  Persistance  Poste de travail individuel  Principes ergonomiques  Processus de conception  Program execution  Programmation globale  Programmation orientée objets  Programmation parallèle  Programme application  Programming environment  Programming in the large  Prolog  Protection  Protocole terminaison atomique  Protocoles de réseaux d'ordinateurs  Qualité du logiciel  Ramasse-miette  Relation d'équivalence  Reliability  Replay  Reproduction execution  Représentants  Reseau local  Reseau telecommunication  Récupération d'objets  Réexécution  Répartition  Résolution de problème -- Informatique  Sciences appliquees  Sciences appliquées  Sciences et techniques  Software data base  Software development  Software engineering  Software engineering enviranment  Software maintenance  Squelette d'application  Storage management  Systeme parallele  Systeme reparti  Systeme unix  Systemes a objets  Systemes repartis  Système d'exploitation  Système reparti  Systèmes de transitions étiquetées  Systèmes homme-machine  Systèmes multi-fenêtres  Telecommunication network  Telecommunications et theorie de l'information  Termes clos  Théorèmes -- Démonstration automatique  Tolérance faute  Tool integration  Trace  Traitement de l'information  Traitement de texte  Traitement réparti  Transaction  Trigger  Type  UNIX  Unix  Unix system  Vérification de processus communicants  événement  

Sacha Krakowiak a dirigé les 17 thèses suivantes :

Informatique. Systèmes et communication
Soutenue en 2003
Thèse soutenue

Informatique
Soutenue en 1996
Thèse soutenue

Informatique
Soutenue en 1994
Thèse soutenue

Informatique
Soutenue en 1991
Thèse soutenue

Informatique
Soutenue en 1991
Thèse soutenue

Informatique
Soutenue en 1989
Thèse soutenue
Sciences mathématiques
Soutenue en 1988
Thèse soutenue
Sciences. Mathématiques
Soutenue en 1987
Thèse soutenue


Sacha Krakowiak a été membre de jury des 7 thèses suivantes :

Informatique
Soutenue en 1991
Thèse soutenue