Login / Signup

Anthony C. J. Fox

ORCID

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 11

Top Topics

Publish Subscribe
Formal Methods
Interval Arithmetic
Colored Petri Nets

Top Venues

ITP
Proc. ACM Program. Lang.
IEEE Symposium on Security and Privacy
J. Funct. Program.

Swansea University, UK (PHD)

Education History
Swansea University, UK

PHD

Publications