# Vincent Jugé

According to our database

Collaborative distances:

^{1}, Vincent Jugé authored at least 6 papers between 2012 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

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

2017

The relaxation normal form of braids is regular.

IJAC, 2017

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

2012

Enforceable Security Policies Revisited.

Proceedings of the Principles of Security and Trust - First International Conference, 2012