Manage settings
MENU
About this site
In het Nederlands
Home
Researchers
Projects
Organisations
Publications
Infrastructure
Contact
Research Explorer
Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.
Researcher
Raymond Boute
Profile
Projects
Publications
Activities
Awards & Distinctions
51
Results
2024
The universality of functions in the sciences at large and in computing
Raymond Boute
A1
Journal Article
in
FORMAL ASPECTS OF COMPUTING
2024
2021
A precise and reliable multivariable chain rule
Raymond Boute
A1
Journal Article
in
SIAM REVIEW
2021
The functional nature of units, with application to the decibel in propagation calculations
Raymond Boute
A1
Journal Article
in
IEEE ANTENNAS & PROPAGATION MAGAZINE
2021
2008
Formal methods: teaching and practicing computer science at the university level
Raymond Boute
C1
Conference
2008
Proposal for a Formal Methods 2008 tutorial: Formal methods and signal processing
Raymond Boute
C3
Conference
2008
Simple gedanken experiments in leveraging applications of formal methods
Raymond Boute
P1
Conference
2008
2006
Calculational semantics: deriving programming theories from equations by functional predicate calculus
Raymond Boute
A1
Journal Article
in
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
2006
Fuzzy versus quantitative association rules: a fair data-driven comparison
Hannes Verlinde
Martine De Cock
Raymond Boute
A1
Journal Article
in
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS
2006
Microsemantics as a bootstrap in teaching formal methods
Raymond Boute
C1
Conference
2006
Using domain-independent problems for introducing formal methods
Raymond Boute
A1
Journal Article
in
LECTURE NOTES IN COMPUTER SCIENCE
2006
2005
Formal methods as a unifying basis for electrical and computer engineering (presentation)
Raymond Boute
C1
Conference
2005
Formal methods unifying computing science and systems theory
Raymond Boute
C1
Conference
2005
Formal methods unifying computing science and systems theory
Raymond Boute
A2
Journal Article
in
Journal of Systemics, Cybernetics and Informatics
2005
Functional declarative language design and predicate calculus: A practical approach
Raymond Boute
A1
Journal Article
in
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
2005
Signal processing functions, algorithms and smurfs : the need for declarativity
Raymond Boute
C1
Conference
2005
The timer cascade: functional modelling and real time calculi.
Raymond Boute
A SCHAFER
A1
Journal Article
in
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005
2005
2004
Formal Calculation Unifying Engineering Theories beyond Software
Raymond Boute
A4
Journal Article
in
Summer School Marktoberdorf 2004: Engineering Theories of Software Intensive Systems
2004
Formal Methods Unifying Computer Science and Systems Theory
Raymond Boute
A4
Journal Article
in
Center for Hybrid and Embedded Software Systems (CHESS) Seminar
2004
Formal Methods Unifying Computer Science and Systems Theory
Raymond Boute
C1
Conference
2004
Formal Reasoning about Systems, Software and Hardware using Functionals, Predicates and Relations
Raymond Boute
Bookchapter
in
Information Technology
2004
Formal calculation unifying engineering theories beyond software
Raymond Boute
C1
Conference
2004
Formal methods unifying computing science and systems theory
Raymond Boute
C1
Conference
2004
Formal methods unifying computing science and systems theory
Raymond Boute
P1
Conference
2004
Formal reasoning about systems, software and hardware
Raymond Boute
Bookchapter
in
Information Technology - Selected Tutorials (IFIP 18th World Computer Congress, 22-27 August 2004, Toulouse, France)
2004
Formal reasoning about systems, software and hardware - Using functionals, predicates and relations
Raymond Boute
P1
Conference
2004
Functional Predicate Calculus and Generic Functionals in Software Engineering
Raymond Boute
A4
Journal Article
in
First International Colloquium on THEORETICAL ASPECTS OF COMPUTING -- ICTAC 2004
2004
Functional predicate calculus and generic functionals in software engineering
Raymond Boute
C1
Conference
2004
Integrating formal methods by unifying abstractions
Raymond Boute
A1
Journal Article
in
INTEGRATED FORMAL METHODS, PROCEEDINGS
2004
Making CS and Classical EE Meet: Unification by Formalization
Raymond Boute
A4
Journal Article
in
Stanford University Computer Systems Laboratory Colloquium
2004
Making CS and classical EE meet: unification by formalization
Raymond Boute
C1
Conference
2004
Moving a rectangle around a corner - Geometrically
Raymond Boute
A1
Journal Article
in
AMERICAN MATHEMATICAL MONTHLY
2004
Moving a rectangle around a corner - geometrically
Raymond Boute
A2
Journal Article
in
The American mathematical monthly
2004
Systematic functional design of XML tools
Hannes Verlinde
Raymond Boute
A4
Journal Article
in
5th International Summer School on Advanced Functional Programming
2004
Systematic functional design of XML tools
Hannes Verlinde
Raymond Boute
C1
Conference
2004
Systematic functional design of XML tools
Hannes Verlinde
Raymond Boute
C1
Conference
2004
Systematic functional design of an XML editor
Raymond Boute
Hannes Verlinde
A4
Journal Article
in
Formal Techniques for Networked and Distributed Systems -- FORTE 2004
2004
Teaching Formal Methods
Book editor
2004
Teaching formal methods
Book editor
2004
2003
Concrete generic functionals: principles, design and applications
Raymond Boute
Bookchapter
in
Generic Programming
2003
Formal Calculation with Functions, Predicates and Quantifiers
Raymond Boute
A4
Journal Article
in
International Conference on Software Engineering and Formal Methods
2003
Functionals for the Semantic Specification of Temporal Formulas for Model Checking
Raymond Boute
Hannes Verlinde
A4
Journal Article
in
Application of Formal Description Techniques in Internet and Communication Domains -- FORTE 2003
2003
2000
Supertotal function definition in mathematics and software engineering.
Raymond Boute
A1
Journal Article
in
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
2000
Transformaties en impedanties: over formeel rekenen en fysisch interpreteren
Raymond Boute
A4
Journal Article
in
TIJDSCHRIFT VAN HET NERG
2000
Zeroless positional number representation and string ordering.
Raymond Boute
A1
Journal Article
in
AMERICAN MATHEMATICAL MONTHLY
2000
1999
Simple geometric solutions to De l'Hospital's pulley problem
Raymond Boute
A2
Journal Article
in
The College Mathematics Journal
1999
1997
Declaratieve specificatie en transformationeel ontwerp van software-systemen
Johan Hoffman
Raymond Boute
Dissertation
1997
1995
A declarative formalism supporting hardware/software codesign
Raymond Boute
Bookchapter
in
Codesign : computer-aided software/hardware eEngineering
1995
1993
Fundamentals of Hardware Description Languages and Declarative Languages
Raymond Boute
Bookchapter
in
Fundamentals and Standards in Hardware Description Languages
1993
1992
THE EUCLIDEAN DEFINITION OF THE FUNCTIONS DIV AND MOD
Raymond Boute
A1
Journal Article
in
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
1992
Theorem Provers in Circuit Design
Book editor
1992
1991
Declarative languages: still a long way to go
Raymond Boute
C1
Conference
1991