James B. Saxe
Publication Activity (10 Years)
Years Active: 1979-2013
Publications (10 Years): 0
Publications (10 Years): 0
Top Venues
Publications
- Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
- K. Rustan M. Leino, Todd D. Millstein, James B. Saxe
- David Detlefs, Greg Nelson, James B. Saxe
- Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe
- Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
- Kenneth L. McMillan, Shaz Qadeer, James B. Saxe
- K. Rustan M. Leino, James B. Saxe, Raymie Stata
- Thomas E. Anderson, Susan S. Owicki, James B. Saxe, Charles P. Thacker
- Feng Gao, Leonidas J. Guibas, David G. Kirkpatrick, William T. Laaser, James B. Saxe
- James B. Saxe, James J. Horning, John V. Guttag, Stephen J. Garland
- Charles E. Leiserson, James B. Saxe
- Charles E. Leiserson, James B. Saxe
- Merrick L. Furst, James B. Saxe, Michael Sipser
- Ivor Durham, David Alex Lamb, James B. Saxe
- Charles E. Leiserson, James B. Saxe
- Merrick L. Furst, James B. Saxe, Michael Sipser
- Jon Louis Bentley, Dorothea Haken, James B. Saxe
- Jon Louis Bentley, James B. Saxe
- Jon Louis Bentley, James B. Saxe
- James B. Saxe
- Jon Louis Bentley, James B. Saxe