VNU-UET Repository

Items where Author is "Anh Hoang Truong"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 10.

Article

Anh Hoang Truong and Ngoc Khai Nguyen (2015) Hệ thống kiểu tính cận trên số log cho ngôn ngữ giao dịch đa luồng tối giản. Tạp chí khoa học .

Anh Hoang Truong and Huy Vu Tran and Bao Ngoc Nguyen (2014) Symbolic round-off error between floating-point and fixed-point. VNU Journal of Science: Comp. Science & Com. Eng., 30 (3). pp. 12-21.

Duc Hanh Dang and Anh Hoang Truong and Martin Gogolla (2010) Checking the Conformance between Models Based on Scenario Synchronization. Journal of Universal Computer Science, 16 (17). pp. 2293-2312. ISSN 0948-695x

Conference or Workshop Item

The Huy Nguyen and Duc Thinh Nguyen and Nam Phong Nguyen and Nguyen Ngoc Phung and Anh Hoang Truong (2016) Meboo-the health & medical services management application. In: SSC: the 2016 Student Scientific Contest, 29 April 2016, Hanoi.

Ngoc Khai Nguyen and Anh Hoang Truong and Van Hung Dang (2016) A type system for calculating the maximum log memory used by transactional programs. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.

Anh Hoang Truong and Ngoc Khai Nguyen and Van Hung Dang and Duc Hanh Dang (2016) Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. In: 13th International Conference on Theoretical Aspects of Computing (ICTAC).

Duc Hanh Dang and Anh Hoang Truong and Van Hung Dang (2016) On Model Finding with Constraint Patterns. In: Proc. 5th Int. Conf. on New Trends in Software Methodologies, Tools and Technique (SoMeT).

Anh Hoang Truong and Van Hung Dang and Duc Hanh Dang and Xuan Tung Vu (2016) A Type System for Counting Logs of Multi-threaded Nested Transactional Programs. In: 12th International Conference on Distributed Computing and Internet Technology (ICDCIT).

Anh Hoang Truong and Ngoc Khai Nguyen (2015) Hệ thống kiểu để tính biên tài nguyên của các chương trình giao dịch lồng nhau và đa luồng. In: Hội nghị nghiên cứu và ứng dụng Công nghệ thông tin 2015, 21-23 October 2015, Hanoi, Vietnam.

Duc Hanh Dang and Anh Hoang Truong and Martin Gogolla (2010) On Scenario Synchronization. In: 8th International Conference on Automated Technology for Verification and Analysis (ATVA).

This list was generated on Mon Nov 20 16:24:40 2017 ICT.