Statistics
Publications
10
Citations
690
H-Index
10
Active since
1969
Affiliations
James J. Horning is an author at Advanced Research Projects Agency - Energy specializing in computer science, computing, and formal methods.
Publications per year
1969–1994
10
10
David Evans, John V. Guttag, James J. Horning et al. · 1994 · 234 citations
A study of grammatical inference
James J. Horning · Defense Technical Information Center (DTIC) · 1969 · 220 citations
James J. Horning · 1981 · 47 citations
Using transformations and verification in circuit design
James B. Saxe, James J. Horning, John V. Guttag et al. · Formal Methods in System Design · 1993 · 36 citations
David Evans, John V. Guttag, James J. Horning et al. · ACM SIGSOFT Software Engineering Notes · 1994 · 35 citations
1–5 of 10