Nicolas Wu

Research Assistant

College Lecturer, Lady Margaret Hall

Student, Brasenose College

nicolas.wu@cs.ox.ac.uk

Wolfson Building, Parks Road, Oxford OX1 3QD

Links

Personal Web Page

Selected Publications

View all

Manage publications

Incremental Updates for Efficient Bidirectional Transformations

Meng Wang‚ Jeremy Gibbons and Nicolas Wu

In ICFP. September, 2011.

Details | BibTeX | Link (pdf)

Towards Formally Templated Relational Database Representations in Z

Nicolas Wu and Andrew Simpson

In Proceedings of the Second International Conference on Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010). Vol. 5977 of Lecture Notes in Computer Science. Pages 363−376. Springer−Verlag. 2010.

Details | BibTeX

PROCEEDINGS OF THE OXFORD UNIVERSITY COMPUTING LABORATORY STUDENT CONFERENCE 2009

Programme Co−Chairs: Lu Feng‚ John Lyle and Nicolas Wu

No. RR−09−14. OUCL. November, 2009.

Details | BibTeX | Download (pdf)

Info

Themes	Software Engineering
Activities	Functional Programming \| Algebra of Programming
Completed Projects	Generative Formal Templates And Relational Databases