Florence Clerc

18 papers A* 2A 1B 4Journal 9Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	A Behavioural Pseudometric for Continuous-Time Markov Processes. FoSSaCS Linan Chen, Florence Clerc, Prakash Panangaden
2025	J	`jnl`	A behavioural pseudometric for continuous-time Markov processes. CoRR Linan Chen, Florence Clerc, Prakash Panangaden
2025	J	`jnl`	Two behavioural pseudometrics for continuous-time Markov processes. CoRR Linan Chen, Florence Clerc, Prakash Panangaden
2024	J	`jnl`	Behavioural Metrics and Quantitative Logics (Dagstuhl Seminar 24432). Dagstuhl Reports Barbara König, Radu Mardare, Prakash Panangaden, Jurriaan Rot, Florence Clerc
2023	J	`jnl`	Behavioural equivalences for continuous-time Markov processes. Math. Struct. Comput. Sci. Linan Chen, Florence Clerc, Prakash Panangaden
2023	J	`jnl`	Behavioural pseudometrics for continuous-time diffusions. CoRR Linan Chen, Florence Clerc, Prakash Panangaden
2023	A*	`conf`	PAC-Bayesian Generalization Bounds for Adversarial Generative Models. ICML Sokhna Diarra Mbacke, Florence Clerc, Pascal Germain
2023	J	`jnl`	PAC-Bayesian Generalization Bounds for Adversarial Generative Models. CoRR Sokhna Diarra Mbacke, Florence Clerc, Pascal Germain
2023	A	`conf`	Sample Boosting Algorithm (SamBA) - An interpretable greedy ensemble classifier based on local expertise for fat data. UAI Baptiste Bauvin, Cécile Capponi, Florence Clerc, Pascal Germain, Sokol Koço, Jacques Corbeil
2023	A*	`conf`	Statistical Guarantees for Variational Autoencoders using PAC-Bayesian Theory. NeurIPS Sokhna Diarra Mbacke, Florence Clerc, Pascal Germain
2023	J	`jnl`	Statistical Guarantees for Variational Autoencoders using PAC-Bayesian Theory. CoRR Sokhna Diarra Mbacke, Florence Clerc, Pascal Germain
2020	B	`conf`	Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes. MFPS Linan Chen, Florence Clerc, Prakash Panangaden
2019	J	`jnl`	Bisimulation for Feller-Dynkin Processes. CoRR Linan Chen, Florence Clerc, Prakash Panangaden
2019	B	`conf`	Bisimulation for Feller-Dynkin Processes. MFPS Linan Chen, Florence Clerc, Prakash Panangaden
2019	J	`jnl`	Expressiveness of probabilistic modal logics: A gradual approach. Inf. Comput. Florence Clerc, Nathanaël Fijalkow, Bartek Klin, Prakash Panangaden
2017	—	`conf`	Bicategories of Markov Processes. Models, Algorithms, Logics and Tools Florence Clerc, Harrison Humphrey, Prakash Panangaden
2017	B	`conf`	Pointless Learning. FoSSaCS Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier
2015	—	`conf`	Presenting a Category Modulo a Rewriting System. RTA Florence Clerc, Samuel Mimram