Export 34 results:
Author [ Title(Desc)] Type Year
Filters: Author is Dario Colazzo  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
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.
N. Bidoit, Colazzo, D., and Ulliana, F., Type-Based Detection of XML Query-Update Independence, Proceedings of the VLDB Endowment, vol. 5, pp. 872-883, 2012.
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.