Theses

SMT-based Verification of Timed Systems and Software

Roland Kindermann · Aalto/ICS · Tue, 09.12.2014


Collaborative Mobile Energy Awareness

Eemil Lagerspetz · UH/CS · Mon, 24.11.2014


Probabilistic Modelling of Multiresolution Biological Data

Prem Raj Adhikari · Aalto/ICS · Fri, 21.11.2014


Extending SAT Solver with Parity Reasoning

Tero Laitinen · Aalto/ICS · Fri, 21.11.2014


Bayesian Multi-Way Models for Data Translation in Computational Biology

Tommi Suvitaival · Aalto/ICS · Wed, 19.11.2014


Support for configuration of physical products and services

Juha Tiihonen · Aalto/CSE · Fri, 31.10.2014


The Effects of Mobility on Mobile Input

Joanna Bergström-Lehtovirta · Aalto/ICS · Sat, 30.08.2014


Pages