| 1983 | A Fast Sorting Algorithm for VLSI. Hans-Werner Lang, Manfred Schimmler, Hartmut Schmeck, Heiko Schröder |
| 1983 | A Hardware Semantics Based on Temporal Intervals. Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski |
| 1983 | A Multiprocess Network Logic with Temporal and Spatial Modalities. John H. Reif, A. Prasad Sistla |
| 1983 | A Note on Intersections of Free Submonoids of a Free Monoid. Juhani Karhumäki |
| 1983 | A Propos d'une Conjecture de F. Dejean sur les Répétitions dans les Mots. Jean-Jacques Pansiot |
| 1983 | Algebraic Languages and Polyominoes Enumeration. Marie-Pierre Delest, Gérard Viennot |
| 1983 | Algebraic Specifications with Generating Constraints. Hartmut Ehrig, Eric G. Wagner, James W. Thatcher |
| 1983 | Ambiguity and Decision Problems Concerning Number Systems. Karel Culík II, Arto Salomaa |
| 1983 | An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language. Bernhard Möller |
| 1983 | An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract). Krzysztof R. Apt, Carole Delporte |
| 1983 | Arbres et Hierarchies de Concatenation. Jean-Eric Pin |
| 1983 | Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings Josep Díaz |
| 1983 | Behavioural Equivalence Relations Induced by Programming Logics. Stephen D. Brookes, William C. Rounds |
| 1983 | Complexity Classes of Alternating Machines with Oracles. Pekka Orponen |
| 1983 | Complexity of Infinite Trees. Klaus Indermark |
| 1983 | Computation Times of NP Sets of Different Densities. Juris Hartmanis, Yaacov Yesha |
| 1983 | Concurrent Probabilistic Program, or: How to Schedule if You Must. Sergiu Hart, Micha Sharir |
| 1983 | Conditional Dependencies for Horizontal Decompositions. Paul De Bra, Jan Paredaens |
| 1983 | Context-Free Controlled ETOL Systems. Klaus-Jörn Lange |
| 1983 | Cutting and Partitioning a Graph aifter a Fixed Pattern (Extended Abstract). Mihalis Yannakakis, Paris C. Kanellakis, Stavros S. Cosmadakis, Christos H. Papadimitriou |
| 1983 | Effectively Given Spaces. Tsutomu Kamimura, Adrian Tang |
| 1983 | Enumeration of Success Patterns in Logic Programs. Taisuke Sato, Hisao Tamaki |
| 1983 | Factoring Multivariate Integral Polynomials. Arjen K. Lenstra |
| 1983 | Immunity (Extended Abstract). Uwe Schöning, Ronald V. Book |
| 1983 | Incremental Construction of Unification Algorithms in Equational Theories. Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner |
| 1983 | Initial Index: A New Complexity Function for Languages. Joaquim Gabarró |
| 1983 | Linear Time and Branching Time Semantics for Recursion with Merge. J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer |
| 1983 | Lower Bounds for Constant Depth Circuits for Prefix Problems. Ashok K. Chandra, Steven Fortune, Richard J. Lipton |
| 1983 | Lower Bounds for Solving Undirected Graph Problems on VLSI. Susanne E. Hambrusch, Janos Simon |
| 1983 | Minimizing Width in Linear Layouts. Fillia Makedon, Ivan Hal Sudborough |
| 1983 | Modular Compiler Descriptions Based on Abstract Semantic Data Types (Extended Abstract). Harald Ganzinger |
| 1983 | On O(N^4) Algorithm to Contstruct all Vornoi Diagrams for K Nearest Neighbor Searching. Frank K. H. A. Dehne |
| 1983 | On Semantic Foundations for Applicative Multiprogramming. Samson Abramsky |
| 1983 | On the Composition of Morphisms and Inverse Morphisms. Michel Latteux, Jeannine Leguy |
| 1983 | On the Group Complexity of a Finite Language. Evelyne Barbin-Le Rest, Stuart W. Margolis |
| 1983 | On the Number of Equal-Sized Semisapces of a Set of Points in the Plane (Extended Abstract). Herbert Edelsbrunner, Emo Welzl |
| 1983 | On the Observational Semantics of Fair Parallelism. Philippe Darondeau, Laurent Kott |
| 1983 | On the Relationship of CCS and CSP. Stephen D. Brookes |
| 1983 | On the Simulation of Many Storage Heads by a Single One (Extended Abstract). Paul M. B. Vitányi |
| 1983 | On the Study Data Structures: Binary Tournaments with Repeated Keys. Pierre Lescanne, Jean-Marc Steyaert |
| 1983 | Parallel Dictionaries in 2-3 Trees. Wolfgang J. Paul, Uzi Vishkin, Hubert Wagener |
| 1983 | Polynomial-Time Factorization of Multivariate Polynomials over Finite Fields. Joachim von zur Gathen, Erich L. Kaltofen |
| 1983 | Power Domains and Predicate Transformers: A Topological View. Michael B. Smyth |
| 1983 | Processes and a Fair Semantics for the Ada Rendez-Vous. J. W. de Bakker, Jeffery I. Zucker |
| 1983 | Processes of Place/Transition-Nets. Ursula Goltz, Wolfgang Reisig |
| 1983 | Proving Precedence Properties: The Temporal Way. Zohar Manna, Amir Pnueli |
| 1983 | Reasoning with Time and Chance (Extended Abstract). Daniel Lehmann, Saharon Shelah |
| 1983 | Recognition and Isomorphism of Two Dimensional Partial Orders. Jeremy P. Spinrad, Jacobo Valdes |
| 1983 | Rewrite Methods for Clausal and Non-Clausal Theorem Proving. Jieh Hsiang, Nachum Dershowitz |
| 1983 | Searchability in Merging and Implicit Data Structures. J. Ian Munro, Patricio V. Poblete |
| 1983 | Specification-Oriented Semantics for Communicating Processes. Ernst-Rüdiger Olderog, C. A. R. Hoare |
| 1983 | Strong Abstract Interpretation Using Power Domains (Extended Abstract). Alan Mycroft, Flemming Nielson |
| 1983 | Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System (Extended Abstract). Shimon Cohen, Daniel Lehmann, Amir Pnueli |
| 1983 | Synchronisation Trees. Glynn Winskel |
| 1983 | Test Sets for Morphisms with Bounded Delay. Christian Choffrut, Juhani Karhumäki |
| 1983 | Testing Equivalence for Processes. Rocco De Nicola, Matthew Hennessy |
| 1983 | Topological Characterizations of Infinite Behaviours of Transition Systems. André Arnold |
| 1983 | Tree Automata and Attribute Grammars. Tsutomu Kamimura |
| 1983 | Varietes de Semigroupes et Mots Infinis. Dominique Perrin |
| 1983 | Wythoff Games, Continued Fractions, Cedar Trees and Fibonacci Searches. Aviezri S. Fraenkel |