Quentin Petitjean

According to our database, Quentin Petitjean authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Deciding Satisfiability for Overlaid Symbolic Heaps.

Nicolas Peltier, Quentin Petitjean, Mihaela Sighireanu

Proceedings of the Frontiers of Combining Systems - 15th International Symposium, 2025

2024

MoveR: An R package for easy processing and analysis of animal video-tracking data.

Quentin Petitjean, Silène Lartigue, Mélina Cointe, Nicolas Ris, Vincent Calcagno

SoftwareX, 2024

What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?

Tanguy Bozec, Nicolas Peltier, Quentin Petitjean, Mihaela Sighireanu

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024