Enforceable Security Policies Revisited. - David A. Basin; Vincent Jugé; Felix Klaedtke; Eugen Zalinescu (ACM Trans. Inf. Syst. Secur., 2013)

Dynamic Complexity of Parity Games with Bounded Tree-Width. - Patricia Bouyer; Vincent Jugé; Nicolas Markey (CoRR, 2016)

Unbounded Product-Form Petri Nets. - Patricia Bouyer; Serge Haddad; Vincent Jugé (CONCUR, 2017)

Dynamic Complexity of the Dyck Reachability. - Patricia Bouyer; Vincent Jugé (FoSSaCS, 2017)

Courcelle's Theorem Made Dynamic. - Patricia Bouyer-Decitre; Vincent Jugé; Nicolas Markey (CoRR, 2017)

The relaxation normal form of braids is regular. - Vincent Jugé (Int. J. Algebra Comput., 2017)

Finite Bisimulations for Dynamical Systems with Overlapping Trajectories. - Béatrice Bérard; Patricia Bouyer; Vincent Jugé (CSL, 2018)

On the Worst-Case Complexity of TimSort. - Nicolas Auger; Vincent Jugé; Cyril Nicaud; Carine Pivoteau (ESA, 2018)

Timed Systems through the Lens of Logic. - S. Akshay 001; Paul Gastin; Vincent Jugé; Shankara Narayanan Krishna (LICS, 2019)

Galloping in natural merge sorts. - Vincent Jugé; Ghazal Khalighinejad (CoRR, 2020)

Permutation Pattern Matching for Doubly Partially Ordered Patterns. - Laurent Bulteau; Guillaume Fertin; Vincent Jugé; Stéphane Vialette (CPM, 2022)

Reduction Ratio of the IS-Algorithm: Worst and Random Cases. - Vincent Jugé (CPM, 2022)

Galloping in Fast-Growth Natural Merge Sorts. - Elahe Ghasemi; Vincent Jugé; Ghazal Khalighinejad (ICALP, 2022)

On shuffled-square-free words. - Laurent Bulteau; Vincent Jugé; Stéphane Vialette (Theor. Comput. Sci., 2023)

The Alternating Normal Form of Braids and Its Minimal Automaton. - Vincent Jugé; June Roupin (AofA, 2024)

Grand-children weight-balanced binary search trees. - Vincent Jugé (CoRR, 2024)

Efficient top-down updates in AVL trees. - Vincent Jugé (CoRR, 2024)

Finding automatic sequences with few correlations. - Vincent Jugé; Irène Marcovici (RAIRO Theor. Informatics Appl., 2024)

Adaptive Shivers Sort: An Alternative Sorting Algorithm. - Vincent Jugé (ACM Trans. Algorithms, 2024)

Grandchildren-Weight-Balanced Binary Search Trees. - Vincent Jugé (WADS, 2025)

Galloping in Fast-Growth Natural Merge Sorts. - Elahe Ghasemi; Vincent Jugé; Ghazal Khalighinejad; Helia Yazdanyar (Algorithmica, 2025)

Correction: Galloping in Fast-Growth Natural Merge Sorts. - Elahe Ghasemi; Vincent Jugé; Ghazal Khalighinejad; Helia Yazdanyar (Algorithmica, 2025)

Ergodic properties of concurrent systems. - Samy Abbes; Vincent Jugé (Discret. Event Dyn. Syst., 2025)