Search for student projects

Advanced search
401 - 410 out of 472Page size: 10
Sort by: Education
  1. Computer Science, Master

  2. 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 and HD Thesis

  3. 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 and HD Thesis

  4. 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 and HD Thesis

  5. 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 and HD Thesis

  6. 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 and HD Thesis

  7. Domotics On-The-Go 2.0

    Mario Muñoz

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

    Student thesis: Master Thesis and HD Thesis

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

    Palle Raabjerg

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

    Student thesis: Master Thesis and HD Thesis

  9. 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 and HD Thesis

  10. 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 and HD Thesis

  11. Secrecy and Authenticity in Mobile Ad-Hoc Networks

    Willard Rafnsson

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

    Student thesis: Master Thesis and HD Thesis

Previous 1...37 38 39 40 41 42 43 44 ...48 Next