Nathan Chong
- Software top 2%
- Software Testing and Debugging Techniques 8
- Hardware and Architecture top 5%
- Parallel Computing and Optimization Techniques 9
- Embedded Systems Design Techniques 4
-
- Distributed systems and fault tolerance 4
- Information Systems top 5%
- Signal Processing top 10%
-
- Security and Verification in Computing 8
- Logic, programming, and type systems 3
-
- Radiation Effects in Electronics 5
-
- Formal Methods in Verification 5
- Co-authors
- Alastair F. DonaldsonAndrei LascuShaz QadeerAdam BettsPaul ThomsonJeroen KetemaSamin IshtiaqJohn Wickerson
- Journals
- ACM SIGPLAN Notices (4 papers)IEEE Transactions on Software Engineering (1 paper)Software Practice and Experience (1 paper)
- Partner nations
- United KingdomUnited StatesGermany
In The Last Decade
Nathan Chong
19 papers receiving 395 citations
Peers
Comparison fields: 5 of 26
- Software 219
- Hardware and Architecture 226
- Computer Networks and Communications 134
- Information Systems 120
- Signal Processing 52
Countries citing papers authored by Nathan Chong
This map shows the geographic impact of Nathan Chong'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 Nathan Chong with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Nathan Chong more than expected).
Fields of papers citing papers by Nathan Chong
This network shows the impact of papers produced by Nathan Chong. 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 Nathan Chong. The network helps show where Nathan Chong may publish in the future.
Co-authorship network
The 25 scholars most cited alongside Nathan Chong, 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 | 2023 | 5 | |
| 2 | 2022 | 11 | |
| 3 | 2022 | 1 | |
| 4 | 2021 | 8 | |
| 5 | Formally verifying FreeRTOS’ interprocess communication mechanism | 2021 | 1 |
| 6 | 2020 | 13 | |
| 7 | 2018 | 1 | |
| 8 | 2017 | 1 | |
| 9 | 2015 | 45 | |
| 10 | 2015 | 38 | |
| 11 | 2015 | 109 | |
| 12 | 2014 | 16 | |
| 13 | 2014 | 1 | |
| 14 | 2013 | 15 | |
| 15 | 2012 | 22 | |
| 16 | 2012 | 80 | |
| 17 | 2009 | 22 | |
| 18 | 2008 | 19 | |
| 19 | Functional Programming for Hardware Definition, Verification and Modelling | 2007 | 1 |
| 20 | Impact of six sigma on construction performance | 2004 | 2 |
About Nathan Chong
Nathan Chong is a scholar working on Software, Hardware and Architecture, Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, having authored 20 papers that have together received 411 indexed citations. Recurring topics across this work include Parallel Computing and Optimization Techniques (9 papers), Security and Verification in Computing (8 papers), Software Testing and Debugging Techniques (8 papers), Radiation Effects in Electronics (5 papers), Formal Methods in Verification (5 papers), Distributed systems and fault tolerance (4 papers), Embedded Systems Design Techniques (4 papers) and Logic, programming, and type systems (3 papers). The work is most often cited by research in Software (219 citations), Hardware and Architecture (226 citations), Computer Networks and Communications (134 citations), Information Systems (120 citations) and Signal Processing (52 citations). Nathan Chong has collaborated with scholars based in United Kingdom, United States and Germany. Frequent co-authors include Alastair F. Donaldson, Andrei Lascu, Shaz Qadeer, Adam Betts, Paul Thomson, Jeroen Ketema, Samin Ishtiaq, John Wickerson, Yoonseo Choi and Yuan Lin. Their work appears in journals such as ACM SIGPLAN Notices, IEEE Transactions on Software Engineering, Software Practice and Experience, Proceedings of the ACM on Programming Languages and ACM Transactions on Programming Languages and Systems.
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.