Søg efter studenterprojekter

Simpel søgning
Uddannelse
Publikationsår
til
1 - 9 ud af 9Pr. side: 500
Sortering: Uddannelse
  1. Datalogi (it), Kandidat

  2. Soundness, Structural Reductions, and Resource Extensions for Modal Workflow Nets

    Jacob Buchreitz Harbo

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  3. Datalogi, Kandidat

  4. Symbolic Synthesis of Non-Negative Multi-Weighted Games with Temporal Objectives

    Søren Moss Nielsen, Lasse Steen Jensen, Isabella Kaufmann

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  5. Compositional Analysis of Timed-arc Resource Workflows with Communication

    Christoffer Moesgaard, Sine Viesmose Birch

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

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

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

  8. Master Software Systems Engineering SSE

  9. On Deciding Behavioral Properties for Petri Nets : Timed-Arc Petri Nets and their Extensions

    Ragnhildur Þórunn Óskarsdóttir, Sigmar Stefánsson, Tómas Jónasson

    Master Software Systems Engineering SSE, 10. semester, 2005

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  10. Software, Kandidat

  11. Adaptivt Lager Omarrangering og Process Opdagelse i et Lager

    Gideon Jonas Baumann Blegmand, Christian Stephansen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  12. CAAL 2.0: Recursive HML, Distinguishing Formulae, Equivalence Collapses and Parallel Fixed-Point Computations

    Søren Enevoldsen, Simon Reedtz Olesen, Jacob Karstensen Wortmann

    Software, Kandidat, (Kandidatuddannelse) 4. semester, 2015

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  13. Udviklingsstudier, Kandidat

  14. Constitution for Israel: A discursive construction of Israel's national identity

    Cecilie Iuul

    Udviklingsstudier, Kandidat, (Kandidatuddannelse) 4. semester, 2008

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)