Linan Chen, Florence Clerc, and Prakash Panangaden. A behavioural pseudometric for continuous-time Markov processes. In International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), 2025 (distinguished paper).
https://link.springer.com/chapter/10.1007/978-3-031-90897-2_2
Sokhna Diarra Mbacke, Florence Clerc, and Pascal Germain. Statistical guarantees for variational autoencoders using pac-bayesian theory. In Advances in Neural Information Processing Systems (NeurIPS), 2023 (spotlight paper). https://papers.neurips.cc/paper_files/paper/2023/file/b29500824d22ee9bbd25e4cd97c49b55-Paper-Conference.pdf
Sokhna Diarra Mbacke, Florence Clerc, and Pascal Germain. Pac-bayesian generalization bounds for adversarial generative models. In International conference on machine learning (ICML), 2023.
https://proceedings.mlr.press/v202/mbacke23a/mbacke23a.pdf
Baptiste Bauvin, Cécile Capponi, Florence Clerc, Pascal Germain, Sokol Koço, and Jacques Corbeil. Sample Boosting Algorithm (SamBA) - an interpretable greedy ensemble classier based on local expertise for fat data. In Proceedings of the Thirty-Ninth Conference on Uncertainty in Articial Intelligence (UAI), 2023.
https://proceedings.mlr.press/v216/bauvin23a/bauvin23a.pdf
Linan Chen, Florence Clerc, and Prakash Panangaden. Behavioural equivalences for continuous-time markov processes. Mathematical Structures in Computer Science, 2023.
https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/behavioural-equivalences-for-continuoustime-markov-processes/FC41538B74A131C13C212A2EC8B757D3
Linan Chen, Florence Clerc, and Prakash Panangaden. Towards a classication of behavioural equivalences in continuous-time Markov processes. Electronic Notes in Theoretical Computer Science, 2020. Proceedings of the Thirty-Sixth Conference on the Mathematical Foundations of Programming Semantics.
https://www.sciencedirect.com/science/article/pii/S1571066120300505
Linan Chen, Florence Clerc, and Prakash Panangaden. Bisimulation for Feller-Dynkin processes. Electronic Notes in Theoretical Computer Science, 2019. Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics.
https://www.researchgate.net/publication/337852944_Bisimulation_for_Feller-Dynkin_Processes
Florence Clerc, Nathanaël Fijalkow, Bartek Klin, and Prakash Panangaden. Expressiveness of probabilistic modal logics: A gradual approach. Information and Computation, 2019.
https://www.sciencedirect.com/science/article/pii/S0890540119300367
Florence Clerc, Vincent Danos, Fredrik Dahlqvist, and Ilias Garnier. Pointless learning. In Javier Esparza and Andrzej S. Murawski, editors, Foundations of Software Science and Computation Structures, Berlin, Heidelberg, 2017. Springer Berlin Heidelberg.
https://link.springer.com/chapter/10.1007/978-3-662-54458-7_21
Florence Clerc, Harrison Humphrey, and Prakash Panangaden. Bicategories of Markov Processes. Springer International Publishing, Cham, 2017.
https://link.springer.com/content/pdf/10.1007/978-3-319-63121-9_6
Florence Clerc and Samuel Mimram. Presenting a Category Modulo a Rewriting System. In Maribel Fernández, editor, 26th International Conference on Rewriting Techniques and Applications (RTA 2015), volume 36 of Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, 2015. Schloss DagstuhlLeibniz-Zentrum fuer Informatik.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol036-rta2015/LIPIcs.RTA.2015.89/LIPIcs.RTA.2015.89.pdf