Håkon Normann

Håkon Normann

Erhvervs postdoc


Udgivelsesår:
  1. 2021
  2. 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

  3. 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

  4. 2019
  5. 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

ID: 194793033