dblp.uni-trier.dewww.uni-trier.de

Michel Boyer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
15EEMichel Boyer, Dan Kenigsberg, Tal Mor: Quantum Key Distribution with Classical Bob. ICQNM 2007: 10
14EEMichel Boyer, Dan Kenigsberg, Tal Mor: Quantum Key Distribution with Classical Bob CoRR abs/quant-ph/0703107: (2007)
2006
13EEEli 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
12EEEli 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
11EEEli 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
10EEFranç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
9EEEli 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

Coauthor Index

1El Mostapha Aboulhamid [10]
2Eli Biham [9] [11] [12] [13]
3François R. Boyer [10]
4P. Oscar Boykin [9] [12] [13]
5Gilles Brassard [11]
6Jeroen van de Graaf [11]
7Dan Kenigsberg [14] [15]
8Guy Lapalme [1]
9Tal Mor [9] [11] [12] [13] [14] [15]
10Gilles Pesant [6] [7] [8]
11Vwani P. Roychowdhury [9] [12] [13]
12Yvon Savaria [10]
13Paul Tarau [3] [4] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)