Login / Signup
Quentin Petitjean
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Cut Elimination
Video Tracking
Predicate Logic
Action Theories
Top Venues
SoftwareX
IJCAR (2)
</>
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)