Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jim Grundy
2010 – today
- 2012
[j7]Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli: Ground interpolation for the theory of equality. Logical Methods in Computer Science 8(1) (2012)- 2011
- [j6]Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary: Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions. Higher-Order and Symbolic Computation 24(1-2): 81-114 (2011)
- [c10]Sarvesh Prabhu, Michael S. Hsiao, Saparya Krishnamoorthy, Loganathan Lingappan, Vijay Gangaram, Jim Grundy: An Efficient 2-Phase Strategy to Achieve High Branch Coverage. Asian Test Symposium 2011: 167-174
- 2010
- [j5]Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary: Synthesizable High Level Hardware Descriptions. New Generation Comput. 28(4): 339-369 (2010)
2000 – 2009
- 2009
- [c9]Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary: Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. PEPM 2009: 121-130
- [c8]Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli: Ground Interpolation for the Theory of Equality. TACAS 2009: 413-427
- 2008
- [c7]Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary: Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. PEPM 2008: 41-50
- 2007
- [c6]Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli: Combined Satisfiability Modulo Parametric Theories. TACAS 2007: 602-617
- 2006
- [j4]Jim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin: Tool Building Requirements for an API to First-Order Solvers. Electr. Notes Theor. Comput. Sci. 144(2): 15-26 (2006)
- [j3]Jim Grundy, Thomas F. Melham, John W. O'Leary: A reflective functional language for hardware design and theorem proving. J. Funct. Program. 16(2): 157-196 (2006)
- 2000
- [c5]
1990 – 1999
- 1998
- [e2]Jim Grundy, Malcolm C. Newey (Eds.): Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings. Lecture Notes in Computer Science 1479, Springer 1998, ISBN 3-540-64987-5
- 1997
- [j2]Ralph-Johan Back, Jim Grundy, Joakim von Wright: Structured Calculational Proof. Formal Asp. Comput. 9(5-6): 469-483 (1997)
- [c4]Jim Grundy, Thomas Långbacka: Recording HOL Proofs in a Structured Browsable Format. AMAST 1997: 567-571
- 1996
- [j1]
- [e1]Joakim von Wright, Jim Grundy, John Harrison (Eds.): Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings. Lecture Notes in Computer Science 1125, Springer 1996, ISBN 3-540-61587-3
- 1993
- [c3]Jim Grundy: Predicative Programming - A Survey. Formal Methods in Programming and Their Applications 1993: 8-25
- [c2]Jim Grundy: A Three-Valued Logic for Refinement. Formal Methods in Programming and Their Applications 1993: 26-42
- 1991
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:40 CET by the dblp team