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
- 2022
Augmented reality "Root of Guilt": Responses to Human vs. Robotic NPCs.
Peter Madsen
Computer Science, Master, (Master Programme) 4. term, 2022
Student thesis: Master thesis (including HD thesis)
Exploring transfer-learning with TCN-encoders using movement related cortical potentials in single-trials
Rasmus Sønder Krog, Andrei-Ioan Katona
Computer Science, Master, (Master Programme) 4. term, 2022
Student thesis: Master thesis (including HD thesis)
Implementations of Sized Types for Parallel Complexity of Message-passing Processes
Thomas Herrmann, Mikkel Korup Lauridsen
Computer Science, Master, (Master Programme) 4. term, 2022
Student thesis: Master thesis (including HD thesis)
Musca: Deep Learning-Based Web Application for Counting Laboratory Populations of Drosophila melanogaster
Christian Schmidt Godiksen, Kristoffer Nøddebo Knudsen
Computer Science, Master, (Master Programme) 4. term, 2022
Student thesis: Master thesis (including HD thesis)
Structural Reductions of Colored Petri Nets and P/T Nets with Inhibitor Arcs
Jesper Adriaan van Diepen, Nicolaj Østerby Jensen, Mathias Mehl Sørensen
Computer Science, Master, (Master Programme) 4. term, 2022
Student thesis: Master thesis (including HD thesis)
Thread-Fuzz: Mutation-based Behavioural Blackbox Fuzzing of Thread
Asger Geel Weirsøe, Lars Bo Park Frydenskov
Computer Science, Master, (Master Programme) 4. term, 2022
Student thesis: Master thesis (including HD thesis)
User Interface Design for UAV Swarms in Search and Rescue
Maria-Theresa Oanh Hoang, Andreh Bassam Bahodi, Rasmus Skov Buchholdt
Computer Science, Master, (Master Programme) 4. term, 2022
Student thesis: Master thesis (including HD thesis)
- 2021
3D Bounding Box Prediction for Embedded Systems
Rasmus Barrett, Christoffer Najbjerg Knudsen, Ahmet Pekbas
Computer Science, Master, (Master Programme) 4. term, 2021
Student thesis: Master thesis (including HD thesis)
Automata-Driven Techniques for Partial-Order Reductions and Guided Search of Petri Nets
Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt
Computer Science, Master, (Master Programme) 4. term, 2021
Student thesis: Master thesis (including HD thesis)
Deadline Danger Detection Solutions for an Industrial Batch System using Tivoli Workload Scheduler for z/OS
Emil Ernstsen, Peter Borch Greve
Computer Science, Master, (Master Programme) 4. term, 2021
Student thesis: Master thesis (including HD thesis)
Deriving Subgoals Using Network Distillation
Nikolaj Ljørring, Lars Svane Jensen, Aryan Mohammadi Landi
Computer Science, Master, (Master Programme) 4. term, 2021
Student thesis: Master thesis (including HD thesis)
Hierarchical Training using SHAP for Interpretable Organometal Halide Perovskite Bandgap Prediction
Kenneth Kjærgaard Malowanczyk, Andreas Dahl Nielsen, Sebastian Reidar Petersen
Computer Science, Master, (Master Programme) 4. term, 2021
Student thesis: Master thesis (including HD thesis)
HyperVerlet: a Deep Learning Method for Numerically Solving Initial Value Problems of Hamiltonian Systems
Anders Madsen, Frederik Baymler Mathiesen
Computer Science, Master, (Master Programme) 4. term, 2021
Student thesis: Master thesis (including HD thesis)
Integrating News Article Metadata into Topic Models
Rasmus Engesgaard Christensen, Dennis Højbjerg Rose, Peter Langballe Erichsen
Computer Science, Master, (Master Programme) 4. term, 2021
Student thesis: Master thesis (including HD thesis)
Most Permissive Strategies for Games with Negation-free CTL
Beinir Ragnuson, Bogi Napoleon Wennerstrøm, Sigmundur Vang
Computer Science, Master, (Master Programme) 4. term, 2021
Student thesis: Master thesis (including HD thesis)
ResqLP: Relation Sequences for Link Prediction in Knowledge Graphs
Emil Stenderup Bækdahl
Computer Science, Master, (Master Programme) 4. term, 2021
Student thesis: Master thesis (including HD thesis)
Solving Euclidean Markov Decision Processes with Neural Networks
Alexander Christoffer Eilertsen
Computer Science, Master, (Master Programme) 4. term, 2021
Student thesis: Master thesis (including HD thesis)
Static Taint Analysis in Rust: Using Rusts Ownership System for Precise Static Analysis
Hilmar Gústafsson, Emil Jørgensen Njor
Computer Science, Master, (Master Programme) 4. term, 2021
Student thesis: Master thesis (including HD thesis)
Structural Reductions with Partitioning
Martin Christensen
Computer Science, Master, (Master Programme) 4. term, 2021
Student thesis: Master thesis (including HD thesis)
Structural Similarity-Based Matrix Factorization Using Type Extension Trees for Item Cold-Start
Casper Vorm, Thorbjørn Leonard Eilers, Daniel Drejer Rasmussen
Computer Science, Master, (Master Programme) 4. term, 2021
Student thesis: Master thesis (including HD thesis)
Typing Reflection in Higher-Order Psi-Calculi
Bjarke Bredow Bojesen, Stian Lybech, Alexander Rønning Bendixen
Computer Science, Master, (Master Programme) 4. term, 2021
Student thesis: Master thesis (including HD thesis)
Unfolding of Colored Petri Nets by Color Quotienting and Approximation
Thomas Pedersen, Alexander Bilgram Kristensen, Peter Haahr Taankvist
Computer Science, Master, (Master Programme) 4. term, 2021
Student thesis: Master thesis (including HD thesis)
- 2020
Application of Inference Methodsand Caching for Real-time MedicalDiagnosis using BN2O Networks
Jens Engholm Aggerholm, Casper Skov Mathisen
Computer Science, Master, (Master Programme) 4. term, 2020
Student thesis: Master thesis (including HD thesis)
Behavioural Separation with Parallel Usages for a Core Object-Oriented Language
Iaroslav Golovanov, Mathias Steen Jakobsen, Mikkel Klinke Kettunen
Computer Science, Master, (Master Programme) 4. term, 2020
Student thesis: Master thesis (including HD thesis)
Early Open Source Development: Reports on Bootstrapping an Open Source Project with Distributed Users
Ruben Henrik Mensink, Jesper Fyllgraf
Computer Science, Master, (Master Programme) 4. term, 2020
Student thesis: Master thesis (including HD thesis)
Priced Timed Automata and Monte Carlo Tree Search
Jeppe Høiriis Mortensen, Adriana Mijacika
Computer Science, Master, (Master Programme) 4. term, 2020
Student thesis: Master thesis (including HD thesis)
Transfer Learning for Better Cold-Start Recommendation Using Multiple Domains
Rasmus Krusaa, Victor Kamp, Christian Langkjær Kloster
Computer Science, Master, (Master Programme) 4. term, 2020
Student thesis: Master thesis (including HD thesis)
- 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)