Search the dblp DataBase

Publications of Author

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