The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Jim Grundy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jim Grundy, Thomas Långbacka
    Recording HOL Proofs in a Structured Browsable Format. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:567-571 [Conf]
  2. Jim Grundy
    Predicative Programming - A Survey. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:8-25 [Conf]
  3. Jim Grundy
    A Three-Valued Logic for Refinement. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:26-42 [Conf]
  4. Jim Grundy
    Verified Optimizations for the Intel IA-64 Architecture. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2000, pp:215-232 [Conf]
  5. Jim Grundy
    Window Inference in the HOL System. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1991, pp:177-189 [Conf]
  6. Jim Grundy
    Transformational Hierarchical Reasoning. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1996, v:39, n:4, pp:291-302 [Journal]
  7. Jim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin
    Tool Building Requirements for an API to First-Order Solvers. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:15-26 [Journal]
  8. Ralph-Johan Back, Jim Grundy, Joakim von Wright
    Structured Calculational Proof. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1997, v:9, n:5-6, pp:469-483 [Journal]
  9. Jim Grundy, Thomas F. Melham, John W. O'Leary
    A reflective functional language for hardware design and theorem proving. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:2, pp:157-196 [Journal]
  10. Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli
    Combined Satisfiability Modulo Parametric Theories. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:602-617 [Conf]

  11. Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. [Citation Graph (, )][DBLP]


  12. Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. [Citation Graph (, )][DBLP]


  13. Ground Interpolation for the Theory of Equality. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002