Alberto Larrauri

15 papers A* 4Misc 1Journal 8Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Convergence Laws for Extensions of First-Order Logic with Averaging. LICS Sam Adam-Day, Michael Benedikt, Alberto Larrauri
2025	J	`jnl`	Convergence Laws for Extensions of First-Order Logic with Averaging. CoRR Sam Adam-Day, Michael Benedikt, Alberto Larrauri
2025	J	`jnl`	Equations over Finite Monoids with Infinite Promises. CoRR Alberto Larrauri, Antoine Mottet, Stanislav Zivný
2025	A*	`conf`	Ineffectiveness for Search and Undecidability of PCSP Meta-Problems. FOCS Alberto Larrauri
2025	J	`jnl`	Ineffectiveness for Search and Undecidability of PCSP Meta-Problems. CoRR Alberto Larrauri
2025	A*	`conf`	Optimal Inapproximability of Promise Equations over Finite Groups. ICALP Silvia Butti, Alberto Larrauri, Stanislav Zivný
2025	J	`jnl`	Solving Promise Equations over Monoids and Groups. ACM Trans. Comput. Log. Alberto Larrauri, Stanislav Zivný
2025	—	`conf`	Synthesis of Controllers for Continuous Blackbox Systems. VMCAI (2) Benedikt Maderbacher, Felix Windisch, Alberto Larrauri, Roderick Bloem
2024	J	`jnl`	First Order Logic of Sparse Graphs with Given Degree Sequences. CoRR Alberto Larrauri, Guillem Perarnau
2024	J	`jnl`	Optimal Inapproximability of Promise Equations over Finite Groups. CoRR Silvia Butti, Alberto Larrauri, Stanislav Zivný
2024	A*	`conf`	Solving Promise Equations over Monoids and Groups. ICALP Alberto Larrauri, Stanislav Zivný
2024	J	`jnl`	Solving promise equations over monoids and groups. CoRR Alberto Larrauri, Stanislav Zivný
2023	—	`—`	First order logic of random sparse structures. Alberto Larrauri
2022	J	`jnl`	Conformance Testing of Mealy Machines Under Input Restrictions. CoRR Alberto Larrauri, Roderick Bloem
2022	Misc	`conf`	Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study. CODES+ISSS Roderick Bloem, Alberto Larrauri, Roland Lengfeldner, Cristinel Mateis, Dejan Nickovic, Björn Ziegler