• Selma Lagerløfs Vej 300, 2-2-46

    9220 Aalborg Ø

    Danmark

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

1989 …2022

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Personlig profil

Emneord

  • Datalogi
  • proceskalkyler og deres matematiske teori

Fingerprint

Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
  • 1 Lignende profiler

Netværk

Klik på punkterne for at se detaljerne.
  • A Generic Type System for Higher-Order Ψ-calculi

    Bendixen, A. R., Bojesen, B. B., Hüttel, H. & Lybech, S., 6 sep. 2022, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 368, s. 43-59 17 s.

    Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    7 Downloads (Pure)
  • A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages

    Saioc, G. V. & Hüttel, H., 19 sep. 2022, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 369, s. 51-66 16 s.

    Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

    Åben adgang
  • Key Agreement in the Lightning Network Protocol

    Hüttel, H. & Staroveški, V., 2022, Information Systems Security and Privacy - 6th International Conference, ICISSP 2020, Revised Selected Papers. Furnell, S., Mori, P., Weippl, E. & Camp, O. (red.). Springer, s. 139-155 17 s. (Communications in Computer and Information Science, Bind 1545 CCIS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • An Editor Calculus With Undo/Redo

    Kjær, R. R., Lundbergh, M. H., Nielsen, M. M. & Hüttel, H., dec. 2021, Proceedings of 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). Schneider, C., Marin, M., Negru, V. & Zaharie, D. (red.). IEEE, s. 66-74 9 s. 9700397. (Proceedings - 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    46 Downloads (Pure)
  • A type-safe structure editor calculus

    Godiksen, C., Herrmann, T., Hüttel, H., Lauridsen, M. K. & Owliaie, I., 18 jan. 2021, PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Association for Computing Machinery, s. 1-13 13 s. (PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    1 Citationer (Scopus)