| 1997 | A Complete Characterization of the Path Layout Construction Problem for ATM Networks with Given Hop Count and Load (Extended Abstract). | Tamar Eilam, Michele Flammini, Shmuel Zaks |
| 1997 | Tilings and Quasiperiodicity. | Bruno Durand |
| 1997 | On Recognizable and Rational Formal Power Series in Partially Commuting Variables. | Manfred Droste, Paul Gastin |
| 1997 | Solving Trace Equations Using Lexicographical Normal Forms. | Volker Diekert, Yuri V. Matiyasevich, Anca Muscholl |
| 1997 | Labelled Reductions, Runtime Errors and Operational Subsumption. | Laurent Dami |
| 1997 | On Modular Properties of Higher Order Extensional Lambda Calculi. | Roberto Di Cosmo, Neil Ghani |
| 1997 | Checking Properties of Polynomials (Extended Abstract). | Bruno Codenotti, Funda Ergn, Peter Gemmell, Ravi Kumar |
| 1997 | On a Conjecture of J. Shallit. | Julien Cassaigne |
| 1997 | The Wadge-Wagner Hierarchy of omega-Rational Sets. | Olivier Carton, Dominique Perrin |
| 1997 | Efficient Parallel Graph Algorithms For Coarse Grained Multicomputers and BSP. | Edson Cceres, Frank K. H. A. Dehne, Afonso Ferreira, Paola Flocchini, Ingo Rieping, Alessandro Roncato, Nicola Santoro, Siang W. Song |
| 1997 | Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes. | Olaf Burkart, Bernhard Steffen |
| 1997 | Results on Resource-Bounded Measure. | Harry Buhrman, Stephen A. Fenner, Lance Fortnow |
| 1997 | The Expressive Power of Unique Total Stable Model Semantics. | Francesco Buccafurri, Sergio Greco, Domenico Sacc |
| 1997 | A Completion Algorithm for Codes with Bounded Synchronization Delay. | Vronique Bruyre |
| 1997 | Independent Sets in Asteroidal Triple-Free Graphs. | Hajo Broersma, Ton Kloks, Dieter Kratsch, Haiko Mller |
| 1997 | Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract). | Olivier Bournez |
| 1997 | Symbolic Reachability Analysis of FIFO Channel Systems with Nonregular Sets of Configurations (Extended Abstract). | Ahmed Bouajjani, Peter Habermehl |
| 1997 | Basic Observables for Processes. | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 1997 | Constructive Linear Time Algorithms for Branchwidth. | Hans L. Bodlaender, Dimitrios M. Thilikos |
| 1997 | An Algebra-Based Method to Associate Rewards with EMPA Terms. | Marco Bernardo |
| 1997 | Molecular Computing, Bounded Nondeterminism, and Efficient Recursion. | Richard Beigel, Bin Fu |
| 1997 | Finite Loops Recognize Exactly the Regular Open Languages. | Martin Beaudry, Franois Lemieux, Denis Thrien |
| 1997 | Enumerative Sequences of Leaves in Rational Trees. | Frdrique Bassino, Marie-Pierre Bal, Dominique Perrin |
| 1997 | On-Line Routing in All-Optical Networks. | Yair Bartal, Stefano Leonardi |
| 1997 | The Minimum Color Sum of Bipartite Graphs. | Amotz Bar-Noy, Guy Kortsarz |