Azucena Garvía Bosshard

Affiliations:
  • Google Zurich, Switzerland
  • University of Edinburgh, School of Informatics, UK


According to our database1, Azucena Garvía Bosshard authored at least 3 papers between 2020 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Formal Verification of the Sumcheck Protocol.
CoRR, 2024

The Sumcheck Protocol.
Arch. Formal Proofs, 2024

2020
A Note on Hardness under Projections for Graph Isomorphism and Time-Bounded Kolmogorov Complexity.
Electron. Colloquium Comput. Complex., 2020


  Loading...