Christophe Ratel
About
Christophe Ratel has authored 4 papers that have received a total of 133 indexed citations.
This includes 4 papers in Computational Theory and Mathematics, 4 papers in Hardware and Architecture and 2 papers in Software. The topics of these papers are Formal Methods in Verification (4 papers), Embedded Systems Design Techniques (3 papers) and Real-Time Systems Scheduling (2 papers). Christophe Ratel is often cited by papers focused on Formal Methods in Verification (4 papers), Embedded Systems Design Techniques (3 papers) and Real-Time Systems Scheduling (2 papers) and collaborates with scholars based in France. Christophe Ratel's co-authors include Nicolas Halbwachs, F. Lagnier, Pascal Raymond, Ahmed Bouajjani and J. C. Fernandez and has published in prestigious journals such as IEEE Transactions on Software Engineering, Acta Informatica and Science of Computer Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Dylan I. Lee are published in Top journals papers by Laura Contin are published in Top journals papers by T. Mediavilla are published in Top authors papers by Kwame Y. Daaku are co-authored with Top authors papers by Theodore F. Cohen are co-authored with Top fields papers by Alexander Hansen are about Top fields papers by Rolf Rimmele are about Top authors papers by Haoti Zhong are co-authored with