P. Caspi
About
P. Caspi has authored 10 papers that have received a total of 890 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
Top countries impacted by papers by Larry Normansell Top fields papers by Kindle Williams are about Top countries impacted by papers by Elias R. Gerrick Top fields papers by Sarlan Abdulrachman are about Top journals papers by Artem B. Kutikov are published in Top fields papers by William R. Wykoff are about Top journals papers by David A. Kaku are published in Top journals papers by Katayoon Darvishi are published in