Anh-Hoang Truong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2008–2016
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICDCIT | A Type System for Counting Logs of Multi-threaded Nested Transactional Programs. | Anh-Hoang Truong, Dang Van Hung, Duc-Hanh Dang, Xuan-Tung Vu |
| 2016 | ICTAC | Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. | Anh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, Duc-Hanh Dang |
| 2016 | SoMeT | On Model Finding with Constraint Patterns. | Duc-Hanh Dang, Anh-Hoang Truong, Dang Van Hung |
| 2011 | CAV | FixBag: A Fixpoint Calculator for Quantified Bag Constraints. | Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin |
| 2010 | ATVA | On Scenario Synchronization. | Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla |
| 2008 | SEFM | A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. | Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin |
| 2008 | SEFM | Checking Interface Interaction Protocols Using Aspect-Oriented Programming. | Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung |