Hugo Paquet

Orcid: 0000-0002-8192-0321

According to our database1, Hugo Paquet authored at least 16 papers between 2015 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Affine Monads and Lazy Structures for Bayesian Programming.
Proc. ACM Program. Lang., January, 2023

Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories.
CoRR, 2023

Strong pseudomonads and premonoidal bicategories.
CoRR, 2023

Stabilized profunctors and stable species of structures.
CoRR, 2023

From Thin Concurrent Games to Generalized Species of Structures.
LICS, 2023

2022
Bi-invariance for Uniform Strategies on Event Structures.
Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

A Combinatorial Approach to Higher-Order Structure for Polynomial Functors.
Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021
The Quantitative Collapse of Concurrent Games with Symmetry.
CoRR, 2021

Bayesian strategies: probabilistic programs as generalised graphical models.
Proceedings of the Programming Languages and Systems, 2021

Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere.
Proceedings of the Programming Languages and Systems, 2021

2020
Probabilistic concurrent game semantics.
PhD thesis, 2020

2019
Probabilistic Programming Inference via Intensional Semantics.
Proceedings of the Programming Languages and Systems, 2019

2018
Continuous Probability Distributions in Concurrent Games.
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

The concurrent game semantics of Probabilistic PCF.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Fully Abstract Models of the Probabilistic lambda-calculus.
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2015
Verification of Multi-Agent Systems via SDD-based Model Checking.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015


  Loading...