We stand with Ukraine  

Raymond T. Boute

Orcid: 0000-0002-4329-3902

According to our database1, Raymond T. Boute authored at least 34 papers between 1972 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
A Precise and Reliable Multivariable Chain Rule.
[BibTeX]
[DOI]
Raymond T. Boute
SIAM Rev., 2021

2016
Why mathematics needs engineering.
[BibTeX]
[DOI]
Raymond T. Boute
J. Log. Algebraic Methods Program., 2016

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

2010
Pointfree expression and calculation: from quantification to temporal logic.
[BibTeX]
[DOI]
Raymond T. Boute
Formal Methods Syst. Des., 2010

2009
Teaching and practicing computer science at the university level.
[BibTeX]
[DOI]
Raymond T. Boute
ACM SIGCSE Bull., 2009

Editorial.
[BibTeX]
[DOI]
Paul Boca
,
Raymond T. Boute
,
David Duce
,
José Nuno Oliveira
Formal Aspects Comput., 2009

Making Temporal Logic Calculational: A Tool for Unification and Discovery.
[BibTeX]
[DOI]
Raymond T. Boute
Proceedings of the FM 2009: Formal Methods, 2009

2008
Simple Gedanken Experiments in Leveraging Applications of Formal Methods.
[BibTeX]
[DOI]
Raymond T. Boute
Proceedings of the Leveraging Applications of Formal Methods, 2008

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

Calculational semantics: Deriving programming theories from equations by functional predicate calculus.
[BibTeX]
[DOI]
Raymond T. Boute
ACM Trans. Program. Lang. Syst., 2006

Using Domain-Independent Problems for Introducing Formal Methods.
[BibTeX]
[DOI]
Raymond T. Boute
Proceedings of the FM 2006: Formal Methods, 2006

2005
Functional declarative language design and predicate calculus: a practical approach.
[BibTeX]
[DOI]
Raymond T. Boute
ACM Trans. Program. Lang. Syst., 2005

The Timer Cascade: Functional Modelling and Real Time Calculi.
[BibTeX]
[DOI]
Raymond T. Boute
,
Andreas Schäfer
Proceedings of the Theoretical Aspects of Computing, 2005

2004
Moving a Rectangle around a Corner: Geometrically.
[BibTeX]
[DOI]
Raymond T. Boute
Am. Math. Mon., 2004

Integrating Formal Methods by Unifying Abstractions.
[BibTeX]
[DOI]
Raymond T. Boute
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Formal Reasoning About Systems, Software and Hardware - Using Functionals, Predicates and Relations.
[BibTeX]
[DOI]
Raymond T. Boute
Proceedings of the Information Technology, Selected Tutorials, 2004

2002
Concrete Generic Functionals.
[BibTeX]
Raymond T. Boute
Proceedings of the Generic Programming, 2002

2000
Supertotal Function Definition in Mathematics and Software Engineering.
[BibTeX]
[DOI]
Raymond T. Boute
IEEE Trans. Software Eng., 2000

Zeroless Positional Number Representation and String Ordering.
[BibTeX]
[DOI]
Raymond T. Boute
Am. Math. Mon., 2000

1992
The Euclidian Definition of the Functions div and mod.
[BibTeX]
[DOI]
Raymond T. Boute
ACM Trans. Program. Lang. Syst., 1992

Declarative Languages For CAD: The Return From Algorithm Design Back To System Design.
[BibTeX]
Raymond T. Boute
Proceedings of the Algorithms, Software, Architecture, 1992

1990
A Heretical View on Type Embedding.
[BibTeX]
[DOI]
Raymond T. Boute
ACM SIGPLAN Notices, 1990

1989
Representational and Denotational Semantics of Digital Systems.
[BibTeX]
[DOI]
Raymond T. Boute
IEEE Trans. Computers, 1989

Session C3: Formal methods II.
[BibTeX]
[DOI]
Raymond T. Boute
Microprocessing and Microprogramming, 1989

Syntactic and semantic aspects of formal system description.
[BibTeX]
[DOI]
Raymond T. Boute
Microprocessing and Microprogramming, 1989

1988
System Semantics: Principles, Applications, and Implementation.
[BibTeX]
[DOI]
Raymond T. Boute
ACM Trans. Program. Lang. Syst., 1988

1986
Functional Formalisms for System Description: Current Research Topics.
[BibTeX]
[DOI]
Raymond T. Boute
Proceedings of the Embedded Systems: New Approaches to Their Formal Description and Design, 1986

An Introduction to System Semantics.
[BibTeX]
[DOI]
Raymond T. Boute
Proceedings of the Embedded Systems: New Approaches to Their Formal Description and Design, 1986

Elements for the Formal Description of Systems.
[BibTeX]
[DOI]
Raymond T. Boute
Proceedings of the Embedded Systems: New Approaches to Their Formal Description and Design, 1986

1985
On The Equivalence of Time-Division and Frequency-Division Multiplexing.
[BibTeX]
[DOI]
Raymond T. Boute
IEEE Trans. Commun., 1985

1980
Simplifying ADA by removing limitations.
[BibTeX]
[DOI]
Raymond T. Boute
ACM SIGPLAN Notices, 1980

1974
Optimal and Near-Optimal Checking Experiments for Output Faults in Sequential Machines.
[BibTeX]
[DOI]
Raymond T. Boute
IEEE Trans. Computers, 1974

Distinguishing Sets for Optimal State Identification in Checking Experiments.
[BibTeX]
[DOI]
Raymond T. Boute
IEEE Trans. Computers, 1974

1972
Property Encoding: Application in Binary Picture Encoding and Boundary Following.
[BibTeX]
[DOI]
Gursharan S. Sidhu
,
Raymond T. Boute
IEEE Trans. Computers, 1972


  Loading...