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 countries impacted by papers by Yoga Budi Bhakti Top countries impacted by papers by Sandra Cano Top fields papers by Patricia Sheridan are about Top journals papers by Doug Baldwin are published in Top fields papers by Jung-Hwan Choi are about Top journals papers by Jack M. Sosin are published in Top fields papers by Crawford L. Elder are about Top authors papers by Mark L. McPherran are co-authored with