Biblio

Export 34 results:
Author Title Type [ Year(Asc)]
Filters: Author is Dario Colazzo  [Clear All Filters]
2009
D. Colazzo, Ghelli, G., Pardini, L., and Sartiani, C., “Linear inclusion for XML regular expression types”, in ACM Conference on Information and Knowledge Management, 2009, pp. 137-146.
N. Bidoit, Colazzo, D., Malla, N., and Sahakyan, M., “Optimisation de Mises a jour XML par typage et projection”, in Journés Bases de Donnés Avancées (BDA), 2009.
N. Bidoit, Colazzo, D., Malla, N., and Sahakyan, M., “Projection Based Optimization for XML Updates”, in 1st International Workshop on Schema Languages for XML (X-Schemas), 2009., 2009.
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.
B. Nguyen, Vion, A., Manolescu, I., Colazzo, D., Dudouet, F. - X., and Senellart, P., “The WebStand Projet”, in WebSci'09: Society On-Line, 2009.
2008
D. Colazzo, Ghelli, G., and Sartiani, C., “Efficient Inclusion for a Class of XML Types with Interleaving and Counting”, Information Systems, vol. 34, pp. 643-656, 2008.
G. Ghelli, Colazzo, D., and Sartiani, C., “Linear Time Membership for a Class of XML Types with Interleaving and Counting”, in PLAN-X, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL, 2008.
V. Benzaken, Castagna, G., Colazzo, D., and Miachon, C., “Pattern by Example: Type-driven Visual Programming of XML Queries.”, in 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Valencia, Spain, 2008.
N. Bidoit and Colazzo, D., “Testing XML constraint satisfiability”, Electr. Notes Theor. Comput. Sci., vol. 174, pp. 45-61, 2008.

Pages