Verification of Multi-Agent Systems via SDD-based Model Checking. - Alessio Lomuscio; Hugo Paquet (AAMAS, 2015)

Fully Abstract Models of the Probabilistic lambda-calculus. - Pierre Clairambault; Hugo Paquet (CSL, 2018)

The concurrent game semantics of Probabilistic PCF. - Simon Castellan; Pierre Clairambault; Hugo Paquet; Glynn Winskel (LICS, 2018)

Continuous Probability Distributions in Concurrent Games. - Hugo Paquet; Glynn Winskel (MFPS, 2018)

Probabilistic Programming Inference via Intensional Semantics. - Simon Castellan; Hugo Paquet (ESOP, 2019)

Probabilistic concurrent game semantics. - Hugo Paquet (2020)

Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere. - Carol Mak; C.-H. Luke Ong; Hugo Paquet; Dominik Wagner 001 (ESOP, 2021)

Bayesian strategies: probabilistic programs as generalised graphical models. - Hugo Paquet (ESOP, 2021)

The Quantitative Collapse of Concurrent Games with Symmetry. - Pierre Clairambault; Hugo Paquet (CoRR, 2021)

A Combinatorial Approach to Higher-Order Structure for Polynomial Functors. - Marcelo Fiore; Zeinab Galal; Hugo Paquet (FSCD, 2022)

Bi-invariance for Uniform Strategies on Event Structures. - Hugo Paquet (MFPS, 2022)

From Thin Concurrent Games to Generalized Species of Structures. - Pierre Clairambault; Federico Olimpieri; Hugo Paquet (LICS, 2023)

Strong pseudomonads and premonoidal bicategories. - Hugo Paquet; Philip Saville (CoRR, 2023)

Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories. - Hugo Paquet; Philip Saville (ACT, 2023)

Affine Monads and Lazy Structures for Bayesian Programming. - Swaraj Dash; Younesse Kaddar; Hugo Paquet; Sam Staton (Proc. ACM Program. Lang., 2023)

Element-free probability distributions and random partitions. - Victor Blanchi; Hugo Paquet (LICS, 2024)

Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads. - Hugo Paquet; Philip Saville (LICS, 2024)

Stabilized profunctors and stable species of structures. - Marcelo Fiore; Zeinab Galal; Hugo Paquet (Log. Methods Comput. Sci., 2024)

Categorical Continuation Semantics for Concurrency. - Flavien Breuvart; Hugo Paquet (FSCD, 2025)