According to our database1, Vincent Jugé authored at least 6 papers between 2012 and 2018.
Legend:Book In proceedings Article PhD thesis Other
On the Worst-Case Complexity of TimSort.
Proceedings of the 26th Annual European Symposium on Algorithms, 2018
Finite Bisimulations for Dynamical Systems with Overlapping Trajectories.
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018
The relaxation normal form of braids is regular.
Dynamic Complexity of the Dyck Reachability.
Proceedings of the Foundations of Software Science and Computation Structures, 2017
Unbounded Product-Form Petri Nets.
Proceedings of the 28th International Conference on Concurrency Theory, 2017
Enforceable Security Policies Revisited.
Proceedings of the Principles of Security and Trust - First International Conference, 2012