Gary Levin
-
- Opportunistic and Delay-Tolerant Networks 7
- Mobile Ad Hoc Networks 7
- Mobile Agent-Based Network Management 5
- Distributed systems and fault tolerance 5
- Wireless Networks and Protocols 4
- Hardware and Architecture top 10%
-
- Formal Methods in Verification 3
- Software top 10%
- Software Testing and Debugging Techniques 3
- Artificial Intelligence top 10%
- Logic, programming, and type systems 3
- Co-authors
- David GriesRyan ChadhaYuu-Heng ChengSharad MalikSanjai NarainShih-Wei LiNancy N. BaxterEd Dubinsky
- Cited by
- Computer Networks and CommunicationsHardware and ArchitectureComputational Theory and Mathematics
- Journals
- Acta Informatica (1 paper)ACM Transactions on Programming Languages and Systems (1 paper)Journal of Network and Systems Management (1 paper)
- Partner nations
- United StatesSwitzerland
In The Last Decade
Gary Levin
23 papers receiving 337 citations
Peers
Comparison fields: 5 of 36
- Computer Networks and Communications 237
- Hardware and Architecture 62
- Computational Theory and Mathematics 131
- Software 29
- Artificial Intelligence 166
Countries citing papers authored by Gary Levin
This map shows the geographic impact of Gary Levin'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 Gary Levin with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Gary Levin more than expected).
Fields of papers citing papers by Gary Levin
This network shows the impact of papers produced by Gary Levin. 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 Gary Levin. The network helps show where Gary Levin may publish in the future.
Co-authorship network
The 25 scholars most cited alongside Gary Levin, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2011 | 1 | |
| 2 | 2010 | 2 | |
| 3 | 2008 | 6 | |
| 4 | 2008 | 49 | |
| 5 | 2007 | 2 | |
| 6 | 2007 | 6 | |
| 7 | 2006 | 17 | |
| 8 | 2005 | 11 | |
| 9 | 2005 | 7 | |
| 10 | 2005 | 8 | |
| 11 | 2004 | 51 | |
| 12 | 2004 | 14 | |
| 13 | 1990 | 1 | |
| 14 | 1989 | 23 | |
| 15 | 1982 | 7 | |
| 16 | 1981 | 73 | |
| 17 | Proof rules for communicating sequential processes | 1980 | 8 |
| 18 | 1980 | 50 | |
| 19 | 1980 | 21 | |
| 20 | A Proof Technique for Communicating Sequential Processes(With an Example) | 1979 | 5 |
About Gary Levin
Gary Levin is a scholar working on Computer Networks and Communications, Software and Computational Theory and Mathematics, having authored 24 papers that have together received 385 indexed citations. Recurring topics across this work include Opportunistic and Delay-Tolerant Networks (7 papers), Mobile Ad Hoc Networks (7 papers), Mobile Agent-Based Network Management (5 papers), Distributed systems and fault tolerance (5 papers), Wireless Networks and Protocols (4 papers), Logic, programming, and type systems (3 papers), Software Testing and Debugging Techniques (3 papers) and Formal Methods in Verification (3 papers). The work is most often cited by research in Computer Networks and Communications (237 citations), Hardware and Architecture (62 citations) and Computational Theory and Mathematics (131 citations). Gary Levin has collaborated with scholars based in United States and Switzerland. Frequent co-authors include David Gries, Ryan Chadha, Yuu-Heng Cheng, Sharad Malik, Sanjai Narain, Shih-Wei Li, Nancy N. Baxter, Ed Dubinsky, Hong Cheng and Gregory R. Andrews. Their work appears in journals such as Acta Informatica, ACM Transactions on Programming Languages and Systems, Journal of Network and Systems Management, Information Processing Letters and CERN Document Server (European Organization for Nuclear Research).
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.