Automata oriented program verification
Author: Grégoire, B., 2002Supervisor: Schobbens, P.
Student thesis: Master types › Master of Computer science
Apports de l'estimation de densité aux arbres de discrimination: applications réelles
Author: Bertholet, V., 2003Supervisor:
Student thesis: Doc types › Doctor of Sciences
Integration of ATM under TCP/IP to provide services with minimum guaranteed bandwidth:
Author: Bonaventure, O., 1998Student thesis: Doc types › Doctor of Sciences
Network convergence for the provision of in services in the Internet
Author: Nicoll, S., 2001Supervisor: Bonaventure, O.
Student thesis: Master types › Master of Computer science
Un analyseur syntaxique et un interpréteur abstrait pour un sous-ensemble de Java
Author: Dony, G., 2001Supervisor: &
Student thesis: Master types › Master of Computer science
Towards a generic static analyser for Java: a compiler and a simple analyser for two sub-languages of Java
Author: Hayez, C. & Hendrickx, P., 2000Supervisor:
Student thesis: Master types › Master of Computer science
Etude de systèmes dynamiques à liaisons non intégrables (chocs mécaniques)
Author: Petry, C., Jun 1999Supervisor: Plotnikova, G.
Student thesis: Master types › Master of Mathematical sciences
Vers un analyseur statique générique de Java par interprétation abstraite: un utilitaire d'affichage de l'environnement et du store
Author: Pirotte, C., 2001Supervisor:
Student thesis: Master types › Master of Computer science
Simple network management protocol et policy-based network management: appliqué à un cas pratique: le réseau de l'Office national des pensions
Author: des Touches, V., 2001Supervisor: Bonaventure, O.
Student thesis: Master types › Master of Computer science
Réalisation d'un langage graphique pour ASAX
Author: Gumiro, L., 1999Supervisor:
Student thesis: Master types › Master of Computer science
Etude d'un système générique d'aide à la gestion des accès
Author: Vandurme, A. & Voisin, J., 2001Supervisor: Ramaekers, J.
Student thesis: Master types › Master of Computer science
Recherche heuristique encapsulée
Author: Amezouj, K., 2009Supervisor: Schobbens, P.
Student thesis: Master types › Master of Computer science
Résolution d'un paradoxe en logique de croyance et de connaissance
Author: Simon, L., 1998Supervisor: Schobbens, P.
Student thesis: Master types › Master of Computer science
Implementation of belief revision on Sony Aibo
Author: Vander Schelden, Y., 2004Supervisor: Schobbens, P.
Student thesis: Master types › Master of Computer science
La libration de la Lune.
Author: Moons, M., 1979Supervisor:
Student thesis: Doc types › Doctor of Sciences
Simulation multiagent de situations d'urgence dans le cadre de la RoboCupRescue
Author: Koch, E., 2002Supervisor: Schobbens, P.
Student thesis: Master types › Master of Computer science
Requirements Proposal for a Generic Tool for Working with Guidelines
Author: Dufour, Y. & Rensonnet, D., 1997Supervisor: Vanderdonckt, J.
Student thesis: Master types › Master of Computer science
Modelling future evolution in a security oriented context
Author: Marchal, L., 2010Supervisor: Schobbens, P.
Student thesis: Master types › Master of Computer science
FDNet: enhancing human interface with dynamic capabilities
Author: Lambot, N., 2004Supervisor: Schobbens, P.
Student thesis: Master types › Master of Computer science
Système hamiltonien perturbé par une force non conservative : application au drag de Stokes
Author: Dewaegheneire, X., Jun 1995Supervisor:
Student thesis: Master types › Master of Mathematical sciences
Robots in health care: an AIBO controller for elderly entertainment
Author: Capeqi, T., 2006Supervisor: Schobbens, P.
Student thesis: Master types › Master of Computer science
ORKA: obstacles recognition with KAOS based on ASAX = utilisation d'ASAX pour la détection d'obstacle
Author: Brohez, S. & Grégoire, Y., 2002Supervisor:
Student thesis: Master types › Master of Computer science
Analytical and Semi-Numerical Treatments of two Typical Problems in Artificial Satellite Theory: Air-Drag and Critical Inclination.
Author: Delhaise, F., 1992Supervisor:
Student thesis: Doc types › Doctor of Sciences
Congestion control mechanism for multimedia applications
Author: Rosman, C., 2001Supervisor: Bonaventure, O.
Student thesis: Master types › Master of Computer science
Théorie analytique du satellite artificiel
Author: Claes, H., 1979Supervisor:
Student thesis: Doc types › Doctor of Sciences