pith. sign in

Amir M. Ben-Amram

Identifiers

  • name variant Amir M. Ben-Amram 0.60 · backfill

Papers (11)

  1. Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets cs.PL · 2018 · author #1
  2. On Multiphase-Linear Ranking Functions cs.PL · 2017 · author #1
  3. Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions cs.PL · 2015 · author #1
  4. Flowchart Programs, Regular Expressions, and Decidability of Polynomial Growth-Rate cs.PL · 2014 · author #1
  5. The Hardness of Finding Linear Ranking Functions for Lasso Programs cs.LO · 2014 · author #1
  6. A Comment on Budach's Mouse-in-an-Octant Problem cs.FL · 2013 · author #1
  7. Bounded Termination of Monotonicity-Constraint Transition Systems cs.LO · 2012 · author #1
  8. SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers cs.LO · 2011 · author #3
  9. On Decidable Growth-Rate Properties of Imperative Programs cs.LO · 2010 · author #1
  10. The Euler Path to Static Level-Ancestors cs.DS · 2009 · author #1
  11. Ranking Functions for Size-Change Termination II cs.LO · 2009 · author #1

Mentions

  • 1305.0911 #1 · backfill · confidence 0.70 Amir M. Ben-Amram
  • 1202.4281 #1 · backfill · confidence 0.70 Amir M. Ben-Amram
  • 1107.5980 #3 · backfill · confidence 0.70 Amir M. Ben-Amram
  • 1005.0518 #1 · backfill · confidence 0.70 Amir M. Ben-Amram
  • 0909.1030 #1 · backfill · confidence 0.70 Amir M. Ben-Amram
  • 0903.4382 #1 · backfill · confidence 0.70 Amir M. Ben-Amram

Frequent Coauthors