Access content directly

Vincent Jugé

21
Documents

Publications

Image document

On shuffled-square-free words

Laurent Bulteau , Vincent Jugé , Stéphane Vialette
Theoretical Computer Science, 2023, 941, pp.91-103. ⟨10.1016/j.tcs.2022.10.028⟩
Journal articles hal-04290576v1

Uniform generation of infinite concurrent runs: the case of trace monoids

Samy Abbes , Vincent Jugé
Pure mathematics and applications , 2022, 30 (1), pp.1-7. ⟨10.2478/puma-2022-0002⟩
Journal articles hal-01737076v1
Image document

Finding automatic sequences with few correlations

Vincent Jugé , Irène Marcovici
Pure mathematics and applications , 2022, 30 (1), pp.75-81. ⟨10.2478/puma-2022-0012⟩
Journal articles hal-04323443v1
Image document

Asymptotic combinatorics of Artin–Tits monoids and of some other monoids

Samy Abbes , Sébastien Gouëzel , Vincent Jugé , Jean Mairesse
Journal of Algebra, 2019, 525, pp.497-561. ⟨10.1016/j.jalgebra.2019.01.019⟩
Journal articles hal-02092649v1

Uniform measures on braid monoids and dual braid monoids

Samy Abbes , Sébastien Gouëzel , Vincent Jugé , Jean Mairesse
Journal of Algebra, 2017, 473 (1), pp.627-666. ⟨10.1016/j.jalgebra.2016.11.015⟩
Journal articles hal-01344669v1
Image document

The relaxation normal form of braids is regular

Vincent Jugé
International Journal of Algebra and Computation, 2017, 27 (01), pp.61-105. ⟨10.1142/S0218196717500059⟩
Journal articles hal-04323355v1

Curve diagrams, laminations, and the geometric complexity of braids

Vincent Jugé
Journal of Knot Theory and Its Ramifications, 2015, 24 (08), ⟨10.1142/S0218216515500431⟩
Journal articles hal-01615281v1

Enforceable Security Policies Revisited

David Basin , Vincent Jugé , Felix Klaedtke , Eugen Zălinescu
ACM Transactions on Information and System Security, 2013, 16 (1), pp.1-26. ⟨10.1145/2487222.2487225⟩
Journal articles hal-04323369v1

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

Vincent Jugé
33rd Annual Symposium on Combinatorial Pattern Matching, Jun 2022, Prague, Czech Republic. pp.8:1-8:23, ⟨10.4230/LIPIcs.CPM.2022.8⟩
Conference papers hal-04323418v1
Image document

Permutation Pattern Matching for Doubly Partially Ordered Patterns

Laurent Bulteau , Guillaume Fertin , Vincent Jugé , Stéphane Vialette
33rd Annual Symposium on Combinatorial Pattern Matching, Hideo Bannai and Jan Holub, Jun 2022, Prague, Czech Republic
Conference papers hal-03624311v1

Galloping in Fast-Growth Natural Merge Sorts

Elahe Ghasemi , Vincent Jugé , Ghazal Khalighinejad
49th International Colloquium on Automata, Languages, and Programming (ICALP 2022), Jul 2022, Paris, France. pp.68:1-68:19, ⟨10.4230/LIPIcs.ICALP.2022.68⟩
Conference papers hal-04323404v1

Adaptive Shivers Sort: An Alternative Sorting Algorithm

Vincent Jugé
Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, Jan 2020, Salt Lake City, United States. pp.1639-1654, ⟨10.1137/1.9781611975994.101⟩
Conference papers hal-04323501v1
Image document

On the Worst-Case Complexity of TimSort

Nicolas Auger , Vincent Jugé , Cyril Nicaud , Carine Pivoteau
26th Annual European Symposium on Algorithms (ESA 2018), Aug 2018, Helsinki, Finland. pp.4:1--4:13, ⟨10.4230/LIPIcs.ESA.2018.4⟩
Conference papers hal-01798381v1

Finite Bisimulations for Dynamical Systems with Overlapping Trajectories

Béatrice Bérard , Patricia Bouyer , Vincent Jugé
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. pp.26:1--26:17, ⟨10.4230/LIPIcs.CSL.2018.26⟩
Conference papers hal-02077795v1

Unbounded product-form Petri nets

Vincent Jugé , Patricia Bouyer , Serge Haddad
28th International Conference on Concurrency Theory (CONCUR 2017), Sep 2017, Berlin, Germany. ⟨10.4230/LIPIcs.CONCUR.2017.31⟩
Conference papers hal-01615257v1

Dynamic Complexity of the Dyck Reachability

Vincent Jugé , Patricia Bouyer
20th International Conference, Foundations of Software Science and Computation Structures 2017, Apr 2017, Uppsala, Sweden. ⟨10.1007/978-3-662-54458-7⟩
Conference papers hal-01615264v1