Anthony Vandikas

According to our database¹, Anthony Vandikas authored at least 4 papers between 2019 and 2020.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2020

Reductions for safety proofs.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

2019

Reductions for Safety Proofs (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2019

Reductions for Automated Hypersafety Verification.

[BibT_eX]

[DOI]

CoRR, 2019

Automated Hypersafety Verification.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019