D. Colazzo, Ghelli, G., and Sartiani, C.,
“Typing Massive JSON Datasets”, in
International Workshop on Cross-model Language Design and Implementation (XLDI), Copenhagen, Denmark, 2012.
M. Bugliesi, Colazzo, D., Crafa, S., and Macedonio, D.,
“A type system for Discretionary Access Control”,
Mathematical Structures in Computer Science, vol. 19, pp. 839-875, 2009.
N. Bidoit and Colazzo, D.,
“Testing XML constraint satisfiability”,
Electr. Notes Theor. Comput. Sci., vol. 174, pp. 45-61, 2008.