Publications

Fred Schneider

• Trust in Cyberspace. National Academy Press, 1999. (Editor)
• On Concurrent Programming. Springer Verlag, New York, NY, 1997.

R. Conway

• Theory of Scheduling. Addison-Wesley, 1967. (With W.L. Maxwell and L.W. Miller.)
• Programming for Poets: Using Pascal. Winthrop Press, 1979. (With James Archer.)
• Programming for Poets: Using Basic. Winthrop Press, 1979. (With James Archer.)
• Programming for Poets: A Gentle Introduction using PL/I. Winthrop Press, 1978.
• Programming for Poets: A Gentle Introduction using FORTRAN. Winthrop Publishing, 1978. (With James Archer.)
• A Primer on Disciplined Programming. Winthrop Publishing, 1977.

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.

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.

P. Wegner

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

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.

David Gries

• The Science of Programming. Springer-Verlag, 1981.
• Programming Concepts and Methods, PROCOMET '98. Chapman and Hall, 1998. (With William-Paul de Roever.)
• ProgramLive. Data Description, Ithaca, NY, 2000. (A CD with over 250 recorded lectures with synched animation. With Paul Gries)
• Multimedia Introduction to Programming Using Java. Springer Verlag, NY, 2004. (With Paul Gries)
• Compiler Construction for Digital Computers. John Wiley & Sons, 1971.
• Beauty is our Business. Springer-Verlag, 1990. (Editors. With Wim Feijen, Jayadev Misra and A.J.M. van Gasteren.)

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.)

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.)

Ken Birman , Robbert van Renesse

• Reliable Distributed Computing with Isis Toolkit. IEEE Computer Society Press, 1994.

Joseph Halpern

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

R. Conway , David Gries

• Primer on Structured Programming. Winthrop Publishing, 1976.
• Primer on PASCAL. Winthrop Publishing, 1976. (With Carl Zimmerman.)
• Introduction to Structured Programming, Using SP/k. Winthrop Publishing, 1977. (With D. Wortman.)
• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Publishing, 1973.
• An Introduction to Microprocessor Programming. Winthrop Press, 1979. (With C. Bass and M. Fay.)
• A Primer on PASCAL, 2nd edition. Winthrop Publishing, 1981. (With Carl Zimmerman.)

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.)

Lillian Lee

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

Nick Trefethen

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

Stephen Vavasis

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

Jon Kleinberg

• 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.

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.

Thorsten Joachims

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

Thomas F. Coleman

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

David Schwartz

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

Richard Zippel

• Effective Polynomial Computation. Kluwer Academic Publishers, 1993.

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)

William Arms

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

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)

Ken Birman

• Building Secure and Reliable Network Applications. Manning Publishing Company and Prentice Hall, Englewood Cliffs, NJ, 1997.

David Gries , R. Conway

• An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Press, 1979.
• An Introduction to Programming - A Structured Approach. 2nd edition. Winthrop Publishing, 1975.
• An Introduction to Programming. Winthrop Publishing, 1973.

Srinivasan Keshav

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

Eva Tardos

• Algorithmic Game Theory. Cambridge Univesity Press, 2007. (With Noam Nisan, Tim Roughgarden and Vijay Vazirani)

Jon Kleinberg , Eva Tardos

• Algorithm Design. Addison-Wesley, 2005.

David Gries , Fred Schneider

• A Logical Approach to Discrete Math. Springer-Verlag, 1993.
• A Logical Approach to Discrete Math. Springer-Verlag, 1993.

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)