3
Publications
60
Citations
3
H-Index
1994
Active since
Affiliations
Simon Gray is an author at Kent State University specializing in computer science, engineering, and automated reasoning.
Top concepts
EngineeringComputer ScienceFormal MethodsParallel ComputingAutomated ReasoningFormal VerificationParallel ProgrammingComputational ComplexityDesignAutomation
Publications per year
1994–2001
3
3
MP: a protocol for efficient exchange of mathematical expressions
Simon Gray, Norbert Kajler, Paul Wang · 1994 · 27 citations · Full text
IAMC architecture and prototyping
P. Wang, Simon Gray, Norbert Kajler et al. · 2001 · 16 citations
Rows per page
1–3 of 3