| 1984 | A Complete Axiom System for Algebra of Closed-Regular Expression. Hiroyuki Izumi, Yasuyoshi Inagaki, Namio Honda |
| 1984 | A Hardware Implementation of the CSP Primitives and its Verification. Dorit Ron, Flavia Rosemberg, Amir Pnueli |
| 1984 | A Linear Time Algorithm to Solve the Single Function Coarsest Partition Problem. Robert Paige, Robert Endre Tarjan |
| 1984 | A Modal Characterization of Observational Congruence on Finite Terms of CCS. Susanne Graf, Joseph Sifakis |
| 1984 | AVL-Trees for Localized Search. Athanasios K. Tsakalidis |
| 1984 | Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations. Michel Bidoit |
| 1984 | Area-Time Optimal VLSI Integer Multiplier with Minimum Computation Time. Kurt Mehlhorn, Franco P. Preparata |
| 1984 | Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium, July 16-20, 1984, Proceedings Jan Paredaens |
| 1984 | Automates Boustrophendon, Semi-Groupe de Birget et Monoide Inversiv Libre (Abstract/ Résumé). Jean-Pierre Pécuchet |
| 1984 | Building the Minimal DFA for the Set of all Subwords of a Word On-line in Linear Time. Anselm Blumer, J. Blumer, Andrzej Ehrenfeucht, David Haussler, Ross M. McConnell |
| 1984 | Cancellation, Pumping and Permutation in Formal Languages. Antonio Restivo, Christophe Reutenauer |
| 1984 | Communicating Finite State Machines with Priority Channnels. Mohamed G. Gouda, Louis E. Rosier |
| 1984 | Communication Complexity. Juraj Hromkovic |
| 1984 | Complexité des Facteurs des Mots Infinis Engendrés par Morphimes Itérés. Jean-Jacques Pansiot |
| 1984 | Computational Complexity of an Optical Disk Interface (Extended Abstract). Jeffrey Scott Vitter |
| 1984 | Concurrent Transmissions in Broadcast Networks. Charles J. Colbourn, Andrzej Proskurowski |
| 1984 | Domain Algebras. Peter Dybjer |
| 1984 | Encoding Graphs by Derivations and Implications for the Theory of Graph Grammars. Emo Welzl |
| 1984 | Factorization of Univariate Integer Polynomials by Diophantine Aproximation and an Improved Basis Reduction Algorithm. Arnold Schönhage |
| 1984 | Functional Dependencies and Disjunctive Existence Constraints in Database Relations with Null Values. Paolo Atzeni, Nicola M. Morfuni |
| 1984 | Languages and Inverse Semigroups. Stuart W. Margolis, Jean-Eric Pin |
| 1984 | Linear Searching for a Squre in a Word (Abstract). Maxime Crochemore |
| 1984 | Measures of Presortedness and Optimal Sorting Algorithms (Extended Abstract). Heikki Mannila |
| 1984 | Node Weighted Matching. Thomas H. Spencer, Ernst W. Mayr |
| 1984 | On Probabilistic Tape Complexity and Fast Circuits for Matrix Inversion Problems (Extended Abstract). Hermann Jung |
| 1984 | On Three-Element Codes. Juhani Karhumäki |
| 1984 | On the Interpretation of Infinite Computations in Logic Programming. M. A. Nait Abdallah |
| 1984 | On the Relationship of CCS and Petri Nets. Ursula Goltz, Alan Mycroft |
| 1984 | Oriented Equational Clauses as a Programming Language. Laurent Fribourg |
| 1984 | P-Generic Sets. Klaus Ambos-Spies |
| 1984 | Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness. Wolfgang Reisig |
| 1984 | Performance Analysis of Shamir's Attack on the Basic Merkle-Hellman Knapsack Cryptosystem. J. C. Lagarias |
| 1984 | Principality Results About Some Matrix Languages Families. Didier Ferment |
| 1984 | Probabilistic Bidding Gives Optimal Distributed Resource Allocation. John H. Reif, Paul G. Spirakis |
| 1984 | Recursion Depth Analysis for Specail Tree Traversal Algorithms. Peter Kirschenhofer, Helmut Prodinger |
| 1984 | Relational Algebra Operations and Sizes of Relations. Danièle Gardy, Claude Puech |
| 1984 | Robust Algorithms: A Different Approach to Oracles. Uwe Schöning |
| 1984 | Sampling Algorithms for Differential Batch Retrieval Problems (Extended Abstract). Dan E. Willard |
| 1984 | Some Results About Finite and Infinite Behaviours of a Pushdown Automaton. Danièle Beauquier |
| 1984 | Space and Time Efficient Simulations and Characterizations of Some Restricted Classes of PDAs. Oscar H. Ibarra, Sam M. Kim, Louis E. Rosier |
| 1984 | The Algebra of Recursively Defined Processes and the Algebra of Regular Processes. Jan A. Bergstra, Jan Willem Klop |
| 1984 | The Complexity and Decidability of Separation. Bernard Chazelle, Thomas Ottmann, Eljas Soisalon-Soininen, Derick Wood |
| 1984 | The Complexity of Cubical Graphs (Extended Abstract). Foto N. Afrati, Christos H. Papadimitriou, George Papageorgiou |
| 1984 | The Complexity of Finding Minimum-Length Generator Sequences (Extended Abstract). Mark Jerrum |
| 1984 | The Propositional Mu-Calculus is Elementary. Robert S. Streett, E. Allen Emerson |
| 1984 | The Simple Roots of Real-Time Computation Hierarchies (Preliminary Version). Paul M. B. Vitányi |
| 1984 | The Theory of Data Dependencies - An Overview. Ronald Fagin, Moshe Y. Vardi |
| 1984 | The VLSI Revolution in Theoretical Circles. Arnold L. Rosenberg |
| 1984 | Tuple Sequences and Indexes. Serge Abiteboul, Seymour Ginsburg |