Itay Neeman

发表

Donald A. Martin, Itay Neeman, Marco Vervoort, 2003, Journal of Symbolic Logic.

William Chen, Itay Neeman, 2015, Arch. Math. Log..

Andreas Blass, Yuri Gurevich, Michal Moskal, 2010, The Future of Software Engineering.

Barry Boehm, Michal Moskal, Itay Neeman, 2012 .

Itay Neeman, 2008, J. Symb. Log..

Itay Neeman, 2002, J. Math. Log..

Yuri Gurevich, Itay Neeman, Y. Gurevich, 2008 .

John R. Steel, Itay Neeman, 2016, Arch. Math. Log..

Itay Neeman, 2014, Notre Dame J. Formal Log..

Itay Neeman, I. Neeman, 2009, J. Math. Log..

Itay Neeman, 2014, J. Symb. Log..

Itay Neeman, 2007, Bull. Symb. Log..

Yuri Gurevich, Itay Neeman, Y. Gurevich, 2009 .

Jindrich Zapletal, Itay Neeman, 2001, J. Symb. Log..

Ernest Schimmerling, Itay Neeman, 2008, J. Symb. Log..

Itay Neeman, 2004, J. Symb. Log..

Itay Neeman, I. Neeman, 2007, J. Math. Log..

John R. Steel, Itay Neeman, 1999, J. Symb. Log..

Itay Neeman, 2000, Ann. Pure Appl. Log..

Benedikt Löwe, John R. Steel, Alexander S. Kechris, 2008 .

Alexander Leitsch, Toshiyasu Arai, Harvey Friedman, 2002 .

Yuri Gurevich, Itay Neeman, Y. Gurevich, 2008, 2008 21st IEEE Computer Security Foundations Symposium.

Itay Neeman, 2011, J. Symb. Log..

Yuri Gurevich, Itay Neeman, 2009, Bull. EATCS.

John R. Steel, Itay Neeman, 2006, J. Symb. Log..

Itay Neeman, Zach Norwood, 2018, J. Symb. Log..

Phokion G. Kolaitis, Harvey Friedman, Richard A. Shore, 1996 .

Greg Hjorth, Itay Neeman, Alessandro Andretta, 2007, J. Math. Log..

Ralf Schindler, Gunter Fuchs, Itay Neeman, 2010, Arch. Math. Log..

Itay Neeman, 1995, Bull. Symb. Log..

Yuri Gurevich, Itay Neeman, 2011, TOCL.

Itay Neeman, William Chen-Mertens, 2021, Ann. Pure Appl. Log..

Itay Neeman, I. Neeman, 2010 .

Itay Neeman, 2000 .

John R. Steel, Itay Neeman, Alessandro Andretta, 2001 .