Thi Thanh Huyen Phan

According to our database, Thi Thanh Huyen Phan authored at least 9 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

An Inconsistency Management Support System for Collaborative Software Development.

Thi Thanh Huyen Phan, Koichiro Ochimizu

IEICE Trans. Inf. Syst., 2014

2013

Modeling and Verification of Change Processes in Collaborative Software Engineering.

Thi Thanh Huyen Phan, Kunihiko Hiraishi, Koichiro Ochimizu

Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

2012

A Change Support Model for Distributed Collaborative Work

Thi Thanh Huyen Phan, Koichiro Ochimizu

CoRR, 2012

Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic.

Kazuhiro Ogata, Thi Thanh Huyen Phan

Proceedings of the Formal Methods and Software Engineering, 2012

2011

Toward Inconsistency Awareness in Collaborative Software Development.

Thi Thanh Huyen Phan, Koichiro Ochimizu

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Detection of Unintentional Change in In-use Data for Concurrent Workflows.

Thi Thanh Huyen Phan, Koichiro Ochimizu

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

Detecting and Repairing Unintentional Change on In-use Data in Concurrent Workflow Management System.

Thi Thanh Huyen Phan, Koichiro Ochimizu

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009

An Extended Payment Model for M-Commerce with Fair Non-Repudiation Protocols.

Tran Khanh Dang, Thi Thanh Huyen Phan

Polibits, 2009

2007

An Extended Payment Model with Fair Non-Repudiation Protocols for M-Commerce.

Thi Thanh Huyen Phan, Tran Khanh Dang

Proceedings of the MoMM'2007, 2007