• Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu,
  XML with Data Values: Typechecking Revisited
  Published in JCSS, 2003
  
• Tova Milo, Dan Suciu, Victor Vianu,
  Typechecking for XML Transformers
  Published in Journal of Computer and System Science, 2002
  
• Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu,
  XML with Data Values: Typechecking Revisited
  In PODS, pp. 138-149, 2001
  
• Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu,
  Typechecking XML Views of Relational Databases
  In LICS, pp. 421-430, 2001
  
• Tova Milo, Dan Suciu, Victor Vianu,
  Typechecking for XML Transformers
  In Proceedings of the ACM Symposium on Principles of Database Systems, pp. 11-22, 2000
  
• Tova Milo, Dan Suciu,
  Index Structures for Path Expressions
  In Proceedings of the International Conference on Database Theory, pp. 277-295, 1999
  
• Tova Milo, Dan Suciu,
  Type Inference for Queries on Semistructured Data
  In Proceedings of the ACM Symposium on Principles of Database Systems, pp. 215-226, 1999