Vincent Jugé

21
Documents

Publications

Publications

Deposit thumbnail

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⟩

Article dans une revue hal-04290576v1
Deposit thumbnail

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⟩

Article dans une revue hal-04323443v1

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⟩

Article dans une revue hal-01737076v1
Deposit thumbnail

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⟩

Article dans une revue hal-02092649v1
Deposit thumbnail

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⟩

Article dans une revue hal-04323355v1

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⟩

Article dans une revue hal-01344669v1

Curve diagrams, laminations, and the geometric complexity of braids

Vincent Jugé

Journal of Knot Theory and Its Ramifications, 2015, 24 (08), ⟨10.1142/S0218216515500431⟩

Article dans une revue 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⟩

Article dans une revue hal-04323369v1
Deposit thumbnail

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. ⟨10.4230/lipics.cpm.2022.21⟩

Communication dans un congrès 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⟩

Communication dans un congrès hal-04323404v1

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⟩

Communication dans un congrès hal-04323418v1

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⟩

Communication dans un congrès hal-04323501v1

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⟩

Communication dans un congrès hal-02077795v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01798381v1

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⟩

Communication dans un congrès 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⟩

Communication dans un congrès hal-01615264v1