The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michel Boyer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.018secs, Finished in 0.019secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002