( en | de | ru )

 

Disambiguation of "Benet, Luis"

Author of the publication

copydeleteadd this publication to your clipboard
A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance.

, , and . CoRR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Peter Benetschik

Stefan Benett

Werner Luis

Pia Luislampe

Mathieu Luisier

 

Other publications of authors with the same name

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , and 3 other author(s). ARCH@ADHS, volume 80 of EPiC Series in Computing, page 32-54. EasyChair, (2021)A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance., , and . Concurr. Comput. Pract. Exp., (2024)Validated numerics with Python: the ValidiPy package., and . SciPy, page 65-71. scipy.org, (2014)ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , , , , and 2 other author(s). ARCH@SAFECOMP, volume 90 of EPiC Series in Computing, page 142-184. EasyChair, (2022)A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance., , and . CoRR, (2023)ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 41-61. EasyChair, (2019)ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , and 3 other author(s). ARCH, volume 96 of EPiC Series in Computing, page 61-88. EasyChair, (2023)ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , and 1 other author(s). ARCH@SAFECOMP, volume 90 of EPiC Series in Computing, page 86-112. EasyChair, (2022)TaylorSeries.jl: Taylor expansions in one and several variables in Julia., and . J. Open Source Softw., 4 (36): 1043 (2019)ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , and 3 other author(s). ARCH, volume 74 of EPiC Series in Computing, page 49-75. EasyChair, (2020)