1999 |
Cadre conceptuel pour la composition des objets et la spécification du comportement |
Ramazani, Dunia |
Bochmann, Gregor V. |
2000 |
Vers la construction automatique d'un module inconnu dans un système composé |
Drissi, Jawad |
Bochmann, Gregor V. |
1998 |
Gestion coopérative de la qualité de service dans les applications multimédias : spécification et simulation |
Mekouar, Loubna |
Bochmann, Gregor V. |
1998 |
Développement de tests à partir d'une spécification formelle en SDL : le protocole de signalisation ATM/PNNI |
Maguiraga, Saoudatou |
Bochmann, Gregor V. |
1997 |
Développement d'un éditeur graphique pour les suites de tests de protocoles de communication |
Soukeur, Abdelouahed |
Bochmann, Gregor V. |
1997 |
Implantation du protocole de signalisation ATM en utilisant une spécification SDL |
Marcoci, Roxana-Irina |
Bochmann, Gregor V. |
1995-11 |
Un cadre d'application pour interfaces de gestion OSI |
Tessier, Jean |
Bochmann, Gregor V.; Keller, Rudolf |
1997 |
On conformance testing of systems communicating by Rendezvous |
Tan, Qiang-Ming |
Bochmann, Gregor V.; Petrenko, Alexandre |
2002 |
Génération de modèles de langage compacts pour la reconnaissance vocale |
Picard, Francis |
Boucher, Dominique; Lapalme, Guy |
2001 |
Extension des modèles de prédiction de la qualité du logiciel en utilisant la logique floue et les heuristiques du domaine |
Serhani, Mohamed Adel |
Boukadoum, Mounir; Sahraoui, Houari |
2000 |
Système de configuration des politiques de gestion de réseaux |
Dioubaté, Diéfadima |
Boutaba, Raouf |
2008 |
Categorical quantum computation |
Paquette, Éric Oliver |
Boyer, Michel |
2012-07 |
A Categorical Framework for the Specification and the Verification of Aspect
Oriented Systems |
Sabas, Arsène |
Boyer, Michel; Barr, Michael |
2008 |
Apprentissage quantique |
Gambs, Sébastien |
Brassard, Gilles |
2020-07 |
Apprentissage de circuits quantiques par descente de gradient classique |
Lamarre, Aldo |
Brassard, Gilles |
2000 |
Les codes correcteurs quantiques et leurs applications cryptographiques |
Paquin, Christian |
Brassard, Gilles |
2017-08 |
L'équivalence entre le local-réalisme et le principe de non-signalement |
Raymond-Robichaud, Paul |
Brassard, Gilles |
2016-12 |
Automates cellulaires quantiques et relativité déformée |
Bibeau-Delisle, Alexandre |
Brassard, Gilles |
2003 |
De computatione quantica |
Fernandez, José Manuel |
Brassard, Gilles |
2011-04 |
Structure de la distribution de probabilités de l'état GHZ sous l'action locale de transformations du groupe U(2) |
Gravel, Claude |
Brassard, Gilles |
2012-08 |
Plateforme pour se protéger tant de soi-même que de ses "amis" sur Facebook |
Hélou, Charles |
Brassard, Gilles; Aïmeur, Esma |
1999 |
Analyse et comparaison de protocoles de purification de l'intrication quantique |
Schoeb, Antoine |
Brassard, Gilles; Crépeau, Claude |
1997 |
Towards a formal definition of security for quantum protocols |
Graaf, Jeroen van de |
Brassard, Gilles; Crépeau, Claude |
2015-03 |
Échantillonnage des distributions continues non uniformes en précision arbitraire et protocole pour l'échantillonnage exact distribué des distributions discrètes quantiques |
Gravel, Claude |
Brassard, Gilles; Devroye, Luc |
2003 |
A survey of graph and subgraph isomorphism problems |
Lei, Yaohui |
Brassard, Gilles; Hahn, Gena |
2009-11 |
The decoupling approach to quantum information theory |
Dupuis, Frédéric |
Brassard, Gilles; Hayden, Patrick |
1999 |
Informatique quantique : algorithmes et complexité de la communication |
Tapp, Alain |
Brassard, Gilles; Mckenzie, Pierre |
2012-08 |
Key agreement against quantum adversaries |
Kalach, Kassem |
Brassard, Gilles; Salvail, Louis |
2020-01 |
The art of post-truth in quantum cryptography |
Zafar Jafarzadeh, Sara |
Brassard, Gilles; Salvail, Louis |
2023-02 |
Variations sur le protocole BB84 avec bases de polarisation secrètes |
Gazaille, Shany Xiye |
Brassard, Gilles; Salvail, Louis |
2021-09 |
Les circuits quantiques paramétrés universels comme modèles d'apprentissage automatique |
Williams, Andrew |
Brassard, Gilles; Tapp, Alain |
2013-01 |
Amplification de l'amplitude : analyse et applications |
Lamontagne, Philippe |
Brassard, Gilles; Tapp, Alain |
2015-04 |
Interactive quantum information theory |
Touchette, Dave |
Brassard, Gilles; Tapp, Alain |
1998 |
L'utilisation de vecteurs de liens bibliographiques comme descripteurs de documents juridiques dans un système de recherche d'information |
Perpignand, Ernst |
Bratley, Paul; Poulin, Daniel |
2020-08 |
The multilevel critical node problem : theoretical intractability and a curriculum learning approach |
Nabli, Adel |
Carvalho, Margarida |
2022-04 |
City decision-making : optimization of the location and design of urban green spaces |
Leboeuf, Caroline |
Carvalho, Margarida |
2021-08 |
Towards fairness in Kidney Exchange Programs |
St-Arnaud, William |
Carvalho, Margarida |
2023-12 |
Methods for solving combinatorial pricing problems |
Bui, Quang Minh |
Carvalho, Margarida |
2024-01 |
Dynamic capacities and priorities in stable matching |
Bobbio, Federico |
Carvalho, Margarida |
2023-08 |
Weak core solution for the non-transferable utility kidney exchange game |
Collette, Raphaël |
Carvalho, Margarida |