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
Explore authors with similar magnitude of impact
Top countries impacted by papers by Karlijn van der Straten Top authors papers by Metals Minerals are co-authored with Top countries impacted by papers by Inge Mangelsdorf Top journals papers by Ashley Vanderbeck are published in Top countries impacted by papers by R Davie Top journals papers by Rodrigo Luppino Assad are published in Top fields papers by Piotr Antosik are about Top authors papers by Gerson Javier Pérez‐Valbuena are co-authored with