Alberto Larrauri

According to our database, Alberto Larrauri authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

First Order Logic of Sparse Graphs with Given Degree Sequences.

Alberto Larrauri, Guillem Perarnau

CoRR, 2024

Solving Promise Equations over Monoids and Groups.

Alberto Larrauri, Stanislav Zivný

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2022

Conformance Testing of Mealy Machines Under Input Restrictions.

Alberto Larrauri, Roderick Bloem

CoRR, 2022

Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study.

Roderick Bloem, Alberto Larrauri, Roland Lengfeldner, Cristinel Mateis, Dejan Nickovic, Björn Ziegler

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2022