T. Lev-Ami
发表
M. Sagiv,
T. Lev-Ami,
2007
.
Thomas Reps,
Mooly Sagiv,
Tal Lev-Ami,
2007
.
Sumit Gulwani,
M. Sagiv,
T. Lev-Ami,
2009
.
G. Ramalingam,
R. Manevich,
M. Sagiv,
2009
.
Shmuel S. Tyszberowicz,
Tal Lev-Ami,
T. Lev-Ami,
2003,
Real-Time Systems.
Thomas W. Reps,
Shmuel Sagiv,
Tal Lev-Ami,
2007,
CAV.
Shmuel Sagiv,
Tal Lev-Ami,
Shmuel Sagiv,
2000,
SAS.
Thomas W. Reps,
Shmuel Sagiv,
Reinhard Wilhelm,
2000,
ISSTA '00.
Roman Manevich,
Shmuel Sagiv,
Josh Berdine,
2008,
SAS.
Neil Immerman,
Shmuel Sagiv,
Tal Lev-Ami,
2006,
CAV.
Roman Manevich,
Shmuel Sagiv,
Josh Berdine,
2008,
CAV.
Neil Immerman,
Thomas W. Reps,
Shmuel Sagiv,
2005,
CADE.
Sumit Gulwani,
Shmuel Sagiv,
Tal Lev-Ami,
2009,
POPL '09.
Sumit Gulwani,
Shmuel Sagiv,
Byron Cook,
2008,
CAV.
Roman Manevich,
Shmuel Sagiv,
Tal Lev-Ami,
2004,
IFIP Congress Topical Sessions.
Christoph Weidenbach,
Thomas W. Reps,
Shmuel Sagiv,
2007,
CADE.
Shmuel Sagiv,
Shay Litvak,
Nurit Dor,
2008,
ISSTA '08.