Quentin Petitjean

According to our database, Quentin Petitjean authored at least 2 papers in 2024.

Collaborative distances:

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

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