BibSonomy :: author  ::

bookmarks

publications

(114)

• Termination of Programs using Term Rewriting and SAT Solving.
  Jürgen Giesl and Peter Schneider-Kamp and René Thiemann and Stephan Swiderski and Manh Thang Nguyen and Danny De Schreye and Alexander Serebrenik Deduction and Decision Procedures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Specification and verification of inter-component constraints in CTL.
  Nguyen Truong Thang and Takuya Katayama ACM SIGSOFT Software Engineering Notes 31 (2006)
  to dblp by dblp on 2008-05-07 00:00:00
  | URL | BibTeX  
• A Scalable Approach for Supporting Streaming Media: Design, Implementation and Experiments.
  Deepak Agrawal and Mario Baldi and Michele Corra and G. Fontana and Guido Marchetto and Viet Thang Nguyen and Yoram Ofek and D. Severina and T. H. Truong and O. Zadedyurina ISCC 211-217 (2007)
  to dblp by dblp on 2008-03-07 00:00:00
  | URL | BibTeX  
• An ant-based algorithm for coloring graphs.
  Thang Nguyen Bui and ThanhVu H. Nguyen and Chirag M. Patel and Kim-Anh T. Phan Discrete Applied Mathematics 156 190-200 (2008)
  to dblp by dblp on 2008-02-22 00:00:00
  | URL | BibTeX  
• Modelling and Solving QoS Composition Problem Using DisCSP.
  Xuan Thang Nguyen and Ryszard Kowalczyk and Khoi Anh Phan NODe/GSEM 179-193 (2006)
  to dblp by dblp on 2008-02-21 00:00:00
  | URL | BibTeX  
• A Capability Oriented Management Approach for Business Integration.
  Elke Pulvermüller and André Ludwig and Roman Belter and Dominik Zyskowski and Ulrich Heindl and Xuan Thang Nguyen BPSC 218-221 (2007)
  to dblp by dblp on 2008-02-20 00:00:00
  | URL | BibTeX  
• On Solving Distributed Fuzzy Constraint Satisfaction Problems with Agents.
  Xuan Thang Nguyen and Ryszard Kowalczyk IAT 387-390 (2007)
  to dblp by dblp on 2008-02-05 00:00:00
  | URL | BibTeX  
• A Graph-Based Multi-Agent Planning Algorithm with QoS Guarantees.
  Jian Feng Zhang and Xuan Thang Nguyen and Ryszard Kowalczyk IAT 273-276 (2007)
  to dblp by dblp on 2008-02-05 00:00:00
  | URL | BibTeX  
• Graph-based multiagent replanning algorithm.
  Jian Feng Zhang and Xuan Thang Nguyen and Ryszard Kowalczyk AAMAS 122 (2007)
  to dblp by dblp on 2008-02-05 00:00:00
  | URL | BibTeX  
• An Adaptive Control Design for ABR Service in ATM Networks.
  Thang Viet Nguyen and Takehiro Mori and Yoshihiro Mori and Yasuaki Kuroe IEICE Transactions 88-B 2896-2907 (2005)
  to dblp by dblp on 2008-01-20 00:00:00
  | URL | BibTeX