1. term
Department of Computer Science › Study Board of Computer Science › Computer Science, Master
2. term
Department of Computer Science › Study Board of Computer Science › Computer Science, Master
3. term
Department of Computer Science › Study Board of Computer Science › Computer Science, Master
4. term
Department of Computer Science › Study Board of Computer Science › Computer Science, Master
- 2019
Application of Timed-Arc Colored Petri Net for Network Update Synthesis
Niels Christensen, Mark Glavind
Computer Science, Master, (Master Programme) 4. term, 2019
Student thesis: Master thesis (including HD thesis)
Clustercalc: Cluster Computing in Spreadsheets
Christian Slot
Computer Science, Master, (Master Programme) 4. term, 2019
Student thesis: Master thesis (including HD thesis)
Cost Models for Learned Index with Insertions
Per Hedegaard Nielsen, Rasmus Vraa Bilgram
Computer Science, Master, (Master Programme) 4. term, 2019
Student thesis: Master thesis (including HD thesis)
Investigating the Benets of Ownership in Static Information Flow Security
Nikolaj Lepka, Morten Meyer Rasmussen
Computer Science, Master, (Master Programme) 4. term, 2019
Student thesis: Master thesis (including HD thesis)
Supersegments in the road network: Predicting energy consumption for electric cars
Martin Raunkjær Andersen, Rasmus Møller Jensen
Computer Science, Master, (Master Programme) 4. term, 2019
Student thesis: Master thesis (including HD thesis)
The Automata Learning Tool
Morten Stig Mortensen
Computer Science, Master, (Master Programme) 4. term, 2019
Student thesis: Master thesis (including HD thesis)
Using Spatial and Temporal Context for Predicting Energy Consumption of Electric Vehicles
Bjarke Bak Toxværd Madsen, Christoffer Popp Nørskov, Jacob Hjort Bundgaard
Computer Science, Master, (Master Programme) 4. term, 2019
Student thesis: Master thesis (including HD thesis)
- 2018
Development And Testing Of a Bluetooth Multi-Room System
Michael Jensen
Computer Science, Master, (Master Programme) 4. term, 2018
Student thesis: Master thesis (including HD thesis)
Efficient Unfolding and Approximation of Colored Petri Nets with Inhibitor Arcs
Andreas Hairing Klostergaard
Computer Science, Master, (Master Programme) 4. term, 2018
Student thesis: Master thesis (including HD thesis)
Improving Abstractive Tips Generation for Explaining Recommendations
Michael Kusk Christensen, Lasse Martin Lund Würtz, Søren Nørgreen Gustafsson
Computer Science, Master, (Master Programme) 4. term, 2018
Student thesis: Master thesis (including HD thesis)
Improving CNC Processes Using Computer Vision to Digitise Physical Objects
Jakob Andersen, Thomas Egon Kærgaard, Jesper Ravn-Nielsen
Computer Science, Master, (Master Programme) 4. term, 2018
Student thesis: Master thesis (including HD thesis)
Modelling news progression using entity-timelines
Martin Hammer Thygesen, Michael Stisen
Computer Science, Master, (Master Programme) 4. term, 2018
Student thesis: Master thesis (including HD thesis)
PapaGo - A graphics API built on top of Vulkan, developed with a focus on programmability
Alexander Brandborg, Claus Worm Wiingreen, Anders Munkgaard, Michael Wit Dolatko
Computer Science, Master, (Master Programme) 4. term, 2018
Student thesis: Master thesis (including HD thesis)
Quantitative Analysis of Single Event Upsets in ARM
Morten Korsholm Terndrup, Thomas Rafn Andersen
Computer Science, Master, (Master Programme) 4. term, 2018
Student thesis: Master thesis (including HD thesis)
Strategy Generation for Distributed Smart Production Systems based on Networks of Timed Automata
Martin Kristjansen
Computer Science, Master, (Master Programme) 4. term, 2018
Student thesis: Master thesis (including HD thesis)
Timely Constraints of EEG in Cognitive Distraction and Focus Detection while Driving
Mikkel Bjerregaard Kristensen, Emil Riis Hansen, Eike Schneiders
Computer Science, Master, (Master Programme) 4. term, 2018
Student thesis: Master thesis (including HD thesis)
Visualization of Zones in Real-Time Models
Nicolai Brobak
Computer Science, Master, (Master Programme) 4. term, 2018
Student thesis: Master thesis (including HD thesis)
Weighted Systems in Branching-Time: Behavioural Relations, Behavioural Distances, and their Logical Characterisations
Mathias Claus Jensen
Computer Science, Master, (Master Programme) 4. term, 2018
Student thesis: Master thesis (including HD thesis)
- 2017
A Simplified and Stubborn Approach to CTL Model Checking of Petri Nets
Mads Johannsen, Jakob Dyhr, Frederik Meyer Bønneland
Computer Science, Master, (Master Programme) 4. term, 2017
Student thesis: Master thesis (including HD thesis)
Clustering Based On Driving Styles Using Hot Paths
Lynge Kærlund Poulsgaard, Philip Pannerup Sørensen, Henrik Ullerichs
Computer Science, Master, (Master Programme) 4. term, 2017
Student thesis: Master thesis (including HD thesis)
DWStar - Automated Star Schema Generation
Michael Tarp, Søren Jensen, Jacob Bach Hansen
Computer Science, Master, (Master Programme) 4. term, 2017
Student thesis: Master thesis (including HD thesis)
Exploring Use of Surface Electromyography during Horse Riding
Tina Andersen
Computer Science, Master, (Master Programme) 4. term, 2017
Student thesis: Master thesis (including HD thesis)
GPU Accelerated Machine Learning
Ulf Gaarde Simonsen
Computer Science, Master, (Master Programme) 4. term, 2017
Student thesis: Master thesis (including HD thesis)
In-Vehicle Activity Recognition of User Activities Using Smartwatches
Thomas Alexander Cano Hald, Mads Mårtensson
Computer Science, Master, (Master Programme) 4. term, 2017
Student thesis: Master thesis (including HD thesis)
Modeling of Combined Heat and Power Plants as Flex-offers
Philipp Daniel Freiberger
Computer Science, Master, (Master Programme) 4. term, 2017
Student thesis: Master thesis (including HD thesis)
Multi-level Deep Models for Forum Sentiment Classification
Emil Alexander Lousdahl Nesgaard, Peter Fogh
Computer Science, Master, (Master Programme) 4. term, 2017
Student thesis: Master thesis (including HD thesis)
Off by a Bit: Exploring Bit-Flip Vulnerabilities Through Program Emulation and Symbolic Execution
Anders Trier Olesen, Ólavur Debes Joensen, Jannek Alexander Westerhof Bossen
Computer Science, Master, (Master Programme) 4. term, 2017
Student thesis: Master thesis (including HD thesis)
Personalized Navigation: Context-Based Preference Mining Using TensorFlow
Joachim Højbak Klokkervoll, Mike Pedersen, Samuel Nygaard Pedersen
Computer Science, Master, (Master Programme) 4. term, 2017
Student thesis: Master thesis (including HD thesis)
SolveDF: Extending Spark DataFrames with support for constrained optimization
Frederik Madsen Halberg
Computer Science, Master, (Master Programme) 4. term, 2017
Student thesis: Master thesis (including HD thesis)
Symbolic Synthesis of Non-Negative Multi-Weighted Games with Temporal Objectives
Søren Moss Nielsen, Lasse Steen Jensen, Isabella Kaufmann
Computer Science, Master, (Master Programme) 4. term, 2017
Student thesis: Master thesis (including HD thesis)
Vertex Similarity in Graphs using Feature Learning
Bjarke Thorn Carstens, Mads Riis Jensen, Mathias Friis Spaniel, Anders Hermansen
Computer Science, Master, (Master Programme) 4. term, 2017
Student thesis: Master thesis (including HD thesis)
- 2016
A comparison study for shortest-path queries over heterogenous spacial networks
Nichlas Bo Nielsen
Computer Science, Master, (Master Programme) 4. term, 2016
Student thesis: Master thesis (including HD thesis)
Controller Synthesis by Solving Multi Weighted Games
Søren Moss Nielsen, Lasse Steen Jensen, Isabella Kaufmann
Computer Science, Master, (Master Programme) 3. term, 2016
Student thesis: Master thesis (including HD thesis)
Designer-Friendly Methods for Manual Changes of Procedurally Modeled Terrains
Toke Andresen Wivelsted
Computer Science, Master, (Master Programme) 4. term, 2016
Student thesis: Master thesis (including HD thesis)
Discount Method for Programming Language Evaluation
Tommy Aagaard Christensen, Svetomir Kurtev
Computer Science, Master, (Master Programme) 4. term, 2016
Student thesis: Master thesis (including HD thesis)
Energy Measurement and Optimization of Continuous Gesture Recognition
Jens Emil Gydesen
Computer Science, Master, (Master Programme) 4. term, 2016
Student thesis: Master thesis (including HD thesis)
Generic Type inference for the psi-calculi
Mathias Ormstrup Bjerregaard, Eva Fajstrup Graversen
Computer Science, Master, (Master Programme) 4. term, 2016
Student thesis: Master thesis (including HD thesis)
Personalized Route Planning with Recharging for Electric Vehicles
Andreas Strandfelt, Andreas Thor Lau, Mathias Højsleth
Computer Science, Master, (Master Programme) 4. term, 2016
Student thesis: Master thesis (including HD thesis)
Pre-Analyses Dependency Scheduling with Multiple Threads
Nichlas Korgaard Møller
Computer Science, Master, (Master Programme) 4. term, 2016
Student thesis: Master thesis (including HD thesis)
Prediction of Affective State Using Consumer Graded Hardware and Sensor Fusion
Brian Frost Pedersen, Anders Bender, Dennis Bækgaard Nielsen
Computer Science, Master, (Master Programme) 4. term, 2016
Student thesis: Master thesis (including HD thesis)
Tool for Transitioning from Scratch to Python
Henrik Vinther Geertsen
Computer Science, Master, (Master Programme) 4. term, 2016
Student thesis: Master thesis (including HD thesis)
Understanding the User of Interaction Tehcniques: Clarity, Comfort, Context, and Control
Elias Ringhauge, Ivan Svilenov Penchev
Computer Science, Master, (Master Programme) 4. term, 2016
Student thesis: Master thesis (including HD thesis)
User Experience Using Physiological Measurements
Benjamin Hubert, Michael Lausdahl Fuglsang, Henrik Haxholm
Computer Science, Master, (Master Programme) 4. term, 2016
Student thesis: Master thesis (including HD thesis)
- 2015
A Complete Approximation Theory for Weighted Transition Systems
Peter Christoffersen, Mathias Ruggaard Pedersen, Mikkel Hansen
Computer Science, Master, (Master Programme) 4. term, 2015
Student thesis: Master thesis (including HD thesis)
Compositional Analysis of Timed-arc Resource Workflows with Communication
Christoffer Moesgaard, Sine Viesmose Birch
Computer Science, Master, (Master Programme) 4. term, 2015
Student thesis: Master thesis (including HD thesis)
Detecting Incorrect Wordpress Plugin Function Usage
Jens Thomas Vejlby Nielsen
Computer Science, Master, (Master Programme) 4. term, 2015
Student thesis: Master thesis (including HD thesis)
Developing a BCI system for multible prdictor tasks using a consumer grade EEG reader
Daniel Bøcker Sørensen, Anders Jensen, Nicolai Lund Hasager Kirk
Computer Science, Master, (Master Programme) 4. term, 2015
Student thesis: Master thesis (including HD thesis)
Multiple Static Segmentation of Videos using a Convolution of Mixtures of Gaussian processes
Jacob Jon Jensen, Niels Nørgaard Samuelsen, Christoffer Samuel Nielsen
Computer Science, Master, (Master Programme) 4. term, 2015
Student thesis: Master thesis (including HD thesis)
Parameter Synthesis for Simulation Distances Between Weighted Transition Systems
Anders Mariegaard, Julian Trier Ringsmose
Computer Science, Master, (Master Programme) 4. term, 2015
Student thesis: Master thesis (including HD thesis)
Unifying STM and Side Effects in Clojure
Thomas Stig Jacobsen, Søren Kejser Jensen, Daniel Rune Jensen
Computer Science, Master, (Master Programme) 4. term, 2015
Student thesis: Master thesis (including HD thesis)
User-to-User Recommendations in a Fashion Portal, Utilizing a Social Network, Implicit Feedback and Clustering Approaches
Dan Duus Thøisen, Bjarne Kock, Davide Frazzetto
Computer Science, Master, (Master Programme) 4. term, 2015
Student thesis: Master thesis (including HD thesis)
- 2014
Applying Application-Level Correctness to the Paparazzi Autopilot
Heine Gatten Larsen, Morten Turn Pedersen, Thomas Viesmose Birch
Computer Science, Master, (Master Programme) 4. term, 2014
Student thesis: Master thesis (including HD thesis)
Controller Synthesis for Home Automation
Mathias Grund Sørensen
Computer Science, Master, (Master Programme) 4. term, 2014
Student thesis: Master thesis (including HD thesis)
Decomposable Common Spatial Patterns: Applying Graphical Model Selection in the Brain-Computer Interface
Nikolaj Andersen, Jannik Frank Faarkrog, Mikkel Holm Søgaard
Computer Science, Master, (Master Programme) 4. term, 2014
Student thesis: Master thesis (including HD thesis)
EgGS - The Energy Game Strategizer
Rasmus Søgaard Jacobsen, Mads Vestergaard Carlsen
Computer Science, Master, (Master Programme) 4. term, 2014
Student thesis: Master thesis (including HD thesis)
Fast Cluster Exploration of BCI data using Riemannian Geometry
Adam René Gregersen, Daniel Agerskov Hejdemann Jensen
Computer Science, Master, (Master Programme) 4. term, 2014
Student thesis: Master thesis (including HD thesis)
Learning Optimal Scheduling for Time Uncertain Settings
Jakob Haahr Taankvist, Peter Gjøl Jensen
Computer Science, Master, (Master Programme) 4. term, 2014
Student thesis: Master thesis (including HD thesis)
TinyVM: A Fault-Tolerant Virtual Machine
Martin Sørensen, Emil Custic, Rune Hansen
Computer Science, Master, (Master Programme) 4. term, 2014
Student thesis: Master thesis (including HD thesis)
Using Poisson Markov Models to Predict Game States in StarCraft
Anders Hesselager-Olesen
Computer Science, Master, (Master Programme) 4. term, 2014
Student thesis: Master thesis (including HD thesis)
- 2013
Developing a type inference algorithm for The Ambient Calculus with Kill
Casper Jensen
Computer Science, Master, (Master Programme) 4. term, 2013
Student thesis: Master thesis (including HD thesis)
Evaluating Eco-driving Advice using GPS and CANBus data
Sabrine Conny Hjøllund Mouritsen, Karsten Jakobsen
Computer Science, Master, (Master Programme) 4. term, 2013
Student thesis: Master thesis (including HD thesis)
EyeGaze: Facilitating eye contact in a video mediated setting
Thomas Søndersø Nielsen, Jacob Haubach Smedegård, Anne Kathrine Jensen
Computer Science, Master, (Master Programme) 4. term, 2013
Student thesis: Master thesis (including HD thesis)
From Formal to Computational Authenticity: An approach for reconciling formal and computational authenticity
Michael Garde
Computer Science, Master, (Master Programme) 4. term, 2013
Student thesis: Master thesis (including HD thesis)
Infinite Runs in Recharge Automata
Daniel Ejsing-Duun, Lisa Fontani
Computer Science, Master, (Master Programme) 4. term, 2013
Student thesis: Master thesis (including HD thesis)
On-The-Fly Model Checking of Weighted Computation Tree Logic
Jonas Finnemann Jensen, Lars Kærlund Østergaard
Computer Science, Master, (Master Programme) 4. term, 2013
Student thesis: Master thesis (including HD thesis)
Recognizing North Atlantic right whale up-calls using Gaussian Mixture Models and Hidden Markov Models
Stine Back Larsen, Morten Albeck Nielsen
Computer Science, Master, (Master Programme) 4. term, 2013
Student thesis: Master thesis (including HD thesis)
TAX – Another Approach Sentimental Analysis
Kim Bernhard Andersen, Jesper Puggaard Hansen
Computer Science, Master, (Master Programme) 4. term, 2013
Student thesis: Master thesis (including HD thesis)
- 2012
Student thesis: Master thesis (including HD thesis)
Operational and Denotational Properties of a Modal Process Logic
Hans Huttel
Computer Science, Master, (Master Programme) 4. term, 2012
Student thesis: Master thesis (including HD thesis)
- 2011
Analysis of the recommendation systems based on the tensor factorization techniques, experiments and the proposals
Martin Leginus, Valdas Zemaitis
Computer Science, Master, (Master Programme) 1. term, 2011
Student thesis: Master thesis (including HD thesis)
Data-driven Resource Management in Real-time Strategy
Henrik Ossipoff Hansen, Lasse Juul-Jensen, Dion Christensen, Kasper Kastaniegaard
Computer Science, Master, (Master Programme) 2. term, 2011
Student thesis: Master thesis (including HD thesis)
Democratizing General Purpose GPU Programming through OpenCL and Scala
Reidar Beck, Tommy Jensen, Helge Willum Larsen
Computer Science, Master, (Master Programme) 1. term, 2011
Student thesis: Master thesis (including HD thesis)
Designing Examinations Information System Management: a comparative case study application of Soft Systems Methodology
Saifullah Memon
Computer Science, Master, (Master Programme) 2. term, 2011
Student thesis: Master thesis (including HD thesis)
Distrbuted parameter sweep for UPPAAL models
Brian Villumsen, Peter Schmidt Freiberg, Jimmy Merrild Krag
Computer Science, Master, (Master Programme) 2. term, 2011
Student thesis: Master thesis (including HD thesis)
Distributed parameter sweep for UPPAAL models
Jimmy Merrild Krag, Peter Schmidt Freiberg, Brian Villumsen
Computer Science, Master, (Master Programme) 1. term, 2011
Student thesis: Master thesis (including HD thesis)
Student thesis: Master thesis (including HD thesis)
Dynamic Difficulty Adjustment Using Behavior Trees
Torkil Olsen, Huy Long Phan, Kenneth Sejrsgaard-Jacobsen
Computer Science, Master, (Master Programme) 2. term, 2011
Student thesis: Master thesis (including HD thesis)
Extending Behavior Trees with Classical Planning
Søren Larsen, Jonas Øgendahl Groth
Computer Science, Master, (Master Programme) 2. term, 2011
Student thesis: Master thesis (including HD thesis)
Extending Scala with General Purpose GPU Programming
Reidar Beck, Helge Willum Larsen, Tommy Jensen
Computer Science, Master, (Master Programme) 2. term, 2011
Student thesis: Master thesis (including HD thesis)
Game On Demand Service: Architecture Proposal & Prototype
Jais Heslegrave, Thomas Justesen
Computer Science, Master, (Master Programme) 1. term, 2011
Student thesis: Master thesis (including HD thesis)
gbnav - a gbeta Source Code Navigation Tool
Thomas Glæsner, Søren Toft Pedersen
Computer Science, Master, (Master Programme) 4. term, 2011
Student thesis: Master thesis (including HD thesis)
High Concurrent R-tree Operations when Tracking Continuous Movement in Main Memory
Cezar Chitac, Robertas Kerpys, Raluca Marcuta
Computer Science, Master, (Master Programme) 1. term, 2011
Student thesis: Master thesis (including HD thesis)
Reachability Analysis for Timed Automata using Max-Plus Algebra
Qi Lu, Michael Madsen, Martin Milata, Søren Ravn
Computer Science, Master, (Master Programme) 1. term, 2011
Student thesis: Master thesis (including HD thesis)
Reachability Analysis for Timed Models using Max-Plus Algebra
Qi Lu, Michael Madsen, Søren Ravn
Computer Science, Master, (Master Programme) 2. term, 2011
Student thesis: Master thesis (including HD thesis)
Sequence Tree Prediction
Mikkel Færch Hansen, Peder Sand Sørensen, Frederik Kristian Frandsen
Computer Science, Master, (Master Programme) 2. term, 2011
Student thesis: Master thesis (including HD thesis)
Speeding up tensor based recommenders with clustered tag space and improving quality of recommendations with Non-negative tensor factorization
Martin Leginus, Valdas Žemaitis
Computer Science, Master, (Master Programme) 2. term, 2011
Student thesis: Master thesis (including HD thesis)
Strategy Prediction in StarCraft: Brood War using Multilayer Perceptrons
Henrik Otte Sørensen, Johannes Garm Nielsen
Computer Science, Master, (Master Programme) 2. term, 2011
Student thesis: Master thesis (including HD thesis)
TileShifter: A Peer-2-Peer Multiplayer Game for Smartphones
Jais Heslegrave, Thomas Justesen
Computer Science, Master, (Master Programme) 2. term, 2011
Student thesis: Master thesis (including HD thesis)
- 2010
AI Modelling: Behaviour Trees
Anders Tankred Holm, Mads Bøgeskov
Computer Science, Master, (Master Programme) 2. term, 2010
Student thesis: Master thesis (including HD thesis)
Android Application for Aalborg University
Regis Louge, Antonio Arfe, Thibaut Le Guilly, Lou Guillot, Pierre Deguy
Computer Science, Master, (Master Programme) 1. term, 2010
Student thesis: Master thesis (including HD thesis)
Applying Behavior Trees to StarCraft AI
Kenneth Sejrsgaard-Jacobsen, Søren Larsen, Torkil Olsen, Long Huy Phan, Jonas Øgendahl Groth
Computer Science, Master, (Master Programme) 1. term, 2010
Student thesis: Master thesis (including HD thesis)
Collaborative Filtering in Social Networks
Sergio Mateo
Computer Science, Master, (Master Programme) 2. term, 2010
Student thesis: Master thesis (including HD thesis)
Concrete Delays for Symbolic Traces
Danny Bøgsted Poulsen, Jonas van Vliet
Computer Science, Master, (Master Programme) 2. term, 2010
Student thesis: Master thesis (including HD thesis)
Efficient Resource Management in StarCraft: Brood War
Henrik Ossipoff Hansen, Lasse Juul-Jensen, Dion Christensen, Kasper Kastaniegaard
Computer Science, Master, (Master Programme) 1. term, 2010
Student thesis: Master thesis (including HD thesis)
Energy Efficient Code Updates in Wireless Sensor Networks: validation and enhancement of the GCP protocol
Peter Finderup, Thomas Birk Abildgaard, Robertas Backys
Computer Science, Master, (Master Programme) 2. term, 2010
Student thesis: Master thesis (including HD thesis)
Exploring Multiple Users Interaction With a Dual Sided Interface: Investigating Emerging Technologies; Dual Sided Interaction
Bo Lind Jensen
Computer Science, Master, (Master Programme) 2. term, 2010
Student thesis: Master thesis (including HD thesis)
Hybrid Indoor Positioning: An Empirical Study in Cassiopeia
Artur Baniukevic, Dovydas Sabonis
Computer Science, Master, (Master Programme) 2. term, 2010
Student thesis: Master thesis (including HD thesis)
Measures of semantic similarity in folksonomies
Jan Kadlec
Computer Science, Master, (Master Programme) 4. term, 2010
Student thesis: Master thesis (including HD thesis)
Modeling and Verification of Extended Timed-Arc Petri Nets
Morten Jacobsen, Lasse Jacobsen, Mikael H. Møller
Computer Science, Master, (Master Programme) 4. term, 2010
Student thesis: Master thesis (including HD thesis)
Modeling and Verification of Timed-Arc Petri Net
Morten Jacobsen, Lasse Jacobsen, Mikael Harkjær Møller
Computer Science, Master, (Master Programme) 2. term, 2010
Student thesis: Master thesis (including HD thesis)