Quentin Petitjean

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Cut Elimination

Predicate Logic

Action Theories

Top Venues

Publications

Tanguy Bozec, Nicolas Peltier, Quentin Petitjean, Mihaela Sighireanu
What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment? IJCAR (2) (2024)
Quentin Petitjean, Silène Lartigue, Mélina Cointe, Nicolas Ris, Vincent Calcagno
MoveR: An R package for easy processing and analysis of animal video-tracking data. SoftwareX 26 (2024)