| 2007 |
| 15 | EE | Michel Boyer,
Dan Kenigsberg,
Tal Mor:
Quantum Key Distribution with Classical Bob.
ICQNM 2007: 10 |
| 14 | EE | Michel Boyer,
Dan Kenigsberg,
Tal Mor:
Quantum Key Distribution with Classical Bob
CoRR abs/quant-ph/0703107: (2007) |
| 2006 |
| 13 | EE | Eli Biham,
Michel Boyer,
P. Oscar Boykin,
Tal Mor,
Vwani P. Roychowdhury:
A Proof of the Security of Quantum Key Distribution.
J. Cryptology 19(4): 381-439 (2006) |
| 2005 |
| 12 | EE | Eli Biham,
Michel Boyer,
P. Oscar Boykin,
Tal Mor,
Vwani P. Roychowdhury:
A Proof of the Security of Quantum Key Distribution
CoRR abs/quant-ph/0511175: (2005) |
| 2002 |
| 11 | EE | Eli Biham,
Michel Boyer,
Gilles Brassard,
Jeroen van de Graaf,
Tal Mor:
Security of Quantum Key Distribution against All Collective Attacks.
Algorithmica 34(4): 372-388 (2002) |
| 2001 |
| 10 | EE | François R. Boyer,
El Mostapha Aboulhamid,
Yvon Savaria,
Michel Boyer:
Optimal design of synchronous circuits using software pipelining techniques.
ACM Trans. Design Autom. Electr. Syst. 6(4): 516-532 (2001) |
| 2000 |
| 9 | EE | Eli Biham,
Michel Boyer,
P. Oscar Boykin,
Tal Mor,
Vwani P. Roychowdhury:
A proof of the security of quantum key distribution (extended abstract).
STOC 2000: 715-724 |
| 1999 |
| 8 | | Gilles Pesant,
Michel Boyer:
Reasoning about Solids Using Constraint Logic Programming.
J. Autom. Reasoning 22(2): 241-262 (1999) |
| 1994 |
| 7 | | Gilles Pesant,
Michel Boyer:
QUAD-CLP(R): Adding the Power of Quadratic Constraints.
PPCP 1994: 95-108 |
| 1993 |
| 6 | | Gilles Pesant,
Michel Boyer:
Handling Quadratic Constraints through Geometry.
ILPS 1993: 659 |
| 1991 |
| 5 | | Paul Tarau,
Michel Boyer:
Nonstandard Answers of Elementary Logic Programs.
ICLP Workshop on Construction of Logic Programs 1991: 279-300 |
| 1990 |
| 4 | | Paul Tarau,
Michel Boyer:
Elementary Logic Programs.
PLILP 1990: 159-173 |
| 1988 |
| 3 | | Paul Tarau,
Michel Boyer:
Prolog Meta-Programming with Soft Databases.
META 1988: 365-381 |
| 1987 |
| 2 | | Michel Boyer:
Towards Functional Logic Grammars.
Natural Language Understanding and Logic Programming Workshop 1987: 45-61 |
| 1984 |
| 1 | | Michel Boyer,
Guy Lapalme:
Generating Sentences from Semantic Networks.
Natural Language Understanding and Natural Language Understanding Workshop 1984: 181-189 |