Thierry Gautier
About
Thierry Gautier has authored 7 papers that have received a total of 207 indexed citations.
This includes 6 papers in Computational Theory and Mathematics, 6 papers in Hardware and Architecture and 1 paper in Artificial Intelligence. The topics of these papers are Embedded Systems Design Techniques (5 papers), Formal Methods in Verification (5 papers) and Real-Time Systems Scheduling (4 papers). Thierry Gautier is often cited by papers focused on Embedded Systems Design Techniques (5 papers), Formal Methods in Verification (5 papers) and Real-Time Systems Scheduling (4 papers) and collaborates with scholars based in France. Thierry Gautier's co-authors include Jean-Pierre Talpin, Loïc Besnard and Paul Le Guernic and has published in prestigious journals such as Proceedings of the IEEE, ACM SIGPLAN Notices and Parallel Computing
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by J. M. Futyan are published in Top authors papers by Pinelopi Andrikakou are co-authored with Top journals papers by T. Ekelöf are published in Top countries impacted by papers by Rawan Arar Top fields papers by Anastasios Tzanidakis are about Top countries impacted by papers by Susan A. David Top authors papers by Madelyn Koh are co-authored with Top fields papers by Christine Czerniak are about