Seppo Linnainmaa: Analysis of some known methods of improving the accuracy of floating-point sums. BIT 14 (1974), 167-202.
Eljas Soisalon-Soininen: Characterization of LL(k) languages by restricted LR(k) grammars. A-1977-3.
Esko Ukkonen: On the effect of rounding errors on the flow of control in numerical processes. A-1977-7.
Ralph-Johan Back: On the correctness of refinement steps in program development. A-1978-4.
V.-E. Juhani Virkkunen: A unified approach to floating-point rounding with applications to multiple-precision summation. A-1980-1.
Hannu Erkiö: Studies on the efficiency of certain internal sort algorithms. A-1980-4.
Seppo Sippu: Syntax error handling in compilers. A-1981-1.
Kari-Jouko Räihä: A space management technique for multi-pass attribute evaluators. A-1981-4.
Timo Alanko: Empirical studies of program behaviour in virtual memory. A-1983-3.
Kai Koskimies: Extensions of one-pass attribute grammars. A-1983-4.
Heikki Mannila: Instance complexity for sorting and NP-complete problems. A-1985-1.
Ilkka Haikala: Program behaviour in memory hierarchies. A-1986-2.
Pekka Orponen: The structure of polynomial complexity cores. A-1986-3.
A. Inkeri Verkamo: Sorting in hierarchical memories. A-1988-1.
Jorma Tarhio: Attribute grammars for one-pass compilation. A-1988-11.
Gösta Grahne: The problem of incomplete information in relational databases. A-1989-1.
Niklas Holsti: Script editing for recovery and reversal in textual user interfaces. A-1989-5.
Kimmo Raatikainen: Modelling and analysis techniques for capacity planning. A-1989-6.
Jukka Paakki: Paradigms for attribute-grammar-based language implementation. A-1991-1.
Jyrki Kivinen: Problems in computational learning theory. A-1992-1.
Patrik Floréen: Computational complexity problems in neural associative memories. A-1992-5.
Pekka Kilpeläinen: Tree matching problems with applications to structured text databases. A-1992-6.
Jaana Eloranta: Minimal transition systems with respect to divergence preserving behavioural equivalences. A-1994-1.
Petri Myllymäki: Mapping Bayesian networks to stochastic neural networks: a foundation for hybrid Bayesian-neural systems. A-1995-1.
Roope Kaivola: Equivalences, preorders and compositional verification for linear time temporal logic and concurrent systems. A-1996-1.
Tapio Elomaa: Tools and techniques for decision tree learning. A-1996-2.