BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × France
1 × Italy
1 × United Kingdom
2 × Hungary
3 × USA
Collaborated with:
S.Genaim H.Petersen M.Codish ∅ Z.Galil A.N.Masud C.S.Lee N.D.Jones S.Alstrup T.Rauhe I.Gonopolskiy C.Fuhs J.Giesl
Talks about:
termin (5) rank (5) function (4) constraint (3) linear (3) integ (3) chang (3) size (3) program (2) monoton (2)

Person: Amir M. Ben-Amram

DBLP DBLP: Ben-Amram:Amir_M=

Contributed to:

CAV 20152015
POPL 20132013
VMCAI 20122012
ICLP 20112011
CAV 20092009
TACAS 20082008
POPL 20012001
STOC 19991999
ICALP 19981998
ICALP 19951995
CAV (2) 20172017

Wrote 12 papers:

CAV-2015-Ben-AmramG #complexity #ranking
Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions (AMBA, SG), pp. 304–321.
POPL-2013-Ben-AmramG #constraints #integer #linear #on the #problem #ranking
On the linear ranking problem for integer linear-constraint loops (AMBA, SG), pp. 51–62.
VMCAI-2012-Ben-AmramGM #integer #on the #termination
On the Termination of Integer Loops (AMBA, SG, ANM), pp. 72–87.
ICLP-J-2011-CodishGBFG #analysis #constraints #integer #satisfiability #termination #using
SAT-based termination analysis using monotonicity constraints over the integers (MC, IG, AMBA, CF, JG), pp. 503–520.
CAV-2009-Ben-Amram #constraints #ranking #termination
Size-Change Termination, Monotonicity Constraints and Ranking Functions (AMBA), pp. 109–123.
TACAS-2008-Ben-AmramC #approach #ranking #satisfiability #termination
A SAT-Based Approach to Size Change Termination with Global Ranking Functions (AMBA, MC), pp. 218–232.
POPL-2001-LeeJB #termination
The size-change principle for program termination (CSL, NDJ, AMBA), pp. 81–92.
STOC-1999-AlstrupBR #worst-case
Worst-Case and Amortised Optimality in Union-Find (SA, AMBA, TR), pp. 499–506.
STOC-1999-Ben-AmramP
Backing Up in Singly Linked Lists (AMBA, HP), pp. 780–786.
ICALP-1998-Ben-AmramP #source code
CONS-Free Programs with Tree Input (AMBA, HP), pp. 271–282.
ICALP-1995-Ben-AmramG #algebra #bound #random
Lower Bounds on Algebraic Random Access Machines (AMBA, ZG), pp. 360–371.
CAV-2017-Ben-AmramG #multi #on the #ranking
On Multiphase-Linear Ranking Functions (AMBA, SG), pp. 601–620.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.