Thomas Sewell
ORCIDPublication Activity (10 Years)
Years Active: 2008-2023
Publications (10 Years): 14
Publications (10 Years): 14
Top Topics
University of New South Wales, Sydney, Australia (PHD)
Education History
University of New South Wales, Sydney, Australia
Publications
- 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