Search for student projects

Simple search
Education
Publication year
to
1 - 9 out of 9Page size: 100
  1. 2018

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

  3. 2017

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

  5. 2016

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

  7. 2015

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

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

  10. 2010

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

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

  13. 2008

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

  15. 2005

  16. 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, (Continuing Education Programme (Master)) 10. Term, 2005

    Student thesis: Master Thesis and HD Thesis