Jonathan Billington
Impact in
- Computational Theory and Mathematics top 0.5%
- Petri Nets in System Modeling
- Formal Methods in Verification
- Software top 5%
- Model-Driven Software Engineering Techniques
Papers in
-
- Petri Nets in System Modeling 71
- Formal Methods in Verification 42
-
- Business Process Modeling and Analysis 23
- Co-authors
- Bing Han (8 shared papers)Laure Petrucci (6 shared papers)Lars Michael Kristensen (11 shared papers)R.D.J. Post (1 shared paper)Christian Stehno (1 shared paper)Kees van Hee (1 shared paper)Olaf Kummer (1 shared paper)Michael Weber (1 shared paper)
- Journals
- International Journal on Software Tools for Technology Transfer (6 papers)Lecture notes in computer science (35 papers)Electronics Letters (3 papers)European Journal of Operational Research (1 paper)Computer Communications (1 paper)
- Partner nations
- AustraliaDenmarkUnited Kingdom
In The Last Decade
Jonathan Billington
96 papers receiving 1.1k citations
Peers
Comparison fields: 5 of 53
- Computational Theory and Mathematics 811
- Software 188
- Management Information Systems 396
- Hardware and Architecture 147
- Information Systems 380
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 25 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 103 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2003 | 274 | |
| 2 | 1988 | 123 | |
| 3 | 2001 | 46 | |
| 4 | 2004 | 39 | |
| 5 | Proceedings of the 17th International Conference on Application and Theory of Petri Nets | 1996 | 39 |
| 6 | 2002 | 33 | |
| 7 | 1991 | 32 | |
| 8 | 2009 | 31 | |
| 9 | 1999 | 27 | |
| 10 | Automated protocol verification | 1985 | 26 |
| 11 | Specification of the Transport Service Using Numerical Petri Nets | 1982 | 22 |
| 12 | 2008 | 21 | |
| 13 | 1996 | 20 | |
| 14 | 2004 | 17 | |
| 15 | 2000 | 16 | |
| 16 | A coloured petri net based tool for course of action development and analysis | 2002 | 15 |
| 17 | Transactions on Petri nets and other models of concurrency | 2008 | 14 |
| 18 | 1998 | 14 | |
| 19 | 2005 | 14 | |
| 20 | Baby TORAS Eats Philosophers But Thinks About Solitaire | 1990 | 13 |
About Jonathan Billington
Jonathan Billington is a scholar working on Computational Theory and Mathematics, Management Information Systems, Computer Networks and Communications, Software and Information Systems, having authored 103 papers that have together received 1.2k indexed citations. Recurring topics across this work include Petri Nets in System Modeling (71 papers), Formal Methods in Verification (42 papers), Service-Oriented Architecture and Web Services (27 papers), Mobile Agent-Based Network Management (24 papers), Business Process Modeling and Analysis (23 papers), Network Traffic and Congestion Control (12 papers), Distributed systems and fault tolerance (10 papers) and IPv6, Mobility, Handover, Networks, Security (10 papers). The work is most often cited by research in Computational Theory and Mathematics (811 citations), Software (188 citations), Management Information Systems (396 citations), Hardware and Architecture (147 citations) and Information Systems (380 citations). Jonathan Billington has collaborated with scholars based in Australia, Denmark and United Kingdom. Frequent co-authors include Bing Han, Laure Petrucci, Lars Michael Kristensen, R.D.J. Post, Christian Stehno, Kees van Hee, Olaf Kummer, Michael Weber, Søren Christensen and Ekkart Kindler. Their work appears in journals such as International Journal on Software Tools for Technology Transfer, Lecture notes in computer science, Electronics Letters, European Journal of Operational Research and Computer Communications.
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.