We stand with Ukraine  

Viet Dung Dinh

According to our database1, Viet Dung Dinh authored at least 4 papers between 2010 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Checking global usage of resources handled with local policies.
[BibTeX]
[DOI]
Chiara Bodei
,
Viet Dung Dinh
,
Gian-Luigi Ferrari
Sci. Comput. Program., 2017

2012
A Language-based Approach to Distributed Resources.
[BibTeX]
[DOI]
Viet Dung Dinh
PhD thesis, 2012

2011
Predicting global usages of resources endowed with local policies
[BibTeX]
[DOI]
Chiara Bodei
,
Viet Dung Dinh
,
Gian-Luigi Ferrari
Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011

2010
Safer in the Clouds (Extended Abstract)
[BibTeX]
[DOI]
Chiara Bodei
,
Viet Dung Dinh
,
Gian-Luigi Ferrari
Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010


  Loading...