( en | de | ru )

 

Disambiguation of "Boute, Raymond T."

Author of the publication

copydeleteadd this publication to your clipboard
Editorial.

, , , and . Formal Aspects Comput., 21 (3): 225 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Caroline Bouter

Urs Boutellier

Ahmed Boutejdar

Abdeslem Boutemine

Konrad Bouterwerk

 

Other publications of authors with the same name

Formal Reasoning About Systems, Software and Hardware - Using Functionals, Predicates and Relations.. IFIP Congress Tutorials, volume 157 of IFIP, page 85-114. Kluwer/Springer, (2004)Moving a Rectangle around a Corner: Geometrically.. The American Mathematical Monthly, 111 (5): 435-437 (2004)Functional declarative language design and predicate calculus: a practical approach.. ACM Trans. Program. Lang. Syst., 27 (5): 988-1047 (2005)Teaching and practicing computer science at the university level.. ACM SIGCSE Bull., 41 (2): 24-30 (2009)Property Encoding: Application in Binary Picture Encoding and Boundary Following., and . IEEE Trans. Computers, 21 (11): 1206-1216 (1972)Supertotal Function Definition in Mathematics and Software Engineering.. IEEE Trans. Software Eng., 26 (7): 662-672 (2000)Representational and Denotational Semantics of Digital Systems.. IEEE Trans. Computers, 38 (7): 986-999 (1989)Fuzzy versus quantitative association rules: a fair data-driven comparison., , and . IEEE Trans. Syst. Man Cybern. Part B, 36 (3): 679-684 (2006)Declarative Languages For CAD: The Return From Algorithm Design Back To System Design.. IFIP Congress (1), volume A-12 of IFIP Transactions, page 711. North-Holland, (1992)System Semantics: Principles, Applications, and Implementation.. ACM Trans. Program. Lang. Syst., 10 (1): 118-155 (1988)