Search for student projects

  1. Urban, Energy and Environmental Planning, Master
  2. Marine Litter in Greenland

    Trine Skovgaard Kirkfeldt

    Urban, Energy and Environmental Planning, Master, (Master Programme) 4. Term, 2016

    Student thesis: Master thesis (including HD thesis)

  3. Software, Master
  4. 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)

  5. Improving the Model Checking Activity - H-UPPAAL: A New Integrated Development Environment for Model Checking

    Niklas Kirk Mouritzsen, Rasmus Holm Jensen

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

    Student thesis: Master thesis (including HD thesis)

  6. Master Software Systems Engineering SSE
  7. Automatic Translation of Timed-Arc Petri Nets to Timed Automata

    Ye Tian, Krishna Prasad Gundam

    Master Software Systems Engineering SSE, 10. Term, 2005

    Student thesis: Master thesis (including HD thesis)

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

  9. International Technology Management, M.Sc.
  10. Reengineering a trans-national process through IT automation

    Giovanni Porcu

    International Technology Management, M.Sc., 10. term, 2011

    Student thesis: Master thesis (including HD thesis)

  11. Computer Science, Master
  12. Application of Timed-Arc Colored Petri Net for Network Update Synthesis

    Niels Christensen, Mark Glavind

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

    Student thesis: Master thesis (including HD thesis)

  13. Efficient Unfolding and Approximation of Colored Petri Nets with Inhibitor Arcs

    Andreas Hairing Klostergaard

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

    Student thesis: Master thesis (including HD thesis)

  14. A Simplified and Stubborn Approach to CTL Model Checking of Petri Nets

    Mads Johannsen, Jakob Dyhr, Frederik Meyer Bønneland

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

    Student thesis: Master thesis (including HD thesis)

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

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

    Qi Lu, Michael Madsen, Søren Ravn

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

    Student thesis: Master thesis (including HD thesis)

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

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

  19. Computer Science (IT), Master
  20. 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)

  21. Architecture, Master
  22. The Architecture of Urban Aquaculture

    Elias Melvin Christiansen

    Architecture, Master, (Master Programme) 4. term, 2014

    Student thesis: Master thesis (including HD thesis)

  23. Architecture and tourism in outskirt areas (long master thesis): Lofoten Sea Culture Centre + The Black Tower in Hirtshals

    Randi Elisabeth Knudsen, Stina Holm Jensen

    Architecture, Master, (Master Programme) 4. term, 2012

    Student thesis: Master thesis (including HD thesis)

  24. Forside_net.jpg

    Infill i middelalderbyen: Bæredygtig fortætning af byen

    Rasmus Brusgaard Hansen

    Architecture, Master, (Master Programme) 4. term, 2011

    Student thesis: Master thesis (including HD thesis)