Nguyen Truong Thang - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 12 from 12

2023

2021

Filter-Wrapper Incremental Algorithms for Finding Reduct in Incomplete Decision Systems When Adding and Deleting an Attribute SetNguyen Long Giang, Le Hoang Son, Nguyen Anh Tuan, Tran Thi Ngan, Nguyen Nhu Son, Nguyen Truong Thang. jdwm, 17(2):39-62, 2021. [doi]

Efficient Algorithms for Dynamic Incomplete Decision SystemsNguyen Truong Thang, Long Giang Nguyen, Hoang Viet Long, Nguyen Anh Tuan, Tran Manh Tuan, Ngo Duy Tan. jdwm, 17(3):44-67, 2021. [doi]

2006

Specification and verification of inter-component constraints in CTLNguyen Truong Thang, Takuya Katayama. sigsoft, 31(2), 2006. [doi]

2005

A Formal Approach Facilitating the Evolution of Component-Based SoftwareNguyen Truong Thang, Takuya Katayama. iwpse 2005: 49-52 [doi]

Specification and verification of inter-component constraints in CTLNguyen Truong Thang, Takuya Katayama. FSE 2005: 8 [doi]

Constructing Open Systems via Consistent ComponentsNguyen Truong Thang, Takuya Katayama. ictac 2005: 517-531 [doi]

2004

Handling Consistency of Software Evolution in an Efficient WayNguyen Truong Thang, Takuya Katayama. iwpse 2004: 121-130 [doi]

2003

Towards a Sound Modular Model Checking of Collaboration-Based Software DesignsNguyen Truong Thang, Takuya Katayama. apsec 2003: 88-97 [doi]

Dynamic Behavior and Protocol Models for Incremental Changes among a Set of Collaborative ObjectsNguyen Truong Thang, Takuya Katayama. iwpse 2003: 45-50 [doi]

2002

Collaboration-based evolvable software implementations: Java and Hyper/J vs. C++-templates compositionNguyen Truong Thang, Takuya Katayama. iwpse 2002: 29-33 [doi]

Sign in or sign up to see more results.

runs on WebDSL