Toby Murray
About
Toby Murray has authored 35 papers that have received a total of 343 indexed citations.
This includes 32 papers in Artificial Intelligence, 13 papers in Signal Processing and 12 papers in Information Systems. The topics of these papers are Security and Verification in Computing (27 papers), Advanced Malware Detection Techniques (13 papers) and Logic, programming, and type systems (10 papers). Toby Murray is often cited by papers focused on Security and Verification in Computing (27 papers), Advanced Malware Detection Techniques (13 papers) and Logic, programming, and type systems (10 papers) and collaborates with scholars based in Australia, Germany and United Kingdom. Toby Murray's co-authors include Gerwin Klein, June Andronick, Gernot Heiser, Daniel Matichuk and Mark Staples and has published in prestigious journals such as Communications of the ACM, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Henry Pinkerton Top journals papers by Swarup Ghosh are published in Top journals papers by Shinhee Jeong are published in Top journals papers by Caroline Dário Capitani are published in Top fields papers by Marcelo Gruenberg are about Top fields papers by Naoto Tominaga are about Top authors papers by Jaromír Demek are co-authored with Top journals papers by Dongdong Han are published in