Simultaneous SAT-Based Model Checking of Safety Properties. - Zurab Khasidashvili; Alexander Nadel; Amit Palti; Ziyad Hanna (Haifa Verification Conference, 2005)

Encoding RTL Constructs for MathSAT: a Preliminary Report. - Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Anders Franzén; Ziyad Hanna; Zurab Khasidashvili; Amit Palti; Roberto Sebastiani (PDPAR@CAV, 2005)

A Lazy and Layered SMT($ mathcal{BV}$) Solver for Hard Industrial Verification Problems. - Roberto Bruttomesso; Alessandro Cimatti; Anders Franzén; Alberto Griggio; Ziyad Hanna; Alexander Nadel; Amit Palti; Roberto Sebastiani (CAV, 2007)

A Microlearning Online Framework for Teaching Programming Basics. - Amit Palti; Rinat B. Rosenberg-Kima (SIGCSE, 2021)