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 O. 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 J. 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 E.E. 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).
Kari-Jouko Räihä: On attribute grammars and their use in compiler writing systems. (A-1977-4).
Kai Koskimies: A study on the programming language Euclid. (A-1980-2).
Harri Laine: Semantic integrity and data base update in the grammatical data base model. (C-1981-48).
Jorma Tarhio: Attribute evaluation during LR parsing. (A-1982-4).
Juha Vihavainen: Design of the simulation language Mode. (C-1987-42). (In Finnish).
Jukka Paakki: Generating one-pass semantic analysis for a compiler. (A-1988-8).
Eeva Hartikainen: Specification and design of distributed programs that use broadcasting. (A-1988-13).
Jukka Mutikainen: An experimental study of attribute selection criteria in decision tree induction. (C-1989-67).
Erja Nikunen: Views in structured text databases. (C-1990-60).
Jaana Eloranta: Equivalence concepts and algorithms for transition systems and CCS-like languages. (C-1991-2).
Liisa Räihä: Sequence comparison: computation of the edit distance. (C-1991-59).
Juha Puustjärvi: Management of transactions in heterogeneous distributed database system. (C-1992-31).
Tapio Elomaa: A hybrid approach to decision tree learning. (C-1992-61).
Roope Kaivola: Compositional linear temporal logic model-checking for concurrent systems. (C-1993-1). Pasi Tapanainen: Finite-state parsing for natural languages. (C-1993-7). (In Finnish).
Greger Lindén: Incremental updates in structured documents. (C-1993-19).
Petri Myllymäki: Bayesian reasoning by stochastic neural networks. (C-1993-67).
Matti Gröhn: Using sound in data analysis. (C-1993-06).
Antero Lindholm: Suffix tree algorithms for string matching. (C-1993-64).
Tapani Järvinen: Implementation of visual languages. (C-1992-58).
Marko Myllymäki: Computer graphics standards. (C-1992-51).
Petri Myllymäki: Teaching multilayer neural networks with optimized backpropagation methods. (C-1991-10).
Ismo Mäkelä: Triangularization of parametric surfaces. (C-1991-14).
Matti Nykänen: Representing temporal information. (C-1991-30).
Tomi Silander: Hybrid neural-symbolic knowledge representation schemes. (C-1993-38).
Marko Teittinen: Visualization of 4D objects. (C-1992-39).
Erkki Vuori: Two dimensional pattern matching. (C-1992-10).
Olli Finni: Interoperability testing of OSI implementations. (C-1991-65). Kari Granö: ASN.1 extensions and their implementation in the CASN compiler. (C-1992-53).
Erkki Hietalahti: Graphical user interfaces - a survey and application to a queueing network package. (C-1991-51).
Mikko Kolehmainen: Concurrent programming in an ANSA-like distributed environment. (C-1992-55).
Juha Korpi: A performance study of some parallel simulation methods. (C-1991-54).
Kari Lehtinen: Performance of the basic services in the AHTO-system. (C-1992-23).
Pia Ollila: Connectionless and connection-oriented network layer in the OSI reference model. (C-1992-09).
Matti Oosi: The impact of some fault-tolerance techniques on the performance of the system. (C-1993-03).
Kyösti Rantinoja: Formal definition of an object oriented programming language. (C-1991-52).
Juha Sahala: Management of the OSI stack. (C-1993-09).
Jyrki Soini: Extension of local area networks. (C-1991-29).
Pasi Tapanainen: Finite-state grammar rules in a parser for natural languages. (C-1992-05).
Helena Ahonen: Object-oriented document management. (C-1991-22).
Pentti Elolampi: Static filtering in logic query optimization. (C-1993-04).
Virpi Hassinen: Task analysis methods and their application in designing a user interface. (C-1993-54).
Heikki Heinaro: Object-oriented software development in a banking environment. (C-1992-29).
Kari Hurtta: Magic sets in logic query optimization. (C-1993-12).
Kimmo Hätönen: Knowledge representation for text retrieval. (C-1992-62).
Jari Jokiniemi: Transaction management in interoperable database systems. (C-1991-20).
Anna Kalimo: User interface standards and their effects on designing user interfaces. (C-1992-28).
Teija Kujala: Modern information retrieval techniques. (C-1991-66).
Maarit Liimatainen: Information processing solutions for real-time groupware. (C-1993-10).
Matti Makkonen: Using semantic nets and default logic in representing multiple inheritance and exceptions. (C-1991-13). Kari Nummelin: Management of exceptional data in databases. (C-1993-31).
Minna Oja: Object-oriented design of information systems. (C-1992-13).
Tarmo Rahikainen: Database management systems based on semantic models. (C-1991-23).
Heikki Ristimäki: Compression of texts written in Finnish. (C-1993-56).
Pirjo Ronkainen: Information retrieval and hypertext. (C-1993-59).
Veli-Matti Suoranta: Top-down evaluation of logic queries. (C-1993-16).
Juha Taina: Hypertext systems and the support for an individual user. (C-1992-14).
Markku Tamminen: Design and analysis of screen layouts. (C-1993-29).
Paula Turkki: Query size estimation by sampling in relational databases. (C-1993-05).
Timo Ukkonen: Query processing in main memory database systems. (C-1991-45).
Jari Vanha-Eskola: Computer science at university level: analysis of the first-year teaching. (C-1993-58).