Shaunak Chatterjee, Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007), Braga, Portugal. Outstanding Student Paper Award. Invited for special section submission…
Zvonimir Rakamaric, Jesse Bingham, Alan J. Hu. 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), Nice, France.
Shaunak Chatterjee, Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric. Microsoft Research Tech Report MSR-TR-2006-154, November, 2006.
Zvonimir Rakamaric. M.Sc. Thesis, Department of Computer Science, The University of British Columbia, August, 2006.
Zvonimir Rakamaric, Jesse Bingham, Alan J. Hu. UBC Department of Computer Science Tech Report TR-2006-02, January 30, 2006.
Jesse Bingham, Zvonimir Rakamaric. 7th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2006), Charleston, SC, USA.
Jesse Bingham, Zvonimir Rakamaric. UBC Department of Computer Science Tech Report TR-2005-19, September 19, 2005.
Domagoj Babic, Zvonimir Rakamaric. 24th International Conference on Information Technology Interfaces (ITI 2002), Cavtat, Croatia.