ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs. - Emmanuel Hainry; Emmanuel Jeandel; Romain Péchoux; Olivier Zeyen (ICTAC, 2021)

Target Control of Boolean Networks with Permanent Edgetic Perturbations. - Olivier Zeyen; Jun Pang 001 (CDC, 2022)

Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling. - Olivier Zeyen; Maxime Cordy; Gilles Perrouin; Mathieu Acher (FormaliSE@ICSE, 2024)

Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions. - Olivier Zeyen; Maxime Cordy; Gilles Perrouin; Mathieu Acher (ICSE Companion, 2024)

Testing Uniform Random Samplers: Methods, Datasets and Protocols. - Olivier Zeyen; Maxime Cordy; Martin Gubri; Gilles Perrouin; Mathieu Acher (CoRR, 2025)