Michel Boyer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1991–2017
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | COMPLEXIS | Security Against Collective Attacks of a Modified BB84 QKD Protocol with Information only in One Basis. | Michel Boyer, Rotem Liss, Tal Mor |
| 2011 | TASE | A Categorical Modeling Approach of Aspect-Oriented Systems. | Arsne Sabas, Subash Shankar, Virginie Wiels, Michel Boyer |
| 2011 | TASE | Undesirable Aspect Interactions: A Prevention Policy. | Arsne Sabas, Subash Shankar, Virginie Wiels, Michel Boyer |
| 2000 | STOC | A proof of the security of quantum key distribution (extended abstract). | Eli Biham, Michel Boyer, P. Oscar Boykin, Tal Mor, Vwani P. Roychowdhury |
| 1992 | ISSRE | Control-flow based testing of Prolog programs. | Gang Luo, Gregor von Bochmann, Behet Sarikaya, Michel Boyer |
| 1991 | ICLP | Nonstandard Answers of Elementary Logic Programs. | Paul Tarau, Michel Boyer |