Raymond Boute
Raymond Boute
Emeritus Professor of Electrical Engineering, Ghent University
Verified email at pandora.be - Homepage
Title
Cited by
Cited by
Year
The Euclidean definition of the functions div and mod
RT Boute
ACM Transactions on Programming Languages and Systems (TOPLAS) 14 (2), 127-144, 1992
891992
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
862006
The binary decision machine as programmable controller
RT Boute
Euromicro Newsletter 2 (1), 16-22, 1976
831976
Systems semantics: principles, applications, and implementation
R Boute
ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (1), 118-155, 1988
481988
Property encoding: Application in binary picture encoding and boundary following
GS Sidhu, RT Boute
IEEE Transactions on Computers 100 (11), 1206-1216, 1972
411972
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
332011
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
322006
Distinguishing sets for optimal state identification in checking experiments
RT Boute
IEEE Transactions on Computers 100 (8), 874-877, 1974
311974
Concrete generic functionals
RT Boute
Generic Programming, 89-119, 2003
292003
System semantics and formal circuit description
R Boute
IEEE transactions on circuits and systems 33 (12), 1219-1231, 1986
291986
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
272005
System semantics and formal circuit description
R Boute
IEEE transactions on circuits and systems 33 (12), 1219-1231, 1986
261986
Integrating formal methods by unifying abstractions
R Boute
International Conference on Integrated Formal Methods, 441-460, 2004
252004
Fundamentals of hardware description languages and declarative languages
R Boute
Fundamentals and Standards in Hardware Description Languages, 3-38, 1993
231993
Representational and denotational semantics of digital systems
RT Boute
IEEE transactions on computers 38 (7), 986-999, 1989
201989
Funmath illustrated: A declarative formalism and application examples
RT Boute
Computing Science Institute, Department of Informatics, Faculty of …, 1993
191993
Use and management of edible non-crop plants in southern Ecuador.
V Van den Eynden
182002
A heretical view on type embedding
RT Boute
ACM Sigplan Notices 25 (1), 25-28, 1990
181990
Fault equivalence in sequential machines
R Boute, EJ McCluskey
Proc. Symp. on Computers and Automata, 483-507, 1971
181971
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
17*2004
The system can't perform the operation now. Try again later.
Articles 1–20