P. Caspi
About
P. Caspi has authored 10 papers that have received a total of 891 indexed citations.
This includes 7 papers in Hardware and Architecture, 6 papers in Computational Theory and Mathematics and 3 papers in Artificial Intelligence. The topics of these papers are Embedded Systems Design Techniques (7 papers), Formal Methods in Verification (6 papers) and Real-Time Systems Scheduling (6 papers). P. Caspi is often cited by papers focused on Embedded Systems Design Techniques (7 papers), Formal Methods in Verification (6 papers) and Real-Time Systems Scheduling (6 papers) and collaborates with scholars based in France and United States. P. Caspi's co-authors include Nicolas Halbwachs, D. Pilaud, Pascal Raymond, Stavros Tripakis and Florence Maraninchi and has published in prestigious journals such as Proceedings of the IEEE, IEEE Transactions on Software Engineering and IEEE Transactions on Computers.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Leonie Brockmann Breakdown of academic impact, for papers by Miller Bh Breakdown of academic impact, for papers by Eddie L. Angleton Breakdown of academic impact, for papers by Youchun Jiang Breakdown of academic impact, for papers by Antoine Miech Breakdown of academic impact, for papers by Guylaine Chabot Breakdown of academic impact, for papers by R. F. McGehee Breakdown of academic impact, for papers by Amanda Dickinson