1. 2014
  2. 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)

  3. Controller Synthesis for Home Automation

    Mathias Grund Sørensen

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

    Student thesis: Master thesis (including HD thesis)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  19. 2012
  20. Action Investment Games

    Simon Laursen

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

    Student thesis: Master thesis (including HD thesis)

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

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

  24. 2010
  25. Measures of semantic similarity in folksonomies

    Jan Kadlec

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

    Student thesis: Master thesis (including HD thesis)

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

  27. To Infinity and Beyond: Scaling Massively Multiplayer Games

    Ron Cohen, Anders Ejlersen, Rasmus Kristensen

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

    Student thesis: Master thesis (including HD thesis)

  28. 2009
  29. Data Access Problem on the Cell BE Architecture

    Ales Kozumplik

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

    Student thesis: Master thesis (including HD thesis)

  30. From games to executables!

    Kenneth Blanner Holleufer, Jesper Brix Rosenkilde

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

    Student thesis: Master thesis (including HD thesis)

  31. Modular Execution Time Analysis using Model Checking (METAMOC)

    Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft

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

    Student thesis: Master thesis (including HD thesis)

  32. 2008
  33. A Generic Backend for Fast Au-

    Anders Skovsgaard

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

    Student thesis: Master thesis (including HD thesis)

  34. Asymmetric Game Tree using a Dynamic Bayesian Network

    Esben Skov Pedersen

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

    Student thesis: Master thesis (including HD thesis)

  35. Intelligent IP Camera, An FPGA Motion Detection Implementation

    Nicolas Cothereau, Delaite Guillaume, Edouard Gourdin

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

    Student thesis: Master thesis (including HD thesis)

  36. Learning Inference friendly Bayesian Networks - using incremental compilation

    Martin Karlsen, Søren Pedersen

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

    Student thesis: Master thesis (including HD thesis)

  37. Secrecy and Authenticity in Mobile Ad-Hoc Networks, Extended Abstract

    Willard Þór Rafnsson

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

    Student thesis: Master thesis (including HD thesis)

  38. Secrecy and Authenticity in Mobile Ad-Hoc Networks, Extended Abstract

    Willard Þór Rafnsson

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

    Student thesis: Master thesis (including HD thesis)

  39. Spider: Social-Mobile Network

    Antonio Sapuppo

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

    Student thesis: Master thesis (including HD thesis)

  40. WordAdjust - A Deobfuscation Frontend to Content-Aware Anti-Spam Tools

    Lars Tabro Sørensen, Martin Møller Larsen

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

    Student thesis: Master thesis (including HD thesis)

  41. 2007
  42. Animated Billboard Clouds for Foliage Simplification

    Jeppe Carlsen, Jakob Schmid, Anders Bennett-Therkildsen

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

    Student thesis: Master thesis (including HD thesis)

  43. Cava - A New Concurrency Model for Java

    Birthe Damborg, Anders Mørk Hansen

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

    Student thesis: Master thesis (including HD thesis)

  44. DynaBlu - A Framework for developing Location-Aware Web Service Applications using Bluetooth Communication

    Nikolaj Andersen, Morten Vejen Nielsen, Jørn Martin Rasmussen

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

    Student thesis: Master thesis (including HD thesis)

  45. Framework for on-demand delivery of data and automatic patching of code and content.

    Rasmus B. Nielsen, Marc N. Kammersgaard, Jasper Melsvik

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

    Student thesis: Master thesis (including HD thesis)

  46. Identifying Usability Problems in relation to User Experience with System and Tests

    Quang Minh Phung

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

    Student thesis: Master thesis (including HD thesis)

  47. Innovation in Software Development - Comparing Theory and Practice

    Peter Morrud Corneliussen

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

    Student thesis: Master thesis (including HD thesis)

  48. Merlin: A Simple Actor-Based Language

    Simon Kongshøj

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

    Student thesis: Master thesis (including HD thesis)

  49. Odds Assessment on Football Matches

    Tobias Christensen, Rasmus Dencker Hansen

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

    Student thesis: Master thesis (including HD thesis)

  50. Procedural Character Generation: Implementing Reference Fitting and Principal Components Analysis

    Andreas Madsen, Esben Bach

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

    Student thesis: Master thesis (including HD thesis)

  51. Programming the Semantic Web - A Microformats Compatible GRDDL Implementation for ActiveRDF

    Christian Planck Larsen

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

    Student thesis: Master thesis (including HD thesis)

  52. Slicing for UPPAAL

    Uffe Sørensen, Claus Rørbæk Thrane

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

    Student thesis: Master thesis (including HD thesis)

  53. The LINK Operating System Architecture and Security Model

    Anders Franz Terkelsen

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

    Student thesis: Master thesis (including HD thesis)

  54. Travel-Time Estimation in Road Networks Using GPS Data

    Anders Forum Jensen, Troels Villy Larsen

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

    Student thesis: Master thesis (including HD thesis)

  55. Vivid Data Objects

    Alex Henning Johannesen, Jacob Volstrup

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

    Student thesis: Master thesis (including HD thesis)

  56. 2006
  57. 'Algoritmer til løsning af ubegrænsede influensdiagrammer på begrænset plads'

    Ole pedersen, Kristian Ahlmann-Ohlsen

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

    Student thesis: Master thesis (including HD thesis)

  58. 'Amigo: An Object Relational Query'

    Rune D. Hammerskov, Jakob T. Andersen, Lars H. Nielsen

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

    Student thesis: Master thesis (including HD thesis)

  59. 'An AI Framework for Real-Time Strategy Games'

    Kasper Frederiksen, Kasper G. Kristensen, Anders Lauritsen

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

    Student thesis: Master thesis (including HD thesis)