Vincent Jugé

According to our database1, Vincent Jugé authored at least 6 papers between 2012 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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


  Loading...