Search for student projects

Education
Publication year
to
  1. Computer Science (IT), Master
  2. A Pedagogical Semantics-Directed Metalanguage

    Georgian-Vlad Saioc

    Computer Science (IT), Master, (Master Programme) 4. term, 2020

    Student thesis: Master thesis (including HD thesis)

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

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

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

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

  9. Domotics On-The-Go 2.0

    Mario Muñoz

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

    Student thesis: Master thesis (including HD thesis)

  10. Type-check og type-inferens i en modstanders åsyn

    Palle Raabjerg

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

    Student thesis: Master thesis (including HD thesis)

  11. Intelligent IP Camera: An FPGA Motion Detection Implementation

    Nicolas Cothereau, Delaite Guillaume, Edouard Gourdin

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

    Student thesis: Master thesis (including HD thesis)

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

Previous 12 3 4 5 6 7 8 9 ...44 Next