Joe R Harrison
Title
Cited by
Cited by
Year
Estimating the extent and structure of trade in horticultural orchids via social media
A Hinsley, TE Lee, JR Harrison, DL Roberts
Conservation Biology 30 (5), 1038-1047, 2016
412016
Assessing the extent and nature of wildlife trade on the dark web
JR Harrison, DL Roberts, J Hernandez‐Castro
Conservation Biology 30 (4), 900-904, 2016
372016
Towards an Isabelle/HOL formalisation of core Erlang
JR Harrison
Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, 55-63, 2017
42017
Automatic detection of core Erlang message passing errors
J Harrison
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 37-48, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–4