42 Einträge gefunden

1. An Upper Bound for the Reachability Problem of Safe, Elementary Hornets

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

   2016 - Forschungsinformationssystem der UHH
2. An Upper Bound for the Reachability Problem of Safe, Elementary Hornets

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

   2016 - ReposIt
3. Complexity studies for safe and fan-bounded elementary hornets

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

   2015 - Forschungsinformationssystem der UHH
4. Complexity Studies for Safe and Fan-Bounded Elementary Hornets

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

   2015 - ReposIt
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. An Upper Bound for the Reachability Problem of Safe, Elementary Hornets

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

   2014 - ReposIt
8. Konzeption und Durchführung des Inverted-Classroom-Ansatzes für die Lehre im Pflichtmodul: Formale Grundlagen der Informatik, FGI-1

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

   2014 - ReposIt
9. Structural and Dynamic Restrictions of Elementary Object Systems

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

   2014 - ReposIt
10. 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 - ReposIt
11. 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
12. An upper bound for the reachability problem of safe, elementary hornets

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

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

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

    2013 - Forschungsinformationssystem der UHH
14. Complexity Results for Elementary Hornets

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

    2013 - ReposIt
15. Algorithms and hardness results for object nets

    1. Heitmann, Frank Andreas
    2. Heitmann, Frank

    2013 - Forschungsinformationssystem der UHH - frei zugänglich
16. Structural and dynamic restrictions of elementary object systems

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

    2013 - Forschungsinformationssystem der UHH
17. Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming ; Structural and Dynamic Restrictions of Elementary Object Systems

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

    2013 - ReposIt
18. Conservative elementary object systems

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

    2012 - Forschungsinformationssystem der UHH
19. P- and T-Systems in the Nets-within-Nets Formalism

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

    2012 - ReposIt
20. A mobility logic for object net systems

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

    2012 - Forschungsinformationssystem der UHH