Publications list

10 documents

Julien Clément, Antoine Genitrini. Counting Reduced Ordered Binary Decision Diagrams With Respect to Size. ACM Transactions on Computational Logic, In press, 1 (1), ⟨10.1145/3799237⟩. ⟨hal-05183438v2⟩

Simon Dreyer, Antoine Genitrini, Mehdi Naima. Optimal Uniform Shortest Path Sampling. 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Feb 2025, Chengdu, China. pp.160-179, ⟨10.1007/978-981-96-2845-2_11⟩. ⟨hal-04669060v3⟩
Julien Courtiel, Martin Pépin. Random Generation of Git Graphs. GASCom 2024, Jun 2024, Talence, France, France. pp.79-86, ⟨10.4204/EPTCS.403.18⟩. ⟨hal-04487862v2⟩
Amaury Curiel, Antoine Genitrini. Lexicographic Unranking Algorithms for the Twelvefold Way. 35th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2024), Jun 2024, Bath, United Kingdom. pp.17:1–17:14, ⟨10.4230/LIPIcs.AofA.2024.17⟩. ⟨hal-04411470v3⟩

Pascal Vanier (Dir.). Informatique Fondamentale et ses Mathématiques : Une photographie en 2025. CNRS Éditions, 2025, Informatique Fondamentale et ses Mathématiques, 978-2-271-15855-0. ⟨hal-05365250⟩

Wojciech Gabryelski, Zbigniew Gołȩbiewski, Martin Pépin. Boltzmann sampling and optimal exact-size sampling for directed acyclic graphs. 2026. ⟨hal-05503168⟩
Amaury Curiel, Antoine Genitrini. Lexicographic unranking algorithms for the Twentyfold Way. 2026. ⟨hal-05486059⟩
Julien Courtiel, Matthieu Dien, Paul Dorbec. Cayley trees and increasing 1,2-trees: let’s twist!. 2025. ⟨hal-04996228⟩
Sergey Dovgal, Khaydar Nurligareev. Asymptotics for graphically divergent series: dense digraphs and 2-SAT formulae. 2024. ⟨hal-04814830⟩