Follow
Amir Ben-Amram
Amir Ben-Amram
Unknown affiliation
Verified email at cs.mta.ac.il - Homepage
Title
Cited by
Cited by
Year
The size-change principle for program termination
CS Lee, ND Jones, AM Ben-Amram
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001
5552001
Ranking functions for linear-constraint loops
AM Ben-Amram, S Genaim
Journal of the ACM (JACM) 61 (4), 1-55, 2014
862014
On the linear ranking problem for integer linear-constraint loops
AM Ben-Amram, S Genaim
ACM SIGPLAN Notices 48 (1), 51-62, 2013
832013
On pointers versus addresses
AM Ben-Amram, Z Galil
Journal of the ACM (JACM) 39 (3), 617-648, 1992
75*1992
What is a “pointer machine”?
AM Ben-Amram
ACM SIGACT News 26 (2), 88-95, 1995
681995
On the termination of integer loops
AM Ben-Amram, S Genaim, AN Masud
ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (4), 1-24, 2012
632012
On multiphase-linear ranking functions
AM Ben-Amram, S Genaim
International Conference on Computer Aided Verification, 601-620, 2017
572017
Program termination analysis in polynomial time
AM Ben-Amram, CS Lee
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (1), 1-37, 2007
482007
Size-change termination, monotonicity constraints and ranking functions
AM Ben-Amram
Logical Methods in Computer Science 6, 2010
472010
Linear, polynomial or exponential? Complexity inference in polynomial time
AM Ben-Amram, ND Jones, L Kristiansen
Logic and Theory of Algorithms: 4th Conference on Computability in Europe …, 2008
472008
A SAT-based approach to size change termination with global ranking functions
AM Ben-Amram, M Codish
International Conference on Tools and Algorithms for the Construction and …, 2008
392008
Multiphase-linear ranking functions and their relation to recurrent sets
AM Ben-Amram, JJ Doménech, S Genaim
International Static Analysis Symposium, 459-480, 2019
362019
Size-change termination with difference constraints
AM Ben-Amram
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (3), 1-31, 2008
362008
Worst-case and amortised optimality in union-find
S Alstrup, AM Ben-Amram, T Rauhe
Proceedings of the thirty-first annual ACM Symposium on Theory of Computing …, 1999
331999
Monotonicity constraints for termination in the integer domain
AM Ben-Amram
Logical Methods in Computer Science 7 (3), 2011
302011
The Church-Turing thesis and its look-alikes
AM Ben-Amram
ACM SIGACT News 36 (3), 113-114, 2005
282005
Mortality of iterated piecewise affine functions over the integers: Decidability and complexity
AM Ben-Amram
Computability 4 (1), 19-56, 2015
262015
Computational complexity via programming languages: constant factors do matter
AM Ben-Amram, ND Jones
Acta Informatica 37, 83-120, 2000
242000
What can we sort in o (nlog n) time?
AM Ben-Amram, Z Galil
Foundations of Computer Science, 1993. Proceedings., 34th Annual Symposium …, 1993
24*1993
The subtree max gap problem with application to parallel string covering
AM Ben-Amram, O Berkman, CS Iliopoulos, K Park
Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms …, 1994
221994
The system can't perform the operation now. Try again later.
Articles 1–20