Julien Provost

32 papers and 393 indexed citations i.

Julien Provost has authored 32 papers that have received a total of 393 indexed citations. This includes 14 papers in Computational Theory and Mathematics, 11 papers in Software and 10 papers in Industrial and Manufacturing Engineering. The topics of these papers are Formal Methods in Verification (10 papers), Software Testing and Debugging Techniques (10 papers) and Flexible and Reconfigurable Manufacturing Systems (9 papers). Julien Provost is often cited by papers focused on Formal Methods in Verification (10 papers), Software Testing and Debugging Techniques (10 papers) and Flexible and Reconfigurable Manufacturing Systems (9 papers) and collaborates with scholars based in Germany, France and Sweden. Julien Provost's co-authors include Jean-Marc Faure, Bengt Lennartson, Alfred Theorin, Åsa Fast–Berglund and Michael Lieder and has published in prestigious journals such as Sensors, International Journal of Production Research and British Journal of Ophthalmology