Supervision of open systems using a situation-operator-modeling approach and higher petri net formalisms. - Dennis Gamrad; Hendrik Oberheid; Dirk Söffker (SMC, 2007)

Designing for cooperation - mechanisms and procedures for air-ground integrated arrival management. - Hendrik Oberheid; Dirk Söffker (SMC, 2007)

Closed loop state space analysis and simulation for Cognitive Systems. - Hendrik Oberheid; Dennis Gamrad; Dirk Söffker (ACSD, 2008)

Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning. - Hendrik Oberheid; Dirk Söffker (Petri Nets, 2008)

Designing for Cooperation - Incentive Compatibility and Performance in Distributed Air Traffic Management Systems - Hendrik Oberheid (2014)