Huy Vu

Dr Huy Vu

Student, Wolfson College

Leaving date: 24th April 2012

See Also:

• My Google+

Biography

Spring 2012: PhD in Computer Science from Oxford University.

Autumn 2008: MSc in Computational Logic from Free University of Bozen-Bolzano and Dresden University of Technology (TU Dresden).

Selected Publications

View AllManage publications

• Higher−Order Functions and Structured Datatypes

  Michael Benedikt and Huy Vu

  In WebDB: The 15th International Workshop on the Web and Databases (Co−located with ACM SIGMOD). 2012.

  Details about Higher−Order Functions and Structured Datatypes | BibTeX data for Higher−Order Functions and Structured Datatypes | Download  (pdf) of Higher−Order Functions and Structured Datatypes

• HOMES: A Higher−Order Mapping Evaluation System

  Huy Vu and Michael Benedikt

  In VLDB: The 37th International Conference on Very Large Data Bases. 2011.

  Details about HOMES: A Higher−Order Mapping Evaluation System | BibTeX data for HOMES: A Higher−Order Mapping Evaluation System | Download  (pdf) of HOMES: A Higher−Order Mapping Evaluation System

• Complexity of Higher−Order Queries

  Huy Vu and Michael Benedikt

  In ICDT: The 14th International Conference on Database Theory. 2011.

  Details about Complexity of Higher−Order Queries | BibTeX data for Complexity of Higher−Order Queries | Download  (pdf) of Complexity of Higher−Order Queries