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

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

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

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

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

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

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

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

  18. Action Investment Games

    Simon Laursen

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

    Student thesis: Master thesis (including HD thesis)

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

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

  21. Measures of semantic similarity in folksonomies

    Jan Kadlec

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

    Student thesis: Master thesis (including HD thesis)

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

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

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

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

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