Raymond Boute
About
Raymond Boute has authored 32 papers that have received a total of 138 indexed citations.
This includes 14 papers in Computational Theory and Mathematics, 10 papers in Artificial Intelligence and 7 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (9 papers), Formal Methods in Verification (7 papers) and Embedded Systems Design Techniques (5 papers). Raymond Boute is often cited by papers focused on Logic, programming, and type systems (9 papers), Formal Methods in Verification (7 papers) and Embedded Systems Design Techniques (5 papers) and collaborates with scholars based in Belgium, The Netherlands and United Kingdom. Raymond Boute's co-authors include Bernhard H. C. Sputh, Vitaliy Mezhuyev, Diederik Verkest and Luc Claesen and has published in prestigious journals such as IEEE Signal Processing Magazine, IEEE Transactions on Software Engineering and SIAM Review
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Mat Rahimi Yusof are co-authored with Top fields papers by H. R. Ranganath are about Top authors papers by Sean Scalmer are co-authored with Top countries impacted by papers by Louis L. Martz Top authors papers by Leonard W. Ferguson are co-authored with Top authors papers by Jacqueline Carroy are co-authored with Top authors papers by Wahyu Widhiarso are co-authored with Top countries impacted by papers by Francesca Bignami