Suivre
Joe R Harrison
Joe R Harrison
University of Kent
Adresse e-mail validée de kent.ac.uk
Titre
Citée par
Citée par
Année
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
1252016
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
1152016
Automatic detection of core Erlang message passing errors
J Harrison
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 37-48, 2018
102018
Towards an Isabelle/HOL formalisation of core Erlang
JR Harrison
Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, 55-63, 2017
52017
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–4