Statistics
Publications
19
Citations
338
H-Index
12
Active since
1994
Peter Robinson is an author at The University of Queensland specializing in engineering, computer science, and formal methods.
Publications per year
1994–2021
19
19
Tool support for checking railway interlocking designs
Kirsten Winter, Wendy Johnston, Peter Robinson et al. · 2006 · 40 citations
Sidechains and interoperability
Sandra Johnson, Peter Robinson, John Brainard · arXiv (Cornell University) · 2019 · 36 citations · Full text
1–5 of 19