Afffectation d'index  Algorithm  Algorithmes  Architecture des systèmes complexes  Architectures parallèles  Automatisation  Base Lyndon  Birknoff  Cadre d'architecture  Capteur  Cell  Classes d'application  Co-Simulation  Co-Spécification  Combinatoire algébrique  Common LISP  Composabilité  Computer theory  Conception modulaire  Conception technique  Coût total de possession  Dynamique holomorphe  Environnement -- Études d'impact  Estimation de l’impact environnemental  Flot de données  Formal language  Free monoid  GPU  Holon  Informatique theorique  Informatique, automatique theorique, systemes  Ingénierie Système Basée sur des Modèles  Ingénierie des systèmes  Ingénierie des systèmes basés sur les modèles  Ingénierie dirigée par les modèles  Ingénierie système  Langage formel  Langage icon  Language theory  Lie algebra  Lie, Algèbres de  Logiciel  Logique  Machine de Mealy temporisée  Markov chain  Markov, Processus de  Milieu aérospatial  Modèle de traces  Modélisation & Simulation  Modélisation de système  Modélisation des données  Modélisation et simulation  Monoide libre  Monoi͏̈de plaxique  Mot Lyndon  Multi-coeur  Object oriented programming  Optimisation mathématique  Optimisation multi-objectifs  Optimization  Opérateurs d’intégration  Ordonnancement  Parallélisation  Parallélisme  Pavage  Pivot de Gauss  Polyze͏̈ta  Problème confection horaire  Processus de conception  Programmation convexe  Programmation linéaire  Programmation orientée objets  Propriétés émergentes  Recuit simulé  Régulation génétique  Réseau de capteurs  Scheduling  Sciences appliquees  Simulated annealing  Simulation, Méthodes de  Software  Spécification  SysML  SysML  Système de communication  Systèmes complexes  Systèmes holonomes  Systèmes industriels complexes  Systèmes informatiques  Systèmes à base de composants  Systèmes, Analyse de  Sémantique des systèmes  Temps hybride  Theorie langage  These  Thesis  Thurston  Théorie des jeux  Timetabling problem  Treillis  Vectorisation  Véhicules électriques  Vérification & Validation  Zones fertiles  équilibre architectural  

Daniel Krob a rédigé la thèse suivante :

Sciences appliquées
Soutenue en 1988
Thèse soutenue


Daniel Krob a dirigé les 8 thèses suivantes :

Sciences et techniques
Soutenue en 1999
Thèse soutenue

Sciences et techniques communes
Soutenue en 1999
Thèse soutenue


Daniel Krob a été président de jury de la thèse suivante :


Daniel Krob a été rapporteur des 2 thèses suivantes :


Daniel Krob a été membre de jury des 4 thèses suivantes :