 | 2009 |
|---|
| 14 |       | Quang Huy Nguyen,
Yew-Soon Ong,
Meng-Hiot Lim,
Natalio Krasnogor:
Adaptive Cellular Memetic Algorithms.
Evolutionary Computation 17(2): 231-256 (2009) |
| 13 | | Boutheina Chetali,
Quang Huy Nguyen:
An automated testing experiment for layered embedded C code.
STTT 11(3): 175-185 (2009) |
| 2008 |
|---|
| 12 | | Boutheina Chetali,
Quang Huy Nguyen:
Industrial Use of Formal Methods for a High-Level Security Evaluation.
FM 2008: 198-213 |
| 11 | | Quang Huy Nguyen,
Yew-Soon Ong,
Meng-Hiot Lim:
Non-genetic transmission of memes by diffusion.
GECCO 2008: 1017-1024 |
| 10 | | Minh Nghia Le,
Yew-Soon Ong,
Quang Huy Nguyen:
Optinformatics for schema analysis of binary genetic algorithms.
GECCO 2008: 1121-1122 |
| 9 | | June Andronick,
Quang Huy Nguyen:
Certifying an embedded remote method invocation protocol.
SAC 2008: 352-359 |
| 2006 |
|---|
| 8 | | 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 | | Boi Faltings,
Quang Huy Nguyen:
Multi-agent Coordination using Local Search.
IJCAI 2005: 953-958 |
| 5 | | 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 | | 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 | | Quang Huy Nguyen:
Compact Normalisation Trace via Lazy Rewriting.
Electr. Notes Theor. Comput. Sci. 57: (2001) |
| 1 | | Quang Huy Nguyen:
Certifying Term Rewriting Proofs in ELAN.
Electr. Notes Theor. Comput. Sci. 59(4): (2001) |
