Concurrency Models with Causality and Events as Psi-calculi. - Håkon Normann; Cristian Prisacariu; Thomas T. Hildebrandt (ICE, 2014)

Declarative event based models of concurrency and refinement in psi-calculi. - Håkon Normann; Christian Johansen; Thomas T. Hildebrandt (J. Log. Algebraic Methods Program., 2016)

Digitalising the General Data Protection Regulation with Dynamic Condition Response Graphs. - Emil Heuck; Thomas T. Hildebrandt; Rasmus Kiaerulff Lerche; Morten Marquard; Håkon Normann; Rasmus Iven Strømsted; Barbara Weber (BPM (Industry Track), 2017)

A stable non-interleaving early operational semantics for the pi-calculus. - Thomas Troels Hildebrandt; Christian Johansen; Håkon Normann (J. Log. Algebraic Methods Program., 2019)

Decision Modelling in Timed Dynamic Condition Response Graphs with Data. - Thomas T. Hildebrandt; Håkon Normann; Morten Marquard; Søren Debois; Tijs Slaats (Business Process Management Workshops, 2021)

Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes. - Håkon Normann; Søren Debois; Tijs Slaats; Thomas T. Hildebrandt (BPM, 2021)

ReGraDa: Reactive Graph Data. - Leandro Galrinho; João Costa Seco; Søren Debois; Thomas T. Hildebrandt; Håkon Normann; Tijs Slaats (COORDINATION, 2021)