| 1990 | Adaptive Expert Systems and Analogical Problem Solving. | H. Harry Zhou |
| 1990 | Parallelism via Speculation in Pure Prolog. | Benjamin Yu |
| 1990 | A Logic-Free Method for Modular Composition of Specifications. | Victor Yodaiken |
| 1990 | Summaries of invited lectures. | |
| 1990 | Minimal Perfect Hashing For Large Sets of Data. | Vincent G. Winters |
| 1990 | Some Remarks on Polynomial Time Isomorphisms. | Jie Wang |
| 1990 | Classification by Minimum-Message-Length Inference. | Chris S. Wallace |
| 1990 | Toward a General Theory of Computation and Specification over Abstract Data Types. | John V. Tucker, Jeffery I. Zucker |
| 1990 | Computing the Transitive Closure of Symmetric Matrices. | Anestis A. Toptsis, Clement T. Yu, Peter C. Nelson |
| 1990 | Applications Development Toolkits for Environmental Modelling and Monitoring. | David A. Swayne, John Storey, David C.-L. Lam, Isaac W. S. Wong, A. S. Fraser |
| 1990 | Using the Hamiltonian Path Operator to Capture NP. | Iain A. Stewart |
| 1990 | Ethics and Computers: Can Universities Set the Standards? | Gerhard Steinke, Gilbert Hamann |
| 1990 | An Axiomatization of Wait-Freedom and Low-Atomicity. | Ambuj K. Singh |
| 1990 | Is there Science and Technology (Funding) after the Cold War? | Barbara Simons |
| 1990 | Optimality of Gauge and Degree-Sensitive VLSI Layouts of Planar Graphs. | Deepak D. Sherlekar |
| 1990 | Deriving Deterministic Prediction Rules from Reduction Schemes. | Dafna Sheinwald, Richard C. Pasco |
| 1990 | Synthesis of Error-Recoverable Protocol Specifications from Service Specifications. | Kassem Saleh, Robert L. Probert |
| 1990 | On the Formal Aspects of Approximation Algorithms. | Jos D. P. Rolim |
| 1990 | Probabilistic Analysis of Set Operations with Constant-Time Set Equality Test. | William W. Pugh |
| 1990 | The Core Concurrency. | Piotr W. Prszynski |
| 1990 | The Behavior of Database Concurrency Control Mechanisms under Bursty Arrivals. | Jerry Place, Vijay Kumar, Appie van de Liefvoort |
| 1990 | Theory of Rough Sets: A New Methodology for Knowledge Discovery (Abstract). | Zdzislaw Pawlak |
| 1990 | Education for Computing Professionals (Abstract). | David Lorge Parnas |
| 1990 | Architectural Classification and Transaction Execution Models of Multidatabase Systems. | M. Tamer zsu, Ken Barker |
| 1990 | On the Semantic Enhancement of Information Systems Design (Abstract). | Maria E. Orlowska |