Thomas Grégoire

According to our database, Thomas Grégoire authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms.

Thomas Grégoire, Adam Chlipala

J. Autom. Reason., 2019