Amir M. Ben-Amram

1. On Multiphase-Linear Ranking Functions
   2017/03/22 by Amir M. Ben-Amram, Samir Genaim, Ben-Amram, Amir M. +1 · 1 citation
   Computer Science · #Advanced Database Systems and Queries #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL)
2. Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions
   2015/04/20 by Amir M. Ben-Amram, Ben-Amram, Amir M., Samir Genaim +1 · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge #Formal Methods in Verification #Logic, programming, and type systems