| 1990 | A Complete System of B-Rational Identities. Daniel Krob |
| 1990 | A Complete and Decidable Proof System for Call-by-Value Equalities (Preliminary Report). Jon G. Riecke |
| 1990 | A Domain-Theoretic Model for a Higher-Order Process Calculus. Radha Jagadeesan, Prakash Panangaden |
| 1990 | A Formal Study of Learning via Queries. Osamu Watanabe |
| 1990 | A New Approach to Maximum Matching in General Graphs. Norbert Blum |
| 1990 | A New Universal Class of Hash Functions and Dynamic Hashing in Real Time. Martin Dietzfelbinger, Friedhelm Meyer auf der Heide |
| 1990 | A Proof System for the Parallel Object-Oriented Language POOL. Frank S. de Boer |
| 1990 | A Theory of Communicating Processes with Value-Passing. Matthew Hennessy, Anna Ingólfsdóttir |
| 1990 | Additional Queries to Random and Pseudorandom Oracles. Ronald V. Book, Jack H. Lutz, Shouwen Tang |
| 1990 | Algebraic Properties of Idempotent Substitutions. Catuscia Palamidessi |
| 1990 | An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence. Jan Friso Groote, Frits W. Vaandrager |
| 1990 | An Input-Size/Output-Size Trade-Off in the Time-Complexity of Rectilinear Hidden Surface Removal (Preliminary Version). Michael T. Goodrich, Mikhail J. Atallah, Mark H. Overmars |
| 1990 | Analytic Variations on the Common Subexpression Problem. Philippe Flajolet, Paolo Sipala, Jean-Marc Steyaert |
| 1990 | Approximation of Convex Polygons. Helmut Alt, Johannes Blömer, Hubert Wagener |
| 1990 | Automata For Modeling Real-Time Systems. Rajeev Alur, David L. Dill |
| 1990 | Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings Mike Paterson |
| 1990 | Boolean Closure and Unambiguity of Rational Sets. Maryse Pelletier |
| 1990 | Can A Maximum Flow be Computed on o(nm) Time? Joseph Cheriyan, Torben Hagerup, Kurt Mehlhorn |
| 1990 | Communication among Relations (Extended Abstract). Alexander Moshe Rabinovich, Boris A. Trakhtenbrot |
| 1990 | Compositionality Through an Operational Semantics of Contexts. Kim Guldstrand Larsen, Xinxin Liu |
| 1990 | Computing Boolean Functions on Anonymous Networks. Evangelos Kranakis, Danny Krizanc, Jacob van den Berg |
| 1990 | Concurrency, Automata and Domains. Manfred Droste |
| 1990 | Decomposition of Partial Commutations. Mireille Clerbout, Michel Latteux, Yves Roos |
| 1990 | Determining the Separation of Preprocessed Polyhedra - A Unified Approach. David P. Dobkin, David G. Kirkpatrick |
| 1990 | Equational Formulas in Order-Sorted Algebras. Hubert Comon |
| 1990 | Functions as Processes. Robin Milner |
| 1990 | Generic Terms Having No Polymorphic Types. Sophie Malecki |
| 1990 | Iterated Substitutions and Locally Catanative Systems: A Decidability Result in the Binary Case. Christian Choffrut |
| 1990 | LEDA: A Library of Efficient Data Types and Algorithms. Stefan Näher, Kurt Mehlhorn |
| 1990 | Language Learning by a "Team" (Extended Abstract). Sanjay Jain, Arun Sharma |
| 1990 | Local Optimization and the Traveling Salesman Problem. David S. Johnson |
| 1990 | Markov Decision Processes and Regular Events (Extended Abstract). Costas Courcoubetis, Mihalis Yannakakis |
| 1990 | Merging Free Trees in Parallel for Efficient Voronoi Diagram Construction (Preliminary Version). Richard Cole, Michael T. Goodrich, Colm Ó'Dúnlaing |
| 1990 | Nondeterministic Computations in Sublogarithmic Space and Space Constructibility. Viliam Geffert |
| 1990 | Nonoblivious Normalization Algorithms for Nonlinear Rewrite Systems. Rakesh M. Verma, I. V. Ramakrishnan |
| 1990 | Normalizing and Accelerating RAM Computations and the Problem of Reasonable Space Measures. Juraj Wiedermann |
| 1990 | Omega-Continuous Semirings, Algebraich Systems and Pushdown Automata. Werner Kuich |
| 1990 | On Non-Counting Regular Classes. Aldo de Luca, Stefano Varricchio |
| 1990 | On Parallel Hashing and Integer Sorting (Extended Summary). Yossi Matias, Uzi Vishkin |
| 1990 | On Parallelizing Graph-Partitioning Heuristics. John E. Savage, Markus G. Wloka |
| 1990 | On the Bit-Complexity of Discrete Solutions of PDEs: Compact Multigrid. Victor Y. Pan, John H. Reif |
| 1990 | On the Composition of Zero-Knowledge Proof Systems. Oded Goldreich, Hugo Krawczyk |
| 1990 | On the Distributional Complexity of Disjontness. Alexander A. Razborov |
| 1990 | On the Rectilinear Art Gallery Problem (Extended Abstract). Frank Hoffmann |
| 1990 | On-Line Graph Algorithms with SPQR-Trees. Giuseppe Di Battista, Roberto Tamassia |
| 1990 | Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming. Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra |
| 1990 | Partial Evaluation, Self-Application and Types. Neil D. Jones |
| 1990 | Polynomial-Time Approximation Algorithms for Ising Model (Extended Abstract). Mark Jerrum, Alistair Sinclair |
| 1990 | Provable Computable Functions on Abstract Data Types. John V. Tucker, Stanley S. Wainer, Jeffery I. Zucker |
| 1990 | Proving Partial Order Liveness Properties. Doron A. Peled, Amir Pnueli |
| 1990 | Randomized Incremental Construction of Delaunay and Voronoi Diagrams. Leonidas J. Guibas, Donald E. Knuth, Micha Sharir |
| 1990 | Stability and Sequentiality in Dataflow Networks. Prakash Panangaden, Vasant Shanbhogue, Eugene W. Stark |
| 1990 | Static Correctness of Hierarchical Procedures. Michael I. Schwartzbach |
| 1990 | Structural and Behavioural Equivalences of Networks. Joachim Parrow |
| 1990 | Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond. Jan Willem Klop |
| 1990 | The Importance of the Left Merge Operator in Process Algebras. Faron Moller |
| 1990 | The Parallel Simplicity of Compaction and Chaining. Prabhakar Ragde |
| 1990 | Two-Way Automata with Multiplicity. Marcella Anselmo |