| The Euclidean definition of the functions div and mod RT Boute ACM Transactions on Programming Languages and Systems (TOPLAS) 14 (2), 127-144, 1992 | 98 | 1992 |
| The binary decision machine as programmable controller RT Boute Euromicro Newsletter 2 (1), 16-22, 1976 | 96 | 1976 |
| Fuzzy versus quantitative association rules: A fair data-driven comparison H Verlinde, M De Cock, R Boute IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics) 36 …, 2006 | 92 | 2006 |
| Property encoding: Application in binary picture encoding and boundary following GS Sidhu, RT Boute IEEE Transactions on Computers 100 (11), 1206-1216, 1972 | 45 | 1972 |
| Formal Development of a Network-Centric RTOS: software engineering for reliable embedded systems E Verhulst, RT Boute, JMS Faria, BHC Sputh, V Mezhuyev Springer Science & Business Media, 2011 | 44 | 2011 |
| Systems semantics: principles, applications, and implementation R Boute ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (1), 118-155, 1988 | 44 | 1988 |
| Distinguishing sets for optimal state identification in checking experiments RT Boute IEEE Transactions on Computers 100 (8), 874-877, 1974 | 38 | 1974 |
| Calculational semantics: deriving programming theories from equations by functional predicate calculus RT Boute ACM Transactions on Programming Languages and Systems (TOPLAS) 28 (4), 747-793, 2006 | 34 | 2006 |
| Concrete generic functionals: Principles, design and applications RT Boute Generic Programming: IFIP TC2/WG2. 1 Working Conference Programming July 11 …, 2003 | 29 | 2003 |
| Functional declarative language design and predicate calculus: a practical approach R Boute ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (5), 988-1047, 2005 | 28 | 2005 |
| Integrating formal methods by unifying abstractions R Boute Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004 | 27 | 2004 |
| Fundamentals of hardware description languages and declarative languages R Boute Fundamentals and Standards in Hardware Description Languages, 3-38, 1993 | 25 | 1993 |
| System semantics and formal circuit description R Boute IEEE transactions on circuits and systems 33 (12), 1219-1231, 1986 | 25 | 1986 |
| System semantics and formal circuit description R Boute IEEE transactions on circuits and systems 33 (12), 1219-1231, 1986 | 25 | 1986 |
| Specification-driven design with Eiffel and agents for teaching lightweight formal methods RF Paige, JS Ostroff International conference on technical formal methods, 107-123, 2004 | 19* | 2004 |
| Funmath illustrated: A declarative formalism and application examples RT Boute Computing Science Institute, Department of Informatics, Faculty of …, 1993 | 19 | 1993 |
| TOXICITY OF ALLYL ESTERS IN INSECT CELL LINES AND IN SPODOPTERA LITTORALIS LARVAE M Giner, J Avilla, M Balcells, S Caccia, G Smagghe Archives of Insect Biochemistry and Physiology 79 (1), 18-30, 2012 | 17 | 2012 |
| A heretical view on type embedding RT Boute ACM Sigplan Notices 25 (1), 25-28, 1990 | 17 | 1990 |
| Representational and denotational semantics of digital systems RT Boute IEEE transactions on computers 38 (7), 986-999, 1989 | 16 | 1989 |
| Supertotal function definition in mathematics and software engineering R Boute IEEE Transactions on Software Engineering 26 (7), 662-672, 2000 | 14 | 2000 |
