Thomas Sewell

12 papers and 230 indexed citations i.

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