Håkon Normann

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 5

Top Topics

Data Protection

Event Sequences

Causal Inference

Operational Semantics

Top Venues

J. Log. Algebraic Methods Program.

BPM (Industry Track)

Business Process Management Workshops

Publications

Thomas T. Hildebrandt, Håkon Normann, Morten Marquard, Søren Debois, Tijs Slaats
Decision Modelling in Timed Dynamic Condition Response Graphs with Data. Business Process Management Workshops (2021)
Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann
A stable non-interleaving early operational semantics for the pi-calculus. J. Log. Algebraic Methods Program. 104 (2019)
Emil Heuck, Thomas T. Hildebrandt, Rasmus Kiaerulff Lerche, Morten Marquard, Håkon Normann, Rasmus Iven Strømsted, Barbara Weber
Digitalising the General Data Protection Regulation with Dynamic Condition Response Graphs. BPM (Industry Track) (2017)
Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann
A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus. LATA (2017)
Håkon Normann, Christian Johansen, Thomas T. Hildebrandt
Declarative event based models of concurrency and refinement in psi-calculi. J. Log. Algebraic Methods Program. 85 (3) (2016)
Håkon Normann, Cristian Prisacariu, Thomas T. Hildebrandt
Concurrency Models with Causality and Events as Psi-calculi. ICE (2014)