hilaire.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc hilaire.cite -ob hilaire.bib -c 'author : "hilaire"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@unpublished{galloiswong18calculemus,
  topics = {team},
  title = {{A Coq formalization of digital filters}},
  author = {Gallois-Wong, Diane and Boldo, Sylvie and Hilaire, Thibault},
  hal = {https://hal.inria.fr/hal-01728828},
  booktitle = {{CICM 2018 - 11th Conference on Intelligent Computer Mathematics}},
  address = {Hagenberg, Austria},
  editor = {Florian Rabe and William M. Farmer and Grant O. Passmore and Abdou Youssef},
  series = {Intelligent Computer Mathematics},
  pages = {87--103},
  year = {2018},
  month = aug,
  doi = {10.1007/978-3-319-96812-4\_8},
  pdf = {https://hal.inria.fr/hal-01728828/file/CICM18.pdf}
}

@article{volkova18toc,
  topics = {team},
  title = {Towards Hardware {IIR} Filters Computing Just Right: Direct Form {I} Case Study},
  author = {Volkova, Anastasia and Istoan, Matei and de Dinechin, Florent and Hilaire, Thibault},
  hal = {https://hal.sorbonne-universite.fr/hal-01561052},
  journal = {IEEE Transactions on Computers},
  publisher = {Institute of Electrical and Electronics Engineers},
  year = 2018,
  keywords = {computer arithmetic ; fixed-point ; FPGA ; error analysis ; digital filters ; constant multiplication}
}

@unpublished{volkova18a,
  topics = {team},
  title = {Arithmetic approaches for rigorous design of reliable Fixed-Point {LTI} filters},
  author = {Volkova, Anastasia and Hilaire, Thibault and Lauter, Christoph},
  hal = {https://hal.archives-ouvertes.fr/hal-01918650},
  note = {working paper or preprint},
  year = 2018,
  month = nov,
  keywords = {Eigendecomposition ; Gershgorin circles ; Reliable Computations ; Floating-Point Arithmetic ; Digital Filters ; Interval Arithmetic ; Multiple Precision ; Fixed-Point Arithmetic ; Table Maker's Dilemma}
}

@inproceedings{hilaire19arith,
  topics = {team},
  title = {{Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers}},
  author = {Hilaire, Thibault and Ouzia, Hac{\`e}ne and Lopez, Benoit},
  hal = {https://hal.sorbonne-universite.fr/hal-02393851},
  booktitle = {{ARITH 2019 - IEEE 26th Symposium on Computer Arithmetic}},
  address = {Kyoto, Japan},
  publisher = {IEEE},
  pages = {175-182},
  year = 2019,
  month = jun,
  doi = {10.1109/ARITH.2019.00040},
  keywords = {fixed-point arithmetic ; word-length allocation},
  pdf = {https://hal.sorbonne-universite.fr/hal-02393851/file/arith.pdf},
  hal_id = {hal-02393851},
  hal_version = {v1}
}

@inproceedings{boldo20arith,
  topics = {team},
  title = {A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm},
  author = {Boldo, Sylvie and Gallois-Wong, Diane and Hilaire, Thibault},
  hal = {https://hal.inria.fr/hal-02982017},
  booktitle = {27th IEEE Symposium on Computer Arithmetic (ARITH)},
  publisher = {IEEE},
  pages = {9--16},
  year = 2020,
  doi = {10.1109/ARITH48897.2020.00011},
  keywords = {Dot Product ; Sum-of-Products ; Correct Round- ing ; Odd Rounding ; Fixed-Point Arithmetic}
}