| 1991 | A Modal Semantics for the Negation as Failure and the Closed World Assumption Rules. Philippe Balbiani |
| 1991 | A Natural Metric for Curves - Computing the Distance for Polygonal Chains and Approximation Algorithms. Michael Godau |
| 1991 | A New Compacting Garbage-Collection Algorithm with a Good Average-Case Performance. Svante Carlsson, Christer Mattsson, Patricio V. Poblete, Mats Bengtsson |
| 1991 | A Placement System for Constrained Blocks with Flexible Shapes. Simone Pimont |
| 1991 | Actors as a Parallel Programming Model. Françoise Baude, Guy Vidal-Naquet |
| 1991 | Algebraic Program Interpreter APREX2. D. Rayko, Kirill Vershinin, Igor Romanenko |
| 1991 | An Observational Subset of First-Order Logic Cannot Specify the Behaviour of a Counter (Extended Abstract). Oliver Schoett |
| 1991 | Average Case Analysis of Unification Algorithms. Luc Albert, Rafael Casas, François Fages, A. Torrecillas, Paul Zimmermann |
| 1991 | Bisimulation and Action Refinement. Walter Vogler |
| 1991 | Bounded Reductions. Harry Buhrman, Edith Spaan, Leen Torenvliet |
| 1991 | Complexity Classification of Truth Maintenance Systems. Vladislav Rutenburg |
| 1991 | Compositional Generation of Home States in Free Choice Systems. Eike Best, Ludmila Cherkasova, Jörg Desel |
| 1991 | Computationally Convincing Proofs of Knowledge. Gilles Brassard, Claude Crépeau, Sophie Laplante, Christian Léger |
| 1991 | Constant Queue Routing on a Mesh. Sanguthevar Rajasekaran, Richard Overholt |
| 1991 | Decidable Sentences for Context-Free Groups. Klaus Madlener, Friedrich Otto |
| 1991 | Decision Problems for Term Rewriting Systems and Recognizable Tree Languages. Rémi Gilleron |
| 1991 | Detection of Deadlocks in an Infinite Family of Nets. Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet |
| 1991 | Efficient Memory Access in Large-Scale Computation. Jeffrey Scott Vitter |
| 1991 | Executable Higher-Order Algebraic Specifications. Jean-Pierre Jouannaud |
| 1991 | Functional Oracle Queries as a Measure of Parallel Time. Carme Àlvarez, José L. Balcázar, Birgit Jenner |
| 1991 | Geometry Models Design System GammaPOM. E. V. Biryalcev, A. M. Gusenkov, Ildar R. Nasyrov, A. A. Saveliev |
| 1991 | IPG - An Interactive Parser Generator. Jörg Kröger, Lothar Schmitz |
| 1991 | Interactive Proof Systems and Alternating Time-Space Complexity. Lance Fortnow, Carsten Lund |
| 1991 | Methodology for Proving the Termination of Logic Programs. Bal Wang, R. K. Shyamasundar |
| 1991 | Nondterminism Within P. Jonathan F. Buss, Judy Goldsmith |
| 1991 | On Aperiodic Trace Languages. Giovanna Guaiana, Antonio Restivo, Sergio Salemi |
| 1991 | On the Concatenation of Infinite Traces. Volker Diekert |
| 1991 | On the Power of Several Queues. Martin Schmidt |
| 1991 | Optimal Parallel Recognition of Bracket Languages on Hypercubes. Gisela Pitsch, Elmar Schömer |
| 1991 | Optimal Tradeoffs Between Time And Bit Complexity In Distributed Synchronous Rings. Bernd Schmeltz |
| 1991 | Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective. Jacek Leszczylowski, Martin Wirsing |
| 1991 | Polynomial Size Constant Depth Circuits with a Limited Number of Negations. Miklos Santha, Christopher B. Wilson |
| 1991 | Prototype of a Verification Tool. Thierry Jéron |
| 1991 | Randomized Polynomials, Threshold Circuits, and the Polynomial Hierarchy. Jun Tarui |
| 1991 | Rational Ralations with Bounded Delay. Christiane Frougny, Jacques Sakarovitch |
| 1991 | Reachability in Reversible Free Choice Systems. Jörg Desel, Javier Esparza |
| 1991 | Recognizable and Rational Languages of Finite and Infinite Traces. Paul Gastin |
| 1991 | STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings Christian Choffrut, Matthias Jantzen |
| 1991 | Structure and Importance of Logspace-MOD-Classes. Gerhard Buntrock, Carsten Damm, Ulrich Hertrampf, Christoph Meinel |
| 1991 | Testing for Unboundedness of FIFO Channels. Thierry Jéron |
| 1991 | The Complexity of the Max Word Problem. Anne Condon |
| 1991 | The Expressive Power of Second Order Horn Logic. Erich Grädel |
| 1991 | The Owner Concept for PRAMs. Peter Rossmanith |
| 1991 | The PROSPECTRA System. Berthold Hoffmann, Bernd Krieg-Brückner |
| 1991 | The RELVIEW-System. Rudolf Berghammer, Gunther Schmidt |
| 1991 | The Random Testability of the n-Input AND Gate. Joachim Hartmann |
| 1991 | The Worst Case Complexity of McDiarmid and Reed's Variant of Bottom-Up-Heap Sort is Less Than n log n + 1.1n. Ingo Wegener |
| 1991 | Tight Bounds on the Path Length of Binary Trees. Alfredo De Santis, Giuseppe Persiano |
| 1991 | Tight RNC Approximations to Max Flow. Maria J. Serna, Paul G. Spirakis |
| 1991 | Unconditional Byzantine Agreement with Good Majority. Birgit Baum-Waidner, Birgit Pfitzmann, Michael Waidner |
| 1991 | Unfolding, Procedural and Fixpoint Semantics of Logic Programs. François Denis, Jean-Paul Delahaye |
| 1991 | l-Occurrences of Avoidable Patterns. Peter Roth |