33 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. Complexity studies for safe and fan-bounded elementary hornets

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

   2015 - Forschungsinformationssystem der UHH
3. Structural and dynamic restrictions of elementary object systems

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

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

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

   2014 - Forschungsinformationssystem der UHH
5. Complexity Results for Elementary Hornets

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

   2013 - ReposIt
6. Structural and dynamic restrictions of elementary object systems

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

   2013 - Forschungsinformationssystem der UHH
7. Algorithms and hardness results for object nets

   1. Heitmann, Frank Andreas
   2. Heitmann, Frank

   2013 - Forschungsinformationssystem der UHH - frei zugänglich
8. Complexity results for elementary Hornets

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

   2013 - Forschungsinformationssystem der UHH
9. Conservative elementary object systems

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

   2012 - Forschungsinformationssystem der UHH
10. A mobility logic for object net systems

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

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

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

    2012 - Forschungsinformationssystem der UHH
12. A Mobility Logic for Object Net Systems

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

    2012 - ReposIt
13. Complexity of LTL modelchecking for safe object nets

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

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

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

    2012 - ReposIt
15. Conservative Elementary Object Systems

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

    2012 - ReposIt
16. Liveness of Safe Object Nets

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

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

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

    2011 - ReposIt
18. Liveness of safe object nets

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

    2011 - Forschungsinformationssystem der UHH
19. Restricting generalised state machines

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

    2011 - Forschungsinformationssystem der UHH
20. Restricting Generalised State Machines

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

    2011 - ReposIt