Håkon Normann

According to our database, Håkon Normann authored at least 7 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

ReGraDa: Reactive Graph Data.

Leandro Galrinho, João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Håkon Normann, Tijs Slaats

Proceedings of the Coordination Models and Languages, 2021

Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes.

Håkon Normann, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt

Proceedings of the Business Process Management - 19th International Conference, 2021

Decision Modelling in Timed Dynamic Condition Response Graphs with Data.

Thomas T. Hildebrandt, Håkon Normann, Morten Marquard, Søren Debois, Tijs Slaats

Proceedings of the Business Process Management Workshops, 2021

2019

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

2017

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

Proceedings of the BPM 2017 Industry Track co-located with the 15th International Conference on Business Process Management (BPM 2017), 2017

2016

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

2014

Concurrency Models with Causality and Events as Psi-calculi.

Håkon Normann, Cristian Prisacariu, Thomas T. Hildebrandt

Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014