Kevin Elphinstone

Publication Activity (10 Years)

Years Active: 1996-2019
Publications (10 Years): 4

Top Topics

Gaussian Kernels

Formal Verification

Commodity Hardware

Top Venues

ACM Trans. Comput. Syst.

Publications