• 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
  
• Christos Papadimitriou, Dan Suciu, Victor Vianu,
  Topological queries in spatial databases
  Published in Journal of Computer and Systems Sciences, vol. 58 , no. 1 , pp. 29-53 , 1999
  
• Christos Papadimitriou, Dan Suciu, Victor Vianu,
  Topological queries in spatial databases
  In Proceedings of 15th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June, 1995