Autor/in Köhler-Bußmeier, Michael Heitmann, Frank 18 Wester-Ebbinghaus, Matthias 10 Moldt, Daniel 6 Adameit, Simon 1 Betz, Tobias 1 Cabac, Lawrence 1 Deliu, Endri 1 Hewelt, Marcin 1 Loewen, Howard 1 Popov, Dimitri 1 Quenum, José 1 Wagner, Thomas 1 Wüstenberg, Lars 1 alle zeigenListe einklappen
Complexity studies for safe and fan-bounded elementary hornets Köhler-Bußmeier, Michael Heitmann, Frank 2015 - Forschungsinformationssystem der UHH
Einsatz eines Classroom Response Systems zur Aktivierung der Studierenden in großen Hörsälen Heitmann, Frank Köhler-Bußmeier, Michael 2014 - Forschungsinformationssystem der UHH
On the complexity of the reachability problem for safe, elementary hornets Köhler-Bußmeier, Michael 2014 - Forschungsinformationssystem der UHH
Structural and dynamic restrictions of elementary object systems Heitmann, Frank Köhler-Bußmeier, Michael 2014 - Forschungsinformationssystem der UHH
An upper bound for the reachability problem of safe, elementary hornets Köhler-Bußmeier, Michael Heitmann, Frank 2014 - Forschungsinformationssystem der UHH
Konzeption und Durchführung des Inverted-Classroom-Ansatzes für die Lehre im Pflichtmodul Formale Grundlagen der Informatik Heitmann, Frank Köhler-Bußmeier, Michael 2014 - Forschungsinformationssystem der UHH
Complexity results for elementary Hornets Köhler-Bußmeier, Michael Heitmann, Frank 2013 - Forschungsinformationssystem der UHH
Structural and dynamic restrictions of elementary object systems Heitmann, Frank Köhler-Bußmeier, Michael 2013 - Forschungsinformationssystem der UHH
Model-driven middleware support for team-oriented process management Köhler-Bußmeier, Michael Wester-Ebbinghaus, Matthias 2013 - Forschungsinformationssystem der UHH
Negotiating inter-organisational processes:an approach based on unfoldings and workflow nets Köhler-Bußmeier, Michael 2012 - Forschungsinformationssystem der UHH
Complexity of LTL modelchecking for safe object nets Köhler-Bußmeier, Michael Heitmann, Frank 2012 - Forschungsinformationssystem der UHH
Model-driven middleware support for team-oriented process management Köhler-Bußmeier, Michael Wester-Ebbinghaus, Matthias 2012 - Forschungsinformationssystem der UHH
On the complexity of safe, elementary hornets Köhler-Bußmeier, Michael 2012 - Forschungsinformationssystem der UHH
A mobility logic for object net systems Heitmann, Frank Köhler-Bußmeier, Michael 2012 - Forschungsinformationssystem der UHH
Conservative elementary object systems Köhler-Bußmeier, Michael Heitmann, Frank 2012 - Forschungsinformationssystem der UHH
Analysing SONAR model transformations Köhler-Bußmeier, Michael 2012 - Forschungsinformationssystem der UHH
P- and T-systems in the nets-within-nets-formalism Heitmann, Frank Köhler-Bußmeier, Michael 2012 - Forschungsinformationssystem der UHH
Liveness of safe object nets Köhler-Bußmeier, Michael Heitmann, Frank 2011 - Forschungsinformationssystem der UHH
Liveness and reachability for elementary object systems Köhler-Bußmeier, Michael Heitmann, Frank 2011 - Forschungsinformationssystem der UHH
Restricting generalised state machines Köhler-Bußmeier, Michael Heitmann, Frank 2011 - Forschungsinformationssystem der UHH