Håkon Normann
Erhvervs postdoc
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
- Udgivet
A stable non-interleaving early operational semantics for the pi-calculus
Hildebrandt, Thomas Troels, Johansen, C. & Normann, Håkon, 2019, I: Journal of Logical and Algebraic Methods in Programming. 104, s. 227-253 27 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Decision Modelling in Timed Dynamic Condition Response Graphs with Data
Hildebrandt, Thomas Troels, Normann, Håkon, Marquard, M., Debois, S. & Slaats, Tijs, 2022, Business Process Management Workshops - BPM 2021 International Workshops, Revised Selected Papers: BPM 2021 International Workshops Rome, Italy, September 6–10, 2021 Revised Selected Papers. Marrella, A. & Weber, B. (red.). Springer, s. 362-374 13 s. (Lecture Notes in Business Information Processing, Bind 436 LNBIP).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
ReGraDa: Reactive Graph Data
Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, Thomas Troels, Normann, Håkon & Slaats, Tijs, 2021, Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Damiani, F. & Dardha, O. (red.). Springer, s. 188-205 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12717 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes
Normann, Håkon, Debois, S., Slaats, Tijs & Hildebrandt, Thomas Troels, 2021, Business Process Management - 19th International Conference, BPM 2021, Proceedings. Polyvyanyy, A., Wynn, M. T., Van Looy, A. & Reichert, M. (red.). Springer, s. 161-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12875 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 194793033
Flest downloads
-
63
downloads
A stable non-interleaving early operational semantics for the pi-calculus
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet