Jim Grundy

	2012
19		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
18		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
17		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)
	2010
16		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)
	2009
15		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
14		Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli: Ground Interpolation for the Theory of Equality. TACAS 2009: 413-427
	2008
13		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
12		Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli: Combined Satisfiability Modulo Parametric Theories. TACAS 2007: 602-617
	2006
11		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)
10		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
9		Jim Grundy: Verified Optimizations for the Intel IA-64 Architecture. TPHOLs 2000: 215-232
	1998
8		Jim Grundy, Malcolm C. Newey: Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings Springer 1998
	1997
7		Jim Grundy, Thomas Långbacka: Recording HOL Proofs in a Structured Browsable Format. AMAST 1997: 567-571
6		Ralph-Johan Back, Jim Grundy, Joakim von Wright: Structured Calculational Proof. Formal Asp. Comput. 9(5-6): 469-483 (1997)
	1996
5		Joakim von Wright, Jim Grundy, John Harrison: Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings Springer 1996
4		Jim Grundy: Transformational Hierarchical Reasoning. Comput. J. 39(4): 291-302 (1996)
	1993
3		Jim Grundy: A Three-Valued Logic for Refinement. Formal Methods in Programming and Their Applications 1993: 26-42
2		Jim Grundy: Predicative Programming - A Survey. Formal Methods in Programming and Their Applications 1993: 8-25
	1991
1		Jim Grundy: Window Inference in the HOL System. TPHOLs 1991: 177-189

Coauthor Index

1	Ralph-Johan Back	[6]
2	Alexander Fuchs	[14] [19]
3	Vijay Gangaram	[18]
4	Jennifer Gillenwater	[13] [16]
5	Amit Goel	[12] [14] [19]
6	John Harrison	[5]
7	Michael S. Hsiao	[18]
8	Saparya Krishnamoorthy	[18]
9	Sava Krstic	[11] [12] [14] [19]
10	Thomas Långbacka	[7]
11	Loganathan Lingappan	[18]
12	Gregory Malecha (J. Gregory Malecha)	[13] [15] [16] [17]
13	Sean McLaughlin	[11]
14	Thomas F. Melham (Tom Melham)	[10] [11]
15	Malcolm C. Newey	[8]
16	John O'Leary	[13] [15] [16] [17]
17	John W. O'Leary	[10]
18	Sarvesh Prabhu	[18]
19	Cherif Salama	[13] [15] [16] [17]
20	Walid Taha	[13] [15] [16] [17]
21	Cesare Tinelli	[12] [14] [19]
22	Joakim von Wright	[5] [6]
23	Angela Yun Zhu	[13] [16]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page