Vincent Jugé

34 papers A* 3A 2B 6C 1Journal 21Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Revisiting the Sparse Matrix Compression Problem.
CoRR
Vincent Jugé, Dominik Köppl, Vincent Limouzy, Andrea Marino, Jannik Olblich, Giulia Punzi, Takeaki Uno
2025 J jnl
Correction: Galloping in Fast-Growth Natural Merge Sorts.
Algorithmica
Elahe Ghasemi, Vincent Jugé, Ghazal Khalighinejad, Helia Yazdanyar
2025 A conf
Efficient Top-Down Updates in AVL Trees.
ESA
Vincent Jugé
2025 J jnl
Ergodic properties of concurrent systems.
CoRR
Samy Abbes, Vincent Jugé
2025 J jnl
Ergodic properties of concurrent systems.
Discret. Event Dyn. Syst.
Samy Abbes, Vincent Jugé
2025 J jnl
Galloping in Fast-Growth Natural Merge Sorts.
Algorithmica
Elahe Ghasemi, Vincent Jugé, Ghazal Khalighinejad, Helia Yazdanyar
2025 B conf
Grandchildren-Weight-Balanced Binary Search Trees.
WADS
Vincent Jugé
2024 J jnl
Adaptive Shivers Sort: An Alternative Sorting Algorithm.
ACM Trans. Algorithms
Vincent Jugé
2024 J jnl
Efficient top-down updates in AVL trees.
CoRR
Vincent Jugé
2024 J jnl
Finding automatic sequences with few correlations.
RAIRO Theor. Informatics Appl.
Vincent Jugé, Irène Marcovici
2024 J jnl
Grand-children weight-balanced binary search trees.
CoRR
Vincent Jugé
2024 C conf
The Alternating Normal Form of Braids and Its Minimal Automaton.
AofA
Vincent Jugé, June Roupin
2023 J jnl
On shuffled-square-free words.
Theor. Comput. Sci.
Laurent Bulteau, Vincent Jugé, Stéphane Vialette
2022 A* conf
Galloping in Fast-Growth Natural Merge Sorts.
ICALP
Elahe Ghasemi, Vincent Jugé, Ghazal Khalighinejad
2022 B conf
Permutation Pattern Matching for Doubly Partially Ordered Patterns.
CPM
Laurent Bulteau, Guillaume Fertin, Vincent Jugé, Stéphane Vialette
2022 B conf
Reduction Ratio of the IS-Algorithm: Worst and Random Cases.
CPM
Vincent Jugé
2022 J jnl
Reduction ratio of the IS-algorithm: worst and random cases.
CoRR
Vincent Jugé
2020 A* conf
Adaptive Shivers Sort: An Alternative Sorting Algorithm.
SODA
Vincent Jugé
2020 J jnl
Galloping in natural merge sorts.
CoRR
Vincent Jugé, Ghazal Khalighinejad
2019 A* conf
Timed Systems through the Lens of Logic.
LICS
S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna
2019 J jnl
Timed Systems through the Lens of Logic.
CoRR
S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna
2018 J jnl
Adaptive Shivers Sort: An Alternative Sorting Algorithm.
CoRR
Vincent Jugé
2018 B conf
Finite Bisimulations for Dynamical Systems with Overlapping Trajectories.
CSL
Béatrice Bérard, Patricia Bouyer, Vincent Jugé
2018 A conf
On the Worst-Case Complexity of TimSort.
ESA
Nicolas Auger, Vincent Jugé, Cyril Nicaud, Carine Pivoteau
2018 J jnl
On the Worst-Case Complexity of TimSort.
CoRR
Nicolas Auger, Vincent Jugé, Cyril Nicaud, Carine Pivoteau
2017 J jnl
Courcelle's Theorem Made Dynamic.
CoRR
Patricia Bouyer-Decitre, Vincent Jugé, Nicolas Markey
2017 B conf
Dynamic Complexity of the Dyck Reachability.
FoSSaCS
Patricia Bouyer, Vincent Jugé
2017 J jnl
The relaxation normal form of braids is regular.
Int. J. Algebra Comput.
Vincent Jugé
2017 B conf
Unbounded Product-Form Petri Nets.
CONCUR
Patricia Bouyer, Serge Haddad, Vincent Jugé
2017 J jnl
Unbounded product-form Petri nets.
CoRR
Patricia Bouyer, Serge Haddad, Vincent Jugé
2016 J jnl
Dynamic Complexity of Parity Games with Bounded Tree-Width.
CoRR
Patricia Bouyer, Vincent Jugé, Nicolas Markey
2016 J jnl
Dynamic Complexity of the Dyck Reachability.
CoRR
Patricia Bouyer, Vincent Jugé
2013 J jnl
Enforceable Security Policies Revisited.
ACM Trans. Inf. Syst. Secur.
David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu
2012 — conf
Enforceable Security Policies Revisited.
POST
David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu