salemknapp.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc salemknapp.cite -ob salemknapp.bib -c 'author : "Salem-Knapp"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@inproceedings{weens21nsv,
  topics = {team},
  title = {Modeling round-off errors in hydrodynamic simulations},
  author = {Weens, William and Vazquez-Gonzalez, Thibaud and Ben Salem-Knapp, Louise},
  hal = {https://hal.inria.fr/hal-03351754},
  booktitle = {14th International Workshop on Numerical Software Verification},
  year = 2021
}
@inproceedings{bensalemknapp21afadl,
  topics = {team},
  title = {La double pr{\'e}cision suffit-elle {\`a} l'exascale ?},
  author = {Ben Salem-Knapp, Louise and Vazquez-Gonzalez, Thibaud and Weens, William},
  hal = {https://hal.inria.fr/hal-03351615},
  booktitle = {20{\`e}mes journ{\'e}es Approches Formelles dans l'Assistance au D{\'e}veloppement de Logiciels},
  year = 2021
}