Thomas Sewell
About
Thomas Sewell has authored 12 papers that have received a total of 230 indexed citations.
This includes 11 papers in Artificial Intelligence, 7 papers in Computer Networks and Communications and 4 papers in Hardware and Architecture. The topics of these papers are Security and Verification in Computing (11 papers), Logic, programming, and type systems (8 papers) and Distributed systems and fault tolerance (7 papers). Thomas Sewell is often cited by papers focused on Security and Verification in Computing (11 papers), Logic, programming, and type systems (8 papers) and Distributed systems and fault tolerance (7 papers) and collaborates with scholars based in Australia, United Kingdom and Sweden. Thomas Sewell's co-authors include Gerwin Klein, Gernot Heiser, Christine Rizkallah, Gabriele Keller and Toby Murray and has published in prestigious journals such as Communications of the ACM, Lecture notes in computer science and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Eric Saloux are published in Top authors papers by Caspar Groot are co-authored with Top fields papers by Xinnan Peng are about Top authors papers by P. Das are co-authored with Top authors papers by Jongseok Cha are co-authored with Top fields papers by Manuel Valenzuela-Rendón are about Top fields papers by Lucinda Buescher are about Top fields papers by Elisa Minenza are about