Concepedia

Jim Hoekstra

JH

Statistics

Publications

3

Citations

160

H-Index

3

Active since

2002

Affiliations

Iowa State University(Current)

Jim Hoekstra is an author at Iowa State University specializing in computer science, software analysis, and formal verification.

Top concepts

Publications per year

2002–2006

3

Publications

3

MPI‐CHECK: a tool for checking Fortran 90 MPI programs

Glenn R. Luecke, Hua Chen, James J. Coyle et al. · Concurrency and Computation Practice and Experience · 2003 · 79 citations

, , +22

Deadlock detection in MPI programs

Glenn R. Luecke, Yan Zou, James J. Coyle et al. · Concurrency and Computation Practice and Experience · 2002 · 65 citations

, , +20

A survey of systems for detecting serial run-time errors

Glenn R. Luecke, James J. Coyle, Jim Hoekstra et al. · Concurrency and Computation Practice and Experience · 2006 · 16 citations

, , +22

1–3 of 3