, La tolérance aux fautes adaptable pour les systèmes à composants : application à un gestionnaire de données », actes des Journées des Bases de Données Avancées, 2002.
Compilation des langages de programmation : Ce que fait un compilateur, 2006. ,
« Fat Binary: Computer program, Instruction set, Machine code, Operating system, Source code, Installation (computer programs), Compiler, Virtual machine, 2010. ,
« Non-termination inference of logic programs, ACM Transactions on Programming Languages and Systems, vol.28, pp.256-289, 2006. ,
« The neuron-based architecture for making smart campuses as pedagogical immersive environments, Proceedings of the 5th Conference on eLearning Excellence in the Middle East, 2012. ,
Interaction Design: Beyond Human-Computer Interaction, 2007. ,
Pathways to the 3 D Web. A Cross-Industry Public Foresight Project », online resource of the Metaverse Roadmap project, 2007. ,
, Génie logiciel : principes, méthodes et techniques, Lausanne : Presses Polytechniques et Universitaires Romandes, 1996.
, , 2007.