Amir M. Ben-Amram

37 papers and 234 indexed citations i.

Amir M. Ben-Amram has authored 37 papers that have received a total of 234 indexed citations. This includes 30 papers in Computational Theory and Mathematics, 26 papers in Artificial Intelligence and 5 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (19 papers), Formal Methods in Verification (18 papers) and semigroups and automata theory (9 papers). Amir M. Ben-Amram is often cited by papers focused on Logic, programming, and type systems (19 papers), Formal Methods in Verification (18 papers) and semigroups and automata theory (9 papers) and collaborates with scholars based in Israel, Germany and Spain. Amir M. Ben-Amram's co-authors include Zvi Galil, Samir Genaim, Neil D. Jones, Costas S. Iliopoulos and Jürgen Giesl and has published in prestigious journals such as Journal of the ACM, SIAM Journal on Computing and Journal of Computer and System Sciences