James B. Saxe

发表

Charles E. Leiserson, James B. Saxe, J. Saxe, 1988, Algorithmica.

Thomas E. Anderson, Susan S. Owicki, Charles P. Thacker, 1993, TOCS.

Leonidas J. Guibas, Alok Aggarwal, Peter W. Shor, 1989, Discret. Comput. Geom..

Thomas L. Rodeheffer, James B. Saxe, 1998 .

David Detlefs, Greg Nelson, James B. Saxe, 2005, JACM.

James B. Saxe, 1979, Discret. Appl. Math..

Todd D. Millstein, K. Rustan M. Leino, James B. Saxe, 2005, Sci. Comput. Program..

Charles E. Leiserson, James B. Saxe, J. Saxe, 1988, J. Algorithms.

Stephen J. Garland, John V. Guttag, James B. Saxe, 1992, Formal Methods Syst. Des..

Leonidas J. Guibas, David G. Kirkpatrick, Feng Gao, 2005, Algorithmica.

Jon Louis Bentley, James B. Saxe, J. Saxe, 1980, J. Algorithms.

Jon Louis Bentley, James B. Saxe, 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

James B. Saxe, J. Saxe, 1980, SIAM J. Algebraic Discret. Methods.

Cormac Flanagan, James B. Saxe, J. Saxe, 2001, POPL '01.

Thomas E. Anderson, Susan S. Owicki, Charles P. Thacker, 1992, ASPLOS V.

Charles E. Leiserson, James B. Saxe, Flavio M. Rose, 1983 .

Jon Louis Bentley, James B. Saxe, 1979, SIGA.

Mark Lillibridge, K. Rustan M. Leino, Raymie Stata, 2002, PLDI '02.

K. Rustan M. Leino, Raymie Stata, James B. Saxe, 1999, ECOOP Workshops.

Michael Sipser, Merrick L. Furst, James B. Saxe, 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

Xinming Ou, Cormac Flanagan, Rajeev Joshi, 2003, CAV.

Jon Louis Bentley, James B. Saxe, 1980, TOMS.

Mark Lillibridge, K. Rustan M. Leino, Raymie Stata, 2013, SIGP.

David Alex Lamb, James B. Saxe, Ivor Durham, 1983, CACM.

Charles E. Leiserson, James B. Saxe, J. Saxe, 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

K. Rustan M. Leino, Greg Nelson, James B. Saxe, 2000 .

Michael Sipser, Merrick L. Furst, James B. Saxe, 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

Leonidas J. Guibas, Alok Aggarwal, Peter W. Shor, 1987, Discret. Comput. Geom..

Kenneth L. McMillan, Shaz Qadeer, James B. Saxe, 2000, CAV.

Mounir Hamdi, Thomas E. Anderson, Rong, 2016 .

Lyle Ramshaw, James B. Saxe, J. Saxe, 1995 .