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 |