Safer in the Clouds (Extended Abstract) - Chiara Bodei; Viet Dung Dinh; Gian-Luigi Ferrari 002 (ICE, 2010)

Predicting global usages of resources endowed with local policies - Chiara Bodei; Viet Dung Dinh; Gian-Luigi Ferrari 002 (FOCLASA, 2011)

A Language-based Approach to Distributed Resources. - Viet Dung Dinh (2012)

Checking global usage of resources handled with local policies. - Chiara Bodei; Viet Dung Dinh; Gian-Luigi Ferrari 002 (Sci. Comput. Program., 2017)