Tal Lev-Ami

19 papers A* 5A 4B 4Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
CoRR
Jon Sneyers, Jyrki Alakuijala, Luca Versari, Zoltan Szabadka, Sami Boukortt, Amnon Cohen-Tidhar, Moritz Firsching, Evgenii Kliuchnikov, Tal Lev-Ami, Eric Portis, Thomas Richter, Osamu Watanabe
2009 A* conf
POPL
Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
2009 B conf
APLAS
Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv
2009
Tal Lev-Ami
2009 J jnl
Log. Methods Comput. Sci.
Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Mooly Sagiv, Siddharth Srivastava, Greta Yorsh
2008 A conf
ISSTA
Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss
2008 B conf
SAS
Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine
2008 A* conf
CAV
Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv
2008 A* conf
CAV
Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv
2007 B conf
VMCAI
Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps
2007 A conf
CADE
Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv
2007 A* conf
CAV
Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly Sagiv
2006 A* conf
CAV
Tal Lev-Ami, Neil Immerman, Shmuel Sagiv
2005 conf
VSTTE
Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh
2005 A conf
CADE
Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, Siddharth Srivastava, Greta Yorsh
2004 conf
IFIP Congress Topical Sessions
Tal Lev-Ami, Roman Manevich, Shmuel Sagiv
2003 J jnl
Real Time Syst.
Tal Lev-Ami, Shmuel S. Tyszberowicz
2000 A conf
ISSTA
Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2000 B conf
SAS
Tal Lev-Ami, Shmuel Sagiv