Old Web
English
Sign In
Acemap
>
authorDetail
>
Anthony Fox
Anthony Fox
University of Cambridge
Computer science
Correctness
Parallel computing
Computer architecture
Computer engineering
2
Papers
12
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
CHERI Concentrate: Practical Compressed Capabilities
2019
IEEE Transactions on Computers
Jonathan Woodruff
Alexandre Joannou
Hongyan Xia
Anthony Fox
Robert Norton
David Chisnall
Brooks Davis
Khilan Gudka
Nathaniel Wesley Filardo
A. Theodore Markettos
Michael Roe
Peter G. Neumann
Robert N. M. Watson
Simon W. Moore
Show All
Source
Cite
Save
Citations (12)
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4.
2017
arXiv: Programming Languages
Heiko Becker
Nikita Zyuzin
Raphaël Monat
Eva Darulova
Magnus O. Myreen
Anthony Fox
Show All
Source
Cite
Save
Citations (0)
1