N. Bidoit and Colazzo, D.,
“Testing XML constraint satisfiability”,
Electr. Notes Theor. Comput. Sci., vol. 174, pp. 45-61, 2008.
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.
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.