Vincent Jugé

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 22

Top Topics

Linear Dynamical Systems

Top Venues

Publications

Vincent Jugé, June Roupin
The Alternating Normal Form of Braids and Its Minimal Automaton. AofA (2024)
Vincent Jugé, Irène Marcovici
Finding automatic sequences with few correlations. RAIRO Theor. Informatics Appl. 58 (2024)
Laurent Bulteau, Vincent Jugé, Stéphane Vialette
On shuffled-square-free words. Theor. Comput. Sci. 941 (2023)
Laurent Bulteau, Guillaume Fertin, Vincent Jugé, Stéphane Vialette
Permutation Pattern Matching for Doubly Partially Ordered Patterns. CPM (2022)
Vincent Jugé
Reduction ratio of the IS-algorithm: worst and random cases. CoRR (2022)
Vincent Jugé
Reduction Ratio of the IS-Algorithm: Worst and Random Cases. CPM (2022)
Elahe Ghasemi, Vincent Jugé, Ghazal Khalighinejad
Galloping in Fast-Growth Natural Merge Sorts. ICALP (2022)
Vincent Jugé
Adaptive Shivers Sort: An Alternative Sorting Algorithm. SODA (2020)
Vincent Jugé, Ghazal Khalighinejad
Galloping in natural merge sorts. CoRR (2020)
S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna
Timed Systems through the Lens of Logic. CoRR (2019)
S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna
Timed Systems through the Lens of Logic. LICS (2019)
Vincent Jugé
Adaptive Shivers Sort: An Alternative Sorting Algorithm. CoRR (2018)
Béatrice Bérard, Patricia Bouyer, Vincent Jugé
Finite Bisimulations for Dynamical Systems with Overlapping Trajectories. CSL (2018)
Nicolas Auger, Vincent Jugé, Cyril Nicaud, Carine Pivoteau
On the Worst-Case Complexity of TimSort. ESA (2018)
Nicolas Auger, Vincent Jugé, Cyril Nicaud, Carine Pivoteau
On the Worst-Case Complexity of TimSort. CoRR (2018)
Vincent Jugé
The relaxation normal form of braids is regular. Int. J. Algebra Comput. 27 (1) (2017)
Patricia Bouyer, Serge Haddad, Vincent Jugé
Unbounded product-form Petri nets. CoRR (2017)
Patricia Bouyer, Serge Haddad, Vincent Jugé
Unbounded Product-Form Petri Nets. CONCUR (2017)
Patricia Bouyer-Decitre, Vincent Jugé, Nicolas Markey
Courcelle's Theorem Made Dynamic. CoRR (2017)
Patricia Bouyer, Vincent Jugé
Dynamic Complexity of the Dyck Reachability. FoSSaCS (2017)
Patricia Bouyer, Vincent Jugé, Nicolas Markey
Dynamic Complexity of Parity Games with Bounded Tree-Width. CoRR (2016)
Patricia Bouyer, Vincent Jugé
Dynamic Complexity of the Dyck Reachability. CoRR (2016)
David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu
Enforceable Security Policies Revisited. ACM Trans. Inf. Syst. Secur. 16 (1) (2013)
David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu
Enforceable Security Policies Revisited. POST (2012)