Frédéric Mallet
About
Frédéric Mallet has authored 42 papers that have received a total of 214 indexed citations.
This includes 35 papers in Hardware and Architecture, 32 papers in Computational Theory and Mathematics and 8 papers in Software. The topics of these papers are Embedded Systems Design Techniques (32 papers), Formal Methods in Verification (32 papers) and Real-Time Systems Scheduling (31 papers). Frédéric Mallet is often cited by papers focused on Embedded Systems Design Techniques (32 papers), Formal Methods in Verification (32 papers) and Real-Time Systems Scheduling (31 papers) and collaborates with scholars based in France, China and United States. Frédéric Mallet's co-authors include Charles André, Robert de Simone, Julien Deantoni, Yixiang Chen and Yuanrui Zhang and has published in prestigious journals such as IEEE Transactions on Computers, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Sayan Sdoodee are co-authored with Top authors papers by David Rubin are co-authored with Top fields papers by Paul R. Goldin are about Top fields papers by Gerhart Jander are about Top fields papers by Savaş Şencan are about Top fields papers by S. Devasahayam are about Top authors papers by Jie Kong are co-authored with Top fields papers by Belinda Agyapong are about