| 2025 | ESA | Efficient Top-Down Updates in AVL Trees. | Vincent Jug |
| 2025 | WADS | Grandchildren-Weight-Balanced Binary Search Trees. | Vincent Jug |
| 2024 | AofA | The Alternating Normal Form of Braids and Its Minimal Automaton. | Vincent Jug, June Roupin |
| 2022 | CPM | Permutation Pattern Matching for Doubly Partially Ordered Patterns. | Laurent Bulteau, Guillaume Fertin, Vincent Jug, Stphane Vialette |
| 2022 | CPM | Reduction Ratio of the IS-Algorithm: Worst and Random Cases. | Vincent Jug |
| 2022 | ICALP | Galloping in Fast-Growth Natural Merge Sorts. | Elahe Ghasemi, Vincent Jug, Ghazal Khalighinejad |
| 2020 | SODA | Adaptive Shivers Sort: An Alternative Sorting Algorithm. | Vincent Jug |
| 2019 | LICS | Timed Systems through the Lens of Logic. | S. Akshay, Paul Gastin, Vincent Jug, Shankara Narayanan Krishna |
| 2018 | CSL | Finite Bisimulations for Dynamical Systems with Overlapping Trajectories. | Batrice Brard, Patricia Bouyer, Vincent Jug |
| 2018 | ESA | On the Worst-Case Complexity of TimSort. | Nicolas Auger, Vincent Jug, Cyril Nicaud, Carine Pivoteau |
| 2017 | CONCUR | Unbounded Product-Form Petri Nets. | Patricia Bouyer, Serge Haddad, Vincent Jug |
| 2017 | FOSSACS | Dynamic Complexity of the Dyck Reachability. | Patricia Bouyer, Vincent Jug |