Søg efter studenterprojekter

Uddannelse
Publikationsår
til
  1. Datalogi, Kandidat
  2. Deriving Subgoals Using Network Distillation

    Nikolaj Ljørring, Lars Svane Jensen, Aryan Mohammadi Landi

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

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  3. Typing Reflection in Higher-Order Psi-Calculi

    Bjarke Bredow Bojesen, Stian Lybech, Alexander Rønning Bendixen

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

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  4. Behavioural Separation with Parallel Usages for a Core Object-Oriented Language

    Iaroslav Golovanov, Mathias Steen Jakobsen, Mikkel Klinke Kettunen

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

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  5. Generisk typeinferens for psi-kalkyler

    Mathias Ormstrup Bjerregaard, Eva Fajstrup Graversen

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

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  6. Værktøj til Transitionering fra Scratch til Python

    Henrik Vinther Geertsen

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

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  7. Developing a type inference algorithm for The Ambient Calculus with Kill

    Casper Jensen

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

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  8. Energy Efficient Code Updates in Wireless Sensor Networks: validation and enhancement of the GCP protocol

    Peter Finderup, Thomas Birk Abildgaard, Robertas Backys

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

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  9. To Infinity and Beyond: Scaling Massively Multiplayer Games

    Ron Cohen, Anders Ejlersen, Rasmus Kristensen

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

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  10. To Infinity and Beyond: Scaling Massively Multiplayer Games

    Ron Cohen, Anders Ejlersen, Rasmus Kristensen

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

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  11. Type Checking and Type Inference in the Presence of an Adversary

    Palle Raabjerg

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

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt