Compact Normalisation Trace via Lazy Rewriting. - Quang Huy Nguyen 002 (WRS, 2001)

Certifying Term Rewriting Proofs in ELAN. - Quang Huy Nguyen 002 (RULE@PLI, 2001)

External Rewriting for Skeptical Proof Assistants. - Quang Huy Nguyen 002; Claude Kirchner; Hélène Kirchner (J. Autom. Reason., 2002)

Calcul de réécriture et automatisation du raisonnement dans les assistants de preuve. - Quang Huy Nguyen 002 (2002)

Proof Search and Proof Check for Equational and Inductive Theorems. - Eric Deplagne; Claude Kirchner; Hélène Kirchner; Quang Huy Nguyen 002 (CADE, 2003)

Certifying Native Java API by Formal Refinement. - Quang Huy Nguyen 002; Boutheina Chetali (CARDIS, 2006)

Industrial Use of Formal Methods for a High-Level Security Evaluation. - Boutheina Chetali; Quang Huy Nguyen 002 (FM, 2008)

Certifying an embedded remote method invocation protocol. - June Andronick; Quang Huy Nguyen 002 (SAC, 2008)

An automated testing experiment for layered embedded C code. - Boutheina Chetali; Quang Huy Nguyen 002 (Int. J. Softw. Tools Technol. Transf., 2009)

Load time code validation for mobile phone Java Cards. - Olga Gadyatskaya; Fabio Massacci; Quang Huy Nguyen 002; Boutheina Chetali (J. Inf. Secur. Appl., 2013)