| 1997 | A First Approach to Temporal Predicate Locking for Concurrency Detection in Temporal Relational Databases Supporting Schema Versioning. Cristina De Castro |
| 1997 | A Formal Software Engineering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi. Dines Bjørner |
| 1997 | A Foundation for Computable Analysis. Klaus Weihrauch |
| 1997 | A Theory of Game Trees, Based on Solution Trees. Wim Pijls, Arie de Bruin |
| 1997 | Algorithms for Triangulated Terrains. Marc J. van Kreveld |
| 1997 | An Introduction to Virtual Reality Modeling Language. Jiri Zara |
| 1997 | Approximation Algorithms for the Vertex Bipartization Problem. Heiko Schröder, A. E. May, Imrich Vrto, Ondrej Sýkora |
| 1997 | Automatic Generation of Parallelizing Compilers for Object-Oriented Programming Languages from Denotational Semantics Specifications. Prakash K. Muthukrishnan, Barrett R. Bryant |
| 1997 | Computational Complexity of Continuous Problems. Henryk Wozniakowski |
| 1997 | Computer Chess: Algorithms and Heuristics for a Deep Look into the Future. Rainer Feldmann |
| 1997 | Configuration-Based Programming Systems. Valérie Issarny |
| 1997 | DESAM - Annotated Corpus for Czech. Karel Pala, Pavel Rychlý, Pavel Smrz |
| 1997 | Efficient Insertion of Approximately Sorted Seqeunces of Items into a Dictionary. Carlo Gaibisso, Guido Proietti |
| 1997 | Efficient Strong Sequentiality Using Replacement Restrictions. Salvador Lucas |
| 1997 | From OO Through Deduction to Active Databases - ROCK, ROLL & RAP. M. Howard Williams, Norman W. Paton |
| 1997 | High Availability Support in CORBA Environments. Pablo Galdámez, Francesc D. Muñoz-Escoí, José M. Bernabéu-Aubán |
| 1997 | Kahn's Fixed-Point Characterization for Linear Dynamic Networks. Shan-Hwei Nienhuys-Cheng, Arie de Bruin |
| 1997 | Lower Bounds for the Virtual Path Layout Problem in ATM Networks. Luca Becchetti, Carlo Gaibisso |
| 1997 | Mobility Management in CORBA: A Generic Implementation of the LifeCycle Service. Yvan Peter |
| 1997 | Monotonic Rewriting Automata with a Restart Operation. Frantisek Mráz, Martin Plátek, Petr Jancar, Jörg Vogel |
| 1997 | Object-Oriented DBMS and Beyond. Klaus R. Dittrich, Andreas Geppert |
| 1997 | Object-Oriented Design Patterns. Wolfgang Pree |
| 1997 | On Finite Representations of Infinite-State Behaviours. Antonín Kucera |
| 1997 | On Integration of Relational and Object-Oriented Database Systems. Maria E. Orlowska, Hui Li, Chengfei Liu |
| 1997 | On f-Sparse Sets in NP - P. Vladimír Glasnák |
| 1997 | On the Distributed Realization of Parallel Algorithms. Klaus-Jörn Lange |
| 1997 | Optical All-to-All Communication for Some Product Graphs. Heiko Schröder, Ondrej Sýkora, Imrich Vrto |
| 1997 | Optimal Trees for Searching in Codebook. Ivan Kopecek |
| 1997 | Optmial Encodings. Massimo Marchiori |
| 1997 | PRAM Lower Bound for Element Distinctness Revisited. Petr Kolman |
| 1997 | Parallel Processing on Alphas Under MATLAB 5. Jiri Kadlec |
| 1997 | Parallelizing Self-Organizing Maps. David Strupl, Roman Neruda |
| 1997 | Path Layout in ATM Networks. Shmuel Zaks |
| 1997 | Query Processing in Temporal Evidential Databases. Bingning Dai, David A. Bell, John G. Hughes |
| 1997 | Requirements Specification Iteratively Combined with Reverse. Petr Kroha, M. Strauß |
| 1997 | SOFSEM '97: Theory and Practice of Informatics, 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997, Proceedings Frantisek Plásil, Keith G. Jeffery |
| 1997 | Solving and Approximating Combinatorial Optimization Problems (Towards MAX CUT and TSP). Jaroslav Nesetril, Daniel Turzík |
| 1997 | Stepping Stones to an Information Society. Jirí Zlatuska |
| 1997 | The Computational Power of Continuous Time Neural Networks. Pekka Orponen |
| 1997 | The Fundamental Problem of Database Design. Johann A. Makowsky, Elena V. Ravve |
| 1997 | The Mobile Agent Technology. Stefan Covaci, Thomas Magedanz |
| 1997 | The Output-Store Formal Translator Directed by LR Parsing. Jan Janousek, Borivoj Melichar |
| 1997 | The Whole Picture to Software Process Improvement. Annie Kuntzmann-Combelles |
| 1997 | Theory and Practice in Internationally Rich Distributed Systems. David A. Duce |
| 1997 | Time Optimal Self-Stabilizing Algorithms. Rastislav Kralovic |
| 1997 | Towards Machines That Can Think. Jirí Wiedermann |
| 1997 | Zero-Overhead Exeption Handling Using Metaprogramming. Markus Hof, Hanspeter Mössenböck, Peter Pirkelbauer |