Property Encoding: Application in Binary Picture Encoding and Boundary Following. - Gursharan S. Sidhu; Raymond T. Boute (IEEE Trans. Computers, 1972)

Distinguishing Sets for Optimal State Identification in Checking Experiments. - Raymond T. Boute (IEEE Trans. Computers, 1974)

Optimal and Near-Optimal Checking Experiments for Output Faults in Sequential Machines. - Raymond T. Boute (IEEE Trans. Computers, 1974)

Simplifying ADA by removing limitations. - Raymond T. Boute (ACM SIGPLAN Notices, 1980)

On The Equivalence of Time-Division and Frequency-Division Multiplexing. - Raymond T. Boute (IEEE Trans. Commun., 1985)

Elements for the Formal Description of Systems. - Raymond T. Boute (Embedded Systems, 1986)

An Introduction to System Semantics. - Raymond T. Boute (Embedded Systems, 1986)

Functional Formalisms for System Description: Current Research Topics. - Raymond T. Boute (Embedded Systems, 1986)

System Semantics: Principles, Applications, and Implementation. - Raymond T. Boute (ACM Trans. Program. Lang. Syst., 1988)

Syntactic and semantic aspects of formal system description. - Raymond T. Boute (Microprocessing and Microprogramming, 1989)

Session C3: Formal methods II. - Raymond T. Boute (Microprocessing and Microprogramming, 1989)

Representational and Denotational Semantics of Digital Systems. - Raymond T. Boute (IEEE Trans. Computers, 1989)

A Heretical View on Type Embedding. - Raymond T. Boute (ACM SIGPLAN Notices, 1990)

Declarative Languages For CAD: The Return From Algorithm Design Back To System Design. - Raymond T. Boute (IFIP Congress (1), 1992)

The Euclidian Definition of the Functions div and mod. - Raymond T. Boute (ACM Trans. Program. Lang. Syst., 1992)

Zeroless Positional Number Representation and String Ordering. - Raymond T. Boute (Am. Math. Mon., 2000)

Supertotal Function Definition in Mathematics and Software Engineering. - Raymond T. Boute (IEEE Trans. Software Eng., 2000)

Concrete Generic Functionals. - Raymond T. Boute (Generic Programming, 2002)

Formal Reasoning About Systems, Software and Hardware - Using Functionals, Predicates and Relations. - Raymond T. Boute (IFIP Congress Tutorials, 2004)

Integrating Formal Methods by Unifying Abstractions. - Raymond T. Boute (IFM, 2004)

Moving a Rectangle around a Corner: Geometrically. - Raymond T. Boute (Am. Math. Mon., 2004)

The Timer Cascade: Functional Modelling and Real Time Calculi. - Raymond T. Boute; Andreas Schäfer 001 (ICTAC, 2005)

Functional declarative language design and predicate calculus: a practical approach. - Raymond T. Boute (ACM Trans. Program. Lang. Syst., 2005)

Using Domain-Independent Problems for Introducing Formal Methods. - Raymond T. Boute (FM, 2006)

Calculational semantics: Deriving programming theories from equations by functional predicate calculus. - Raymond T. Boute (ACM Trans. Program. Lang. Syst., 2006)

Fuzzy versus quantitative association rules: a fair data-driven comparison. - Hannes Verlinde; Martine De Cock; Raymond T. Boute (IEEE Trans. Syst. Man Cybern. Part B, 2006)

Simple Gedanken Experiments in Leveraging Applications of Formal Methods. - Raymond T. Boute (ISoLA, 2008)

Making Temporal Logic Calculational: A Tool for Unification and Discovery. - Raymond T. Boute (FM, 2009)

Editorial. - Paul Boca; Raymond T. Boute; David Duce; José Nuno Oliveira (Formal Aspects Comput., 2009)

Teaching and practicing computer science at the university level. - Raymond T. Boute (ACM SIGCSE Bull., 2009)

Pointfree expression and calculation: from quantification to temporal logic. - Raymond T. Boute (Formal Methods Syst. Des., 2010)

The Geometry of Bandpass Sampling: A Simple and Safe Approach [Lecture Notes]. - Raymond T. Boute (IEEE Signal Process. Mag., 2012)

Why mathematics needs engineering. - Raymond T. Boute (J. Log. Algebraic Methods Program., 2016)

A Precise and Reliable Multivariable Chain Rule. - Raymond T. Boute (SIAM Rev., 2021)

The Universality of Functions in the Sciences at Large and in Computing. - Raymond T. Boute (Formal Aspects Comput., 2024)