Skip to content

Alberto Larrauri

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

5

Venues

4

Active years

2024–2025

Best venue rank

A*

Where they publish

Papers

5 indexed papers, newest first.

YearVenueTitleAuthors
2025FOCSIneffectiveness for Search and Undecidability of PCSP Meta-Problems.Alberto Larrauri
2025ICALPOptimal Inapproximability of Promise Equations over Finite Groups.Silvia Butti, Alberto Larrauri, Stanislav Zivn
2025LICSConvergence Laws for Extensions of First-Order Logic with Averaging.Sam Adam-Day, Michael Benedikt, Alberto Larrauri
2025VMCAISynthesis of Controllers for Continuous Blackbox Systems.Benedikt Maderbacher, Felix Windisch, Alberto Larrauri, Roderick Bloem
2024ICALPSolving Promise Equations over Monoids and Groups.Alberto Larrauri, Stanislav Zivn