Tim Sheard
About
Tim Sheard has authored 34 papers that have received a total of 966 indexed citations.
This includes 26 papers in Artificial Intelligence, 16 papers in Computational Theory and Mathematics and 10 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (21 papers), Formal Methods in Verification (15 papers) and Advanced Database Systems and Queries (8 papers). Tim Sheard is often cited by papers focused on Logic, programming, and type systems (21 papers), Formal Methods in Verification (15 papers) and Advanced Database Systems and Queries (8 papers) and collaborates with scholars based in United States, United Kingdom and France. Tim Sheard's co-authors include David Stemple, Peter Tucker, Stephanie Weirich, David Maier and Walid Taha and has published in prestigious journals such as British Journal of Cancer, IEEE Transactions on Knowledge and Data Engineering and Information Processing & Management
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Géza Gergely Ambrus Top countries impacted by papers by Rodrigo A. Peliciari‐Garcia Top authors papers by Brian T Schaneberg are co-authored with Top fields papers by Wayne Rochester are about Top journals papers by Joanna Luczkowiak are published in Top fields papers by Ank Michels are about Top countries impacted by papers by Kristine Hardy Top countries impacted by papers by Pengfei Qiao