Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

Thèses et mémoires

Des thèses et mémoires de nos étudiants sont conservés et consultables dans Papyrus, le dépôt institutionnel de l'Université de Montréal.

 

 

Pour une recherche détaillée
Visiter Papyrus
Date Trier par date en ordre décroissant Titre Trier par titre en ordre décroissant
2008 Un cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspects
2004 Modèle transactionnel temporisé pour la coordination de services Web
2008 Indigo : une approche multi-stratégique et adaptative pour un alignement sémantique intégrant le contexte des données à apparier
2016-08 Learning a graph made of boolean function nodes : a new approach in machine learning
2012-04 From Classical to Quantum Secret Sharing
2008 Quantum nonlocality, cryptography and complexity
2004 Quantum pseudo-telepathy games
2006 Preuves interactives classiques
2014-02 Practical and Foundational Aspects of Secure Computation
2009-07 Preuves interactives quantiques