Research and Professional
Activities of the Faculty

Cornell computer scientists also provide leadership for publications and conferences in the following capacities:

• ACM Computing Surveys (Schneider, Editor)
  
• ACM Transactions on Computing Systems (Birman, Editor-in-Chief)
  
• ACM Transactions on Computing Systems (Birman, Editor-in-Chief)
  
• ACM Transactions on Information Systems (Salton, Associate Editor)
  
• Acta Informatica (Gries, Main Editor)
  
• Acta Informatica (Gries, Main Editor)
  
• AI Journal Special Issue on Relevance, 1995 (Subramanian, Co-Editor)
  
• Algorithmica10, II, III, IV (Donald, Guest Editor)
  
• Annals of Software Engineering (Schneider, Editor)
  
• Applied Mathematics Letters (Coleman, Editorial Board)
  
• Chicago Journal of Theoretical Computer Science (Hartmanis, Editorial Board)
  
• Communications on Applied Nonlinear Analysis, Mathematical Modelling, and Scientific Computing (Coleman, Editorial Board)
  
• Computational Optimization and Applications (Coleman, Editorial Board)
  
• Computer Graphics Journal (Greenberg, Editorial Board)
  
• Distributed Computing (Schneider, Editor-in-Chief)
  
• EATCS Monographs in Theoretical Computer Science (Hartmanis, Advisory Board)
  
• Electronic Journal for the Foundation of Computer Science (Hartmanis, Editorial Board)
  
• Electronic Journal for Universal Computer Science (Hartmanis, Foundations Editor)
  
• Formal Aspects of Computer Science (Gries, Editorial Board)
  
• Formal Methods in System Design (Constable, Editor)
  
• High Integrity Systems (Schneider, Editor)
  
• IEEE Transactions on Robotics (Donald, Editor)
  
• IEEE Transactions on Software Engineering (Schneider, Editor)
  
• Information Processing Letters (Gries, Managing Editor)
  
• Information Processing Letters (Schneider, Editor)
  
• International Journal for the Foundation of Computer Science (Hartmanis, Advisory Board)
  
• International Journal of Parallel Programming (Pingali, Editorial Board)
  
• Japan Journal of Industrial and Applied Mathematics (Trefethen, Editorial Board)
  
• Journal of Computer and Systems Sciences (Hartmanis, Editor)
  
• Journal of Computational and Applied Mathematics (Trefethen, Editorial Board)
  
• Journal of Global Optimization (Vavasis, Editor)
  
• Journal of Logic and Computation (Constable, Editor)
  
• Journal of Symbolic Computation (Constable, Editor)
  
• MIT Press (Hartmanis, Editorial Board)
  
• Numerische Mathematik (Trefethen, Editorial Board)
  
• SIAM (Coleman, Editorial Advisory Board)
  
• SIAM Journal on Computing (Hartmanis, Editor)
  
• SIAM Journal on Matrix Analysis (Van Loan, Editor)
  
• SIAM Journal on Numerical Analysis (Trefethen, Editorial Board)
  
• SIAM Journal on Scientific Computing (Coleman, Editorial Board)
  
• SIAM Review (Trefethen, Editorial Board)
  
• Software-Concepts and Tools (Gries, Editorial Board)
  
• Springer-Verlag Lecture Notes in Computer Science (Gries, Editorial Board)
  
• Springer-Verlag Lecture Notes in Computer Science (Hartmanis, Editor)
  
• Springer-Verlag Texts and Monographs in Computer Science (Gries and Schneider, Co-Editors)
  

1994-1995 Annual Report Home Page

Departmental Home Page

If you have questions or comments please contact: www@cs.cornell.edu.

---

Last modified: 26 October 1995 by Denise Moore (denise@cs.cornell.edu).