Jacques Pulou
About
Jacques Pulou has authored 8 papers that have received a total of 70 indexed citations.
This includes 8 papers in Hardware and Architecture, 5 papers in Computational Theory and Mathematics and 4 papers in Artificial Intelligence. The topics of these papers are Embedded Systems Design Techniques (6 papers), Real-Time Systems Scheduling (6 papers) and Formal Methods in Verification (5 papers). Jacques Pulou is often cited by papers focused on Embedded Systems Design Techniques (6 papers), Real-Time Systems Scheduling (6 papers) and Formal Methods in Verification (5 papers) and collaborates with scholars based in France, United States and Sweden. Jacques Pulou's co-authors include Joseph Sifakis, Sergio Yovine, Juan F. Navas, Mathieu Jan and Fabrice Kordon and has published in prestigious journals such as ACM SIGPLAN Notices, Software Practice and Experience and Science of Computer Programming.
In The Last Decade
side by side view
Countries citing papers authored by Jacques Pulou
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Martina Pérez Breakdown of academic impact, for papers by Qiaofa Lu Breakdown of academic impact, for papers by Cervantes Saavedra Breakdown of academic impact, for papers by Xiaojian Fang Breakdown of academic impact, for papers by Luigi Raumer Breakdown of academic impact, for papers by Chae Hoon Lim Breakdown of academic impact, for papers by Maha Elbayad Breakdown of academic impact, for papers by Kentaro Aso