Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

18 results for Aharon Abadi

MobileDeli'14 workshop
- - Aharon Abadi
  - Danny Dig
  - et al.
- 2014
- SPLASH 2014
Challenges and research questions for testing in mobile development: Report on a mobile testing activity
- - Yael Dubinsky
  - Aharon Abadi
- 2013
- MobileDeLi 2013
A screen-oriented representation for mobile applications
- - Aharon Abadi
  - Yishai A. Feldman
  - et al.
- 2013
- SPLASH 2013
Nitrogen: Rapid development of mobile applications
- - Aharon Abadi
  - Yael Dubinsky
  - et al.
- 2013
- SPLASH 2013
Automatically fixing security vulnerabilities in Java code
- - Aharon Abadi
  - Ran Ettinger
  - et al.
- 2011
- SPLASH 2011
A traceability technique for specifications
- - Aharon Abadi
  - Mordechai Nisenson
  - et al.
- 2008
- ICPC 2008
Re-approaching the refactoring Rubicon
- - Aharon Abadi
  - Ran Ettinger
  - et al.
- 2008
- OOPSLA 2008
Decidable fragments of many-sorted logic
- - Aharon Abadi
  - Alexander Rabinovich
  - et al.
- 2010
- Journal of Symbolic Computation