2018-journal.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2018-journal.cite -ob 2018-journal.bib -c 'year = 2018 and topics : "team" and $type="article"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@article{clochard17jar,
  topics = {team},
  title = {The {Matrix} Reproved},
  author = {Clochard, Martin and Gondelman, L{\'e}on and Pereira, M{\'a}rio},
  hal = {https://hal.inria.fr/hal-01617437},
  journal = {Journal of Automated Reasoning},
  pages = {365--383},
  volume = 60,
  number = 3,
  publisher = {Springer},
  year = 2018,
  doi = {10.1007/s10817-017-9436-2}
}

@article{dailler18jlamp,
  topics = {team},
  title = {Instrumenting a Weakest Precondition Calculus for Counterexample Generation},
  author = {Dailler, Sylvain and Hauzar, David and March{\'e}, Claude and Moy, Yannick},
  hal = {https://hal.inria.fr/hal-01802488},
  journal = {Journal of Logical and Algebraic Methods in Programming},
  publisher = {Elsevier},
  volume = 99,
  pages = {97--113},
  year = 2018,
  doi = {10.1016/j.jlamp.2018.05.003},
  keywords = {Deductive Program Verification ; Weakest Precondition Calculus ; Satisfiability Modulo Theories ; Counterexamples}
}

@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}
}