Hecse - Helsinki Graduate School in Computer Science and Engineering

Graduated Hecse students

Heikinheimo, Hannes: "Extending data mining techniques for frequent pattern discovery: trees, lowentropy sets, and crossmining (Hecse student 2007)
Ruotsalo, Tuukka: Methods and applications for ontology-based recommender systems

Hirsimäki, Teemu: Advances in unlimited-vocabulary speech recognition for morphologically rich languages
Kontkanen, Petri: Computationally Efficient Methods for MDL-Optimal Density Estimation and Data Clustering
Karavirta, Ville: Facilitating Algorithm Visualization Creation and Adoption in Education
Köster, Urs: A Probabilistic Approach to the Primary Visual Cortex
Laasonen, Kari: Mining Cell Transition Data
Lindqvist, Janne: Practical Privacy Enhancing Technologies for Mobile Systems
Makkonen, Juha: Semantic Classes in Topic Detection and Tracking
Miettinen, Pauli: Matrix Decomposition Methods for Data Mining: Computational Complexity and Algorithms
Mononen, Tommi: Computing the Stochastic Complexity of Simple Probabilistic Graphical Models
Saikkonen, Riku: Bulk Updates and Cache Sensitivity in Search Trees
Salmela, Leena: Improved Algorithms for String Searching Problems
Silander, Tomi: The Most Probable Bayesian Network and Beyond
Suomela, Jukka: Optimisation Problems in Wireless Sensor Networks: Local Algorithms and Local Graphs
Syrjänen, Tommi: Logic Programs and Cardinality Constraints: Theory and Practice
Vesa, Sampo: Studies on Binaural and Monaural Signal Analysis - Methods and Applications
Licentiates
Billy Brumley: Studies on Elliptic Curve Cryptography Engineering
Antti Hyvärinen: Approaches to Grid-Based SAT Solving
Jussi Nikander

Harva, Markus: Algorithms for Approximate Bayesian Inference with Applications to Astronomical Data Analysis
Järvisalo, Matti: Structure-Based Satisfiability Checking: Analyzing and Harnessing the Potential
Klami, Arto: Modeling of mutual dependencies
Lindgren, Jussi T.: Learning Nonlinear Visual Processing from Natural Images
Oikarinen, Emilia: Modularity in Answer Set Programs
Salojärvi, Jarkko: Inferring Relevance from Eye Movements with Wrong Models
Sulkava, Mika: Learning from environmental data: methods for analysis of forest nutrition time series
Tatti, Nikolaj: Advances in Mining Binary Data: Itemsets as Summaries
Tikka, Jarkko: Input variable selection methods for construction of interpretable regression models
Ukkonen, Antti: Algorithms for finding orders and analyzing sets of chains
Yang, Zhirong: Discriminative learning with application to interactive facial image retrieval

Hämäläinen, Perttu: Novel applications of real-time audiovisual signal processing technology for art and sports education and entertainment
Honkala, Mikko: Web User Interaction - a Declarative Approach Based on XForms
Järvisalo, Matti: Impact of Restricted Branching on Clause Learning SAT Solving (Lic.Sc. (Tech.) Thesis)
Karavirta, Ville: Facilitating Algorithm Animation Creation and Adoption in Education (Lic.Sc. (Tech.) Thesis)
Leggio, Simone: A Decentralized Session management Framework for Heterogeneous Ad-Hoc and Fixed Networks
Lehtinen, Jaakko: Theory and Algorithms for Efficient Physically-Based Illumination
Raento, Mika: Exploring privacy for ubiquitous computing: Tools, methods and experiments
Roos, Teemu: Statistical and Information-Theoretic Methods for Data Analysis
Sarolahti, Pasi: TCP Performance in Heterogeneous Wireless Networks
Similä, Timo: Advances in Variable Selection and Visualization Methods for Analysis of Multivariate Data
Venna, Jarkko: Dimensionality Reduction for Visual Exploration of Similarity Structures

Gröhn, Matti: Applying spatial audio in virtual environments for localization, navigation and orientation
Ilin, Alexander: Advanced Source Separation Methods with Applications to Spatio-Temporal Datasets
Ilmonen, Tommi: Tools and Experiments in Multimodal Interaction
Kätsyri, Jari: Human Recognition of Basic Emotions from Posed and Animated Dynamic Facial Expressions.
Keinänen, Misa: Techniques for Solving Boolean Equation Systems
Krassi, Boris: The application of dynamic virtual prototyping to the development of control systems
Laine, Samuli: Efficient Physically-Based Shadow Algorithms
Lassenius, Casper: Software Development Control Panels: Concepts, a Toolset and Experiences
Lehtonen, Miro: Indexing Heterogeneous XML for Full-Text Search
Lundberg, Janne: A Wireless Multicast Delivery Architecture for Mobile Terminals
Rantanen, Ari: Algorithms for ¹³C Metabolic Flux Analysis
Schaeffer, Satu Elisa: Algorithms for nonuniform networks
Tarkoma, Sasu: Efficient Content-based Routing, Mobility-Aware Tologies, and Temporal Subspace Matching
Tauriainen, Heikki: Automata and Linear Temporal Logic: Translations with Transition-Based Acceptance
Viljamaa, Antti: Specifying Reuse Interfaces for Task-Oriented Framework Specialization

Aila, Timo: Efficient Algorithms for Occlusion Culling and Shadows
Autere, Antti: Extensions and Applications of A* Algorithm
Candolin, Catharina: Securing Military Decision Making in a Network-Centric Environment
Cesar, Pablo: Graphics Architecture for Multimedia Non-Desktop Devices: a Study of Digital Television Receivers
Doucet, Antoine: Advanced Document Description, a Sequential Approach
Jussila, Toni: On Bounded Model Checking of Asynchronous Systems
Kaski, Petteri: Algorithms for Classification of Combinatorial Objects
Kauppinen, Marjo: Introducing Requirements Engineering into Product Development: Towards Systematic User Requirements Definition
Latvala, Timo: Automata-Theoretic and Bounded Model Checking for Linear Temporal Logic
Mielikäinen, Taneli: Summarization Techniques for Pattern Collections in Data Mining
Surakka, Sami: Needs Assessment of Software Systems Graduate

Eronen, Leena: User Centered Research for Digital Television
Gurtov, Andrei: Efficient Transport in Wireless Overlay Networks
Haanpää, Harri: Combinatorial Generation
Inki, Mika: Examining the statistical properties of natural images using independent component analysis
Kääriäinen, Matti: Learning Small Trees and Graphs That Generalize
Koivisto, Mikko: Methods for handling complex summations
Könönen, Ville: Multiagent reinforcement learning in Markov games: asymmetric and symmetric approaches
Sevon, Petteri: Algorithms for gene mapping
Vasko, Kari: Computational methods for biostratigraphic data
Viljamaa, Jukka: Reverse Engineering Framework Reuse Interfaces using Formal Concept Analysis

Bingham, Ella: Extensions of Independent Component Analysis
Campadello, Stefano: Middleware infrastructure for distributed mobile applications
Helin, Heikki: Supporting nomadic agent-based applications in the FIPA agent architecture
Hurri, Jarmo: Models of the primary visual cortex based on statistical properties of natural visual stimuli
Isto, Pekka: Motion planning
Junttila, Tommi: On the symmetry reduction method for Petri nets and related formalisms
Kurhila, Jaakko: Considering individual differences in computer-supported special and elementary education
Lindström, Jan: Optimistic concurrency control methods for real-time database systems
Luukkainen, Matti: A process algebraic reduction strategy for automata theoretic verification of untimed and timed concurrent systems
Manner, Jukka: Provision of Quality of Service in IP-based mobile access networks
Mäkelä, Marko: Efficient Computer-Aided Verification of Parallel and Distributed Software Systems
Mäkinen, Veli: Parameterized approximate string matching and local-similarity-based point-pattern matching
Pihkala, Kari: XML based multimedia
Taina, Juha: Design and analysis of a distributed database architecture for IN/GSM data.