Hugo Paquet

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 22

Top Topics

Probability Distribution

Directed Graphical Models

Intended Meaning

Top Venues

Proc. ACM Program. Lang.

Publications

Victor Blanchi, Hugo Paquet
Element-free probability distributions and random partitions. LICS (2024)
Marcelo Fiore, Zeinab Galal, Hugo Paquet
Stabilized profunctors and stable species of structures. Log. Methods Comput. Sci. 20 (1) (2024)
Victor Blanchi, Hugo Paquet
Element-Free Probability Distributions and Random Partitions. CoRR (2024)
Hugo Paquet, Philip Saville
Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads. LICS (2024)
Swaraj Dash, Younesse Kaddar, Hugo Paquet, Sam Staton
Affine Monads and Lazy Structures for Bayesian Programming. Proc. ACM Program. Lang. 7 (POPL) (2023)
Pierre Clairambault, Federico Olimpieri, Hugo Paquet
From Thin Concurrent Games to Generalized Species of Structures. LICS (2023)
Hugo Paquet, Philip Saville
Strong pseudomonads and premonoidal bicategories. CoRR (2023)
Marcelo Fiore, Zeinab Galal, Hugo Paquet
Stabilized profunctors and stable species of structures. CoRR (2023)
Pierre Clairambault, Federico Olimpieri, Hugo Paquet
From Thin Concurrent Games to Generalized Species of Structures. CoRR (2023)
Hugo Paquet, Philip Saville
Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories. CoRR (2023)
Marcelo Fiore, Zeinab Galal, Hugo Paquet
A Combinatorial Approach to Higher-Order Structure for Polynomial Functors. FSCD (2022)
Swaraj Dash, Younesse Kaddar, Hugo Paquet, Sam Staton
Affine Monads and Lazy Structures for Bayesian Programming. CoRR (2022)
Hugo Paquet
Bi-invariance for Uniform Strategies on Event Structures. CoRR (2022)
Hugo Paquet
Bayesian strategies: probabilistic programs as generalised graphical models. ESOP (2021)
Pierre Clairambault, Hugo Paquet
The Quantitative Collapse of Concurrent Games with Symmetry. CoRR (2021)
Carol Mak, C.-H. Luke Ong, Hugo Paquet, Dominik Wagner
Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere. ESOP (2021)
Carol Mak, C.-H. Luke Ong, Hugo Paquet, Dominik Wagner
Densities of almost-surely terminating probabilistic programs are differentiable almost everywhere. CoRR (2020)
Simon Castellan, Hugo Paquet
Probabilistic Programming Inference via Intensional Semantics. ESOP (2019)
Pierre Clairambault, Hugo Paquet
Fully Abstract Models of the Probabilistic lambda-calculus. CSL (2018)
Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel
The concurrent game semantics of Probabilistic PCF. LICS (2018)
Hugo Paquet, Glynn Winskel
Continuous Probability Distributions in Concurrent Games. MFPS (2018)
Alessio Lomuscio, Hugo Paquet
Verification of Multi-Agent Systems via SDD-based Model Checking. AAMAS (2015)