Frank Heitmann

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 1

Top Topics

Branch And Bound Algorithm

Transitive Closure

Error Probability

Top Venues

Fundam. Informaticae

University of Hamburg (PHD)

Education History

University of Hamburg

PHD

Publications

Michael Köhler-Bußmeier, Frank Heitmann
An Upper Bound for the Reachability Problem of Safe, Elementary Hornets. Fundam. Informaticae 143 (1-2) (2016)
Michael Köhler-Bußmeier, Frank Heitmann
Complexity Studies for Safe and Fan-Bounded Elementary Hornets. CS&P (2015)
Michael Köhler-Bußmeier, Frank Heitmann
An Upper Bound for the Reachability Problem of Safe, Elementary Hornets. CS&P (2014)
Frank Heitmann, Michael Köhler-Bußmeier
Structural and Dynamic Restrictions of Elementary Object Systems. Fundam. Informaticae 135 (4) (2014)
Frank Heitmann, Michael Köhler-Bußmeier
Structural and Dynamic Restrictions of Elementary Object Systems. CS&P (2013)
Michael Köhler-Bußmeier, Frank Heitmann
Complexity Results for Elementary Hornets. Petri Nets (2013)
Frank Heitmann, Michael Köhler-Bußmeier
P- and T-Systems in the Nets-within-Nets-Formalism. Petri Nets (2012)
Michael Köhler-Bußmeier, Frank Heitmann
Conservative Elementary Object Systems. Fundam. Informaticae 120 (3-4) (2012)
Michael Köhler-Bußmeier, Frank Heitmann
Liveness of Safe Object Nets. Fundam. Informaticae 112 (1) (2011)
Michael Köhler-Bußmeier, Frank Heitmann
Complexity of LTL Model-Checking for Safe Object Nets. LAM@LICS (2010)
Michael Köhler-Bußmeier, Frank Heitmann
Safeness for Object Nets. Fundam. Informaticae 101 (1-2) (2010)
Michael Köhler-Bußmeier, Frank Heitmann
On the Expressiveness of Communication Channels for Object Nets. Fundam. Informaticae 93 (1-3) (2009)