Alberto Larrauri
According to our database1,
Alberto Larrauri
authored at least 6 papers
between 2022 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2022
2023
2024
2025
0
1
2
3
4
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025
2024
Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024
2022
Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2022