Publications

William Arms

• Digital Libraries. MIT Press, 2000. (ISBN 0-262-01180-8)

Kavita Bala

• Ed. Rendering Techniques. Springer-Verlag, 2005. (With Phil Dutre)
• Advanced Global Illumination, Second Edition. AK Peters, Ltd., 2006. (With Philip Dutre and Philippe Bekaert)
• Advanced Global Illumination. AK Peters, Ltd., 2003. (With Philip Dutre and Philippe Bekaert)

Ken Birman

• Building Secure and Reliable Network Applications. Manning Publishing Company and Prentice Hall, Englewood Cliffs, NJ, 1997.
• Reliable Distributed Computing with Isis Toolkit. IEEE Computer Society Press, 1994.
• Reliable Distributed Computing with Isis Toolkit. IEEE Computer Society Press, 1994.

Thomas F. Coleman

• Large-Scale Numerical Optimization. SIAM, 1990. (With Yunpeng Li.)

Robert Constable

• PL/CV2 Program Verifier Reference Manual. Computer Science Department. Cornell University, 1978. (With Donald Johnson.)
• 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.)
• A Programming Logic. Winthrop Publishing, 1978. (With M.J. O'Donnell.)

R. Conway

• An Introduction to Programming. Winthrop Publishing, 1973.
• An Introduction to Programming. Winthrop Publishing, 1973.
• A Primer on Disciplined Programming. Winthrop Publishing, 1977.
• A Primer on PASCAL, 2nd edition. Winthrop Publishing, 1981. (With Carl Zimmerman.)
• A Primer on PASCAL, 2nd edition. Winthrop Publishing, 1981. (With Carl Zimmerman.)
• An Introduction to Microprocessor Programming. Winthrop Press, 1979. (With C. Bass and M. Fay.)
• An Introduction to Microprocessor Programming. Winthrop Press, 1979. (With C. Bass and M. Fay.)
• An Introduction to Programming - A Structured Approach. 2nd edition. Winthrop Publishing, 1975.
• An Introduction to Programming - A Structured Approach. 2nd edition. Winthrop Publishing, 1975.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Press, 1979.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Press, 1979.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Publishing, 1973.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Publishing, 1973.
• Introduction to Structured Programming, Using SP/k. Winthrop Publishing, 1977. (With D. Wortman.)
• Introduction to Structured Programming, Using SP/k. Winthrop Publishing, 1977. (With D. Wortman.)
• Primer on PASCAL. Winthrop Publishing, 1976. (With Carl Zimmerman.)
• Primer on PASCAL. Winthrop Publishing, 1976. (With Carl Zimmerman.)
• Primer on Structured Programming. Winthrop Publishing, 1976.
• Primer on Structured Programming. Winthrop Publishing, 1976.
• Programming for Poets: A Gentle Introduction using FORTRAN. Winthrop Publishing, 1978. (With James Archer.)
• Programming for Poets: A Gentle Introduction using PL/I. Winthrop Press, 1978.
• Programming for Poets: Using Basic. Winthrop Press, 1979. (With James Archer.)
• Programming for Poets: Using Pascal. Winthrop Press, 1979. (With James Archer.)
• Theory of Scheduling. Addison-Wesley, 1967. (With W.L. Maxwell and L.W. Miller.)

B.R. Donald

• Symbolic and Numerical Computation for Artificial Intelligence. Academic Press, 1992. (With Shyam Kapur and J.L. Mundy.)
• Robotics. American Mathematical Society, 1990. (With J. Baillieul, R.W. Brockett, David Martin, Daniel Murray, Manish Raghavan and S. Shankar Sastry.)

Johannes Gehrke

• Database Management Systems, Third Edition. McGraw-Hill, 2009. (With Raghu Ramakrishnan)
• Classification and Regression Trees," in Encyclopedia of Data Warehousing and Mining, Second Edition. Information Science Publishing, 2008. (Edited by Jon Wong)

David Gries

• An Introduction to Programming. Winthrop Publishing, 1973.
• An Introduction to Programming. Winthrop Publishing, 1973.
• An Introduction to Programming. Winthrop Publishing, 1973.
• An Introduction to Programming. Winthrop Publishing, 1973.
• An Introduction to Programming. Winthrop Publishing, 1973.
• A Logical Approach to Discrete Math. Springer-Verlag, 1993.
• A Logical Approach to Discrete Math. Springer-Verlag, 1993.
• A Logical Approach to Discrete Math. Springer-Verlag, 1993.
• A Primer on Disciplined Programming. Winthrop Publishing, 1977.
• A Primer on Disciplined Programming. Winthrop Publishing, 1977.
• A Primer on PASCAL, 2nd edition. Winthrop Publishing, 1981. (With Carl Zimmerman.)
• A Primer on PASCAL, 2nd edition. Winthrop Publishing, 1981. (With Carl Zimmerman.)
• A Primer on PASCAL, 2nd edition. Winthrop Publishing, 1981. (With Carl Zimmerman.)
• A Primer on PASCAL, 2nd edition. Winthrop Publishing, 1981. (With Carl Zimmerman.)
• A Primer on PASCAL, 2nd edition. Winthrop Publishing, 1981. (With Carl Zimmerman.)
• An Introduction to Microprocessor Programming. Winthrop Press, 1979. (With C. Bass and M. Fay.)
• An Introduction to Microprocessor Programming. Winthrop Press, 1979. (With C. Bass and M. Fay.)
• An Introduction to Microprocessor Programming. Winthrop Press, 1979. (With C. Bass and M. Fay.)
• An Introduction to Microprocessor Programming. Winthrop Press, 1979. (With C. Bass and M. Fay.)
• An Introduction to Microprocessor Programming. Winthrop Press, 1979. (With C. Bass and M. Fay.)
• An Introduction to Programming - A Structured Approach. 2nd edition. Winthrop Publishing, 1975.
• An Introduction to Programming - A Structured Approach. 2nd edition. Winthrop Publishing, 1975.
• An Introduction to Programming - A Structured Approach. 2nd edition. Winthrop Publishing, 1975.
• An Introduction to Programming - A Structured Approach. 2nd edition. Winthrop Publishing, 1975.
• An Introduction to Programming - A Structured Approach. 2nd edition. Winthrop Publishing, 1975.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Press, 1979.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Press, 1979.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Press, 1979.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Press, 1979.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Press, 1979.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Publishing, 1973.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Publishing, 1973.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Publishing, 1973.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Publishing, 1973.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Publishing, 1973.
• Beauty is our Business. Springer-Verlag, 1990. (Editors. With Wim Feijen, Jayadev Misra and A.J.M. van Gasteren.)
• Compiler Construction for Digital Computers. John Wiley & Sons, 1971.
• Introduction to Structured Programming, Using SP/k. Winthrop Publishing, 1977. (With D. Wortman.)
• Introduction to Structured Programming, Using SP/k. Winthrop Publishing, 1977. (With D. Wortman.)
• Introduction to Structured Programming, Using SP/k. Winthrop Publishing, 1977. (With D. Wortman.)
• Introduction to Structured Programming, Using SP/k. Winthrop Publishing, 1977. (With D. Wortman.)
• Introduction to Structured Programming, Using SP/k. Winthrop Publishing, 1977. (With D. Wortman.)
• Multimedia Introduction to Programming Using Java. Springer Verlag, NY, 2004. (With Paul Gries)
• Primer on PASCAL. Winthrop Publishing, 1976. (With Carl Zimmerman.)
• Primer on PASCAL. Winthrop Publishing, 1976. (With Carl Zimmerman.)
• Primer on PASCAL. Winthrop Publishing, 1976. (With Carl Zimmerman.)
• Primer on PASCAL. Winthrop Publishing, 1976. (With Carl Zimmerman.)
• Primer on PASCAL. Winthrop Publishing, 1976. (With Carl Zimmerman.)
• Primer on Structured Programming. Winthrop Publishing, 1976.
• Primer on Structured Programming. Winthrop Publishing, 1976.
• Primer on Structured Programming. Winthrop Publishing, 1976.
• Primer on Structured Programming. Winthrop Publishing, 1976.
• Primer on Structured Programming. Winthrop Publishing, 1976.
• ProgramLive. Data Description, Ithaca, NY, 2000. (A CD with over 250 recorded lectures with synched animation. With Paul Gries)
• Programming Concepts and Methods, PROCOMET '98. Chapman and Hall, 1998. (With William-Paul de Roever.)
• Programming for Poets: A Gentle Introduction using FORTRAN. Winthrop Publishing, 1978. (With James Archer.)
• Programming for Poets: A Gentle Introduction using FORTRAN. Winthrop Publishing, 1978. (With James Archer.)
• Programming for Poets: A Gentle Introduction using PL/I. Winthrop Press, 1978.
• Programming for Poets: A Gentle Introduction using PL/I. Winthrop Press, 1978.
• Programming for Poets: Using Basic. Winthrop Press, 1979. (With James Archer.)
• Programming for Poets: Using Basic. Winthrop Press, 1979. (With James Archer.)
• Programming for Poets: Using Pascal. Winthrop Press, 1979. (With James Archer.)
• Programming for Poets: Using Pascal. Winthrop Press, 1979. (With James Archer.)
• The Science of Programming. Springer-Verlag, 1981.
• Theory of Scheduling. Addison-Wesley, 1967. (With W.L. Maxwell and L.W. Miller.)
• Theory of Scheduling. Addison-Wesley, 1967. (With W.L. Maxwell and L.W. Miller.)

Joseph Halpern

• Reasoning About Uncertainty. MIT Press, 2003.
• Reasoning About Knowledge. MIT Press, 1995. (With Ronald Fagin, Yoran Moses and Moshe Vardi.)

John Hopcroft

• The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974. (With Alfred Aho and Jeffrey Ullman.)
• Data Structures and Algorithms. Addison-Wesley, 1983. (With Alfred Aho and Jeffrey Ullman.)

Thorsten Joachims

• Learning to Classify Text using Support Vector Machines. Kluwer/Springer, 2002.

Srinivasan Keshav

• An Engineering Approach to Computer Networking: ATM Networks, the Internet, and the Telephone Network. Addison-Wesley, 1997.

Jon Kleinberg

• Algorithm Design. Addison-Wesley, 2005.
• Algorithm Design. Addison-Wesley, 2005.
• Networks, Crowds, and Markets: Reasoning About a Highly Connected World. Cambridge University Press, 2010. (With David Easley)

Christopher Koch

• MayMBS: A System for Managing Large Uncertain and Probabalistic Databases. Springer-Verlag, 2009. (in Managing and Mining Uncertain Data)
• Logical Foundations of Web Data Extraction (Encyclopedia of Database Systems). Springer, 2009.

Dexter Kozen

• Theory of Computation (Texts in Computer Science). Springer-Verlag, 2006.
• The Design and Analysis of Algorithms. Springer-Verlag, 1991.
• Dynamic Logic. MIT Press, 2000. (With David Harel and Jerzy Tiyryn.)
• Automata and Computability. Springer Verlag, New York, NY, 1997.

Lillian Lee

• Opinion Mining and Sentiment Analysis (Foundations and Trends in Information Retrieval). Now, 2008. (2(1-2), pp. 1-135 With Bo Pang.)

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)

Gerald Salton

• The SMART Retrieval System - Experiments in Automatic Document Processing. Prentice Hall, 1971.
• Introduction to Modern Information Retrieval. McGraw-Hill, 1983. (With Michael J. Mcgill.)
• Dynamic Information and Library Processing. Prentice Hall, 1975.
• Automatic Text Processing: The Transformation, Analysis, and Retrieval of Information by Computer. Addison-Wesley, 1989.
• Automatic Information Organization and Retrieval. McGraw-Hill, 1968.

Fred Schneider

• An Introduction to Programming. Winthrop Publishing, 1973.
• An Introduction to Programming. Winthrop Publishing, 1973.
• An Introduction to Programming. Winthrop Publishing, 1973.
• An Introduction to Programming. Winthrop Publishing, 1973.
• An Introduction to Programming. Winthrop Publishing, 1973.
• A Logical Approach to Discrete Math. Springer-Verlag, 1993.
• A Logical Approach to Discrete Math. Springer-Verlag, 1993.
• A Logical Approach to Discrete Math. Springer-Verlag, 1993.
• A Logical Approach to Discrete Math. Springer-Verlag, 1993.
• A Primer on Disciplined Programming. Winthrop Publishing, 1977.
• A Primer on Disciplined Programming. Winthrop Publishing, 1977.
• A Primer on PASCAL, 2nd edition. Winthrop Publishing, 1981. (With Carl Zimmerman.)
• A Primer on PASCAL, 2nd edition. Winthrop Publishing, 1981. (With Carl Zimmerman.)
• A Primer on PASCAL, 2nd edition. Winthrop Publishing, 1981. (With Carl Zimmerman.)
• A Primer on PASCAL, 2nd edition. Winthrop Publishing, 1981. (With Carl Zimmerman.)
• A Primer on PASCAL, 2nd edition. Winthrop Publishing, 1981. (With Carl Zimmerman.)
• An Introduction to Microprocessor Programming. Winthrop Press, 1979. (With C. Bass and M. Fay.)
• An Introduction to Microprocessor Programming. Winthrop Press, 1979. (With C. Bass and M. Fay.)
• An Introduction to Microprocessor Programming. Winthrop Press, 1979. (With C. Bass and M. Fay.)
• An Introduction to Microprocessor Programming. Winthrop Press, 1979. (With C. Bass and M. Fay.)
• An Introduction to Microprocessor Programming. Winthrop Press, 1979. (With C. Bass and M. Fay.)
• An Introduction to Programming - A Structured Approach. 2nd edition. Winthrop Publishing, 1975.
• An Introduction to Programming - A Structured Approach. 2nd edition. Winthrop Publishing, 1975.
• An Introduction to Programming - A Structured Approach. 2nd edition. Winthrop Publishing, 1975.
• An Introduction to Programming - A Structured Approach. 2nd edition. Winthrop Publishing, 1975.
• An Introduction to Programming - A Structured Approach. 2nd edition. Winthrop Publishing, 1975.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Press, 1979.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Press, 1979.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Press, 1979.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Press, 1979.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Press, 1979.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Publishing, 1973.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Publishing, 1973.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Publishing, 1973.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Publishing, 1973.
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Publishing, 1973.
• Beauty is our Business. Springer-Verlag, 1990. (Editors. With Wim Feijen, Jayadev Misra and A.J.M. van Gasteren.)
• Compiler Construction for Digital Computers. John Wiley & Sons, 1971.
• Introduction to Structured Programming, Using SP/k. Winthrop Publishing, 1977. (With D. Wortman.)
• Introduction to Structured Programming, Using SP/k. Winthrop Publishing, 1977. (With D. Wortman.)
• Introduction to Structured Programming, Using SP/k. Winthrop Publishing, 1977. (With D. Wortman.)
• Introduction to Structured Programming, Using SP/k. Winthrop Publishing, 1977. (With D. Wortman.)
• Introduction to Structured Programming, Using SP/k. Winthrop Publishing, 1977. (With D. Wortman.)
• Multimedia Introduction to Programming Using Java. Springer Verlag, NY, 2004. (With Paul Gries)
• On Concurrent Programming. Springer Verlag, New York, NY, 1997.
• Primer on PASCAL. Winthrop Publishing, 1976. (With Carl Zimmerman.)
• Primer on PASCAL. Winthrop Publishing, 1976. (With Carl Zimmerman.)
• Primer on PASCAL. Winthrop Publishing, 1976. (With Carl Zimmerman.)
• Primer on PASCAL. Winthrop Publishing, 1976. (With Carl Zimmerman.)
• Primer on PASCAL. Winthrop Publishing, 1976. (With Carl Zimmerman.)
• Primer on Structured Programming. Winthrop Publishing, 1976.
• Primer on Structured Programming. Winthrop Publishing, 1976.
• Primer on Structured Programming. Winthrop Publishing, 1976.
• Primer on Structured Programming. Winthrop Publishing, 1976.
• Primer on Structured Programming. Winthrop Publishing, 1976.
• ProgramLive. Data Description, Ithaca, NY, 2000. (A CD with over 250 recorded lectures with synched animation. With Paul Gries)
• Programming Concepts and Methods, PROCOMET '98. Chapman and Hall, 1998. (With William-Paul de Roever.)
• Programming for Poets: A Gentle Introduction using FORTRAN. Winthrop Publishing, 1978. (With James Archer.)
• Programming for Poets: A Gentle Introduction using FORTRAN. Winthrop Publishing, 1978. (With James Archer.)
• Programming for Poets: A Gentle Introduction using PL/I. Winthrop Press, 1978.
• Programming for Poets: A Gentle Introduction using PL/I. Winthrop Press, 1978.
• Programming for Poets: Using Basic. Winthrop Press, 1979. (With James Archer.)
• Programming for Poets: Using Basic. Winthrop Press, 1979. (With James Archer.)
• Programming for Poets: Using Pascal. Winthrop Press, 1979. (With James Archer.)
• Programming for Poets: Using Pascal. Winthrop Press, 1979. (With James Archer.)
• The Science of Programming. Springer-Verlag, 1981.
• Theory of Scheduling. Addison-Wesley, 1967. (With W.L. Maxwell and L.W. Miller.)
• Theory of Scheduling. Addison-Wesley, 1967. (With W.L. Maxwell and L.W. Miller.)
• Trust in Cyberspace. National Academy Press, 1999. (Editor)

David Schwartz

• Introduction to Unix. Prentice Hall, 1999.
• Introduction to Maple. Prentice Hall, 1999.

Eva Tardos

• Algorithm Design. Addison-Wesley, 2005.
• Algorithm Design. Addison-Wesley, 2005.
• Algorithm Design. Addison-Wesley, 2005.
• Algorithmic Game Theory. Cambridge Univesity Press, 2007. (With Noam Nisan, Tim Roughgarden and Vijay Vazirani)
• Networks, Crowds, and Markets: Reasoning About a Highly Connected World. Cambridge University Press, 2010. (With David Easley)

Tim Teitelbaum

• The Synthesizer Generator: A System for Constructing Language-Based Editors. Springer-Verlag, 1989. (With Thomas Reps.)
• The Cornell Program Synthesizer: A Tutorial Introduction. Cornell University, 1979.

Nick Trefethen

• Numerical Linear Algebra. SIAM, 1997. (With David Bau III.)
• Numerical Conformal Mapping. Elsevier Science Publishers, 1986.

Charles Van Loan

• Matrix Computations. John Hopkins University Press, 1989. (With Gene Golub.)
• Matrix Computations. John Hopkins University Press, 1984. (With Gene Golub.)
• Introduction to Scientific Computing: A Matrix Approach Using MATLAB. Prentice Hall, Englewood Cliffs, NJ, 1997.

Stephen Vavasis

• Nonlinear Optimization: Complexity Issues. Oxford Science Publications, 1991.

P. Wegner

• The Structure of Programming Languages. McGraw-Hill, 1967.
• Programming Languages, Information Structures and Machine Organization. McGraw-Hill, 1968.

Richard Zippel

• Effective Polynomial Computation. Kluwer Academic Publishers, 1993.