What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment? - Tanguy Bozec; Nicolas Peltier; Quentin Petitjean; Mihaela Sighireanu (IJCAR (2), 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)