Concepedia

Johnnie Birch

JB

3

Publications

72

Citations

3

H-Index

2004

Active since

Affiliations

Florida State University(Current)

Johnnie Birch is an author at Florida State University specializing in formal verification, engineering, and formal methods.

Top concepts

Publications per year

2004–2005

3

Publications

3

A unified framework for nonlinear dependence testing and symbolic analysis

Robert A. van Engelen, Johnnie Birch, Yixin Shou et al. · 2004 · 48 citations

, , +23

Value Range Analysis of Conditionally Updated Variables and Pointers

Johnnie Birch, Robert van Engelen, Kyle A. Gallivan · 2004 · 13 citations

Array Data Dependence Testing with the Chains of Recurrences Algebra

Robert A. van Engelen, Johnnie Birch, Kyle A. Gallivan · 2005 · 11 citations

, , +14

Rows per page

1–3 of 3