Luis Benet

Orcid: 0000-0002-8470-9054

According to our database1, Luis Benet authored at least 12 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Verified propagation of imprecise probabilities in non-linear ODEs.
Int. J. Approx. Reason., January, 2024

A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance.
Concurr. Comput. Pract. Exp., 2024

2023
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022
Testing Interval Arithmetic Libraries, Including Their IEEE-1788 Compliance.
Proceedings of the Parallel Processing and Applied Mathematics, 2022

ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019
TaylorSeries.jl: Taylor expansions in one and several variables in Julia.
J. Open Source Softw., 2019

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2014
Validated numerics with Python: the ValidiPy package.
Proceedings of the 13th Python in Science Conference, 2014


  Loading...