GiNaC—Symbolic computation with C++

• Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions

  2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  11

  citations
• Two-loop mixed QCD-EW corrections to $$ q\overline{q} $$ → Hg, qg → Hq, and $$ \overline{q}g $$ → $$ H\overline{q} $$

  2022 Journal of High Energy Physics article Physics and Astronomy Particle physics theoretical and experimental studies Open access

  1

  citations
• Two-loop mixed QCD-EW corrections to $q \overline{q} \to H g$, $qg \to Hq$, and $\overline{q}g \to H\overline{q}$

  2022 arXiv (Cornell University) preprint Physics and Astronomy Particle physics theoretical and experimental studies Open access

  15

  citations
• Does a Program Yield the Right Distribution?

  2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  14

  citations
• Integral reduction with Kira 2.0 and finite field methods

  2021 Computer Physics Communications article Physics and Astronomy Particle physics theoretical and experimental studies Open access

  340

  citations

5 results