Jim Cox - Concepedia

Author

Jim Cox

Also Known As

J.L. Cox, Jim Cox

Publications

Citations

H-Index

Concepts

All Affiliations

Jim Cox is an author at Brooklyn College specializing in automated reasoning, formal methods, and engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	2	2	38
2	Computer Science	2	2	38
3	Automated Reasoning	2	2	38
4	Data Management	1	1	14
5	Programming Languages	1	1	24

Jim Cox

Publications

Citations

H-Index

Page 1

	Year	Citations
Computational complexity and constraint logic programming languages Jim Cox, Ken McAloon, Carol Tretkoff Annals of Mathematics and Artificial Intelligence Constraint SolvingEngineeringAutomated ReasoningFormal MethodsComputational Complexity	1992	24
Topological Zone Organization of Scalar Volume Data Jim Cox, Daniel B. Karron, Nazma Ferdous Journal of Mathematical Imaging and Vision	2003	15
Decision Procedures for Constraint Based Extensions of Datalog. Jim Cox, Ken McAloon Constraint SolvingEngineeringConstraint SatisfactionAutomated ReasoningConstraints	1991	14

Page 1