Thi Thanh Huyen Phan
According to our database1,
Thi Thanh Huyen Phan
authored at least 9 papers
between 2007 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
2007
2008
2009
2010
2011
2012
2013
2014
0
1
2
3
1
1
1
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
IEICE Trans. Inf. Syst., 2014
2013
Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013
2012
Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic.
Proceedings of the Formal Methods and Software Engineering, 2012
2011
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011
2010
Detection of Unintentional Change in In-use Data for Concurrent Workflows.
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.
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
Polibits, 2009
2007
An Extended Payment Model with Fair Non-Repudiation Protocols for M-Commerce.
Proceedings of the MoMM'2007, 2007