Tim Sheard
Impact in
- Software top 1%
- Model-Driven Software Engineering Techniques
- Software Testing and Debugging Techniques
- Artificial Intelligence top 0.5%
- Logic, programming, and type systems
- Advanced Software Engineering Methodologies
Papers in
-
- Logic, programming, and type systems 73
- Advanced Software Engineering Methodologies 4
-
- Advanced Database Systems and Queries 20
- Co-authors
- Walid Taha (11 shared papers)Simon Jones (3 shared papers)Leonidas Fegaras (5 shared papers)David W. Stemple (19 shared papers)David Maier (4 shared papers)Peter A. Tucker (1 shared paper)Zine-el-Abidine Benaissa (5 shared papers)John Launchbury (3 shared papers)
- Journals
- ACM SIGPLAN Notices (9 papers)IEEE Transactions on Knowledge and Data Engineering (2 papers)ACM SIGMOD Record (2 papers)Journal of Functional Programming (2 papers)Lecture notes in computer science (15 papers)
- Partner nations
- United StatesUnited KingdomItaly
In The Last Decade
Tim Sheard
90 papers receiving 2.9k citations
Peers
Comparison fields: 5 of 35
- Software 354
- Artificial Intelligence 2.4k
- Hardware and Architecture 240
- Computer Networks and Communications 526
- Information Systems 127
Countries citing papers authored by Tim Sheard
This map shows the geographic impact of Tim Sheard's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Tim Sheard with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Tim Sheard more than expected).
Fields of papers citing papers by Tim Sheard
This network shows the impact of papers produced by Tim Sheard. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Tim Sheard. The network helps show where Tim Sheard may publish in the future.
Co-authors
The 25 scholars most cited alongside Tim Sheard, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 94 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2002 | 433 | |
| 2 | 1997 | 269 | |
| 3 | 2000 | 256 | |
| 4 | 2003 | 236 | |
| 5 | 2002 | 132 | |
| 6 | 2001 | 123 | |
| 7 | 1996 | 113 | |
| 8 | 1989 | 95 | |
| 9 | 1993 | 93 | |
| 10 | 1996 | 80 | |
| 11 | 2004 | 78 | |
| 12 | 1995 | 72 | |
| 13 | 1999 | 70 | |
| 14 | 2002 | 65 | |
| 15 | 1998 | 50 | |
| 16 | 2014 | 49 | |
| 17 | 1998 | 46 | |
| 18 | 2002 | 43 | |
| 19 | 2014 | 39 | |
| 20 | 1999 | 37 |
About Tim Sheard
Tim Sheard is a scholar working on Artificial Intelligence, Computer Networks and Communications, Software, Computer Science Applications and Information Systems, having authored 94 papers that have together received 3.2k indexed citations. Recurring topics across this work include Logic, programming, and type systems (73 papers), Advanced Database Systems and Queries (20 papers), Model-Driven Software Engineering Techniques (6 papers), Advanced Software Engineering Methodologies (4 papers), Parallel Computing and Optimization Techniques (2 papers), Teaching and Learning Programming (2 papers), Access Control and Trust (2 papers) and Software Engineering Research (2 papers). The work is most often cited by research in Software (354 citations), Artificial Intelligence (2.4k citations), Hardware and Architecture (240 citations), Computer Networks and Communications (526 citations) and Information Systems (127 citations). Tim Sheard has collaborated with scholars based in United States, United Kingdom and Italy. Frequent co-authors include Walid Taha, Simon Jones, Leonidas Fegaras, David W. Stemple, David Maier, Peter A. Tucker, Zine-el-Abidine Benaissa, John Launchbury, Eugenio Moggi and Stephanie Weirich. Their work appears in journals such as ACM SIGPLAN Notices, IEEE Transactions on Knowledge and Data Engineering, ACM SIGMOD Record, Journal of Functional Programming and Lecture notes in computer science.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.