Decidable Fragments of Many-Sorted Logic. - Aharon Abadi; Alexander Moshe Rabinovich; Mooly Sagiv (LPAR, 2007)

Re-approaching the refactoring Rubicon. - Aharon Abadi; Ran Ettinger; Yishai A. Feldman (WRT@OOPSLA, 2008)

Improving slice accuracy by compression of data and control flow paths. - Aharon Abadi; Ran Ettinger; Yishai A. Feldman (ESEC/SIGSOFT FSE, 2009)

Code-motion for API migration: fixing SQL injection vulnerabilities in Java. - Aharon Abadi; Yishai A. Feldman; Mati Shomrat (WRT@ICSE, 2011)

Automatically fixing security vulnerabilities in Java code. - Aharon Abadi; Ran Ettinger; Yishai A. Feldman; Mati Shomrat (OOPSLA Companion, 2011)

Fine Slicing - Theory and Applications for Computation Extraction. - Aharon Abadi; Ran Ettinger; Yishai A. Feldman (FASE, 2012)

NitroGen: rapid development of mobile applications. - Aharon Abadi; Yael Dubinsky; Andrei Kirshin; Yossi Mesika; Idan Ben-Harrush; Uzy Hadad (SPLASH (Companion Volume), 2013)

A screen-oriented representation for mobile applications. - Aharon Abadi; Yishai A. Feldman; Konstantin Shagin (SPLASH (Companion Volume), 2013)

Codeless Screen-Oriented Programming for Enterprise Mobile Applications. - Aharon Abadi; Yael Dubinsky; Andrei Kirshin; Yossi Mesika; Idan Ben-Harrush (CoRR, 2013)

Killer Applications for Mobile: Opportunity and Challenges Report Activity. - Aharon Abadi; Danny Dig (MobileDeLi, 2014)

MobileDeli'14 workshop: welcome message of the chairs. - Aharon Abadi; Danny Dig; Eli Tilevich (SPLASH (Companion Volume), 2014)

How Mobile Affects Business Processes?: The Research Perspective. - Danny Dig; Aharon Abadi (MobileDeLi, 2014)

A Parallel On-Demand Algorithm for Computing Interprocedural Dominators. - Aharon Abadi; Yishai A. Feldman (SCAM, 2014)

Developing enterprise mobile applications the easy way. - Aharon Abadi; Yael Dubinsky; Andrei Kirshin; Yossi Mesika; Idan Ben-Harrush; Uzy Hadad (InnoSWDev@SIGSOFT FSE, 2014)

Workshop preview of the 3rd international workshop on mobile development lifecycle (MobileDeLi 2015). - Aharon Abadi; Lori Flynn; Jeff Gray 001 (SPLASH (Companion Volume), 2015)

Mobile security: challenges, tools, and techniques (panel). - Aharon Abadi; Lori Flynn; Jeff Gray 001 (MobileDeLi, 2015)

Mobile computing to support sustainability. - Aharon Abadi; Lori Flynn; Jeff Gray 001; Aaron J. Gordon (MobileDeLi, 2015)

Holistic disaster recovery approach for big data NoSQL workloads. - Aharon Abadi; Ashraf Haib; Roie Melamed; Alaa Nassar; Aidan Shribman; Hisham Yasin (IEEE BigData, 2016)

Smoothing indoor trajectories. - Aharon Abadi; Roie Melamed; Eli Packer; Natalie Shapira (ICL-GNSS, 2016)

The plan calculus as an internal representation for static analysis and transformations - Aharon Abadi (2017)

NoCFG: A Lightweight Approach for Sound Call Graph Approximation. - Aharon Abadi; Bar Makovitzki; Ron Shemer; Shmuel S. Tyszberowicz (CoRR, 2021)

A lightweight approach for sound call graph approximation. - Aharon Abadi; Bar Makovitzki; Ron Shemer; Shmuel S. Tyszberowicz (SAC, 2022)