3
Publications
53
Citations
3
H-Index
1991
Active since
Affiliations
Jim Cox is an author at Brooklyn College specializing in automated reasoning, formal methods, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningConstraintsData ManagementLogic ProgrammingProgramming LanguagesComputational Complexity
Publications per year
1991–2003
3
3
Rows per page
1–3 of 3