Thomas Sewell
Publication Activity (10 Years)
Years Active: 2008-2024
Publications (10 Years): 15
Publications (10 Years): 15
Top Topics
University of New South Wales, Sydney, Australia (PHD)
Education History
University of New South Wales, Sydney, Australia
PHD
Publications
- Matthew Brecknell, David Greenaway, Johannes Hölzl, Fabian Immler, Gerwin Klein, Rafal Kolanski, Japheth Lim, Michael Norrish, Norbert Schirmer, Salomon Sickert, Thomas Sewell, Harvey Tuch, Simon WimmerAutoCorres2. Arch. Formal Proofs 2024 (2024)
- Thomas Sewell, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Alexander Mihajlovic, Oskar Abrahamsson, Scott Owens
- Oskar Abrahamsson, Magnus O. Myreen, Ramana Kumar, Thomas Sewell
- Tobias Nipkow, Thomas Sewell
- Anthony Nash, Thomas Sewell, Rhys A. Farrer, Alireza Abdolrasouli, Jennifer M. G. Shelton, Matthew C. Fisher, Johanna Rhodes
- Thomas Sewell, Felix Kam, Gernot Heiser
- 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)
- Thomas Sewell
- Gerwin Klein, Toby C. Murray, Peter Gammie, Thomas Sewell, Simon Winwood
- Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein
- Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David Cock, Michael Norrish
- David Cock, Gerwin Klein, Thomas Sewell