( en | de | ru )

 

Disambiguation of "Dahlqvist, Fredrik"

Author of the publication

copydeleteadd this publication to your clipboard
Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations.

, , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 626-650. Springer, (2021)

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.

Fredrik Dahlqvist

Fredrik Borchsenius

Fredrik Albach

Fredrik Harrysson

Fredrik Rusek

 

Other publications of authors with the same name

Bayesian Inversion by ω-Complete Cone Duality., , , and . CONCUR, volume 59 of LIPIcs, page 1:1-1:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)How to Write a Coequation ((Co)algebraic pearls)., and . CALCO, volume 211 of LIPIcs, page 13:1-13:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Semantics of higher-order probabilistic programs with conditioning., and . CoRR, (2019)An Internal Language for Categories Enriched over Generalised Metric Spaces., and . CSL, volume 216 of LIPIcs, page 16:1-16:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Deterministic stream-sampling for probabilistic programming: semantics and verification., , and . LICS, page 1-13. IEEE, (2023)The positivication of coalgebraic logics., and . CoRR, (2018)The syntactic dual of autonomous categories enriched over generalised metric spaces., and . CoRR, (2022)Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations., , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 626-650. Springer, (2021)A Probabilistic Approach to Floating-Point Arithmetic., , and . ACSSC, page 596-602. IEEE, (2019)How to write a coequation., and . CoRR, (2021)