Rafal Kolanski
Publication Activity (10 Years)
Years Active: 2006-2016
Publications (10 Years): 1
Publications (10 Years): 1
University of New South Wales, Sydney, Australia (PHD)
Education History
University of New South Wales, Sydney, Australia
Publications
- Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein, Rafal Kolanski, Japheth Lim, Corey Lewis, Daniel Matichuk, Thomas SewellFinite Machine Word Library. Arch. Formal Proofs 2016 (2016)
- Gerwin Klein, June Andronick, Kevin Elphinstone, Toby C. Murray, Thomas Sewell, Rafal Kolanski, Gernot Heiser
- Mark Staples, D. Ross Jeffery, June Andronick, Toby C. Murray, Gerwin Klein, Rafal Kolanski
- He Zhang, Gerwin Klein, Mark Staples, June Andronick, Liming Zhu, Rafal Kolanski
- Gerwin Klein, Rafal Kolanski, Andrew Boyton
- Gerwin Klein, Rafal Kolanski, Andrew BoytonSeparation Algebra. Arch. Formal Proofs 2012 (2012)
- Rafal Kolanski, Gerwin Klein
- Rafal Kolanski
- Rafal Kolanski, Gerwin Klein
- Rafal Kolanski, Gerwin Klein