( en | de | ru )

 

Disambiguation of "Hilaire, Thibault"

Author of the publication

copydeleteadd this publication to your clipboard
A State-of-the-Art Karp-Miller Algorithm Certified in Coq.

, , and . TACAS (1), volume 14570 of Lecture Notes in Computer Science, page 370-389. Springer, (2024)

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.

Thibault Hilaire

Hilaire Fernandes

Thibault Lambert

Thibault Bernard

Thibault Napoléon

 

Other publications of authors with the same name

Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study., , , and . IEEE Trans. Computers, 68 (4): 597-608 (2019)A State-of-the-Art Karp-Miller Algorithm Certified in Coq., , and . TACAS (1), volume 14570 of Lecture Notes in Computer Science, page 370-389. Springer, (2024)A practical strategy of an efficient and sparse FWL implementation of LTI filters., , and . ECC, page 1383-1388. IEEE, (2009)Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers., , and . ARITH, page 175-182. IEEE, (2019)Numerical Validation of Half Precision Simulations., , and . WorldCIST (4), volume 1368 of Advances in Intelligent Systems and Computing, page 298-307. Springer, (2021)Neural Network Precision Tuning Using Stochastic Arithmetic., , , , and . NSV/FoMLAS@CAV, volume 13466 of Lecture Notes in Computer Science, page 164-186. Springer, (2022)Bit accurate roundoff noise analysis of fixed-point linear controllers., , and . CACSD, page 607-612. IEEE, (2008)A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm., , and . ARITH, page 9-16. IEEE, (2020)Designing Low Parametric Sensitivity FWL Realizations of LTI Controllers/Filters within the Implicit State-Space Framework., , and . CDC/ECC, page 5192-5197. IEEE, (2005)Arithmetic Approaches for Rigorous Design of Reliable Fixed-Point LTI Filters., , and . IEEE Trans. Computers, 69 (4): 489-504 (2020)