| 1999 | A Confluence Result for a Typed lambda-Calculus of Exception Handling with Fixed-Point. Catherine Pilière |
| 1999 | A General Categorical Connection between Local Event Structures and Local Traces. H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy |
| 1999 | A Generalization of Dijkstra's Calculus to Typed Program Specifications. Klaus-Dieter Schewe, Bernhard Thalheim |
| 1999 | A Parallel Context-Free Derivation Hierarchy. Klaus Reinhardt |
| 1999 | A Partial Order Method for the Verification of Time Petri Nets. Irina B. Virbitskaite, E. Pokozy |
| 1999 | A Polynomial Time Approximation Scheme for Dense MIN 2SAT. Cristina Bazgan, Wenceslas Fernandez de la Vega |
| 1999 | An Interpretation of Extensible Objects. Gérard Boudol, Silvano Dal-Zilio |
| 1999 | Automata and Their Interaction: Definitional Suggestions. Boris A. Trakhtenbrot |
| 1999 | Axiomatising Asynchronous Process Calculi (abstract). Matthew Hennessy |
| 1999 | Axiomatization of the Coherence Property for Categories of Symmetries. Dorel Lucanu |
| 1999 | Caesar and DNA. Views on Cryptology. Arto Salomaa |
| 1999 | Constructive Notes on Uniform and Locally Convex Spaces. Luminita Dediu, Douglas S. Bridges |
| 1999 | Correct Translation of Mutually Recursive Function Systems into TOL Collage Grammars. Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Stefan Taubenberger |
| 1999 | Decidable Classes of the Verification Problem in a Timed Predicate Logic. Danièle Beauquier, Anatol Slissenko |
| 1999 | Deriving Formulas for Domination Numbers of Fasciagraphs and Rotagraphs. Janez Zerovnik |
| 1999 | Dichotomy Theorem for the Generalized Unique Satisfiability Problem. Laurent Juban |
| 1999 | Exponential Output Size of Top-Down Tree Transducers. Frank Drewes |
| 1999 | Expressiveness of Point-to-Point versus Broadcast Communications. Cristian Ene, Traian Muntean |
| 1999 | Fundamentals of Computation Theory, 12th International Symposium, FCT '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings Gabriel Ciobanu, Gheorghe Paun |
| 1999 | Generalized P-Systems. Rudolf Freund |
| 1999 | Generalized PCP Is Decidable for Marked Morphisms. Vesa Halava, Tero Harju, Mika Hirvensalo |
| 1999 | Generalized Synchronization Languages. Isabelle Ryl, Yves Roos, Mireille Clerbout |
| 1999 | Grammar Systems as Language Analyzers and Recursively Enumerable Languages. Henning Bordihn, Jürgen Dassow, György Vaszil |
| 1999 | Graph Automorphisms with Maximal Projection Distances. H. N. de Ridder, Hans L. Bodlaender |
| 1999 | Homomorphisms and Concurrent Term Rewriting. Franck Seynhaeve, Sophie Tison, Marc Tommasi |
| 1999 | Interpretations of Extensible Objects and Types. Viviana Bono, Michele Bugliesi |
| 1999 | Iterative Arrays with a Wee Bit Alternation. Thomas Buchholz, Andreas Klein, Martin Kutrib |
| 1999 | Kleene Theorems for Event-Clock Automata. Catalin Dima |
| 1999 | Modeling Interaction by Sheaves and Geometric Logic. Viorica Sofronie-Stokkermans, Karel Stokkermans |
| 1999 | Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars. Luca Breveglieri, Stefano Crespi-Reghizzi, Alessandra Cherubini |
| 1999 | On Maximal Repetitions in Words. Roman M. Kolpakov, Gregory Kucherov |
| 1999 | On Recognizable Languages in Divisibility Monoids. Manfred Droste, Dietrich Kuske |
| 1999 | On Relative Loss Bounds in Generalized Linear Regression. Jürgen Forster |
| 1999 | On Time-Constructible Functions in One-Dimensional Cellular Automata. Chuzo Iwamoto, Tomonobu Hatsuyama, Kenichi Morita, Katsunobu Imai |
| 1999 | On Two-Sided Infinite Fixed Points of Morphisms. Jeffrey O. Shallit, Ming-wei Wang |
| 1999 | Optimal, Distributed Decision-Making: The Case of No Communication. Stavros Georgiades, Marios Mavronicolas, Paul G. Spirakis |
| 1999 | Randomized Complexity of Linear Arrangements and Polyhedra. Marek Karpinski |
| 1999 | Restrictive Acceptance Suffices for Equivalence Problems. Bernd Borchert, Lane A. Hemaspaandra, Jörg Rothe |
| 1999 | Secret Sharing Schemes with Detection of Cheaters for a General Access Structure. Sergio Cabello, Carles Padró, Germán Sáez |
| 1999 | Sewing Grammars. Carlos Martín-Vide, Alexandru Mateescu |
| 1999 | State and Transition Complexity of Watson-Crick Finite Automata. Andrei Paun, Mihaela Paun |
| 1999 | Strong Iteration Lemmata for Regular, Linear, Context-Free, and Linear Indexed Languages. Pál Dömösi, Manfred Kudlek |
| 1999 | Synchronized Product of Linear Bounded Machines. Teodor Knapik, Étienne Payet |
| 1999 | The Kolmogorov Complexity of Real Numbers. Ludwig Staiger |
| 1999 | The Operators minCh and maxCh on the Polynomial Hierarchy. Holger Spakowski, Jörg Vogel |
| 1999 | Tile Transition Systems as Structured Coalgebras. Andrea Corradini, Reiko Heckel, Ugo Montanari |
| 1999 | Tiling Multi-dimensional Arrays. Jonathan Paul Sharp |
| 1999 | delta-Uniformly Decidable Sets and Turing Machines. Adriana Popovici, Dan Popovici |