Concepedia

Raymond Boute

RB

Statistics

Publications

11

Citations

283

H-Index

10

Active since

1972

Affiliations

Radboud University Nijmegen(Current)

Ghent University

Raymond Boute is an author at Radboud University Nijmegen specializing in computer science, computing, and formal methods.

Publications per year

1972–2006

11

Publications

11

The binary decision machine as programmable controller

Raymond Boute · Euromicro Newsletter · 1976 · 55 citations

Engineering, Computer Engineering, Computer Science +14

The Euclidean definition of the functions div and mod

Raymond Boute · ACM Transactions on Programming Languages and Systems · 1992 · 49 citations · Full text

Natural Sciences, Computer Science, Mathematics +8

Theorem Provers in Circuit Design

Stavridou, Tom Melham, Raymond Boute · 1992 · 31 citations

Computing, Computer Engineering, Computer Science +12

Property Encoding: Application in Binary Picture Encoding and Boundary Following

Gursharan S. Sidhu, Raymond Boute · IEEE Transactions on Computers · 1972 · 27 citations

Arts, Computer Science, Computer Vision +16

Distinguishing Sets for Optimal State Identification in Checking Experiments

Raymond Boute · IEEE Transactions on Computers · 1974 · 27 citations

Natural Sciences, Computer Science, Mathematics +11

1–5 of 11