Quentin Petitjean
Orcid: 0009-0004-6504-8336Affiliations:
- Paris-Saclay University, ENS Paris-Saclay, CNRS, LMF, Gif-sur-Yvette, France
According to our database1,
Quentin Petitjean authored at least 3 papers
between 2024 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2026
Automated Tools for Inductive Reasoning in Separation Logic. (Outils automatisés pour le raisonnement inductif en logique de séparation).
PhD thesis, 2026
2025
Proceedings of the Frontiers of Combining Systems - 15th International Symposium, 2025
2024
What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024