Hecse Alumni



  • Ahonen, Teppo, Cover Song Identification using Compression-based Distance Measures
  • Gross, Oskar, Word Associations as a Language Model for Generative and Creative Tasks
  • Kallasjoki, Heikki, Feature Enhancement and Uncertainty Estimation for Recognition of Noisy and Reverberant Speech


  • Auvinen, Tapio: Educational Technologies for Supporting Self-Regulated Learning in Online Learning Environments
  • Förger (os. Lehtonen), Klaus: From motion capture to performance synthesis: A data based approach on full-body animation
  • Gonçalves, Nicolau: Advances in Analysis and Exploration in Medical Imaging
  • Hakulinen, Lasse: Gameful Approaches for Computer Science Education: From Gamification to Alternate Reality Games
  • Heeswijk, van, Mark: Advances in Extreme Learning Machines
  • Kempa, Dominik: Efficient Construction of Fundamental Data Structures in Large-scale Text
  • Kindermann, Roland: SMT-based Verification of Timed Systems and Software
  • Kohonen, Oskar: Advances in Weakly Supervised Learning of Morphology
  • Kähkönen, Kari: Automated Systematic Testing Methods for Multithreaded Programs
  • Laaksonen, Antti: Algorithms for Melody Search and Transcription
  • Luttinen, Jaakko: Bayesian Latent Gaussian Spatio-Temporal Models
  • Niinimäki, Teppo: Approximation Strategies for Structure Learning in Bayesian Networks
  • Saha, Sumanta: Efficient Methods on Reducing Data Redundancy in the Internet
  • Soleimany, Hadi: Sutides in Lightweight Cryptography
  • Su, Hongyu: Multilabel Classification through Structured Output Learning - Methods and Applications
  • Talonen, Jaakko: Advances in Methods of Anomaly Detection and Visualization of Multivariate Data
  • Zhao, Kai: Understanding Urban Human Mobility for Network Applications


  • Adhikari, Prem Raj: Probabilistic Modelling of Multiresolution Biological Data
  • Bergström-Lehtovirta, Joanna: The Effects of Mobility on Mobile Input
  • Galbrun, Esther: Methods for Redescription Mining
  • Gamper, Hannes: Enabling technologies for audio augmented reality systems
  • Helminen, Juha: Supporting Acquisition of Programming Skills in Introductory Programming Education: Environments for Practicing Programming and Recording and Analysis of Exercise Sessions
  • Korhonen, Janne: Graph and Hypergraph Decompositions for Exact Algorithms
  • Lagerspetz, Eemil: Collaborative Mobile Energy Awareness
  • Lindh-Knuutila, Tiina: Computational Modeling and Simulation of Language and Meaning: Similarity-Based Approaches
  • Paalasmaa, Joonas: Monotoring Sleep with Force Sensor Measurement
  • Parkkinen, Juuso: Probabilistic components of molecular interactions and drug responses
  • Sjöberg, Mats: From pixels to semantics: visual concept detection and its applications
  • Sovilj, Dušan: Learning Methods for Variable Selection and Time Series Prediction
  • Toivola, Janne: Advances in Wireless Damage Detection for Structural Health Monitoring
  • Wieringa, Siert: Incremental Satisfiability Solving and its Applications


  • Ajanki, Antti: Inference of relevance for proactive information retrieval
  • Entner, Doris: Causal Structure Learning and Effect Identification in Linear Non-Gaussian Models and Beyond
  • Eronen, Lauri: Computational Methods for Augmenting Association-based Gene Mapping
  • Hakala, Risto: Results on Linear Models in Cryptography
  • Hyttinen, Antti: Discovering Causal Relations in the Presence of Latent Confounders
  • Karhu, Kalle: String Searching Methods for Bioinformatics
  • Luosto, Panu: Normalized Maximum Likelihood Methods for Clustering and Density Estimation
  • Pajarinen, Joni: Planning under uncertainty for large-scale problems with applications to wireless networking
  • Reyhani, Nima: Studies on Kernel Learning and Independent Component Analysis
  • Suominen, Osma: Methods for Building Semantic Portals
  • Taherkhani, Ahmad: Automatic Algorithm Recognition Based on Programming Schemas and Beacons: A Supervised Machine Learning Classification Approach
  • Wettig Hannes: Probabilistic, Information-Theoretic Models for Etymological Alignment
  • Ylipaavalniemi, Jarkko: Data-driven Analysis for Natural Studies in Functional Brain Imaging
  • Yu, Qi: Machine Learning for Corporate Bankruptcy Prediction


  • Ahlroth, Lauri: Online Algorithms in Resource Management and Constraint Satisfaction
  • Lönnberg, Jan: Understanding and Debugging Concurrent Programs Through Visualisation
  • Nikander, Jussi: Interaction and Visualization Methods in Teaching Spatial Algorithms and Analyzing Spatial Data
  • Paukkeri, Mari-Sanna: Language- and domain-independent text mining
  • Ruohomaa, Sini: The effect of reputation on trust decisions in inter-enterprise collaborations
  • Tervo, Sakari: Localization and tracing of early acoustic reflections
  • Välimäki, Niko: Applications of Compressed Data Structures on Sequences and Structured Data
  • Virpioja, Sami: Learning Constructions of Natural Language: Statistical Models and Evaluations
  • Wessman, Jaana: Mixture Model Clustering in the Analysis of Complex Diseases
  • Zhou, Fang: Methods for Network Abstraction


  • Brumley, Billy: Covert Timing Channels, Caching, and Cryptography
  • Dubrovin, Jori: Efficient Symbolic Model Checking of Concurrent Systems
  • Hyvärinen, Antti: Grid Based Propositional Satisfiability Solving
  • Ihantola, Petri: Automated Assessment of Programming Assignments: Visual Feedback, Assignment Mobility, and Assessment of Students' Testing Skills
  • Junttila, Esa: Patterns in permuted binary matrices
  • Ojala, Markus: Randomization Algorithms for Assessing the Significance of Data Mining Results
  • Pätynen, Jukka: A virtual symphony orchestra for studies on concert hall acoustics
  • Silvasti, Panu: Algorithms for XML Filtering
  • Tripathi, Abhishek: Data fusion and matching by maximizing statistical dependencies
  • Xiao, Yu: Modeling and Managing Energy Consumption of Mobile Devices


  • Haapasalo, Tuukka: Accessing Multiversion Data in Database Transactions
  • Hämäläinen, Wilhelmiina: Efficient Search for Statistically Significant Dependency Rules in Binary Data
  • Heikinheimo, Hannes: "Extending data mining techniques for frequent pattern discovery: trees, lowentropy sets, and crossmining (Hecse student 2007)
  • Kollin, Jussi: Computational Methods for Detecting Large-Scale Chromosome Rearrangements in SNP Data (Hecse student 2007-2009)
  • Liitiäinen, Elia: Advances in the Theory of Nearest Neighbor Distributions
  • Miché, Yoan: Developing Fast Machine Learning Techniques with Applications to Steganalysis Problems
  • Ruotsalo, Tuukka: Methods and applications for ontology-based recommender systems
  • Schumacher, Adnré: Distributed Optimization Algorithms for Multihop Wireless Networks
  • Sorjamaa, Antti: Methodologies for Time Series Prediction and Missing Value Imputation


  • Hätönen, Kimmo: Data Mining for telecommunications network analysis
  • 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 13C 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 Graduates


  • 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.


  • Heljanko, Keijo: Combining Symbolic and Partial Order Methods for Model Checking 1-Safe Petri Nets
  • Hoyer, Patrik: Probabilistics Models of Early Vision
  • Lokki, Tapio: Physically-based Auralization - Design, Implementation and Evaluation
  • Ollikainen, Vesa: Simulation Techniques for Disease Gene Localization in Isolated Populations
  • Tuovinen, Antti-Pekka: Object-Oriented Engineering of Visual Languages


  • Peura, Markus: Attribute Trees as Adaptive Object models in Image Analysis
  • Rousu, Juho: Efficient Range Partitioning in Classification Learning
  • Salmenkivi, Marko: Computational Methods for Intensity Models


  • Tuomas Aura: Authorization and Availability - Aspects of Open Network Security
  • Heikkinen, Barbara: Generalization of document structures and document assembly
  • Kähkipuro, Pekka: Performance modeling Framework for CORBA based distributed systems
  • Lemström, Kjell: String matching techniques for music retrieval
  • Männistö, Tomi: A conceptual modelling approach to product families and their evolution
  • Moen, Pirjo: Attribute event sequence, and event type similarity notions for data mining
  • Simons, Patrik: Extending and implementing the stable model semantics
  • Valpola, Harri: Bayesian Ensemble Learning for Nonlinear Factor Analysis


  • Kärkkäinen, Juha: Repetition-based text indexes
  • Klemettinen, Mika: A knowledge discovery methodology for telecommunication network alarm bases
  • Nikander, Pekka: An architecture for authorization and delegation in distributed object-oriented agent systems
  • Saarela, Janne: The role of metadata in electronic publishing


  • Janhunen, Tomi: Non-monotonic Systems: a Framework for analyzing semantics and structural properties of non-monotonic reasoning (Hecse 97)
  • Kutvonen, Lea: Trading services in open distributed environments (Hecse 97)
  • Sutinen, Erkki: Approximate pattern matching with the q-gram family
  • Tang, Haitao: Applying adaptive techniques and operations research methods to the resource management in telecommunications (Hecse 97-00)
  • Varpaaniemi, Kimmo: On the Stubborn Set Method in Reduced State Space Generation (Hecse 97)


  • Hyvärinen, Aapo: Independent component analysis: A neural network approach (Hecse 95-97)
  • Laaksonen, Jorma: Subspace classifiers in recognition of handwritten digits (Hecse 95-96)
  • Lindén, Greger: Structured document transformations (Hecse 95-97)
  • Nurmela, Kari: Stochastic Optimization Methods in Sphere Packing and Covering Problems in discrete Geometry and Coding Theory (Hecse 95-97)
  • Nykänen, Matti: Querying string databases with modal logic (Hecse 95-97)
  • Rintanen, Jussi: Lexicographic ordering as a basis of priorities in default reasoning (Hecse 95-96)
  • Tirri, Henry: Plausible prediction by Bayesian inference (Hecse 95-97)
  • Törmä, Seppo: A Model for the Dynamic Planning of Industrial Projects (Hecse 95-97)


  • Ahonen, Helena: Generating grammars for structured documents using grammatical inference methods (Hecse 95-96)
  • Elomaa, Tapio: Tools and techniques for decision tree learning (Hecse 95-96)
  • Toivonen, Hannu: Discovery of frequent patterns in large data collections. (Hecse 95-96)
  • Wang, Liuyue: Neural networks for data compression, fitting, and blind signal separation (Hecse 95-96)


  • Myllymäki, Petri: Mapping Bayesian Networks to Stochastic Neural Networks (Hecse 95-95)
  • Nuutila, Esko: Efficient Transitive Closure Computation in Large Digraphs (Hecse 95-96)