Hecse

Hecse Alumni

Year						Total
PhDs
Year	1995	1996	1997	1998	1999
PhDs	2	4	8	5	4
Year	2000	2001	2002	2003	2004
PhDs	8	3	5	14	10
Year	2005	2006	2007	2008	2009
PhDs	11	15	10	11	16
Year	2010	2011	2012	2013	2014
PhDs	9	10	10	14	14
Year	2015	2016
PhDs	17
Total						200

2016

• 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

2015

• 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

2014

• 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

2013

• 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

2012

• 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

2011

• 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

2010

• 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

2009

• 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

2008

• 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

2007

• 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

2006

• 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

2005

• 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

2004

• 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

2003

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

2002

• 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

2001

• 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

2000

• 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

1999

• 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

1998

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

1997

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

1996

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

1995

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