Søg efter studenterprojekter

  1. Master i IT med specialisering i Organisation (MIT) (Efter- og videreuddannelse)
  2. Sharing Real-Time Objects in Distributed Embedded systems

    Erland Ketil Larsen, Ib Havn

    Master i IT med specialisering i Organisation (MIT) (Efter- og videreuddannelse), (Masteruddannelse) 4. semester, 2015

    Studenteropgave: Master afgangsprojekt

  3. Datalogi, Kandidat
  4. Priced Timed Automata and Monte Carlo Tree Search

    Jeppe Høiriis Mortensen, Adriana Mijacika

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2020

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  5. Strategi generering for distribuerede smarte produktionssystemer baseret på netværk af tidsautomater

    Martin Kristjansen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2018

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  6. EgGS - The Energy Game Strategizer

    Rasmus Søgaard Jacobsen, Mads Vestergaard Carlsen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  7. Infinite Runs in Recharge Automata

    Daniel Ejsing-Duun, Lisa Fontani

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2013

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  8. Reachability Analysis for Timed Automata using Max-Plus Algebra

    Qi Lu, Michael Madsen, Martin Milata, Søren Ravn

    Datalogi, Kandidat, (Kandidatuddannelse) 1. semester, 2011

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  9. Reachability Analysis for Timed Models using Max-Plus Algebra

    Qi Lu, Michael Madsen, Søren Ravn

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2011

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  10. Konkrete Tidsværdier for Symbolske Eksekveringer

    Danny Bøgsted Poulsen, Jonas van Vliet

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  11. Modeling and Verification of Extended Timed-Arc Petri Nets

    Morten Jacobsen, Lasse Jacobsen, Mikael H. Møller

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2010

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  12. Modellering og Verifikation af Timed-Arc Petri Net

    Morten Jacobsen, Lasse Jacobsen, Mikael Harkjær Møller

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)