The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Raymond T. Boute: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Raymond T. Boute
    Elements for the Formal Description of Systems. [Citation Graph (0, 0)][DBLP]
    Embedded Systems, 1986, pp:63-90 [Conf]
  2. Raymond T. Boute
    An Introduction to System Semantics. [Citation Graph (0, 0)][DBLP]
    Embedded Systems, 1986, pp:91-107 [Conf]
  3. Raymond T. Boute
    Functional Formalisms for System Description: Current Research Topics. [Citation Graph (0, 0)][DBLP]
    Embedded Systems, 1986, pp:108-126 [Conf]
  4. Raymond T. Boute
    Using Domain-Independent Problems for Introducing Formal Methods. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:316-331 [Conf]
  5. Raymond T. Boute, Andreas Schäfer
    The Timer Cascade: Functional Modelling and Real Time Calculi. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:242-256 [Conf]
  6. Raymond T. Boute
    Formal Reasoning About Systems, Software and Hardware Using Functionals, Predicates and Relations. [Citation Graph (0, 0)][DBLP]
    IFIP Congress Tutorials, 2004, pp:85-114 [Conf]
  7. Raymond T. Boute
    Declarative Languages For CAD: The Return From Algorithm Design Back To System Design. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:711- [Conf]
  8. Raymond T. Boute
    Concrete Generic Functionals. [Citation Graph (0, 0)][DBLP]
    Generic Programming, 2002, pp:89-119 [Conf]
  9. Raymond T. Boute
    Integrating Formal Methods by Unifying Abstractions. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:441-460 [Conf]
  10. Raymond T. Boute
    A Heretical View on Type Embedding. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1990, v:25, n:1, pp:25-28 [Journal]
  11. Raymond T. Boute
    Representational and Denotational Semantics of Digital Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1989, v:38, n:7, pp:986-999 [Journal]
  12. Raymond T. Boute
    Functional declarative language design and predicate calculus: a practical approach. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:5, pp:988-1047 [Journal]
  13. Raymond T. Boute
    System Semantics: Principles, Applications, and Implementation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1988, v:10, n:1, pp:118-155 [Journal]
  14. Raymond T. Boute
    The Euclidian Definition of the Functions div and mod. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1992, v:14, n:2, pp:127-144 [Journal]
  15. Raymond T. Boute
    Calculational semantics: Deriving programming theories from equations by functional predicate calculus. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2006, v:28, n:4, pp:747-793 [Journal]
  16. Raymond T. Boute
    Supertotal Function Definition in Mathematics and Software Engineering. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:7, pp:662-672 [Journal]

  17. Making Temporal Logic Calculational: A Tool for Unification and Discovery. [Citation Graph (, )][DBLP]


  18. Simple Gedanken Experiments in Leveraging Applications of Formal Methods. [Citation Graph (, )][DBLP]


Search in 0.548secs, Finished in 0.549secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002