FastML: a web server for probabilistic reconstruction of ancestral sequences. - Haim Ashkenazy; Osnat Penn; Adi Doron-Faigenboim; Ofir Cohen; Gina Cannarozzi; Oren Zomer; Tal Pupko (Nucleic Acids Res., 2012)

Checking Linearizability of Encapsulated Extended Operations. - Oren Zomer; Guy Golan-Gueta; G. Ramalingam; Mooly Sagiv (ESOP, 2014)