Résultats de recherche

• Enhancing Web 2.0 Usability: Handling the Local Contexts of Web Users

  Author: Al-Jabari, M., 10 janv. 2011

  Superviseur: Hainaut, J. (Promoteur), Thiran, P. (Copromoteur), Faulkner, S. (Jury), Englebert, V. (Jury), Mrissa, M. (Jury) & Jacquet, J. (Président)

  Thèse de l'étudiant: Doc types › Docteur en Sciences

  Fichier

• Etude d'un problème d'intelligence artificielle dans le monde du jeu vidéo: l'importance de la pré-production

  Author: Noël, J., 2011

  Superviseur: Jacquet, J. (Promoteur)

  Thèse de l'étudiant: Master types › Master en sciences informatiques

  Fichier

• Formal Modeling and Verification of Access-Control Policies

  Author: Toussaint, H., 21 sept. 2011

  Superviseur: Schobbens, P. (Promoteur), Jacquet, J. (Président), Colin, J. (Jury), Morisset, C. (Personne externe) (Jury) & Le Traon, Y. (Personne externe) (Jury)

  Thèse de l'étudiant: Doc types › Docteur en Sciences

  Fichier

• Foundations for an Expert System Managing Gene Regulatory Networks in the Context of Cancer Traetmaent

  Author: Tonus, V., 28 août 2018

  Superviseur: Jacquet, J. (Promoteur)

  Thèse de l'étudiant: Master types › Master en sciences informatiques

  Fichier

• Gestion électronique de document multimédia: techniques de recherche et d'indexation

  Author: Feron, M. & Delcorde, P., 2006

  Superviseur: Jacquet, J. (Promoteur)

  Thèse de l'étudiant: Master types › Master en sciences informatiques

  Fichier

• Gestion électronique de documents multimédia: techniques de recherche et d'indexation

  Author: Anciaux, J., 2004

  Superviseur: Jacquet, J. (Promoteur)

  Thèse de l'étudiant: Master types › Master en sciences informatiques

  Fichier

• Implémentation d'un langage de coordination et application aux domaines du traitement de l'image et du son

  Author: Duysinx, C., 2009

  Superviseur: Jacquet, J. (Promoteur)

  Thèse de l'étudiant: Master types › Master en sciences informatiques

• Implémentation d’un interpréteur pour l’algèbre de processus µCRL2

  Author: Croegaert, O., 22 juin 2016

  Superviseur: Jacquet, J. (Promoteur)

  Thèse de l'étudiant: Master types › Master en sciences informatiques

  Fichier

• La compréhension du langage naturel: de la théorie à l'implémentation

  Author: Bouchez, O. & Istace, O., 1993

  Superviseur: Jacquet, J. (Promoteur)

  Thèse de l'étudiant: Master types › Master en sciences informatiques

  Fichier

• La programmation par contraintes: une solution au problème de la constitution des horaires de sessions d'examens à l'université ?

  Author: Vandeput, E., 2003

  Superviseur: Jacquet, J. (Promoteur)

  Thèse de l'étudiant: Master types › Master en sciences informatiques

  Fichier

• L’utilisation d’un outil d’analyse statique de code permet-il à des novices d’améliorer leur apprentissage de la programmation ?

  Author: Bertrand, V., 31 août 2017

  Superviseur: Jacquet, J. (Président), Frenay, B. (Promoteur) & Henry, J. (Copromoteur)

  Thèse de l'étudiant: Master types › Master en sciences informatiques

  Fichier

• Managing and Enforcing Privacy-aware Policies in IT Systems

  Author: Rath, T. M. A., 1 déc. 2015

  Superviseur: Colin, J. (Promoteur), Jacquet, J. (Président), Petit, M. (Jury), Frenay, B. (Jury), Zampunieris, D. (Personne externe) (Jury) & Grimm, R. (Personne externe) (Jury)

  Thèse de l'étudiant: Doc types › Docteur en Sciences

  Fichier

• Model-based management of information system security risk

  Author: Mayer, N., 21 avr. 2009

  Superviseur: Heymans, P. (Promoteur), Dubois, É. (Copromoteur), Jacquet, J. (Jury), Colin, J. (Jury), Ramaekers, J. (Jury), Mouratidis, H. (Personne externe) (Jury), Sindre, G. (Personne externe) (Jury) & HAGEN, D. (Personne externe) (Jury)

  Thèse de l'étudiant: Doc types › Docteur en Sciences

  Fichier

• Modèle, principes et outils pour un infomédiaire au service du contrôle téléonomique de l’information des internautes

  Author: Dinant, J., 19 mai 2009

  Superviseur: Ramaekers, J. (Promoteur), Jacquet, J. (Président), Poulin, D. (Personne externe) (Jury), REIDENBERG, J. (Personne externe) (Jury) & Schumacher, L. (Jury)

  Thèse de l'étudiant: Doc types › Docteur en Sciences

• Modélisation de l'exécution de programmes dans les langages de coordination au moyen de réseaux de Petri

  Author: Vandorpe, O., 2009

  Superviseur: Jacquet, J. (Promoteur)

  Thèse de l'étudiant: Master types › Master en sciences informatiques

• Modélisation opérationnelle et intentionnelle de workflows: application aux processus de soins médicaux

  Author: Roucoux, F., 2009

  Superviseur: Jacquet, J. (Promoteur)

  Thèse de l'étudiant: Master types › Master en sciences informatiques

• Modelling and model checking variability-intensive systems

  Author: Classen, A., 3 oct. 2011

  Superviseur: Heymans, P. (Promoteur), Schobbens, P. (Copromoteur), Jacquet, J. (Jury), Habra, N. (Personne externe) (Jury), PECHEUR, C. (Personne externe) (Jury), Nuseibeh, B. (Personne externe) (Jury) & KATOEN, J. (Personne externe) (Jury)

  Thèse de l'étudiant: Doc types › Docteur en Sciences

  Fichier

• Modelling gene regulatory networks with timed automata

  Author: Van Goethem, S., 2011

  Superviseur: Jacquet, J. (Promoteur)

  Thèse de l'étudiant: Master types › Master en sciences informatiques

  Fichier

• On constructing applications in secure embedded peer-to-peer networks: formalization and implementation issues in SMEPP

  Author: Gérard, S., 2009

  Superviseur: Jacquet, J. (Promoteur)

  Thèse de l'étudiant: Master types › Master en sciences informatiques

  Fichier

• On Multiplicities in Coordination Languages

  Author: Darquennes, D., 7 déc. 2017

  Superviseur: Jacquet, J. (Promoteur), Linden, I. (Copromoteur), Englebert, V. (Président), Perrouin, G. (Jury), Vanhoof, W. (Jury), Zampunieris, D. (Personne externe) (Jury) & De Vink, E. (Personne externe) (Jury)

  Thèse de l'étudiant: Doc types › Docteur en Sciences

  Fichier

• On secure services for embedded mobile peer-to-peer systems: a conceptual framework and its implementation in the coordination language SecureLime

  Author: Buchholz, J. & Lange, J., 2008

  Superviseur: Jacquet, J. (Promoteur)

  Thèse de l'étudiant: Master types › Master en sciences informatiques

  Fichier

• On the Design of an Image processing Tool To Help Cell Enumeration

  Author: Liteanu, A., 28 août 2018

  Superviseur: Jacquet, J. (Promoteur)

  Thèse de l'étudiant: Master types › Master en sciences informatiques

  Fichier

• On the introduction of time in coordination languages : semantic, expressiveness and programming methodologies

  Author: Linden, I., 2007

  Superviseur: Jacquet, J. (Promoteur), Hainaut, J. (Jury), Vanhoof, W. (Jury), BROGI, A. (Personne externe) (Jury) & DE VINCK, E. (Personne externe) (Jury)

  Thèse de l'étudiant: Doc types › Docteur en Sciences

• Program analysis and transformation for data-intensive system evolution

  Author: Cleve, A., 29 oct. 2009

  Superviseur: Hainaut, J. (Promoteur), Jacquet, J. (Président), Englebert, V. (Jury), Vanhoof, W. (Jury), Lammel, R. (Personne externe) (Jury) & Mens, K. (Personne externe) (Jury)

  Thèse de l'étudiant: Doc types › Docteur en Sciences

  Fichier

• Program understanding in database reverse engineering

  Author: Henrard, J., 19 sept. 2003

  Superviseur: Hainaut, J. (Promoteur), Fichefet, J. (Jury), Koschke, R. (Personne externe) (Jury), Petit, J. (Personne externe) (Jury) & Jacquet, J. (Jury)

  Thèse de l'étudiant: Doc types › Docteur en Sciences

  Fichier