Viet-Ha Nguyen

发表

On domain driven design using annotation-based domain specific language

Duc Minh Le, Duc-Hanh Dang, Viet-Ha Nguyen, 2018, Comput. Lang. Syst. Struct..

A framework for assume-guarantee regression verification of evolving software

Toshiaki Aoki, Pham Ngoc Hung, Viet-Ha Nguyen, 2020, Sci. Comput. Program..

A method for automated unit testing of C programs

Pham Ngoc Hung, Viet-Ha Nguyen, Duc-Anh Nguyen, 2016, 2016 3rd National Foundation for Science and Technology Development Conference on Information and Computer Science (NICS).

Checking the Compliance of Timing Constraints in Software Applications

Ninh-Thuan Truong, Viet-Ha Nguyen, Thanh-Binh Trinh, 2009, 2009 International Conference on Knowledge and Systems Engineering.

NP-completeness of the game Kingdomino pdf

Viet-Ha Nguyen, Kevin Perrot, Mathieu Vallet, 2019, ArXiv.

A knowledge representation for Vietnamese legal document system

Viet-Ha Nguyen, Ha-Thanh Nguyen, Viet-Anh Vu, 2017, 2017 9th International Conference on Knowledge and Systems Engineering (KSE).

Adaptive Web page layout for mobile devices

Viet-Ha Nguyen, Nobuyasu Nakajima, Ha-Thanh Nguyen, 2014, 2014 International Conference on Computing, Management and Telecommunications (ComManTel).

Generative software module development: A domain-driven design perspective

Duc Minh Le, Duc-Hanh Dang, Viet-Ha Nguyen, 2017, 2017 9th International Conference on Knowledge and Systems Engineering (KSE).

A Runtime Approach to Verify Scenario in Multi-agent Systems

Ninh-Thuan Truong, Viet-Ha Nguyen, Thanh-Binh Trinh, 2010, 2010 Second International Conference on Knowledge and Systems Engineering.

An Architecture for Web Services Mash-Up based on Mobile Agents

Viet-Ha Nguyen, Nobuyasu Nakajima, Ha-Thanh Nguyen, 2014, iiWAS.

A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language

Pham Ngoc Hung, Viet-Ha Nguyen, Thi-Dao Vu, 2015, SoICT.

Towards scalable agent-based web service systems: performance evaluation

Viet-Ha Nguyen, Quang-Dung Vu, Ba-Binh Pham, 2011, iiWAS '11.

An Attention-Based Long-Short-Term-Memory Model for Paraphrase Generation

Anh-Cuong Le, Viet-Ha Nguyen, Khuong Nguyen-Ngoc, 2018, IUKM.

Queueing Theory and Network Applications, QTNA 2015, Hanoi, Vietnam, August 17-20, 2015

Wuyi Yue, Yutaka Takahashi, Viet-Ha Nguyen, 2016, International Conference on Queueing Theory and Network Applications.

Domain-driven design patterns: A metadata-based approach

Duc Minh Le, Duc-Hanh Dang, Viet-Ha Nguyen, 2016, 2016 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF).

Analyzing RBAC Security Policy of Implementation Using AST

Ninh-Thuan Truong, Viet-Ha Nguyen, Tuan-Hung Pham, 2009, 2009 International Conference on Knowledge and Systems Engineering.

Agent based adaptive connection of mobile devices

Viet-Ha Nguyen, Nobuyasu Nakajima, Quang-Dung Vu, 2014, 2014 International Conference on Computing, Management and Telecommunications (ComManTel).

Any Shape Can Ultimately Cross Information on Two-Dimensional Abelian Sandpile Models

Kévin Perrot, Viet-Ha Nguyen, 2018, Automata.

Assume-Guarantee Tools for Component-Based Software Verification

Toshiaki Aoki, Takuya Katayama, Pham Ngoc Hung, 2010, 2010 Second International Conference on Knowledge and Systems Engineering.

Domain-driven design using meta-attributes: A DSL-based approach

Duc Minh Le, Duc-Hanh Dang, Viet-Ha Nguyen, 2016, 2016 Eighth International Conference on Knowledge and Systems Engineering (KSE).

Securing Data in Composite Web Services

Viet-Ha Nguyen, Quang-Dung Vu, Dinh-Hieu Vo, 2012, 2012 Fourth International Conference on Knowledge and Systems Engineering.

Integrating and checking access permissions in object oriented models

Thi-Huong Dao, Ninh-Thuan Truong, Viet-Ha Nguyen, 2015, 2015 2nd National Foundation for Science and Technology Development Conference on Information and Computer Science (NICS).

Generation of Test Data Using Genetic Algorithm and Constraint Solver

Viet-Ha Nguyen, Thi-Dao Vu, Ngoc-Thi Dinh, 2017, ACIIDS.

A Hierarchical Conditional Attention-Based Neural Networks for Paraphrase Generation

Anh-Cuong Le, Viet-Ha Nguyen, Khuong Nguyen-Ngoc, 2018, MIWAI.

Generative software module development for domain-driven design with annotation-based domain specific language

Duc Minh Le, Duc-Hanh Dang, Viet-Ha Nguyen, 2020, Inf. Softw. Technol..

A Hierarchical Long Short-Term Memory Encoder-Decoder Model for Abstractive Summarization

Anh-Cuong Le, Viet-Ha Nguyen, Khuong Nguyen-Ngoc, 2021, 2021 13th International Conference on Knowledge and Systems Engineering (KSE).