Biblio

Export 34 results:
Author [ Title(Asc)] 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 
T
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.
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.
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.
P
A. Baazizi, Bidoit, N., Colazzo, D., Malla, N., and Sahakyan, M., Projection for XML Update Optimization, in International Conference on Extending Database Technology (EDBT), Uppsala, Sweden, 2011.
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.
N. Bidoit, Colazzo, D., Malla, N., Ulliana, F., Nolè, M., and Sartiani, C., Processing XML queries and updates on Map/Reduce clusters (demo), in International Conference on Extending Database Technologies (EDBT), 2013, pp. 745-748.
D. Colazzo and Sartiani, C., Precision and Complexity of XQuery Type Inference, in 12th Italian Conference on Theoretical Computer Science (ICTCS), 2010.
D. Colazzo and Sartiani, C., Precision and Complexity of XQuery Type Inference, in ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP), Odense, Denmark, 2011.
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, Colazzo, D., Malla, N., and Sartiani, C., Partitioning XML Data for Iterative Queries, in International Database Engineering & Applications Symposium (IDEAS), Prague, Czech Republic, 2012.
M
M. - A. Baazizi, Bidoit, N., and Colazzo, D., Maintenance efficace de documents XML volumineux, in 27èmes journées Bases de Données Avancées (BDA), Rabat, Morocco, 2011.
L
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.
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.
H
N. Bidoit and Colazzo, D., Hybrid Logic for Expressing XML Schemas with Typed References, Seventh International Conference on Computer Science and Information (CSIT), 2009.

Pages