2008 |
12 | EE | Boutheina Chetali,
Quang Huy Nguyen:
Industrial Use of Formal Methods for a High-Level Security Evaluation.
FM 2008: 198-213 |
11 | EE | Quang Huy Nguyen,
Yew-Soon Ong,
Meng-Hiot Lim:
Non-genetic transmission of memes by diffusion.
GECCO 2008: 1017-1024 |
10 | EE | Minh Nghia Le,
Yew-Soon Ong,
Quang Huy Nguyen:
Optinformatics for schema analysis of binary genetic algorithms.
GECCO 2008: 1121-1122 |
9 | EE | June Andronick,
Quang Huy Nguyen:
Certifying an embedded remote method invocation protocol.
SAC 2008: 352-359 |
2006 |
8 | EE | Quang Huy Nguyen,
Boutheina Chetali:
Certifying Native Java API by Formal Refinement.
CARDIS 2006: 313-328 |
7 | | Boi Faltings,
Quang Huy Nguyen:
Random Subset Optimization.
ECAI 2006: 88-92 |
2005 |
6 | EE | Boi Faltings,
Quang Huy Nguyen:
Multi-agent Coordination using Local Search.
IJCAI 2005: 953-958 |
5 | EE | Hanny Yulius Limanto,
Nguyen Ngoc Giang,
Vo Tan Trung,
Jun Zhang,
Qi He,
Quang Huy Nguyen:
An information extraction engine for web discussion forums.
WWW (Special interest tracks and posters) 2005: 978-979 |
2003 |
4 | EE | Eric Deplagne,
Claude Kirchner,
Hélène Kirchner,
Quang Huy Nguyen:
Proof Search and Proof Check for Equational and Inductive Theorems.
CADE 2003: 297-316 |
2002 |
3 | | Quang Huy Nguyen,
Claude Kirchner,
Hélène Kirchner:
External Rewriting for Skeptical Proof Assistants.
J. Autom. Reasoning 29(3-4): 309-336 (2002) |
2001 |
2 | EE | Quang Huy Nguyen:
Compact Normalisation Trace via Lazy Rewriting.
Electr. Notes Theor. Comput. Sci. 57: (2001) |
1 | EE | Quang Huy Nguyen:
Certifying Term Rewriting Proofs in ELAN.
Electr. Notes Theor. Comput. Sci. 59(4): (2001) |