| 1991 | Syntax and Semantics of a Monotonic Framework for Non-Monotonic Reasoning. | M. A. Nait Abdallah |
| 1990 | Computing Large Polynomial Powers Very Fast in Parallel. | Thomas Zeugmann |
| 1990 | The k-section of Treewidth Restricted Graphs. | Manfred Wiegers |
| 1990 | Symmetric Functions in AC | Ingo Wegener, Norbert Wurm, Sang-Zin Yi |
| 1990 | Bottom-Up-Heap Sort, a New Variant of Heap Sort Beating on Average Quick Sort (if n is not very small). | Ingo Wegener |
| 1990 | Distance Automata Having Large Finite Distance or Finite Ambiguity. | Andreas Weber |
| 1990 | Gentzen Type Axiomatizations for PAL. | Igor Walukiewicz |
| 1990 | The Parallel Complexity of Some Constructions in Combinatorial Group Theory (Abstract). | Stephan Waack |
| 1990 | Implementation of Parallel Graph Reduction by Explicit Annotation and Program Transformation. | Willem G. Vree |
| 1990 | A Stronger Version of Parikh Theorem. | Pham Huu Uyen |
| 1990 | Counting the Number of Solutions. | Jacobo Torn |
| 1990 | Type Inference Problems: A Survey. | Jerzy Tiuryn |
| 1990 | One-Way Functions in Complexity Theory. | Alan L. Selman |
| 1990 | Results on the Glory of the Past. | Ildik Sain |
| 1990 | ATIME(N) is Closed Under Counting. | Marek Piotrw |
| 1990 | Typed Horn Logic. | Axel Poign |
| 1990 | Investigation of Finitary Calculi for the Temporal Logics by Means of Infinitary Calculi. | Regimantas Pliuskevicius |
| 1990 | A Sup-Preserving Completion of Ordered Partial Algebras. | Ana Pasztor |
| 1990 | Internal Labellings in Lambda-Calculus. | Michel Parigot |
| 1990 | Semi-Commutation and Deterministic Petri Nets. | Edward Ochmanski |
| 1990 | Restricted Branching Programs and Their Computational Power. | Christoph Meinel |
| 1990 | Equational Calculi for Many-Sorted Algebras with Empty Carrier Sets. | Vincenzo Manca, Antonino Salibra |
| 1990 | Splitsort - An Adaptive Sorting Algorithm. | Christos Levcopoulos, Ola Petersson |
| 1990 | Rational omega-Transductions. | Michel Latteux, Erick Timmerman |
| 1990 | Characterizing Unambiguous Augmented Pushdown Automata by Circuits. | Klaus-Jrn Lange, Peter Rossmanith |