21 Einträge gefunden

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

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

   2016 - ReposIt
2. Complexity Studies for Safe and Fan-Bounded Elementary Hornets

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

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

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

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

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

   2014 - ReposIt
7. Complexity Results for Elementary Hornets

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

   2013 - ReposIt
8. 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
9. P- and T-Systems in the Nets-within-Nets Formalism

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

   2012 - ReposIt
10. A Mobility Logic for Object Net Systems

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

    2012 - ReposIt
11. Conservative Elementary Object Systems

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

    2012 - ReposIt
12. Restricting Generalised State Machines

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

    2011 - ReposIt
13. Liveness of Safe Object Nets

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

    2011 - ReposIt
14. Liveness and Reachability for Elementary Object Systems

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

    2011 - ReposIt
15. On Defining Conflict-Freedom for Object Nets

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

    2011 - ReposIt
16. Liveness of Safe Object Nets

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

    2010 - ReposIt
17. Safeness for Object Nets

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

    2010 - ReposIt
18. Complexity of LTL Model-Checking for Safe Object Nets

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

    2010 - ReposIt
19. On the Expressiveness of Communication Channels for Object Nets

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

    2009 - ReposIt
20. On the Expressiveness of Communication Channels for Object Nets

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

    2009 - ReposIt