Amit Palti

	2007
3		Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani: A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. CAV 2007: 547-560
	2006
2		Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani: Encoding RTL Constructs for MathSAT: a Preliminary Report. Electr. Notes Theor. Comput. Sci. 144(2): 3-14 (2006)
	2005
1		Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna: Simultaneous SAT-Based Model Checking of Safety Properties. Haifa Verification Conference 2005: 56-75

Coauthor Index

1	Marco Bozzano	[2]
2	Roberto Bruttomesso	[2] [3]
3	Alessandro Cimatti	[2] [3]
4	Anders Franzén	[2] [3]
5	Alberto Griggio	[3]
6	Ziyad Hanna	[1] [2] [3]
7	Zurab Khasidashvili	[1] [2]
8	Alexander Nadel	[1] [3]
9	Roberto Sebastiani	[2] [3]