Nicolas Wu
|
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
Selected 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. |
| 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. |
Info
|
Themes |
|
|
Activities |
|
|
Completed Projects |