Thi Mai Thuong Tran

Thi-Mai-Thuong Tran

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
j1		Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen: Safe locking for multi-threaded Java with exceptions. J. Log. Algebr. Program. 81(3): 257-283 (2012)
c5		Xuan-Tung Vu, Thi Mai Thuong Tran, Anh-Hoang Truong, Martin Steffen: A type system for finding upper resource bounds of multi-threaded programs with nested transactions. SoICT 2012: 21-30
	2011
c4		Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen: Safe Locking for Multi-threaded Java. FSEN 2011: 158-173
c3		Thi Mai Thuong Tran, Martin Steffen: Design Issues in Concurrent Object-Oriented Languages and Observability. KSE 2011: 135-142
	2010
c2		Thi Mai Thuong Tran, Martin Steffen: Safe Commits for Transactional Featherweight Java. IFM 2010: 290-304
	2009
c1		Ninh-Thuan Truong, Thi-Mai-Thuong Tran, Van-Khanh To, Viet Ha Nguyen: Checking the Consistency between UCM and PSM Using a Graph-Based Method. ACIIDS 2009: 190-195

Coauthor Index

1	Einar Broch Johnsen	[j1] [c4]
2	Viet Ha Nguyen	[c1]
3	Olaf Owe	[j1] [c4]
4	Martin Steffen	[j1] [c5] [c4] [c3] [c2]
5	Van-Khanh To	[c1]
6	Anh-Hoang Truong (Hoang Truong)	[c5]
7	Ninh-Thuan Truong	[c1]
8	Xuan-Tung Vu	[c5]

Last update Wed May 22 19:48:21 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page