Daniel Larraz
发表
Daniel Larraz,
Kaustubh Nimkar,
Albert Oliveras,
2014,
CAV.
Cesare Tinelli,
Daniel Larraz,
Meng Li,
2019,
2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC).
Cesare Tinelli,
Daniel Larraz,
M. Fareed Arif,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Cesare Tinelli,
Daniel Larraz,
Andrew Reynolds,
2019,
2019 Formal Methods in Computer Aided Design (FMCAD).
Daniel Larraz,
Albert Oliveras,
Enric Rodríguez-Carbonell,
2016,
SAT.
Daniel Larraz,
Albert Oliveras,
Enric Rodríguez-Carbonell,
2013,
2013 Formal Methods in Computer-Aided Design.
Daniel Larraz,
Enric Rodríguez-Carbonell,
Albert Rubio,
2013,
VMCAI.
Daniel Larraz,
Albert Oliveras,
Enric Rodríguez-Carbonell,
2017,
TACAS.
Daniel Larraz,
Albert Oliveras,
Enric Rodríguez-Carbonell,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
Daniel Larraz,
Albert Oliveras,
Enric Rodríguez-Carbonell,
2014,
SAT.
Cesare Tinelli,
Daniel Larraz,
Andrew Reynolds,
2020,
IJCAR.
Daniel Larraz,
Albert Oliveras,
Enric Rodríguez-Carbonell,
2019,
ACM Trans. Comput. Log..
Cesare Tinelli,
Daniel Larraz,
Mickaël Laurent,
2021,
FMICS.
Cesare Tinelli,
Daniel Larraz,
Heber Herencia-Zapana,
2021,
Syst..