View Publications by

AuthorORYear
2010
  • Jon Kleinberg Networks, Crowds, and Markets: Reasoning About a Highly Connected World. Cambridge University Press, 2010 (With David Easley)
2009
  • Christopher Koch Logical Foundations of Web Data Extraction (Encyclopedia of Database Systems). Springer, 2009
  • Johannes Gehrke Database Management Systems, Third Edition. McGraw-Hill, 2009 (With Raghu Ramakrishnan)
  • Christopher Koch MayMBS: A System for Managing Large Uncertain and Probabalistic Databases. Springer-Verlag, 2009 (in Managing and Mining Uncertain Data)
2008
  • Johannes Gehrke Classification and Regression Trees," in Encyclopedia of Data Warehousing and Mining, Second Edition. Information Science Publishing, 2008 (Edited by Jon Wong)
  • Lillian Lee Opinion Mining and Sentiment Analysis (Foundations and Trends in Information Retrieval). Now, 2008 (2(1-2), pp. 1-135 With Bo Pang.)
2007
  • Eva Tardos Algorithmic Game Theory. Cambridge Univesity Press, 2007 (With Noam Nisan, Tim Roughgarden and Vijay Vazirani)
2006
  • Kavita Bala Advanced Global Illumination, Second Edition. AK Peters, Ltd., 2006 (With Philip Dutre and Philippe Bekaert)
  • Dexter Kozen Theory of Computation (Texts in Computer Science). Springer-Verlag, 2006
2005
  • Kavita Bala Ed. Rendering Techniques. Springer-Verlag, 2005 (With Phil Dutre)
  • Jon Kleinberg and Eva Tardos Algorithm Design. Addison-Wesley, 2005
  • Steve Marschner "Signal Processing," in Fundamentals of Computer Graphics, Second Edition. A.K. Peters, Ltd, 2005 (With Peter Shirley, Michael Ashikhmin, Michael Gleicher, Erik Reinhard, Kevin Sung, William Thompson and Peter Willemsen)
2004
  • David Gries Multimedia Introduction to Programming Using Java. Springer Verlag, NY, 2004 (With Paul Gries)
2003
  • Joseph Halpern Reasoning About Uncertainty. MIT Press, 2003
  • Kavita Bala Advanced Global Illumination. AK Peters, Ltd., 2003 (With Philip Dutre and Philippe Bekaert)
2002
  • Thorsten Joachims Learning to Classify Text using Support Vector Machines. Kluwer/Springer, 2002
2000
  • David Gries ProgramLive. Data Description, Ithaca, NY, 2000 (A CD with over 250 recorded lectures with synched animation. With Paul Gries)
  • William Arms Digital Libraries. MIT Press, 2000 (ISBN 0-262-01180-8)
  • Dexter Kozen Dynamic Logic. MIT Press, 2000 (With David Harel and Jerzy Tiyryn.)
1999
  • Fred Schneider Trust in Cyberspace. National Academy Press, 1999 (Editor)
  • David Schwartz Introduction to Unix. Prentice Hall, 1999
  • David Schwartz Introduction to Maple. Prentice Hall, 1999
1998
  • David Gries Programming Concepts and Methods, PROCOMET '98. Chapman and Hall, 1998 (With William-Paul de Roever.)
1997
  • Ken Birman Building Secure and Reliable Network Applications. Manning Publishing Company and Prentice Hall, Englewood Cliffs, NJ, 1997
  • Dexter Kozen Automata and Computability. Springer Verlag, New York, NY, 1997
  • Fred Schneider On Concurrent Programming. Springer Verlag, New York, NY, 1997
  • Charles Van Loan Introduction to Scientific Computing: A Matrix Approach Using MATLAB. Prentice Hall, Englewood Cliffs, NJ, 1997
  • Srinivasan Keshav An Engineering Approach to Computer Networking: ATM Networks, the Internet, and the Telephone Network. Addison-Wesley, 1997
  • Nick Trefethen Numerical Linear Algebra. SIAM, 1997 (With David Bau III.)
1995
  • Joseph Halpern Reasoning About Knowledge. MIT Press, 1995 (With Ronald Fagin, Yoran Moses and Moshe Vardi.)
1994
1993
1992
  • B.R. Donald Symbolic and Numerical Computation for Artificial Intelligence. Academic Press, 1992 (With Shyam Kapur and J.L. Mundy.)
1991
  • Dexter Kozen The Design and Analysis of Algorithms. Springer-Verlag, 1991
  • Stephen Vavasis Nonlinear Optimization: Complexity Issues. Oxford Science Publications, 1991
1990
  • David Gries Beauty is our Business. Springer-Verlag, 1990 (Editors. With Wim Feijen, Jayadev Misra and A.J.M. van Gasteren.)
  • B.R. Donald Robotics. American Mathematical Society, 1990 (With J. Baillieul, R.W. Brockett, David Martin, Daniel Murray, Manish Raghavan and S. Shankar Sastry.)
  • Thomas F. Coleman Large-Scale Numerical Optimization. SIAM, 1990 (With Yunpeng Li.)
1989
  • Gerald Salton Automatic Text Processing: The Transformation, Analysis, and Retrieval of Information by Computer. Addison-Wesley, 1989
  • Charles Van Loan Matrix Computations. John Hopkins University Press, 1989 (With Gene Golub.)
  • Tim Teitelbaum The Synthesizer Generator: A System for Constructing Language-Based Editors. Springer-Verlag, 1989 (With Thomas Reps.)
1986
  • Robert Constable Implementing Mathematics with the Nuprl Proof Development System. Prentice Hall, 1986 (With Stuart Allen, H.M. Bromley, Walter Cleaveland, James Cremer, Robert Harper Douglas Howe, Todd Knoblock, Paul Mendler, P. Pandangaden, James Sasaki, and Scott Smith.)
  • Nick Trefethen Numerical Conformal Mapping. Elsevier Science Publishers, 1986
1984
  • Charles Van Loan Matrix Computations. John Hopkins University Press, 1984 (With Gene Golub.)
1983
  • Gerald Salton Introduction to Modern Information Retrieval. McGraw-Hill, 1983 (With Michael J. Mcgill.)
  • John Hopcroft Data Structures and Algorithms. Addison-Wesley, 1983 (With Alfred Aho and Jeffrey Ullman.)
1981
  • David Gries The Science of Programming. Springer-Verlag, 1981
  • R. Conway and David Gries A Primer on PASCAL, 2nd edition. Winthrop Publishing, 1981 (With Carl Zimmerman.)
1979
  • David Gries and R. Conway An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Press, 1979
  • Tim Teitelbaum The Cornell Program Synthesizer: A Tutorial Introduction. Cornell University, 1979
  • R. Conway Programming for Poets: Using Basic. Winthrop Press, 1979 (With James Archer.)
  • R. Conway Programming for Poets: Using Pascal. Winthrop Press, 1979 (With James Archer.)
  • R. Conway and David Gries An Introduction to Microprocessor Programming. Winthrop Press, 1979 (With C. Bass and M. Fay.)
1978
  • R. Conway Programming for Poets: A Gentle Introduction using PL/I. Winthrop Press, 1978
  • R. Conway Programming for Poets: A Gentle Introduction using FORTRAN. Winthrop Publishing, 1978 (With James Archer.)
  • Robert Constable A Programming Logic. Winthrop Publishing, 1978 (With M.J. O'Donnell.)
  • Robert Constable PL/CV2 Program Verifier Reference Manual. Computer Science Department. Cornell University, 1978 (With Donald Johnson.)
1977
  • R. Conway A Primer on Disciplined Programming. Winthrop Publishing, 1977
  • R. Conway and David Gries Introduction to Structured Programming, Using SP/k. Winthrop Publishing, 1977 (With D. Wortman.)
1976
  • R. Conway and David Gries Primer on Structured Programming. Winthrop Publishing, 1976
  • R. Conway and David Gries Primer on PASCAL. Winthrop Publishing, 1976 (With Carl Zimmerman.)
1975
  • Gerald Salton Dynamic Information and Library Processing. Prentice Hall, 1975
  • David Gries and R. Conway An Introduction to Programming - A Structured Approach. 2nd edition. Winthrop Publishing, 1975
1974
  • John Hopcroft The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974 (With Alfred Aho and Jeffrey Ullman.)
1973
  • R. Conway and David Gries An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Publishing, 1973
  • David Gries and R. Conway An Introduction to Programming. Winthrop Publishing, 1973
1971
  • Gerald Salton The SMART Retrieval System - Experiments in Automatic Document Processing. Prentice Hall, 1971
  • David Gries Compiler Construction for Digital Computers. John Wiley & Sons, 1971
1968
  • Gerald Salton Automatic Information Organization and Retrieval. McGraw-Hill, 1968
  • P. Wegner Programming Languages, Information Structures and Machine Organization. McGraw-Hill, 1968
1967
  • R. Conway Theory of Scheduling. Addison-Wesley, 1967 (With W.L. Maxwell and L.W. Miller.)
  • P. Wegner The Structure of Programming Languages. McGraw-Hill, 1967