Publications Database
| Title | Authored by | Parent Document | Year | Location |
|---|---|---|---|---|
| Sound and Complete Flow Typing with Unions, Intersections and Negations, In Proceedings of the Conference on Verification, Model Checking, and Abstract Interpretation | Dr David James Pearce | Lecture Notes in Computer Science | 2013 | |
| OwnKit: Inferring Modularly Checkable Ownership Annotations for Java. | Konstantin Alexandrovich Dymnikov, Dr David James Pearce, Dr Alex Potanin | Proceedings of the Australian Software Engineering Conference (ASWEC) | 2013 | |
| Vocal cooperation between the sexes in Little Spotted Kiwi | Andrew Peter Digby, B D Bell, Dr Paul David M Teal | IBIS | 2013 | |
| Feature detection in radio astronomy using the Circle Hough transform | Dr Christopher Paul Hollitt, Dr Melanie Johnston-Hollitt | Publications of the Astronomical Society of Australia | 2012 | |
| Designing tangible lighting control interfaces | Amardeep M Dugar, Dr Michael Robert Donn, Dr Stuart Richard Marshall | Leukos: the Journal of the Illuminating Engineering Society of North America | 2012 | |
| Spectral induced polarization measurements on New Zealand sands | S. Joseph, Dr Malcolm Robert Ingham, Dr Gideon Johannes Gouws | Fall Meeting, American Geophysical Union | 2012 | |
| In-situ measurement of the low frequency permittivity of sea ice | Dr Malcolm Robert Ingham, Sean Thomas Buchanan, Dr Gideon Johannes Gouws, H Eicken, Timothy G Haskell | Fall Meeting, American Geophysical Union | 2012 | |
| Panoramic Elasticity Modeling | S Kim, N Kang, K Kim, Dr Taehyun Rhee, J Kim | IEEE International Symposium on Biomedical Imaging (ISBI 2012 poster) | 2012 | |
| Analysis of Liver Deformation on Breathing | K Kim, N Kang, Dr Taehyun Rhee, J Kim | IEEE International Symposium on Biomedical Imaging (ISBI 2012 poster) | 2012 | |
| Robust Organ Deformation Driven by Sparse Local Features | N Kang, K Kim, S Kim, Dr Taehyun Rhee | IEEE International Symposium on Biomedical Imaging | 2012 |
Total results: 2087
Key:
Download from the Victoria University digital
repository
EResearch 