Hugo Paquet

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Stabilized profunctors and stable species of structures (available as arXiv preprint)	N/A	Paper
Categorical continuation semantics for concurrency	2026-07-14	Paper
Bi-invariance for uniform strategies on event structures	2026-04-02	Paper
From thin concurrent games to generalized species of structures	2026-02-27	Paper
From thin concurrent games to generalized species of structures (extended version) Logical Methods in Computer Science	2026-02-13	Paper
Universal Properties of Petri Net Unfoldings (available as arXiv preprint)	2026-01-01	Paper
Concurrent Strategies as Street Fibrations (available as arXiv preprint)	2026-01-01	Paper
Effectful semantics in 2-dimensional categories: premonoidal and Freyd bicategories	2025-08-05	Paper
Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads	2025-06-18	Paper
Element-free probability distributions and random partitions	2025-06-18	Paper
Stabilized profunctors and stable species of structures Logical Methods in Computer Science	2024-06-27	Paper
A combinatorial approach to higher-order structure for polynomial functors	2024-05-27	Paper
Element-Free Probability Distributions and Random Partitions (available as arXiv preprint)	2024-01-01	Paper
Probabilistic programming inference via intensional semantics Programming Languages and Systems	2023-11-24	Paper
Strong pseudomonads and premonoidal bicategories	2023-04-21	Paper
Bi-invariance for Uniform Strategies on Event Structures	2022-12-15	Paper
Fully abstract models of the probabilistic -calculus	2022-05-28	Paper
Continuous probability distributions in concurrent games	2022-05-03	Paper
Bayesian strategies: probabilistic programs as generalised graphical models	2021-10-18	Paper
The concurrent game semantics of probabilistic PCF Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper

Research outcomes over time

This page was built for person: Hugo Paquet