2021-journal.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2021-journal.cite -ob 2021-journal.bib -c 'year = 2021 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{filliatre20jlamp,
  author = {Jean-Christophe Filli\^atre},
  title = {Simpler Proofs with Decentralized Invariants},
  journal = {Journal of Logical and Algebraic Methods in Programming},
  volume = 121,
  publisher = {Elsevier},
  year = 2021,
  topics = {team},
  month = jan,
  note = {See \url{https://usr.lmf.cnrs.fr/~jcf/spdi/}},
  hal = {https://hal.inria.fr/hal-02518570},
  doi = {https://doi.org/10.1016/j.jlamp.2021.100645}
}

@article{boldo21toc,
  topics = {team},
  title = {Emulating round-to-nearest ties-to-zero ''augmented'' floating-point operations using round-to-nearest ties-to-even arithmetic},
  author = {Boldo, Sylvie and Lauter, Christoph Q. and Muller, Jean-Michel},
  hal = {https://hal.archives-ouvertes.fr/hal-02137968},
  journal = {IEEE Transactions on Computers},
  volume = 70,
  number = 7,
  pages = {1046--1058},
  year = 2021,
  doi = {10.1109/TC.2020.3002702}
}

@article{steinberg21lmcs,
  topics = {team},
  title = {Computable analysis and notions of continuity in {Coq}},
  author = {Steinberg, Florian and Th{\'e}ry, Laurent and Thies, Holger},
  hal = {https://hal.inria.fr/hal-03324295},
  journal = {Logical Methods in Computer Science},
  doi = {10.23638/LMCS-17(2:16)2021},
  year = 2021
}

@article{conchon21fi,
  topics = {team},
  author = {Sylvain Conchon and Giorgio Delzanno and Angelo Ferrando},
  title = {Declarative Parameterized Verification of Distributed Protocols via
                  the Cubicle Model Checker},
  journal = {Fundam. Informaticae},
  volume = 178,
  number = 4,
  pages = {347--378},
  year = 2021,
  doi = {10.3233/FI-2021-2010}
}