Search for student projects

  1. 2005
  2. 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. Term, 2005

    Student thesis: Master thesis (including HD thesis)

  3. 2008
  4. Constitution for Israel: A discursive construction of Israel's national identity

    Cecilie Iuul

    Development and International Relations, Master, (Master Programme) 4. term, 2008

    Student thesis: Master thesis (including HD thesis)

  5. 2010
  6. Modeling and Verification of Extended Timed-Arc Petri Nets

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

    Computer Science, Master, (Master Programme) 4. term, 2010

    Student thesis: Master thesis (including HD thesis)

  7. Modeling and Verification of Timed-Arc Petri Net

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

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

    Student thesis: Master thesis (including HD thesis)

  8. 2015
  9. Compositional Analysis of Timed-arc Resource Workflows with Communication

    Christoffer Moesgaard, Sine Viesmose Birch

    Computer Science, Master, (Master Programme) 4. term, 2015

    Student thesis: Master thesis (including HD thesis)

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

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

    Software, Master, (Master Programme) 4. term, 2015

    Student thesis: Master thesis (including HD thesis)

  11. 2016
  12. Soundness, Structural Reductions, and Resource Extensions for Modal Workflow Nets

    Jacob Buchreitz Harbo

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

    Student thesis: Master thesis (including HD thesis)

  13. 2017
  14. Symbolic Synthesis of Non-Negative Multi-Weighted Games with Temporal Objectives

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

    Computer Science, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  15. 2018
  16. Adaptive Storage Rearrangement and Process Discovery in a Warehouse

    Gideon Jonas Baumann Blegmand, Christian Stephansen

    Software, Master, (Master Programme) 4. term, 2018

    Student thesis: Master thesis (including HD thesis)