Statistics
Publications
1
Citations
27
H-Index
1
Active since
1998
Affiliations
Marist College(Current)
James Ten Eyck is an author at Marist College specializing in automated reasoning, formal verification, and algorithms.
Publications per year
1998–1998
1
1
Specification of an algorithm design system
James Ten Eyck, G. Sampath, Richard Goldstone · 1998 · 27 citations
1–1 of 1