Search for student projects

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

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

  4. Domotics On-The-Go 2.0

    Mario Muñoz

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

    Student thesis: Master thesis (including HD thesis)

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

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

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

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

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

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

  11. Collaborative Filtering in Social Networks

    Sergio Mateo

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

    Student thesis: Master thesis (including HD thesis)

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

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

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

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

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

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

  18. Predicting Player Strategies in Real Time Strategy Games

    Henrik Otte Sørensen, Peder Sand Sørensen, Jakob Svane Knudsen, Johannes Garm Nielsen, Mikkel Færch Hansen, Frederik Kristian Frandsen

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

    Student thesis: Master thesis (including HD thesis)

  19. Smartphone Software for Department of Computer Science

    Joan Puig, Marina Fernandez, Gurvan Herve, Côme Saint-André

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

    Student thesis: Master thesis (including HD thesis)

  20. To Infinity and Beyond: Scaling Massively Multiplayer Games

    Ron Cohen, Anders Ejlersen, Rasmus Kristensen

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

    Student thesis: Master thesis (including HD thesis)

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

  22. Design Science baseret kommerciel software udvikling

    Jesper Lund Andersen, Kim Markfoged

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

    Student thesis: Master thesis (including HD thesis)

  23. From games to executables! Implementaions of strategies from UPPAAL TIGA

    Jesper Rosenkilde

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

    Student thesis: Master thesis (including HD thesis)

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

  25. Hurtig modstandermodellering i simplificeret poker

    Flemming Jensen

    Computer Science, Master, (Master Programme) 2. 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) 2. term, 2009

    Student thesis: Master thesis (including HD thesis)