The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Quang Huy Nguyen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen
    Proof Search and Proof Check for Equational and Inductive Theorems. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:297-316 [Conf]
  2. Quang Huy Nguyen, Boutheina Chetali
    Certifying Native Java API by Formal Refinement. [Citation Graph (0, 0)][DBLP]
    CARDIS, 2006, pp:313-328 [Conf]
  3. Boi Faltings, Quang Huy Nguyen
    Random Subset Optimization. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:88-92 [Conf]
  4. Boi Faltings, Quang Huy Nguyen
    Multi-agent Coordination using Local Search. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:953-958 [Conf]
  5. Hanny Yulius Limanto, Nguyen Ngoc Giang, Vo Tan Trung, Jun Zhang, Qi He, Nguyen Quang Huy
    An information extraction engine for web discussion forums. [Citation Graph (0, 0)][DBLP]
    WWW (Special interest tracks and posters), 2005, pp:978-979 [Conf]
  6. Quang Huy Nguyen, Claude Kirchner, Hélène Kirchner
    External Rewriting for Skeptical Proof Assistants. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:29, n:3-4, pp:309-336 [Journal]
  7. Quang Huy Nguyen
    Compact Normalisation Trace via Lazy Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:57, n:, pp:- [Journal]
  8. Quang Huy Nguyen
    Certifying Term Rewriting Proofs in ELAN. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:4, pp:- [Journal]

  9. Industrial Use of Formal Methods for a High-Level Security Evaluation. [Citation Graph (, )][DBLP]


  10. Optinformatics for schema analysis of binary genetic algorithms. [Citation Graph (, )][DBLP]


  11. Non-genetic transmission of memes by diffusion. [Citation Graph (, )][DBLP]


  12. Certifying an embedded remote method invocation protocol. [Citation Graph (, )][DBLP]


  13. Adaptive Cellular Memetic Algorithms. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002