23
Publications
959
Citations
15
H-Index
1992
Active since
Amir M. Ben-Amram is an author at Academic College of Tel Aviv-Yafo specializing in engineering, computer science, and computational complexity.
Top concepts
EngineeringComputer ScienceComputational ComplexityMathematical ProgrammingFormal MethodsDiscrete MathematicsCombinatorial OptimizationFormal VerificationProgram AnalysisAutomated Reasoning
Publications per year
1992–2015
23
23
The size-change principle for program termination
Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram · 2001 · 376 citations · Full text
Amir M. Ben-Amram, Zvi Galil · Journal of the ACM · 1992 · 47 citations · Full text
Rows per page
1–5 of 23