English
Library > Kevin Hammond
Software Engineer
Engineering
UK
Seyed Hossein Haeri,Peter Thompson,Peter Van Roy,Magne Haveraaen,Neil Davies,Mikhail Barash,Kevin Hammond,James Chapman
June/2023, ICE '23
Seyed Hossein Haeri,Peter Thompson,Neil Davies,Peter Van Roy,Kevin Hammond,James Chapman
March/2022
DISTRIBUTED SYSTEMSPROOF-OF-STAKE
Philipp Kant,Kevin Hammond,Duncan Coutts,James Chapman,Nicholas Clarke,Jared Corduan,Neil Davies,Javier Roberto Diaz,Matthias Güdemann,Wolfgang Jeltsch,Marcin Szamotulski,Polina Vinogradova
August/2020, TFP '20 (LNCS)
FORMALMETHODS