Håkon Normann

Håkon Normann

Erhvervs postdoc


Udgivelsesår:
  1. 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 tidsskriftTidsskriftartikelForskningfagfællebedømt

  2. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  3. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  4. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

ID: 194793033