Old Web
English
Sign In
Acemap
>
authorDetail
>
Håkon Normann
Håkon Normann
IT University of Copenhagen
Concurrency
Theoretical computer science
Prime (order theory)
Computer science
Causality
6
Papers
14
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (6)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes
2021
BPM | Business Process Management
Håkon Normann
Søren Debois
Tijs Slaats
Thomas Hildebrandt
Show All
Source
Cite
Save
Citations (0)
A stable non-interleaving early operational semantics for the pi-calculus
2019
Journal of Logical and Algebraic Methods in Programming
Thomas T. Hildebrandt
Christian Johansen
Håkon Normann
Show All
Source
Cite
Save
Citations (2)
A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus
2017
LATA | Language and Automata Theory and Applications
Thomas T. Hildebrandt
Christian Johansen
Håkon Normann
Show All
Source
Cite
Save
Citations (8)
Digitalising the General Data Protection Regulation with Dynamic Condition Response Graphs
2017
BPM | Business Process Management
Emil Heuck
Thomas T. Hildebrandt
Rasmus Kiaerulff Lerche
Morten Marquard
Håkon Normann
Rasmus Strømsted
Barbara Weber
Show All
Source
Cite
Save
Citations (2)
Declarative event based models of concurrency and refinement in psi-calculi
2016
Journal of Logical and Algebraic Methods in Programming
Håkon Normann
Christian Johansen
Thomas T. Hildebrandt
Show All
Source
Cite
Save
Citations (1)
Concurrency Models with Causality and Events as Psi-calculi
2014
Håkon Normann
Cristian Prisacariu
Thomas T. Hildebrandt
Show All
Source
Cite
Save
Citations (1)
1