Vincent Jugé

According to our database, Vincent Jugé authored at least 16 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Finding automatic sequences with few correlations.

Vincent Jugé, Irène Marcovici

RAIRO Theor. Informatics Appl., 2024

2023

On shuffled-square-free words.

Laurent Bulteau, Vincent Jugé, Stéphane Vialette

Theor. Comput. Sci., 2023

2022

Galloping in Fast-Growth Natural Merge Sorts.

Elahe Ghasemi, Vincent Jugé, Ghazal Khalighinejad

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

Reduction Ratio of the IS-Algorithm: Worst and Random Cases.

Vincent Jugé

Proceedings of the 33rd Annual Symposium on Combinatorial Pattern Matching, 2022

Permutation Pattern Matching for Doubly Partially Ordered Patterns.

Laurent Bulteau, Guillaume Fertin, Vincent Jugé, Stéphane Vialette

Proceedings of the 33rd Annual Symposium on Combinatorial Pattern Matching, 2022

2020

Galloping in natural merge sorts.

Vincent Jugé, Ghazal Khalighinejad

CoRR, 2020

Adaptive Shivers Sort: An Alternative Sorting Algorithm.

Vincent Jugé

Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms, 2020

2019

Timed Systems through the Lens of Logic.

S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

On the Worst-Case Complexity of TimSort.

Nicolas Auger, Vincent Jugé, Cyril Nicaud, Carine Pivoteau

Proceedings of the 26th Annual European Symposium on Algorithms, 2018

Finite Bisimulations for Dynamical Systems with Overlapping Trajectories.

Béatrice Bérard, Patricia Bouyer, Vincent Jugé

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017

The relaxation normal form of braids is regular.

Vincent Jugé

Int. J. Algebra Comput., 2017

Courcelle's Theorem Made Dynamic.

Patricia Bouyer-Decitre, Vincent Jugé, Nicolas Markey

CoRR, 2017

Dynamic Complexity of the Dyck Reachability.

Patricia Bouyer, Vincent Jugé

Proceedings of the Foundations of Software Science and Computation Structures, 2017

Unbounded Product-Form Petri Nets.

Patricia Bouyer, Serge Haddad, Vincent Jugé

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Dynamic Complexity of Parity Games with Bounded Tree-Width.

Patricia Bouyer, Vincent Jugé, Nicolas Markey

CoRR, 2016

2013

Enforceable Security Policies Revisited.

David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu

ACM Trans. Inf. Syst. Secur., 2013