Generating Sentences from Semantic Networks. - Michel Boyer; Guy Lapalme (Natural Language Understanding and Natural Language Understanding Workshop, 1984)

Towards Functional Logic Grammars. - Michel Boyer (Natural Language Understanding and Logic Programming Workshop, 1987)

Prolog Meta-Programming with Soft Databases. - Paul Tarau; Michel Boyer (META, 1988)

Elementary Logic Programs. - Paul Tarau; Michel Boyer (PLILP, 1990)

Nonstandard Answers of Elementary Logic Programs. - Paul Tarau; Michel Boyer (ICLP Workshop on Construction of Logic Programs, 1991)

Control-flow based testing of Prolog programs. - Gang Luo; Gregor von Bochmann; Behçet Sarikaya; Michel Boyer (ISSRE, 1992)

Handling Quadratic Constraints through Geometry. - Gilles Pesant; Michel Boyer (ILPS, 1993)

QUAD-CLP(R): Adding the Power of Quadratic Constraints. - Gilles Pesant; Michel Boyer (PPCP, 1994)

Reasoning about Solids Using Constraint Logic Programming. - Gilles Pesant; Michel Boyer (J. Autom. Reason., 1999)

A proof of the security of quantum key distribution (extended abstract). - Eli Biham; Michel Boyer; P. Oscar Boykin; Tal Mor; Vwani P. Roychowdhury (STOC, 2000)

Optimal design of synchronous circuits using software pipelining techniques. - François R. Boyer; El Mostapha Aboulhamid; Yvon Savaria; Michel Boyer (ACM Trans. Design Autom. Electr. Syst., 2001)

Security of Quantum Key Distribution against All Collective Attacks. - Eli Biham; Michel Boyer; Gilles Brassard; Jeroen van de Graaf; Tal Mor (Algorithmica, 2002)

A Proof of the Security of Quantum Key Distribution. - Eli Biham; Michel Boyer; P. Oscar Boykin; Tal Mor; Vwani P. Roychowdhury (J. Cryptol., 2006)

Quantum Key Distribution with Classical Bob. - Michel Boyer; Dan Kenigsberg; Tal Mor (ICQNM, 2007)

Semi-Quantum Key Distribution. - Michel Boyer; Ran Gelles; Dan Kenigsberg; Tal Mor (CoRR, 2008)

Security of the Bennett-Brassard Quantum Key Distribution Protocol against Collective Attacks. - Michel Boyer; Ran Gelles; Tal Mor (Algorithms, 2009)

The impact of IT on the growth and development of insular firms. - Alidou Ouedraogo; Michel Boyer (J. Syst. Inf. Technol., 2010)

A Categorical Modeling Approach of Aspect-Oriented Systems. - Arsène Sabas; Subash Shankar; Virginie Wiels; Michel Boyer (TASE, 2011)

Undesirable Aspect Interactions: A Prevention Policy. - Arsène Sabas; Subash Shankar; Virginie Wiels; Michel Boyer (TASE, 2011)

Undesirable Aspect Interactions: A Prevention Policy for Three Aspect Fault Types. - Arsène Sabas; Subash Shankar; Virginie Wiels; Michel Boyer (SERE (Companion), 2012)

Attacks on Fixed Apparatus Quantum Key Distribution Schemes. - Michel Boyer; Ran Gelles; Tal Mor (TPNC, 2012)

Extrapolated States, Void States, and a Huge Novel Class of Distillable Entangled States. - Michel Boyer; Tal Mor (TPNC, 2014)

Security Against Collective Attacks of a Modified BB84 QKD Protocol with Information only in One Basis. - Michel Boyer; Rotem Liss; Tal Mor (COMPLEXIS, 2017)

A New and Feasible Protocol for Semi-quantum Key Distribution. - Michel Boyer; Matty Katz; Rotem Liss; Tal Mor (CoRR, 2017)

Extrapolated quantum states, void states and a huge novel class of distillable entangled states. - Michel Boyer; Aharon Brodutch; Tal Mor (Soft Comput., 2017)

Attacks against a Simplified Experimentally Feasible Semiquantum Key Distribution Protocol. - Michel Boyer; Rotem Liss; Tal Mor (Entropy, 2018)

Composable security against collective attacks of a modified BB84 QKD protocol with information only in one basis. - Michel Boyer; Rotem Liss; Tal Mor (Theor. Comput. Sci., 2020)

Composable Security of Generalized BB84 Protocols Against General Attacks. - Michel Boyer; Rotem Liss; Tal Mor (CoRR, 2022)

Simple and Rigorous Proof Method for Practical Security of Quantum Key Distribution in the Single-Qubit Regime Using Mismatched Basis Measurements. - Michel Boyer; Gilles Brassard; Nicolas Godbout; Rotem Liss; Stéphane Virally (CoRR, 2022)