Thi Thanh Huyen Phan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2007–2013
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICCSA | Modeling and Verification of Change Processes in Collaborative Software Engineering. | Thi Thanh Huyen Phan, Kunihiko Hiraishi, Koichiro Ochimizu |
| 2012 | ICFEM | Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic. | Kazuhiro Ogata, Thi Thanh Huyen Phan |
| 2011 | APSEC | Toward Inconsistency Awareness in Collaborative Software Development. | Thi Thanh Huyen Phan, Koichiro Ochimizu |
| 2007 | MOMM | An Extended Payment Model with Fair Non-Repudiation Protocols for M-Commerce. | Thi Thanh Huyen Phan, Tran Khanh Dang |