Jonathan Billington
Impact in
-
- Petri Nets in System Modeling
- Formal Methods in Verification
- Software top 10%
Papers in
-
- Petri Nets in System Modeling 36
- Formal Methods in Verification 20
-
- Mobile Agent-Based Network Management 13
- Network Traffic and Congestion Control 8
- Co-authors
- Wolfgang Reisig (1 shared paper)Bing Han (5 shared papers)Lars Michael Kristensen (8 shared papers)Lin Liu (3 shared papers)Grzegorz Rozenberg (1 shared paper)Lin Zhang (2 shared papers)Michel Diaz (1 shared paper)Kurt Jensen (2 shared papers)
- Journals
- International Journal on Software Tools for Technology Transfer (6 papers)Electronics Letters (3 papers)IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans (1 paper)Computer Communications (1 paper)European Journal of Operational Research (1 paper)
- Partner nations
- AustraliaDenmarkUnited Kingdom
In The Last Decade
Jonathan Billington
51 papers receiving 313 citations
Peers
Comparison fields: 5 of 43
- Computational Theory and Mathematics 271
- Software 49
- Management Information Systems 100
- Hardware and Architecture 51
- Computer Networks and Communications 98
Countries citing papers authored by Jonathan Billington
This map shows the geographic impact of Jonathan Billington'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 Jonathan Billington with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jonathan Billington more than expected).
Fields of papers citing papers by Jonathan Billington
This network shows the impact of papers produced by Jonathan Billington. 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 Jonathan Billington. The network helps show where Jonathan Billington may publish in the future.
Co-authors
The 22 scholars most cited alongside Jonathan Billington, 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 57 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 1988 | 81 | |
| 2 | Proceedings of the 17th International Conference on Application and Theory of Petri Nets | 1996 | 32 |
| 3 | 2001 | 26 | |
| 4 | Specification of the Transport Service Using Numerical Petri Nets | 1982 | 17 |
| 5 | 1999 | 16 | |
| 6 | A coloured petri net based tool for course of action development and analysis | 2002 | 14 |
| 7 | Transactions on Petri nets and other models of concurrency | 2008 | 10 |
| 8 | 2004 | 10 | |
| 9 | Automated protocol verification | 1985 | 8 |
| 10 | 2007 | 8 | |
| 11 | On defining the service provided by TCP | 2003 | 8 |
| 12 | Modelling and initial analysis of operational planning processes using coloured petri nets | 2002 | 7 |
| 13 | Validating TCP connection management | 2002 | 7 |
| 14 | Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets. | 1983 | 7 |
| 15 | 2007 | 7 | |
| 16 | 2008 | 6 | |
| 17 | 2004 | 6 | |
| 18 | Baby TORAS Eats Philosophers But Thinks About Solitaire | 1990 | 5 |
| 19 | Closed form expressions for the state space of TCP's Data Transfer Service operating over unbounded channels | 2004 | 5 |
| 20 | 2002 | 5 |
About Jonathan Billington
Jonathan Billington is a scholar working on Computational Theory and Mathematics, Computer Networks and Communications, Management Information Systems, Information Systems and Software, having authored 57 papers that have together received 359 indexed citations. Recurring topics across this work include Petri Nets in System Modeling (36 papers), Formal Methods in Verification (20 papers), Business Process Modeling and Analysis (15 papers), Mobile Agent-Based Network Management (13 papers), Service-Oriented Architecture and Web Services (11 papers), Network Traffic and Congestion Control (8 papers), Model-Driven Software Engineering Techniques (6 papers) and IPv6, Mobility, Handover, Networks, Security (5 papers). The work is most often cited by research in Computational Theory and Mathematics (271 citations), Software (49 citations), Management Information Systems (100 citations), Hardware and Architecture (51 citations) and Computer Networks and Communications (98 citations). Jonathan Billington has collaborated with scholars based in Australia, Denmark and United Kingdom. Frequent co-authors include Wolfgang Reisig, Bing Han, Lars Michael Kristensen, Lin Liu, Grzegorz Rozenberg, Lin Zhang, Michel Diaz, Kurt Jensen, Andrew Tokmakoff and Wil M. P. van der Aalst. Their work appears in journals such as International Journal on Software Tools for Technology Transfer, Electronics Letters, IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans, Computer Communications and European Journal of Operational 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.