75 Einträge gefunden

1. Complexity studies for safe and fan-bounded elementary hornets

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2015 - Forschungsinformationssystem der UHH
2. On the complexity of the reachability problem for safe, elementary hornets

   1. Köhler-Bußmeier, Michael

   2014 - Forschungsinformationssystem der UHH
3. An upper bound for the reachability problem of safe, elementary hornets

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2014 - Forschungsinformationssystem der UHH
4. Einsatz eines Classroom Response Systems zur Aktivierung der Studierenden in großen Hörsälen

   1. Heitmann, Frank
   2. Köhler-Bußmeier, Michael

   2014 - Forschungsinformationssystem der UHH
5. Konzeption und Durchführung des Inverted-Classroom-Ansatzes für die Lehre im Pflichtmodul Formale Grundlagen der Informatik

   1. Heitmann, Frank
   2. Köhler-Bußmeier, Michael

   2014 - Forschungsinformationssystem der UHH
6. Structural and dynamic restrictions of elementary object systems

   1. Heitmann, Frank
   2. Köhler-Bußmeier, Michael

   2014 - Forschungsinformationssystem der UHH
7. Complexity results for elementary Hornets

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2013 - Forschungsinformationssystem der UHH
8. Structural and dynamic restrictions of elementary object systems

   1. Heitmann, Frank
   2. Köhler-Bußmeier, Michael

   2013 - Forschungsinformationssystem der UHH
9. Model-driven middleware support for team-oriented process management

   1. Köhler-Bußmeier, Michael
   2. Wester-Ebbinghaus, Matthias

   2013 - Forschungsinformationssystem der UHH
10. Analysing SONAR model transformations

    1. Köhler-Bußmeier, Michael

    2012 - Forschungsinformationssystem der UHH
11. Complexity of LTL modelchecking for safe object nets

    1. Köhler-Bußmeier, Michael
    2. Heitmann, Frank

    2012 - Forschungsinformationssystem der UHH
12. Conservative elementary object systems

    1. Köhler-Bußmeier, Michael
    2. Heitmann, Frank

    2012 - Forschungsinformationssystem der UHH
13. 24 - Workflow, Bankiersproblem : Formale Grundlagen der Informatik II

    1. Köhler-Bußmeier, Michael
    2. Moldt, Daniel

    2012 - Lecture2Go UHH - frei zugänglich
14. A mobility logic for object net systems

    1. Heitmann, Frank
    2. Köhler-Bußmeier, Michael

    2012 - Forschungsinformationssystem der UHH
15. 23 - Workflow, KKN : Formale Grundlagen der Informatik II

    1. Köhler-Bußmeier, Michael
    2. Moldt, Daniel

    2012 - Lecture2Go UHH - frei zugänglich
16. On the complexity of safe, elementary hornets

    1. Köhler-Bußmeier, Michael

    2012 - Forschungsinformationssystem der UHH
17. Model-driven middleware support for team-oriented process management

    1. Köhler-Bußmeier, Michael
    2. Wester-Ebbinghaus, Matthias

    2012 - Forschungsinformationssystem der UHH
18. P- and T-systems in the nets-within-nets-formalism

    1. Heitmann, Frank
    2. Köhler-Bußmeier, Michael

    2012 - Forschungsinformationssystem der UHH
19. Negotiating inter-organisational processes:an approach based on unfoldings and workflow nets

    1. Köhler-Bußmeier, Michael

    2012 - Forschungsinformationssystem der UHH
20. 27 - KKN, CPN, Datenbankmanager, Renew : Formale Grundlagen der Informatik II

    1. Köhler-Bußmeier, Michael
    2. Moldt, Daniel

    2012 - Lecture2Go UHH - frei zugänglich