Thomas Sewell
Active 2008–2025
- Affiliations
- UNSW SydneyData61This corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- ORCID
- 0000-0002-4891-0797
- 32
- Papers
- 2,569
- Citations
- 16
- h-index
- 22
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- Computer Science91.8%
- Medicine2.9%
- Engineering2%
- Biochemistry, Genetics and Molecular Biology1%
- Agricultural and Biological Sciences0.5%
- Decision Sciences0.5%
- Other1.3%
Topics
- Security and Verification in Computing23.7%
- Logic, programming, and type systems15.8%
- Formal Methods in Verification13.8%
- Distributed systems and fault tolerance10%
- Advanced Malware Detection Techniques8.1%
- Parallel Computing and Optimization Techniques6.7%
- Other22%
Frequent coauthors
- Gerwin Klein17
- Gernot Heiser7
- Toby C. Murray7
- Christine Rizkallah6
- Japheth Lim6
- June Andronick6
- Simon Winwood6
- Gabriele Keller5
- Liam O'Connor5
- Michael Norrish5
- Rafal Kolanski5
- Yutaka Nagashima5
- Zilin Chen5
- David A. Cock4
- Sidney Amani4
- Harvey Tuch3
- Kevin Elphinstone3
- Magnus O. Myreen3
- Oskar Abrahamsson3
- Ramana Kumar3
- Alex Hixon2
- Corey Lewis2
- David Greenaway2
- Dhammika Elkaduwe2
All papers
Loading papers…
