Hugo Paquet - RankMe

25 papers A* 4A 4B 5Journal 10Unranked 1

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