| The concurrent game semantics of probabilistic PCF S Castellan, P Clairambault, H Paquet, G Winskel Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 40 | 2018 |
| Densities of almost surely terminating probabilistic programs are differentiable almost everywhere C Mak, CHL Ong, H Paquet, D Wagner Programming Languages and Systems: 30th European Symposium on Programming …, 2021 | 27 | 2021 |
| Probabilistic concurrent game semantics H Paquet University of Cambridge, Computer Laboratory, 2020 | 20 | 2020 |
| Affine monads and lazy structures for Bayesian programming S Dash, Y Kaddar, H Paquet, S Staton Proceedings of the ACM on Programming Languages 7 (POPL), 1338-1368, 2023 | 19 | 2023 |
| Fully Abstract Models of the Probabilistic λ-calculus P Clairambault, H Paquet 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018 | 16 | 2018 |
| Probabilistic programming inference via intensional semantics S Castellan, H Paquet Programming Languages and Systems: 28th European Symposium on Programming …, 2019 | 13 | 2019 |
| Continuous probability distributions in concurrent games H Paquet, G Winskel Electronic Notes in Theoretical Computer Science 341, 321-344, 2018 | 11 | 2018 |
| Verification of Multi-Agent Systems via SDD-based Model Checking. A Lomuscio, H Paquet AAMAS, 1713-1714, 2015 | 11 | 2015 |
| Bayesian strategies: probabilistic programs as generalised graphical models H Paquet Programming Languages and Systems: 30th European Symposium on Programming …, 2021 | 6 | 2021 |
| Effectful semantics in 2-dimensional categories: premonoidal and Freyd bicategories H Paquet, P Saville arXiv preprint arXiv:2312.14964, 2023 | 4 | 2023 |
| From thin concurrent games to generalized species of structures P Clairambault, F Olimpieri, H Paquet 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2023 | 4 | 2023 |
| Strong pseudomonads and premonoidal bicategories H Paquet, P Saville arXiv preprint arXiv:2304.11014, 2023 | 4 | 2023 |
| Bi-invariance for uniform strategies on event structures H Paquet Electronic Notes in Theoretical Informatics and Computer Science 1, 2023 | 3 | 2023 |
| A combinatorial approach to higher-order structure for polynomial functors M Fiore, Z Galal, H Paquet 7th International Conference on Formal Structures for Computation and …, 2022 | 3 | 2022 |
| The quantitative collapse of concurrent games with symmetry P Clairambault, H Paquet arXiv preprint arXiv:2107.03155, 2021 | 3 | 2021 |
| Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads H Paquet, P Saville Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer …, 2024 | 2 | 2024 |
| LazyPPL: laziness and types in non-parametric probabilistic programs H Paquet, S Staton Advances in Programming Languages and Neurosymbolic Systems Workshop, 2021 | 2 | 2021 |
| Stabilized profunctors and stable species of structures M Fiore, Z Galal, H Paquet Logical Methods in Computer Science 20, 2024 | 1 | 2024 |
| Element-free probability distributions and random partitions V Blanchi, H Paquet arXiv preprint arXiv:2405.17595, 2024 | | 2024 |
| 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) D Kozen, T Schwentick, S Abramsky, N Shah, A Zaid, B Ahrens, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018 | | 2018 |
Pierre ClairambaultCNRS & LIS, Aix-Marseille Université在 cnrs.fr 的电子邮件经过验证
