Statistics
Publications
5
Citations
142
H-Index
5
Active since
1980
Affiliations
Australian National University(Current)
Jeremy E. Dawson is an author at Australian National University specializing in formal methods, computing, and mathematics.
Publications per year
1980–2010
5
5
Automating Open Bisimulation Checking for the Spi Calculus
Alwen Tiu, Jeremy E. Dawson · 2010 · 70 citations
A Reciprocal Summation Identity: 10490
Seung-Jin Bang, Jeremy E. Dawson, A. N. 't Woord et al. · American Mathematical Monthly · 1999 · 10 citations
1–5 of 5