Thierry Gautier

27 papers and 270 indexed citations i.

About

Thierry Gautier has authored 27 papers that have received a total of 270 indexed citations. This includes 23 papers in Hardware and Architecture, 15 papers in Computational Theory and Mathematics and 7 papers in Computer Networks and Communications. The topics of these papers are Embedded Systems Design Techniques (19 papers), Formal Methods in Verification (14 papers) and Real-Time Systems Scheduling (14 papers). Thierry Gautier is often cited by papers focused on Embedded Systems Design Techniques (19 papers), Formal Methods in Verification (14 papers) and Real-Time Systems Scheduling (14 papers) and collaborates with scholars based in France, United States and Brazil. Thierry Gautier's co-authors include Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic and Huafeng Yu and has published in prestigious journals such as Experimental Cell Research, European Journal of Cancer and IEEE Transactions on Parallel and Distributed Systems

In The Last Decade

Rankless by CCL
2025