日本語
ライブラリー > 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