| 1990 | Static Correctness of Hierarchical Procedures. | Michael I. Schwartzbach |
| 1990 | On Parallelizing Graph-Partitioning Heuristics. | John E. Savage, Markus G. Wloka |
| 1990 | A Complete and Decidable Proof System for Call-by-Value Equalities (Preliminary Report). | Jon G. Riecke |
| 1990 | On the Distributional Complexity of Disjontness. | Alexander A. Razborov |
| 1990 | The Parallel Simplicity of Compaction and Chaining. | Prabhakar Ragde |
| 1990 | Communication among Relations (Extended Abstract). | Alexander Moshe Rabinovich, Boris A. Trakhtenbrot |
| 1990 | Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming. | Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra |
| 1990 | Boolean Closure and Unambiguity of Rational Sets. | Maryse Pelletier |
| 1990 | Proving Partial Order Liveness Properties. | Doron A. Peled, Amir Pnueli |
| 1990 | Structural and Behavioural Equivalences of Networks. | Joachim Parrow |
| 1990 | On the Bit-Complexity of Discrete Solutions of PDEs: Compact Multigrid. | Victor Y. Pan, John H. Reif |
| 1990 | Stability and Sequentiality in Dataflow Networks. | Prakash Panangaden, Vasant Shanbhogue, Eugene W. Stark |
| 1990 | Algebraic Properties of Idempotent Substitutions. | Catuscia Palamidessi |
| 1990 | LEDA: A Library of Efficient Data Types and Algorithms. | Stefan Nher, Kurt Mehlhorn |
| 1990 | The Importance of the Left Merge Operator in Process Algebras. | Faron Moller |
| 1990 | Functions as Processes. | Robin Milner |
| 1990 | On Parallel Hashing and Integer Sorting (Extended Summary). | Yossi Matias, Uzi Vishkin |
| 1990 | Generic Terms Having No Polymorphic Types. | Sophie Malecki |
| 1990 | On Non-Counting Regular Classes. | Aldo de Luca, Stefano Varricchio |
| 1990 | Compositionality Through an Operational Semantics of Contexts. | Kim Guldstrand Larsen, Xinxin Liu |
| 1990 | Omega-Continuous Semirings, Algebraich Systems and Pushdown Automata. | Werner Kuich |
| 1990 | A Complete System of B-Rational Identities. | Daniel Krob |
| 1990 | Computing Boolean Functions on Anonymous Networks. | Evangelos Kranakis, Danny Krizanc, Jacob van den Berg |
| 1990 | Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond. | Jan Willem Klop |
| 1990 | Partial Evaluation, Self-Application and Types. | Neil D. Jones |