2002 |
Synthèse de EFSM observatrices à partir de spécifications HAAD |
Ogoubi, Etienne |
Cerny, Eduard |
2001 |
Un générateur CP pour la vérification temporelle des contrôleurs d'interfaces |
Zhang, Ying |
Cerny, Eduard |
2001 |
Integrating MDG variable ordering in a VHDL-MDG design verification system |
Feng, Yi |
Cerny, Eduard |
2000 |
ACTC - une algèbre de processus temporisée pour la spécification et vérification d'interfaces matérielles |
Gandrabur, Simona |
Cerny, Eduard |
2000 |
Timing verification of interface specifications and controllers |
Jin, Fen |
Cerny, Eduard |
1999 |
Méthode de simulation aléatoire guidée par un algorithme génétique pour la vérification du design de circuits numériques |
Faye, Pierre |
Cerny, Eduard |
1996-03 |
Un outil pour la spécification de matériel et la génération de modèles exécutables |
Babkine, Philippe-André |
Cerny, Eduard |
1997 |
Construction des machines à état abstrait à partir des modèles VHDL |
Anon, Koty Dominique |
Cerny, Eduard |
1999 |
Modèles et algorithmes pour la simulation des systèmes à temps réel |
Nicolae, Ana-Francisca |
Cerny, Eduard |
2001 |
Compositional verification using interface recognizers/suppliers (IRS) |
Jahanpour, Mohammad-Sadegh |
Cerny, Eduard |
2002 |
Waveform narrowing : a constraint-based framework for timing analysis |
Kassab, Maroun |
Cerny, Eduard |
2023-11 |
Small batch deep reinforcement learning |
Obando-Ceron, Johan Samir |
Castro, Pablo Samuel; Bellemare, Marc |
2020-08 |
Optimizing ANN Architectures using Mixed-Integer Programming |
ElAraby, Mostafa |
Carvalho, Margarida; Wolf, Guy |
2022-11 |
Mixed-integer programming representation for symmetrical partition function form games |
Pepin, Justine |
Carvalho, Margarida; Sankaranarayanan, Sriram |
2022-04 |
Game theoretical characterization of the multi-agent network expansion game |
Caye, Flore |
Carvalho, Margarida; Ngueveu, Sandra |
2024-05 |
Strategic planning of intracity electric vehicle charging station locations with integrated advanced demand dynamics |
Lamontagne, Steven |
Carvalho, Margarida; Frejinger, Emma |
2022-08 |
A stochastic integer programming approach to reserve staff scheduling with preferences |
Perreault-Lafleur, Carl |
Carvalho, Margarida; Desaulniers, Guy |
2023-08 |
Maximum flow-based formulation for the optimal location of electric vehicle charging stations |
Parent, Pierre-Luc |
Carvalho, Margarida; Anjos, Miguel F. |
2023-08 |
Weak core solution for the non-transferable utility kidney exchange game |
Collette, Raphaël |
Carvalho, Margarida |
2024-01 |
Dynamic capacities and priorities in stable matching |
Bobbio, Federico |
Carvalho, Margarida |
2023-12 |
Methods for solving combinatorial pricing problems |
Bui, Quang Minh |
Carvalho, Margarida |
2021-08 |
Towards fairness in Kidney Exchange Programs |
St-Arnaud, William |
Carvalho, Margarida |
2022-04 |
City decision-making : optimization of the location and design of urban green spaces |
Leboeuf, Caroline |
Carvalho, Margarida |
2020-08 |
The multilevel critical node problem : theoretical intractability and a curriculum learning approach |
Nabli, Adel |
Carvalho, Margarida |
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 |
2015-04 |
Interactive quantum information theory |
Touchette, Dave |
Brassard, Gilles; Tapp, Alain |
2013-01 |
Amplification de l'amplitude : analyse et applications |
Lamontagne, Philippe |
Brassard, Gilles; Tapp, Alain |
2021-09 |
Les circuits quantiques paramétrés universels comme modèles d'apprentissage automatique |
Williams, Andrew |
Brassard, Gilles; Tapp, Alain |
2023-02 |
Variations sur le protocole BB84 avec bases de polarisation secrètes |
Gazaille, Shany Xiye |
Brassard, Gilles; Salvail, Louis |
2020-01 |
The art of post-truth in quantum cryptography |
Zafar Jafarzadeh, Sara |
Brassard, Gilles; Salvail, Louis |
2012-08 |
Key agreement against quantum adversaries |
Kalach, Kassem |
Brassard, Gilles; Salvail, Louis |
1999 |
Informatique quantique : algorithmes et complexité de la communication |
Tapp, Alain |
Brassard, Gilles; Mckenzie, Pierre |
2009-11 |
The decoupling approach to quantum information theory |
Dupuis, Frédéric |
Brassard, Gilles; Hayden, Patrick |
2003 |
A survey of graph and subgraph isomorphism problems |
Lei, Yaohui |
Brassard, Gilles; Hahn, Gena |
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 |
1997 |
Towards a formal definition of security for quantum protocols |
Graaf, Jeroen van de |
Brassard, Gilles; Crépeau, Claude |
1999 |
Analyse et comparaison de protocoles de purification de l'intrication quantique |
Schoeb, Antoine |
Brassard, Gilles; Crépeau, Claude |
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 |
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 |
2003 |
De computatione quantica |
Fernandez, José Manuel |
Brassard, Gilles |