| 1991 | A Model for Real-Time Systems. | Padmanabhan Krishnan |
| 1991 | A Solution of the Complement Problem in Associative-Commutative Theories. | Emmanuel Kounalis, Denis Lugiez, Loic Pottier |
| 1991 | Two Over Three: A Two-Valued Logic for Software Specification and Validation Over a Three-Valued Predicate Calculus. | Beata Konikowska |
| 1991 | Pattern Matching in Order-Sorted Languages. | Delia Kesner |
| 1991 | The Complexity of The Reliable Connectivity Problem. | Dimitris Kavadias, Lefteris M. Kirousis, Paul G. Spirakis |
| 1991 | Efficient Constructions of Test Sets for Regular and Context-Free Languages. | Juhani Karhumki, Wojciech Rytter, Stefan Jarominek |
| 1991 | Two Algorithms for Approximate String Matching in Static Texts. | Petteri Jokinen, Esko Ukkonen |
| 1991 | Infinite Normal Forms for Non-Linear Term Rewriting Systems. | Paola Inverardi, Monica Nesi |
| 1991 | Some Results Concerning 2-D On-line Tessellation Acceptors and 2-D Alternating Finite Automata. | Oscar H. Ibarra, Tao Jiang, Hui Wang |
| 1991 | The Bisection Problem for Graphs of Degree 4 (Configuring Transputer Systems). | Juraj Hromkovic, Burkhard Monien |
| 1991 | Single-Path Petri Nets. | Rodney R. Howell, Petr Jancar, Louis E. Rosier |
| 1991 | Towards a Categorical Semantics Type Classes. | Barney P. Hilken, David E. Rydeheard |
| 1991 | Stochastic Automata and Length Distributions of Rational Languages. | Georges Hansel, Daniel Krob, Christian Michaux |
| 1991 | The Limit of Split_n-Bisimulations for CCS Agents. | Roberto Gorrieri, Cosimo Laneve |
| 1991 | The lazy call-by-value Lamda-Calculus. | Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca |
| 1991 | A Second-Order Pattern Matching Algorithm for the Cube of Typed Lambda-Calculi. | Gilles Dowek |
| 1991 | Solving Systems of Linear Diophantine Equations: An Algebraic Approach. | Eric Domenjoud |
| 1991 | Recognizable Complex Trace Languages. | Volker Diekert, Paul Gastin, Antoine Petit |
| 1991 | Atomic Refinement in Process Description Languages. | Pierpaolo Degano, Roberto Gorrieri |
| 1991 | Abstract Dynamic Data Types: A Temporal Logic Approach. | Gerardo Costa, Gianna Reggio |
| 1991 | Generating Words by Cellular Automata. | Anton Cern |
| 1991 | Observing Localities (Extended Abstract). | Grard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn |
| 1991 | Unification in Incompletely Specified Theories: A Case Study. | Staffan Bonnier |
| 1991 | Partial Higher-Order Specifications. | Egidio Astesiano, Maura Cerioli |
| 1991 | Strong Conjunction and Intersection Types. | Fabio Alessi, Franco Barbanera |