| 1990 | A Constant Update Time Finger Search Tree. Paul F. Dietz, Rajeev Raman |
| 1990 | A Hierarchical Multirate Method for Circuit Simulation on Parallel Computers. Bernhard Klaassen |
| 1990 | A Hypertext for Literate Programming. M. Brown, Bogdan D. Czejdo |
| 1990 | A Logic-Free Method for Modular Composition of Specifications. Victor Yodaiken |
| 1990 | A Model of Communication in Ada using Shared Data Abstractions. Chris D. Marlin, Michael Oudshoorn, Dennis Freidel |
| 1990 | A Model of Execution Time Estimating for RPC-Oriented Programs. Wanlei Zhou, Brian Molinari |
| 1990 | A Parallel Algorithm for Path-Min Queries in Trees. Sung Kwon Kim |
| 1990 | Adaptive Expert Systems and Analogical Problem Solving. H. Harry Zhou |
| 1990 | Advances in Computing and Information - ICCI'90, International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990, Proceedings Selim G. Akl, Frantisek Fiala, Waldemar W. Koczkodaj |
| 1990 | Almost-Everywhere Complexity, Bi-Immunity and Nondeterministic Space. John G. Geske, Diane Kakihara |
| 1990 | Alternatives to the B+-Tree. William Boswell, Alan L. Tharp |
| 1990 | An Architecture for a Multimedia Database Management System Supporting Content Search. Vincent Y. Lum, Klaus Meyer-Wegener |
| 1990 | An Axiomatization of Wait-Freedom and Low-Atomicity. Ambuj K. Singh |
| 1990 | An Efficient VLSI Network Bridge Architecture for Local Area Networks. Chandrabhan Chevli, Hee Yong Youn |
| 1990 | An Environment for Information System Prototyping: A System Simulation Approach. Kung-Chao Liu |
| 1990 | Analysis of Self-Reconfigurating Processes of Fault-Tolerant Distributed Computing Systems. Jan R. Just |
| 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 | Architectural Classification and Transaction Execution Models of Multidatabase Systems. M. Tamer Özsu, Ken Barker |
| 1990 | Asynchronous Functional Parallel Programs. Jacques Julliand, Guy-René Perrin |
| 1990 | Average Case Analysis of Algorithms using Matrix Recurrences. Ricardo A. Baeza-Yates, Gaston H. Gonnet |
| 1990 | Block Concatenated Code Word Surrogate File for Partial Match Retrieval. Soon Myoung Chung |
| 1990 | Classification by Minimum-Message-Length Inference. Chris S. Wallace |
| 1990 | Communication Complexity of Computing a Collection of Rational Functions. Zhi-Quan Luo |
| 1990 | Computing the Transitive Closure of Symmetric Matrices. Anestis A. Toptsis, Clement T. Yu, Peter C. Nelson |
| 1990 | Concurrent Data Structures. Adrian Colbrook, Colin Smythe, David H. Pitt |
| 1990 | Control Bottlenecks in a Network Database Mechine. T. Anthony Marsland, Liming Meng |
| 1990 | DINAS: Computer-Assisted System for Multi-Criteria Transportation and Location Analysis. Wlodzimierz Ogryczak, Krzysztof Studzinski, Krystian Zorychta |
| 1990 | Deriving Deterministic Prediction Rules from Reduction Schemes. Dafna Sheinwald, Richard C. Pasco |
| 1990 | Designing Parallel Algorithms for Transputer Networks (Abstract). Michel Cosnard |
| 1990 | Distributed Computers: Object-vs. Unix-Based and Beyond (Abstract). Richard P. Hopkins |
| 1990 | Education for Computing Professionals (Abstract). David Lorge Parnas |
| 1990 | Efficient Deterministic Parallel Algorithms for Integer Sorting. Lin Chen |
| 1990 | Electing a Leader in a Synchronous Scalable Network. G. H. Masapati, Hasan Ural |
| 1990 | Ethics and Computers: Can Universities Set the Standards? Gerhard Steinke, Gilbert Hamann |
| 1990 | Executive Support Systems for Strategic Advance (Abstract). Jeretta Horn Nord, G. Daryl Nord |
| 1990 | Fast Left-Linear Semi-Unification. Fritz Henglein |
| 1990 | Finding Two-Tree-Factor Elements of Tableau-Defined Monoids in Time O(n³). Alois P. Heinz |
| 1990 | I/O Overhead and Parallel VLSI Architectures for Lattice Computations. Mark H. Nodine, Daniel P. Lopresti, Jeffrey Scott Vitter |
| 1990 | Is there Science and Technology (Funding) after the Cold War? Barbara Simons |
| 1990 | Logic Programming for Software Testing. Sanjeev Khanna |
| 1990 | Merging of Scores for Decision Making in Practice and Theory (Abstract). Jonas Aczél |
| 1990 | Minimal Perfect Hashing For Large Sets of Data. Vincent G. Winters |
| 1990 | On Real-Time Program Specification Description with a Data Model-Based Language. Katsumi Okamoto, Masaaki Hashimoto |
| 1990 | On the Complexity of (Off-Line) 1-Tape ATM's Running in Constant Reversals. Tao Jiang |
| 1990 | On the Formal Aspects of Approximation Algorithms. José D. P. Rolim |
| 1990 | On the Semantic Enhancement of Information Systems Design (Abstract). Maria E. Orlowska |
| 1990 | Optimality of Gauge and Degree-Sensitive VLSI Layouts of Planar Graphs. Deepak D. Sherlekar |
| 1990 | Parallel Breadth-First and Breadth-Depth Traversals of Generated Trees. Calvin Ching-Yuen Chen, Sajal K. Das |
| 1990 | Parallel Computation of Longest-Common-Subsequence. Mi Lu |
| 1990 | Parallelism via Speculation in Pure Prolog. Benjamin Yu |
| 1990 | Probabilistic Analysis of Set Operations with Constant-Time Set Equality Test. William W. Pugh |
| 1990 | Selected Aspects of the Calculus of Self-Modifiable Algorithms Theory. Eugeniusz Eberbach |
| 1990 | Semantic Query Optimization in Distributed Databases. H. J. A. van Kuijk, F. H. E. Pijpers, Peter M. G. Apers |
| 1990 | Some Remarks on Polynomial Time Isomorphisms. Jie Wang |
| 1990 | Summaries of invited lectures. |
| 1990 | Symbolic Configuartion for SuperNode Multiprocessors. Jean-Marc Adamo, Christophe Bonello |
| 1990 | Synthesis of Error-Recoverable Protocol Specifications from Service Specifications. Kassem Saleh, Robert L. Probert |
| 1990 | The Asymptotic Evolution of Data Structures. Robert S. Maier |
| 1990 | The Behavior of Database Concurrency Control Mechanisms under Bursty Arrivals. Jerry Place, Vijay Kumar, Appie van de Liefvoort |
| 1990 | The Core Concurrency. Piotr W. Prószynski |
| 1990 | The Gamma Model as a Functional Programming Tool. R. Harrison, Hugh Glaser |
| 1990 | The Strategic Significance of Expert Systems: Opportunities and Risks (Abstract). Russell C. Kick |
| 1990 | Theory of Rough Sets: A New Methodology for Knowledge Discovery (Abstract). Zdzislaw Pawlak |
| 1990 | Time-Space Optimal Parallel Algorithms (Abstract). Michael A. Langston |
| 1990 | Toward a General Theory of Computation and Specification over Abstract Data Types. John V. Tucker, Jeffery I. Zucker |
| 1990 | Using the Hamiltonian Path Operator to Capture NP. Iain A. Stewart |