Alberto Larrauri

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Logical Formulas

Nonlinear Equations

Quantifier Elimination

Top Venues

Publications

Alberto Larrauri, Stanislav Zivný
Solving Promise Equations over Monoids and Groups. ICALP (2024)
Alberto Larrauri, Guillem Perarnau
First Order Logic of Sparse Graphs with Given Degree Sequences. CoRR (2024)
Alberto Larrauri, Stanislav Zivný
Solving promise equations over monoids and groups. CoRR (2024)
Roderick Bloem, Alberto Larrauri, Roland Lengfeldner, Cristinel Mateis, Dejan Nickovic, Björn Ziegler
Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study. CODES+ISSS (2022)
Alberto Larrauri, Roderick Bloem
Conformance Testing of Mealy Machines Under Input Restrictions. CoRR (2022)
Alberto Larrauri, Roderick Bloem
Minimization and Synthesis of the Tail inSequential Compositions of Mealy Machines. CoRR (2021)