Pascal Raymond
About
Pascal Raymond has authored 22 papers that have received a total of 669 indexed citations.
This includes 14 papers in Computational Theory and Mathematics, 11 papers in Hardware and Architecture and 7 papers in Software. The topics of these papers are Formal Methods in Verification (14 papers), Embedded Systems Design Techniques (10 papers) and Real-Time Systems Scheduling (6 papers). Pascal Raymond is often cited by papers focused on Formal Methods in Verification (14 papers), Embedded Systems Design Techniques (10 papers) and Real-Time Systems Scheduling (6 papers) and collaborates with scholars based in France, Germany and United Kingdom. Pascal Raymond's co-authors include Nicolas Halbwachs, Erwan Jahier, Christophe Ratel, P. Caspi and J. C. Fernandez and has published in prestigious journals such as Proceedings of the IEEE, The Holocene and Quaternary International.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by J. Huc Breakdown of academic impact, for papers by Lindsay Lundberg Breakdown of academic impact, for papers by Safwat S. Gabr Breakdown of academic impact, for papers by James R. Yancey Breakdown of academic impact, for papers by Staffan Bremmer Breakdown of academic impact, for papers by Bethany A. Buck‐Koehntop Breakdown of academic impact, for papers by Chuang Yang Breakdown of academic impact, for papers by Toshihiko Shimada