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
5352001
Ranking functions for linear-constraint loops
AM Ben-Amram, S Genaim
Journal of the ACM (JACM) 61 (4), 1-55, 2014
802014
On the linear ranking problem for integer linear-constraint loops
AM Ben-Amram, S Genaim
ACM SIGPLAN Notices 48 (1), 51-62, 2013
802013
On pointers versus addresses
AM Ben-Amram, Z Galil
Journal of the ACM (JACM) 39 (3), 617-648, 1992
74*1992
What is a “pointer machine”?
AM Ben-Amram
ACM SIGACT News 26 (2), 88-95, 1995
711995
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
602012
On multiphase-linear ranking functions
AM Ben-Amram, S Genaim
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
512017
Program termination analysis in polynomial time
AM Ben-Amram, CS Lee
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (1), 1-37, 2007
492007
Size-change termination, monotonicity constraints and ranking functions
AM Ben-Amram
Logical Methods in Computer Science 6, 2010
482010
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
482008
A SAT-based approach to size change termination with global ranking functions
AM Ben-Amram, M Codish
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
402008
Size-change termination with difference constraints
AM Ben-Amram
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (3), 1-31, 2008
372008
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
321999
Monotonicity constraints for termination in the integer domain
AM Ben-Amram
Logical Methods in Computer Science 7 (3), 2011
302011
Multiphase-linear ranking functions and their relation to recurrent sets
AM Ben-Amram, JJ Doménech, S Genaim
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019
272019
Mortality of iterated piecewise affine functions over the integers: Decidability and complexity
AM Ben-Amram
Computability 4 (1), 19-56, 2015
262015
The Church-Turing thesis and its look-alikes
AM Ben-Amram
ACM SIGACT News 36 (3), 113-114, 2005
262005
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
Computational complexity via programming languages: constant factors do matter
AM Ben-Amram, ND Jones
Acta Informatica 37, 83-120, 2000
222000
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