Doctoral theses in Computer Science

Report series A of the Department of Computer Science

Printed versions of the doctoral dissertations are available for reading at the Kumpula Campus Library.

Some of the dissertations are also available on-line at the server of the Department of Computer Science or on the e-thesis site of the University of Helsinki.

2018

A-2018-1 

Nelimarkka, Matti: Performative Hybrid Interaction: Understanding Planned Events across Collocated and Mediated Interaction Spheres. (PhD thesis).

A-2018-2 

Peltonen, Ella: Crowdsensed Mobile Data Analytics. (PhD thesis).

A-2018-3 

Barral, Oswald: Implicit Interaction with Textual Information using Physiological SIgnals. (PhD thesis).

A-2018-4 

Kosunen, Ilkka: Exploring the Dynamics of the Biocybernetic Loop in Physiological Computing. (PhD thesis).

A-2018-5 

Berg, Jeremias: Solving Optimization Problems via Maximum Satisfiablity: Encodings and Re-Encodings. (PhD thesis).

A-2018-6 

Pyykkö, Joel: Online Personalization in Exploratory Search. (PhD thesis).

2017

A-2017-1 

Zou, Yuan: On Model Selection for Bayesian Networks and Sparse Logistic Regression. (PhD thesis).

A-2017-2

Hsieh, Yi-Ta: Exploring Hand-Based Haptic Interfaces for Mobile Interaction Design. (PhD thesis).

A-2017-3 

Valenzuela, Daniel: Algorithms and Data Structures for Sequence Analysis in the Pan-Genomic Era. (PhD thesis).

A-2017-4 

Hellas, Arto: Retention in Introductory Programming. (PhD thesis).

A-2017-5 

Du, Mian: Natural Language Processing System for Business Intelligence. (PhD thesis).

A-2017-6 

Kuosmanen, Anna: Third-Generation RNA-Sequencing Analysis: Graph Alignment and Transcript Assembly with Long Reads. (PhD thesis).

2016

A-2016-1

Ahonen, Teppo: Cover Song Identification using Compression-based Distance Measures. (PhD thesis).

A-2016-2

Gross, Oskar: Word Associations as a Language Model for Generative and Creative Tasks. (PhD thesis).

A-2016-3

Määttä, Jussi: Model Selection Methods for Linear Regression and Phylogenetic Reconstruction. (PhD thesis).

A-2016-4

Toivanen, Jukka: Methods and Models in Linguistic and Musical Computational Creativity. (PhD thesis).

A-2016-5

Athukorala, Kumaripaba: Information Search as Adaptive Interaction. (PhD thesis).

A-2016-6

Kangas, Juho-Kustaa: Combinatorial Algorithms with Applications in Learning Graphical Models. (PhD thesis).

2015

A-2015-1

Wang, Liang: Content, Topology and Cooperation in In-network Caching. (PhD thesis).

A-2015-2

Niinimäki, Teppo: Approximation Strategies for Structure Learning in Bayesian Networks. (PhD thesis).

A-2015-3

Kempa, Dominik: Efficient Construction of Fundamental Data Structures in Large-Scale Text Indexing. (PhD thesis).

A-2015-4

Zhao, Kai: Understanding Urban Human Mobility for Network Applications. (PhD thesis).

A-2015-5

Laaksonen, Antti: Algorithms for Melody Search and Transciption. (PhD thesis).

A-2015-6

Ding, Yi: Collaborative Traffic Offloading for Mobile Systems. (PhD thesis).

A-2015-7

Fagerholm, Fabian: Software Developer Experience: Case Studies in Lean-Agile and Open Source Environments. (PhD thesis).

2014

A-2014-1

Korhonen, Janne: Graph and Hypergraph Decompositions for Exact Algorithms. (PhD thesis).

A-2014-2

Paalasmaa, Joonas: Monotoring Sleep with Force Sensor Measurement. (PhD thesis).

A-2014-3

Langohr, Laura: Methods for Finding Interesting Nodes in Weighted Graphs. (PhD thesis).

A-2014-4

Bhattacharya, Sourav: Continuous Context Inference on Mobile Platforms. (PhD thesis).

A-2014-5

Lagerspetz, Eemil: Collaborative Mobile Energy Awareness. (PhD thesis).

2013

A-2013-1

Timonen, Mika: Term Weighting in Short Documents for Document Categorization, Keyword Extraction and Query Expansion. (PhD thesis).

A-2013-2

Wettig, Hannes: Probabilistic, Information-Theoretic Models for Etymological Alignment. (PhD thesis).

A-2013-3

Ruokolainen, Toni: A Model-Driven Approach to Service Ecosystem Engineering. (PhD thesis).

A-2013-4

Hyttinen, Antti: Discovering Causal Relations in the Presence of Latent Confounders. (PhD thesis).

A-2013-5

Eloranta, Satu: Dynamic Aspects of Knowledge Bases. (PhD thesis).

A-2013-6

Apiola, Mikko: Creativity-Supporting Learning Environments: Two Case Studies on Teaching Programming. (PhD thesis).

A-2013-7

Polishchuk, Tatiana: Enabling Multipath and Multicast Data Transmission in Legacy and Future Internet. (PhD thesis).

A-2013-8

Luosto, Panu: Normalized Maximum Likelihood Methods for Clustering and Density Estimation. (PhD thesis).

A-2013-9

Eronen, Lauri: Computational Methods for Augmenting Association-based Gene Mapping. (PhD thesis).

A-2013-10

Entner, Doris: Causal Structure Learning and Effect Identification in Linear Non-Gaussian Models and Beyond. (PhD thesis).

A-2013-11

Galbrun, Esther: Methods for Redescription Mining. (PhD thesis).

A-2013-12

Pervilä, Mikko: Data Center Energy Retrofits. (PhD thesis).

A-2013-13

Pohjalainen, Pietu: Self-Organizing Software Architechtures. (PhD thesis).

2012

A-2012-1

Parviainen, Pekka: Algorithms for Exact Structure Discovery in Bayesian Networks. (PhD thesis).

A-2012-2

Wessman, Jaana: Mixture Model Clustering in the Analysis of Complex Diseases. (PhD thesis).

A-2012-3

Pöyhönen, Petteri: Access Selection Methods in Cooperative Multi-operator Environments to Improve End-user and Operator Satisfaction. (PhD thesis).

A-2012-4

Ruohomaa, Sini: The Effect of Reputation on Trust Decisions in Inter-enterprise Collaborations. (PhD thesis).

A-2012-5

Siren, Jouni: Compressed Full-Text Indexes for Highly Repetitive Collections. (PhD thesis).

A-2012-6

Zhou, Fang: Methods for Network Abstraction. (PhD thesis).

A-2012-7

Välimäki, Niko: Applications of Compressed Data Structures on Sequences and Structured Data. (PhD thesis).

A-2012-8

Varjonen, Samu: Secure Connectivity With Persistent Identities. (PhD thesis).

A-2012-9

Heinonen, Markus: Computational Methods for Small Molecules. (PhD thesis).

2011

A-2011-1

Tripathi, Abhishek: Data fusion and matching by maximizing statistical dependencies. (PhD thesis).

A-2011-2

Junttila, Esa: Patterns in permuted binary matrices. (PhD thesis).

A-2011-3

Hintsanen, Petteri: Simulation and graph mining tools for improving gene mapping efficiency. (PhD thesis).

A-2011-4

Ikonen, Marko: Lean Thinking in Software Development: Impacts of Kanban on Projects. (PhD thesis).

2010

A-2010-1

Lukk, Margus: Construction of a Global Map of Human Gene Expression: the Process, Tools and Analysis. (PhD thesis).

A-2010-2

Hämäläinen, Wilhelmiina: Efficient Search for Statistically Significant Dependency Rules in Binary Data. (PhD thesis).

A-2010-3

Kollin, Jussi: Computational Methods for Detecting Large-Scale Chromosome Rearrangements in SNP Data. (PhD thesis).

A-2010-4

Pitkänen, Esa: Computational Methods for Reconstruction and Analysis of Genome-Scale Metabolic Networks. (PhD thesis).

A-2010-5

Lukyanenko, Andrey: Multi-user Resource-sharing Problem for the Internet. (PhD thesis).

A-2010-6

Daniel, Laila: Cross-layer Assisted TCP Algorithms for Vertical Handoff. (PhD thesis).

2009

A-2009-1

Hätönen, Kimmo: Data mining for telecommunications network log analysis. (PhD thesis).

A-2009-2

Silander, Tomi: The Most Probable Bayesian Network and Beyond. (PhD thesis).

A-2009-3

Laasonen, Kari: Mining Cell Transition Data. (PhD thesis).

A-2009-4

Miettinen, Pauli: Matrix decomposition methods for data mining: computational complexity and algorithms. (PhD thesis).

A-2009-5

Suomela, Jukka: Optimisation Problems in Wireless Sensor Networks: Local Algorithms and Local Graphs. (PhD thesis).

A-2009-6

Köster, Urs: A Probabilistic Approach to the Primary Visual Cortex. (PhD thesis).

A-2009-7

Nurmi, Petteri: Identifying Meaningful Places. (PhD thesis).

A-2009-8

Makkonen, Juha: Semantic Classes in Topic Detection and Tracking. (PhD thesis).

A-2009-9

Rastas, Pasi: Computational Techniques for Haplotype Inference and for Local Alignment Significance. (PhD thesis).

A-2009-10

Mononen, Tommi: Computing the Stochastic Complexity of Simple Probabilistic Graphical Models. (PhD thesis).

A-2009-11

Kontkanen, Petri: Computationally Efficient Methods for MDL-optimal Clustering and Density Estimation. (PhD thesis).

2008

A-2008-1

Autio, Ilkka: Modeling Efficient Classification as a Process of Confidence Assessment and Delegation. (PhD thesis).

A-2008-2

Kangasharju, Jaakko: XML Messaging for Mobile Devices. (PhD thesis).

A-2008-3

Haiminen, Niina: Mining Sequential Data - in Search of Segmental Structures. (PhD thesis).

A-2008-4

Korhonen, Jouni: IP Mobility in Wireless Operator Networks. (PhD thesis).

A-2008-5

Lindgren, Jussi T.: Learning nonlinear visual processing from natural images. (PhD thesis).

2007

A-2007-1

Sarolahti, Pasi: TCP Performance in Heterogeneous Wireless Networks. (PhD thesis).

A-2007-2

Raento, Mika: Exploring privacy for ubiquitous computing: Tools, methods and experiments. (PhD thesis).

A-2007-3

Aunimo, Lili: Methods for Answer Extraction in Textual Question Answering. (PhD thesis).

A-2007-4

Roos, Teemu: Statistical and Information-Theoretic Methods for Data Analysis. (PhD thesis).

A-2007-5

Leggio, Simone: A Decentralized Session Management Framework for Heterogeneous Ad-Hoc and Fixed Networks. (PhD thesis).

A-2007-6

Riva, Oriana: Middleware for Mobile Sensing Applications in Urban Environments. (PhD thesis).

A-2007-7

Palin, Kimmo: Computational Methods for Locating and Analyzing Conserved Gene Regulatory DNA Elements. (PhD thesis).

2006

A-2006-1

Viljamaa, Antti: Specifying Reuse Interfaces for Task-Oriented Framework Specialization. (PhD thesis).

A-2006-2

Tarkoma, Sasu: Efficient Content-based Routing, Mobility-aware Topologies, and Temporal Subspace Matching. (PhD thesis).

A-2006-3

Lehtonen, Miro: Indexing Heterogeneous XML for Full-Text Search. (PhD thesis).

A-2006-4

Rantanen, Ari: Algorithms for 13C Metabolic Flux Analysis. (PhD thesis).

A-2006-5

Terzi, Evimaria: Problems and Algorithms for Sequence Segmentations. (PhD thesis).

2005

A-2005-1

Mielikäinen, Taneli: Summarization techniques for pattern collections in data mining. (PhD thesis).

A-2005-2

Doucet, Antoine: Advanced Document Description, a Sequential Approach. (PhD thesis).

2004

A-2004-1

Mikko Koivisto: Sum-product algorithms for the analysis of genetic risks. (PhD thesis).

A-2004-2

Andrei Gurtov: Efficient data transport in wireless overlay networks. (PhD thesis).

A-2004-3

Kari Vasko: Computational methods and models for paleoecology. (PhD thesis).

A-2004-4

Sevon, Petteri: Algorithms for association-based gene mapping. (PhD thesis).

A-2004- 5

Viljamaa, Jukka: Applying formal concept analysis to extract framework reuse interface specifications from source code. (PhD thesis).

A-2004-6

Ravantti, Janne: Computational methods for reconstructing macromolecular complexes from cryo-electron microscopy images. (PhD thesis).

A-2004-7

Kääriäinen, Matti: Learning small trees and graphs that generalize. (PhD thesis).

A-2004-8

Kivioja, Teemu: Computational tools for a novel transcriptional profiling method (PhD thesis).

A-2004-9

Tamm, Hellis: On minimality and size reduction of one-tape and multitape finite automata. (PhD thesis).

2003

A-2003-1

Jan Lindström: Optimistic concurrency control methods for real-time database systems. (PhD thesis).

A-2003-2

Heikki Helin: Supporting nomadic agent-based applications in the FIPA agent architecture. (PhD thesis).

A-2003-3

Stefano Campadello: Middleware infrastructure for distributed mobile applications. (PhD thesis).

A-2003-4

Juha Taina: Design and analysis of a distributed database architecture for IN/GSM data. (PhD thesis).

A-2003-5

Jaakko Kurhila: Considering individual differences in computer-supported special and elementary education. (PhD thesis).

A-2003-6

Veli Mäkinen: Parameterized approximate string matching and local-similarity-based point-pattern matching. (PhD thesis).

A-2003-7

Matti Luukkainen: A process algebraic reduction strategy for automata theoretic verification of untimed and timed concurrent systems. (PhD thesis).

A-2003-8

Jukka Manner: Provision of Quality of Service in IP-based mobile access networks. (PhD thesis).

2002

A-2002-1

Antti-Pekka Tuovinen: Object-oriented engineering of visual languages. (PhD thesis).

A-2002-2

Vesa Ollikainen: Simulation techniques for disease gene localization in isolated populations. (PhD thesis).

A-2002-3

Jaak Vilo: Pattern discovery from biosequences. (PhD thesis).

2001

A-2001-1

Juho Rousu: Efficient range partitioning in classification learning. (PhD thesis).

A-2001-2

Marko Salmenkivi: Computational methods for intensity models. (PhD thesis).

A-2001-3

Kimmo Fredriksson: Rotation invariant template matching. (PhD thesis).

2000

A-2000-1

Pirjo Moen: Attribute, event sequence, and event type similarity notions for data mining. (PhD thesis).

A-2000-2

Barbara Heikkinen: Generalization of document structures and document assembly. (PhD thesis).

A-2000-3

Pekka Kähkipuro: Performance modeling framework for CORBA based distributed systems. (PhD thesis).

A-2000-4

Kjell Lemstöm: String matching techniques for music retrieval. (PhD thesis).

A-2000-5

Timo Karvi: Partially defined Lotos specifications and their refinement calculus. (PhD thesis).

1999

A-1999-1

Mika Klemettinen: A knowledge discovery methodology for telecommunication network alarm databases. (PhD thesis).

A-1999-2

Juha Puustjärvi: Transactional workflows. (PhD thesis).

A-1999-3

Greger Lindén & Esko Ukkonen (eds): Department of Computer Science: annual report 1998.

A-1999-4

Juha Kärkkäinen: Repetition-based text indexes. (PhD thesis).

1998

A-1998-1

Greger Lindén & Martti Tienari (eds): Computer Science at the University of Helsinki 1998.

A-1998-2

Lea Kutvonen: Trading services in open distributed environments. (PhD thesis).

A-1998-3

Erkki Sutinen: Approximate pattern matching with the q-gram family. (PhD thesis).

1997

A-1997-1

Henry Tirri: Plausible prediction by Bayesian inference. (PhD thesis).

A-1997-2

Greger Lindén: Structured document transformations. (PhD thesis).

A-1997-3

Matti Nykänen: Querying string databases with modal logic. (PhD thesis).

A-1997-4

Erkki Sutinen & Jorma Tarhio & Simo-Pekka Lahtinen & Antti-Pekka Tuovinen & Erkki Rautama & Veijo Meisalo: Eliot - an algorithm animation environment.

1996

A-1996-1

Roope Kaivola: Equivalences, preorders and compositional verification for linear time temporal logic and concurrent systems. (PhD thesis).

A-1996-2

Tapio Elomaa: Tools and techniques for decision tree learning. (PhD thesis).

A-1996-3

Jorma Tarhio & Martti Tienari (eds): Computer Science at the University of Helsinki 1996.

A-1996-4

Helena Ahonen: Generating grammars for structured documents using grammatical inference methods. (PhD thesis).

A-1996-5

Hannu Toivonen: Discovery of frequent patterns in large data collections. (PhD thesis).

1995

A-1995-1

Petri Myllymäki: Mapping Bayesian networks to stochastic neural networks: a foundation for hybrid Bayesian-neural systems. (PhD thesis).

1994

A-1994-1

Jaana Eloranta: Minimal transition systems with respect to divergence preserving behavioural equivalences. (PhD thesis).

A-1994-2

Kirsti Pohjonen (toim./ed): Tietojenkäsittelyopin laitoksen julkaisut 1992-93 (Publications from the Department of Computer Science 1992-93).

A-1994-3

Teija Kujala & Martti Tienari (eds): Computer Science at the University of Helsinki 1993.

A-1994-4

Patrik Floréen & Pekka Orponen: Complexity issues in discrete Hopfield networks.

1993

A-1993-1

Esko Ukkonen: On-line construction of suffix-trees.

A-1993-2

Alois P. Heinz: Efficient implementation of a neural net [alpha] -[beta]-evaluator.

1992

A-1992-1

Jyrki Kivinen: Problems in computational learning theory. (PhD thesis).

A-1992-2

Kirsti Pohjonen & Jorma Tarhio (toim./eds): Tietojenkäsittelyopin laitoksen tutkimusraportteja 1990-91 (Research reports at the Department of Computer Science 1990-91).

A-1992-3

Thomas Eiter & Pekka Kilpeläinen & Heikki Mannila: Recognizing renamable generalized propositional Horn formulas is NP-complete.

A-1992-4

Antti Valmari: Alleviating state explosion during verification of behavioural equivalence.

A-1992-5

Patrik Floréen: Computational complexity problems in neural associative memories. (PhD thesis).

A-1992-6

Pekka Kilpeläinen: Tree matching problems with applications to structured text databases. (PhD thesis).

1991

A-1991-1

Jukka Paakki: Paradigms for attribute-grammar-based language implementation. (PhD thesis).

A-1991-2

Otto Nurmi & Eljas Soisalon-Soininen: Uncoupling updating and rebalancing in chromatic binary search trees.

A-1991-3

Tapio Elomaa & Jyrki Kivinen: Learning decision trees from noisy examples.

A-1991-4

Pekka Kilpeläinen & Heikki Mannila: Ordered and unordered tree inclusion.

A-1991-5

Antti Valmari: Compositional state space generation.

A-1991-6

Jorma Tarhio & Martti Tienari (eds): Computer Science at the University of Helsinki 1991.

A-1991-7

Petteri Jokinen & Jorma Tarhio & Esko Ukkonen: A comparison of approximate string matching algorithms.

1990

A-1990-1

Kirsti Pohjonen & Jorma Tarhio (toim./eds): Tietojenkäsittelyopin laitoksen tutkimusraportteja 1988-89 (Research reports at the Department of Computer Science 1988-89).

A-1990-2

Juhani Kuittinen & Otto Nurmi & Seppo Sippu & Eljas Soisalon-Soininen: Efficient implementation of loops in bottom-up evaluation of logic queries.

A-1990-3

Jorma Tarhio & Esko Ukkonen: Approximate Boyer-Moore string matching.

A-1990-4

Esko Ukkonen & Derick Wood: Approximate string matching with suffix automata.

A-1990-5

Teemu Kerola: Qsolver - a modular environment for solving queueing network models.

A-1990-6

Ker-I Ko & Pekka Orponen & Uwe Schöning & Osamu Watanabe: Instance complexity.

1989

A-1989-1

Gösta Grahne: The problem of incomplete information in relational databases. (PhD thesis).

A-1989-2

Henry Tirri (ed): Interoperability of heterogeneous information systems: final report of the COST 11ter project.

A-1989-3

Jorma Tarhio & Martti Tienari (eds): Computer Science at the University of Helsinki.

A-1989-4

Timo Alanko & Jukka Keskinen & Petri Kutvonen & Matt Mutka, & Martti Tienari: The AHTO project: software technology for open distributed processing.

A-1989-5

Niklas Holsti: Script editing for recovery and reversal in textual user interfaces. (PhD thesis).

A-1989-6

Kimmo E.E.Raatikainen: Modelling and analysis techniques for capacity planning. (PhD thesis).

1988

A-1988-1

A. Inkeri Verkamo: Sorting in hierarchical memories. (PhD thesis).

A-1988-2

Kai Koskimies & Tapio Elomaa & Tapio Lehtonen & Jukka Paakki: TOOLS/HLP84 report and user manual. (Rev. in 1989)

A-1988-3

Niklas Holsti: Incremental Matlab - a program with an incremental user interface.

A-1988-4

Heikki Mannila & Esko Ukkonen: Time parameter and arbitrary deunions in the set union problem.

A-1988-5

Martti Tienari & Kari Aaltonen & Jaana Eloranta & Jukka Keskinen & Kari Lehtinen & Lea Summanen & Kalle Tarpila & Ismo Turunen: PROTAN88 - a software tool for verifying communication protocols specified with an extended state transition model.

A-1988-6

Henry Tirri (ed): Interoperability of heterogeneous information systems: interim report of the COST 11ter project.

A-1988-7

Osmo Peitsalo & Jorma Tarhio (toim./eds): Tietojenkäsittelyopin laitoksen tutkimusraportteja 1986-87 (Research reports at the Department of Computer Science 1986-87).

A-1988-8

Jukka Paakki: Generating one-pass semantic analysis for a compiler. (Ph.Lic. thesis).

A-1988-9

Masataka Sassa: Incremental attribute evaluation and parsing based on ECLR-attributed grammars.

A-1988-10

Kari Lehtinen: Experiences in using Estelle in X.411/P1 protocol specification.

A-1988-11

Jorma Tarhio: Attribute grammars for one-pass compilation. (PhD thesis).

A-1988-12

Kai Koskimies & Merik Meriste: Experiences with class-based implementation of programming languages.

A-1988-13

Eeva Hartikainen: Specification and design of distributed programs that use broadcasting. (Ph.Lic. thesis).

1987

A-1987-1

Pekka Kilpeläinen & Heikki Mannila & Jukka Riivari & Esko Ukkonen: Helsinki Prolog language - reference manual.

A-1987-2

Pekka Kilpeläinen & Heikki Mannila & Jukka Riivari & Asko Suorsa & Marja Tiainen & Esko Ukkonen: Helsinki Prolog System (HPS) - user guide.

A-1987-3

Pekka Kilpeläinen & Heikki Mannila & Jukka Riivari & Asko Suorsa & Marja Tiainen & Esko Ukkonen: Helsinki Prolog System (HPS) - system overview.

1986

A-1986-1

Osmo Peitsalo & Jorma Tarhio (toim./eds): Tietojenkäsittelyopin laitoksen tutkimusraportteja 1984-85 (Research reports at the Department of Computer Science 1984-85).

A-1986-2

Ilkka Haikala: Program behaviour in memory hierarchies. (PhD thesis).

A-1986-3

Pekka Orponen: The structure of polynomial complexity cores. (PhD thesis).

A-1986-4

Kai Koskimies & Otto Nurmi & Jukka Paakki & Seppo Sippu: The design of the language processor generator HLP84.

1985

A-1985-1

Heikki Mannila: Instance complexity for sorting and NP-complete problems. (PhD thesis).

1984

A-1984-1

Osmo Peitsalo & Jorma Tarhio (toim./eds): Tietojenkäsittelyopin laitoksen tutkimusraportteja 1983 (Research reports at the Department of Computer Science).

1983

A-1983-1

Kari-Jouko Räihä & Mikko Saarinen & Matti Sarjakoski & Seppo Sippu & Eljas Soisalon-Soininen & Martti Tienari: Revised report on the compiler writing system HLP78.

A-1983-2

Osmo Peitsalo & Jorma Tarhio (toim./eds): Tietojenkäsittelyopin laitoksen tutkimusraportteja 1982 (Research reports at the Department of Computer Science).

A-1983-3

Timo Alanko: Empirical studies of program behaviour in virtual memory. (PhD thesis).

A-1983-4

Kai Koskimies: Extensions of one-pass attribute grammars. (PhD thesis).

1982

A-1982-1

Osmo Peitsalo & Jorma Tarhio (toim./eds): Tietojenkäsittelyopin laitoksen tutkimusraportteja 1981 (Research reports at the Department of Computer Science 1981).

A-1982-2

Kai Koskimies: An experience on language implementation using attribute grammars.

A-1982-3

Seppo Linnainmaa: Fortran implementation of the error linearization method for automatic error analysis.

A-1982-4

Jorma Tarhio: Attribute evaluation during LR parsing. (Ph.Lic. thesis).

A-1982-5

Ilkka Haikala & Petri Kutvonen: Design and implementation of the Mopo minicomputer system.

1981

A-1981-1

Seppu Sippu: Syntax error handling in compilers. (PhD thesis).

A-1981-2

Osmo Peitsalo & Jorma Tarhio (toim./eds): Tietojenkäsittelyopin laitoksen tutkimusraportteja 1980 (Research reports at the Department of Computer Science 1980).

A-1981-3

Jorma Sajaniemi: A proposal for expressing coroutines and its description by three models.

A-1981-4

Kari-Jouko Räihä: A space management technique for multi-pass attribute evaluators. (PhD thesis).

1980

A-1980-1

V-E. Juhani Virkkunen: A unified approach to floating-point rounding with applications to multiple-precision summation. (PhD thesis).

A-1980-2

Kai Koskimies: A study on the programming language Euclid. (Ph.Lic. thesis).

A-1980-3

Hannu Erkiö: Using special instructions to speed certain internal sort algorithms.

A-1980-4

Hannu Erkiö: Studies on the efficiency of certain internal sort algorithms. (PhD thesis).

1979

A-1979-1

Hannu Erkiö: On heapsort and its dependence on input data. (Ph.Lic. thesis).

1978

A-1978-1

Hannu Erkiö & Eero Peltola: Algorithms for experimental analysis of some internal sorting methods.

A-1978-2

Kari-Jouko Räihä & Mikko Saarinen & Eljas Soisalon-Soininen & Martti Tienari: The compiler writing system HLP (Helsinki Language Processor).

A-1978-3

Seppo Linnainmaa & Heikki Lokki & Esko Ukkonen & Inkeri Verkamo: Algol Elastic, a programming language for analyzing numerical stability and its implementation.

A-1978-4

Ralph-Johan Back: On the correctness of refinement steps in program development. (PhD thesis).

1977

A-1977-1

Hannu Erkiö & Jorma Sajaniemi & Antti Salava: An implementation of Pascal on the Burroughs B6700.

A-1977-2

Kari-Jouko Räihä & Jorma Sajaniemi & Esko Ukkonen: Ohjelmointikielten määrittelyn ja toteutuksen englantilais-suomalainen sanasto (English-Finnish vocabulary of the definition and implementation of programming languages).

A-1977-3

Eljas Soisalon-Soininen: Characterization of LL(k) languages by restricted LR(k) grammars. (PhD thesis).

A-1977-4

Kari-Jouko Räihä: On attribute grammars and their use in a compiler writing system. (PhD thesis).

A-1977-5

Martti Tienari (toim): Helsingin yliopiston tietojenkäsittelyopin laitos 1972-1977, esittelytilaisuus syyskuussa 1977.

A-1977-6

Jorma Sajaniemi: Describing transfer of control with the help of definitional interpreters.

A-1977-7

Esko Ukkonen: On the effect of rounding errors on the flow of control in numerical processes. (PhD thesis).

A-1977-8

Martti Tienari (ed): The Department of Computer Science at the University of Helsinki, activities 1972-1977.

A-1977-9

Kari-Jouko Räihä: An O(log n) insertion algorithm for one-sided height-balanced binary search trees.

1975

A-1975-1

Seppo Linnainmaa: Statistical estimation methods of rounding errors in floating-point computations.

A-1975-2

Seppo Linnainmaa: A set of Algol procedures for analyzing the numerical stability of floating-point computations.

A-1975-3

Matti Ketonen (toim): Tietojenkäsittelyopin kurssien sisältö lukuvuotena 1974-1975.

1974

A-1974-1

Olavi Maanavilja: Tietorakenteet ja talletusrakenteet tiedonhallintajärjestelmien yhteydessä. (Laudaturtutkielma)

A-1974-2

Jouko Mäkelä: Optinen luku. (Laudaturtutkielma)

A-1974-3

Tuomo Orpana: CHAPS-algoritmin tarkkuuteen ja tehokkuuteen vaikuttavista tekijöistä. (Laudaturtutkielma)

1973

A-1973-1

Jorma Sajaniemi: Rinnakkaismenetelmien testausväline Moni-MIX N009.

A-1973-2

Hannu Erkiö: An extension of Algol with variable precision floating-point algorithm.

1972

A-1972-1

Jorma Sajaniemi: Verkkoteoreettiset menetelmät algoritmien analyysissä. (Laudaturtutkielma)

A-1972-2

Seppo Linnainmaa: Pyöristysvirheitten tilastollisen arvioinnin perusteita. (Lisensiaatintutkielma)

A-1972-3

Yrjö Seppälä: New methods for solving chance-constrained programming problems. (PhD thesis).

A-1972-4

Timo Alanko (toim): Helsingin yliopiston tietojenkäsittelyopin laitos 1967-1972.