Presenting a Category Modulo a Rewriting System. - Florence Clerc; Samuel Mimram (RTA, 2015)

Bicategories of Markov Processes. - Florence Clerc; Harrison Humphrey; Prakash Panangaden (Models, Algorithms, Logics and Tools, 2017)

Pointless Learning. - Florence Clerc; Vincent Danos; Fredrik Dahlqvist; Ilias Garnier (FoSSaCS, 2017)

Bisimulation for Feller-Dynkin Processes. - Linan Chen; Florence Clerc; Prakash Panangaden (MFPS, 2019)

Expressiveness of probabilistic modal logics: A gradual approach. - Florence Clerc; Nathanaël Fijalkow; Bartek Klin; Prakash Panangaden (Inf. Comput., 2019)

Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes. - Linan Chen; Florence Clerc; Prakash Panangaden (MFPS, 2020)

PAC-Bayesian Generalization Bounds for Adversarial Generative Models. - Sokhna Diarra Mbacke; Florence Clerc; Pascal Germain (ICML, 2023)

Statistical Guarantees for Variational Autoencoders using PAC-Bayesian Theory. - Sokhna Diarra Mbacke; Florence Clerc; Pascal Germain (NeurIPS, 2023)

Sample Boosting Algorithm (SamBA) - An interpretable greedy ensemble classifier based on local expertise for fat data. - Baptiste Bauvin; Cécile Capponi; Florence Clerc; Pascal Germain; Sokol Koço; Jacques Corbeil (UAI, 2023)

Behavioural pseudometrics for continuous-time diffusions. - Linan Chen; Florence Clerc; Prakash Panangaden (CoRR, 2023)

Behavioural equivalences for continuous-time Markov processes. - Linan Chen; Florence Clerc; Prakash Panangaden (Math. Struct. Comput. Sci., 2023)

Behavioural Metrics and Quantitative Logics (Dagstuhl Seminar 24432). - Barbara König 001; Radu Mardare; Prakash Panangaden; Jurriaan Rot; Florence Clerc (Dagstuhl Reports, 2024)

A Behavioural Pseudometric for Continuous-Time Markov Processes. - Linan Chen; Florence Clerc; Prakash Panangaden (FoSSaCS, 2025)