You can find here links to my publications.
Research articles
2024
Inapproximability in Weighted Timed Games
with Joël Ouaknine.
in Proceedings of CONCUR 2024
also presented at RP 2024
PDF version: here
Publication link: here
The 2-Dimensional Constraint Loop Problem is Decidable
in Proceedings of ICALP 2024
also presented at RP 2024
PDF version (full version): here
Arxiv link (full version): here
Publication link (conference version): here
Preprints:
-
Surreal fields stable under exponential and logarithmic functionswith Olivier Bournez.PDF version: hereArxiv link: herePublication link: not yet available
-
Surreal fields stable under exponential, logarithmic, derivative and anti-derivative functionswith Olivier Bournez.PDF version: hereArxiv link: herePublication link: not yet available
These
-
Calculs avec la droite réelle généraliséesupervised by Olivier Bournez.PDF version : herePublication link : not yet available
Corrigés H&K
-
Annales 2021 – PSI Mathématiques et InformatiqueLien vers le site H&K : ici
-
Annales 2020 – PSI Mathématiques et InformatiqueLien vers le site H&K : ici
-
Annales 2020 – PC Mathématiques et InformatiqueLien vers le site H&K : ici
-
Annales 2019 – MP Mathématiques et InformatiqueLien vers le site H&K : ici
-
Annales 2017 – PC Mathématiques et InformatiqueLien vers le site H&K : ici