The SCEAS System
Navigation Menu

Search the dblp DataBase


Richard J. Boulton: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Konrad Slind, Michael J. C. Gordon, Richard J. Boulton, Alan Bundy
    System Description: An Interface Between CLAM and HOL. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:134-138 [Conf]
  2. Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe
    System Description: CyNTHIA. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:388-392 [Conf]
  3. Richard J. Boulton, Konrad Slind
    Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:629-643 [Conf]
  4. Richard J. Boulton, Ruth Hardy, Ursula Martin
    A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2003, pp:113-125 [Conf]
  5. Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin
    Design Verification for Control Engineering. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:21-35 [Conf]
  6. Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe
    An ML Editor Based on Proofs-As-Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:166-173 [Conf]
  7. Richard J. Boulton
    A Restricted Form on Higher-Order Rewriting Applied to an HDL Semantics. [Citation Graph (0, 0)][DBLP]
    RTA, 1995, pp:309-323 [Conf]
  8. Richard J. Boulton
    A Tool to Support Formal Reasoning about Computer Languages. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:81-95 [Conf]
  9. Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham
    The PROSPER Toolkit. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:78-92 [Conf]
  10. Richard J. Boulton, Andrew Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel
    Experience with Embedding Hardware Description Languages in HOL. [Citation Graph (0, 0)][DBLP]
    TPCD, 1992, pp:129-156 [Conf]
  11. Richard J. Boulton
    A Lazy Approach to Fully-Expansive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:19-38 [Conf]
  12. Richard J. Boulton
    Boyer-Moore Automation for the HOL System. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:133-142 [Conf]
  13. Richard J. Boulton
    Combining Decision Procedures in the HOL System. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:75-89 [Conf]
  14. Richard J. Boulton
    Generating Embeddings from Denotational Descriptions. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1998, pp:67-86 [Conf]
  15. Richard J. Boulton, Konrad Slind, Alan Bundy, Michael J. C. Gordon
    An Interface between Clam and HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1998, pp:87-104 [Conf]
  16. Jon Whittle, Alan Bundy, Richard J. Boulton
    Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:403-421 [Journal]
  17. Richard J. Boulton
    Lazy Techniques for Fully Expansive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1993, v:3, n:1/2, pp:25-47 [Journal]
  18. Richard J. Boulton
    Transparent Optimisation of Rewriting Combinators. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1999, v:9, n:2, pp:113-146 [Journal]
  19. Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham
    The PROSPER toolkit. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:189-210 [Journal]

Search in 0.004secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002