Login / Signup
Alberto Larrauri
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 4
Top Topics
Nonlinear Equations
Input Parameters
Limited Budget
Weighted Distance
Top Venues
CoRR
CODES+ISSS
</>
Publications
</>
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)