References

1. Colazzo, D., G. Ghelli, P. Manghi, and C. Sartiani. ``Static analysis for path correctness of XML queries''. Journal of Functional Programming (JFP), 2006. To appear.

2. Ghelli, G., Christopher Ré, and Jérôme Siméon. ``XQuery!: An XML query language with side effects''. In Proc. of Workshop on Database Technologies for Handling XML Information on the Web (DataX), LNCS, 2006. To appear.

3. Sartiani, C. ``On the correctness of query results in XML P2P databases''. In Proc. of the fourth IEEE International Conference on Peer-to-Peer Computing (P2P), 2006.

4. Sartiani, C. ``A query algebra for XML P2P databases''. In Proc. of the eleventh International Workshop on Foundations of Models and Languages for Data and Objects (FMLDO), 2006.

5. Colazzo, D. and C. Sartiani. ``An efficient algorithm for XML type projection''. In Proc. of the eighth ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'06), 2006.

6. Colazzo, D. and G. Ghelli. ``Subtyping, recursion and parametric polymorphism in Kernel Fun''. Information and Computation, 198(2):71-147, 2005.

7. Cardelli, L., G. Ghelli, and A. D. Gordon. ``Secrecy and group creation''. Information and Computation, 196(2):127-155, 2005.

8. Albano, A., G. Ghelli, and R. Orsini. ``Fondamenti di Basi di Dati''. Zanichelli, 2005.

9. Colazzo, D. and C. Sartiani. ``Typechecking queries for maintaining schema mappings in XML P2P databases''. In Proc. of Workshop on Programming Language Technologies for XML (PLAN-X), 2005.

10. Colazzo, D. and C. Sartiani. ``Mapping maintenance in XML P2P databases''. In Proc. of Data Base Programming Languages (DBPL), number 3774 in LNCS, pages 74-89, 2005.

11. Cardelli, L. and G. Ghelli. ``TQL: A query language for semistructured data based on the ambient logic''. Mathematical Structures in Computer Science, 14(3):285-327, 2004.

12. Dawar, A., P. Gardner, and G. Ghelli. ``Adjunct elimination through games in Static Ambient Logic (extended abstract)''. In Proc. of the 24th Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Chennai, India, December 2004.

13. Colazzo, D., G. Ghelli, P. Manghi, and C. Sartiani. ``Types for path correctness for XML queries''. In Proc. of ACM International Conference on Functional Programming (ICFP), Snowbird, Utah, USA, pages 126-137, September 2004.

14. Conforti G. and G. Ghelli. ``Decidability of freshness, undecidability of revelation (extended abstract)''. In Proc. of Foundations of Software Science and Computation Structures (FOSSACS), Barcelona, Spain, pages 105-120, March-April 2004.

15. Dawar, A., P. Gardner, and G. Ghelli. ``Adjunct elimination through games''. In Proc. of Workshop on Logics for Resources, Processes, and Programs (LRPP), Turku, Finland, pages 121-132, 2004.

16. Sartiani, C., P. Manghi, G. Ghelli, and G. Conforti. ``XPeer: A self-organizing XML P2P database system''. In EDBT Workshops 04, Proc. of the First International Workshop on Peer-to-Peer Computing and Databases (P2P&DB), Heraklion - Crete, Greece, number 3264 in LNCS, pages 456-465, Berlin. Springer-Verlag.

17. Connor, R.C.H., D. Lievens, P. Manghi, and F. Simeoni. ``Language bindings to XML''. IEEE Journal of Internet Computing, January-February 2003.

18. Sartiani C. ``A General Framework for Estimating XML Query Cardinality'', In Proceedings of the Sixth International Workshop on the Web and Databases, San Diego, California, 2003.

19. Sartiani C. ``A Framework for Estimating XML Query Cardinality'', In Proceedings of the 9th International Workshop on Data Bases and Programming Languages - DBPL03, Potsdam, Germany, September 6-8, 2003.

20. Sartiani C. ``Evaluating Nested Queries on XML Data'', In Proceedings of the 7th International Database Engineering and Applications Symposium (IDEAS 2003), Hong Kong, China, July 16-18, 2003.

21. Cardelli, L., P. Gardner, and G. Ghelli. ``Manipulating trees with hidden labels''. In Proc. of Foundations of Software Science and Computation Structures (FOSSACS), Warsaw, Poland, pages 216-232, April 2003.