Raymond Boute
Impact in
- Software top 5%
- Software Testing and Debugging Techniques
- Model-Driven Software Engineering Techniques
- Hardware and Architecture top 10%
- Embedded Systems Design Techniques
- VLSI and Analog Circuit Testing
- Parallel Computing and Optimization Techniques
Papers in
-
- Formal Methods in Verification 8
- Numerical Methods and Algorithms 4
-
- Logic, programming, and type systems 11
- Co-authors
- Tom Melham (1 shared paper)Vitaliy Mezhuyev (2 shared papers)Bernhard H. C. Sputh (2 shared papers)E.J. McCluskey (1 shared paper)V. Stavridou (1 shared paper)Diederik Verkest (1 shared paper)Luc Claesen (1 shared paper)
- Journals
- IEEE Transactions on Computers (4 papers)ACM Transactions on Programming Languages and Systems (3 papers)IEEE Antennas and Propagation Magazine (2 papers)Formal Methods in System Design (1 paper)ACM SIGPLAN Notices (1 paper)
- Partner nations
- BelgiumNetherlandsGermany
In The Last Decade
Raymond Boute
35 papers receiving 205 citations
Peers
Comparison fields: 5 of 54
- Software 57
- Hardware and Architecture 66
- Computational Theory and Mathematics 92
- Artificial Intelligence 93
- Theoretical Computer Science 3
Countries citing papers authored by Raymond Boute
This map shows the geographic impact of Raymond Boute's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Raymond Boute with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Raymond Boute more than expected).
Fields of papers citing papers by Raymond Boute
This network shows the impact of papers produced by Raymond Boute. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Raymond Boute. The network helps show where Raymond Boute may publish in the future.
Co-authors
The 7 scholars most cited alongside Raymond Boute, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 41 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 1976 | 37 | |
| 2 | 1992 | 28 | |
| 3 | 1972 | 22 | |
| 4 | 1974 | 16 | |
| 5 | 2005 | 12 | |
| 6 | 2004 | 12 | |
| 7 | 1986 | 10 | |
| 8 | 2011 | 9 | |
| 9 | 1974 | 9 | |
| 10 | Theorem Provers in Circuit Design | 1992 | 9 |
| 11 | 1989 | 8 | |
| 12 | 1980 | 7 | |
| 13 | 2006 | 6 | |
| 14 | 2012 | 6 | |
| 15 | 2009 | 5 | |
| 16 | Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience | 1992 | 4 |
| 17 | Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science) | 2004 | 3 |
| 18 | The Geometry of Bandpass Sampling: A Simple and Safe Approach | 2012 | 3 |
| 19 | 2012 | 3 | |
| 20 | 2000 | 2 |
About Raymond Boute
Raymond Boute is a scholar working on Computational Theory and Mathematics, Artificial Intelligence, Hardware and Architecture, Electrical and Electronic Engineering and Control and Systems Engineering, having authored 41 papers that have together received 235 indexed citations. Recurring topics across this work include Logic, programming, and type systems (11 papers), Formal Methods in Verification (8 papers), Embedded Systems Design Techniques (7 papers), Numerical Methods and Algorithms (4 papers), Model-Driven Software Engineering Techniques (4 papers), History and Theory of Mathematics (3 papers), VLSI and FPGA Design Techniques (3 papers) and Fault Detection and Control Systems (3 papers). The work is most often cited by research in Software (57 citations), Hardware and Architecture (66 citations), Computational Theory and Mathematics (92 citations), Artificial Intelligence (93 citations) and Theoretical Computer Science (3 citations). Raymond Boute has collaborated with scholars based in Belgium, Netherlands and Germany. Frequent co-authors include Tom Melham, Vitaliy Mezhuyev, Bernhard H. C. Sputh, E.J. McCluskey, V. Stavridou, Diederik Verkest and Luc Claesen. Their work appears in journals such as IEEE Transactions on Computers, ACM Transactions on Programming Languages and Systems, IEEE Antennas and Propagation Magazine, Formal Methods in System Design and ACM SIGPLAN Notices.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.