Vincent Trélat

According to our database, Vincent Trélat authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a Graph.

Stephan Merz, Vincent Trélat

Arch. Formal Proofs, 2022