Computer Science, Master

Master Programme

Education structure: Education

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

  1. Computer Science, Master
  2. 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)

  3. Clustercalc: Cluster Computing in Spreadsheets

    Christian Slot

    Computer Science, Master, (Master Programme) 4. term, 2019

    Student thesis: Master thesis (including HD thesis)

  4. 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)

  5. 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)

  6. 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)

  7. The Automata Learning Tool

    Morten Stig Mortensen

    Computer Science, Master, (Master Programme) 4. term, 2019

    Student thesis: Master thesis (including HD thesis)

  8. 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)

  9. 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)

  10. 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)

  11. 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)

  12. 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)

  13. 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)

  14. 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)

  15. 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)

  16. 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)

  17. 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)

  18. Visualization of Zones in Real-Time Models

    Nicolai Brobak

    Computer Science, Master, (Master Programme) 4. term, 2018

    Student thesis: Master thesis (including HD thesis)

  19. 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)

  20. 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)

  21. 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)

  22. 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)

  23. 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)

  24. GPU Accelerated Machine Learning

    Ulf Gaarde Simonsen

    Computer Science, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  25. 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)

  26. 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)

  27. 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)

  28. 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)

  29. 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)

  30. 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)

  31. 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)

  32. 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)

  33. 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)

  34. 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)

  35. 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)

  36. 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)

  37. 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)

  38. 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)

  39. 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)

  40. 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)

  41. 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)

  42. 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)

  43. 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)

  44. 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)

  45. 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)

  46. 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)

  47. 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)

  48. 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)

  49. 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)

  50. 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)

  51. 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)

  52. 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)

  53. 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)

  54. Controller Synthesis for Home Automation

    Mathias Grund Sørensen

    Computer Science, Master, (Master Programme) 4. term, 2014

    Student thesis: Master thesis (including HD thesis)

  55. 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)

  56. 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)

  57. 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)

  58. 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)

  59. 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)

  60. 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)

  61. 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)

  62. 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)

  63. 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)

  64. Student thesis: Master thesis (including HD thesis)

  65. 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)

  66. 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)

  67. 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)

  68. 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)

  69. Action Investment Games

    Simon Laursen

    Computer Science, Master, (Master Programme) 4. term, 2012

    Student thesis: Master thesis (including HD thesis)

  70. 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)

  71. 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)

  72. 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)

  73. 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)

  74. Student thesis: Master thesis (including HD thesis)

  75. 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)

  76. 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)

  77. Domotics On-The-Go 2.0

    Mario Muñoz

    Computer Science, Master, (Master Programme) 1. term, 2011

    Student thesis: Master thesis (including HD thesis)

  78. 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)

  79. 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)

  80. 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)

  81. 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)

  82. 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)

  83. 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)

  84. 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)

  85. 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)

  86. 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)

  87. Student thesis: Master thesis (including HD thesis)

  88. 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)

  89. 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)

  90. 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)

  91. 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)

  92. 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)

  93. Collaborative Filtering in Social Networks

    Sergio Mateo

    Computer Science, Master, (Master Programme) 2. term, 2010

    Student thesis: Master thesis (including HD thesis)

  94. 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)

  95. 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)

  96. 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)

  97. Student thesis: Master thesis (including HD thesis)

  98. 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)

  99. Measures of semantic similarity in folksonomies

    Jan Kadlec

    Computer Science, Master, (Master Programme) 4. term, 2010

    Student thesis: Master thesis (including HD thesis)

  100. 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)

  101. 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)

Previous 1 2 3 Next