• Nijenborgh9

    9747 AG Groningen

    Netherlands

Personal profile

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 13 - Climate Action
  • SDG 17 - Partnerships for the Goals

Fingerprint

Dive into the research topics where Helle Hvid Hansen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Correspondence Between Composite Theories and Distributive Laws

    Rosset, A., Zwart, M., Hansen, H. H. & Endrullis, J., 2024, Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Proceedings. König, B. & Urbat, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 194-215 22 p. (Lecture Notes in Computer Science ; vol. 14617 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Minimisation in Logical Form

    Bezhanishvili, N., Bonsangue, M., Hansen, H. H., Kozen, D., Kupke, C., Panangaden, P. & Silva, A., 2023, Samson Abramsky on Logic and Structure in Computer Science and Beyond. Palmigiano, A. & Sadrzadeh, M. (eds.). Cham: Springer, p. 89-127 38 p. (Outstanding Contributions to Logic; vol. 25).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    160 Downloads (Pure)
  • Preface to the Proceedings of WoLLIC 2023

    Hansen, H. H., Scedrov, A. & de Queiroz, R., 23-Aug-2023, Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings. Hansen, H. H., Scedrov, A. & de Queiroz, R. (eds.). Springer Science and Business Media Deutschland GmbH, Vol. 13923. p. v-vi 2 p. (Lecture Notes in Computer Science; vol. 13923).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

    Open Access
    File
    24 Downloads (Pure)
  • Algebraic Presentation of Semifree Monads

    Rosset, A., Hansen, H. H. & Endrullis, J., 2022, Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Proceedings. Hansen, H. H. & Zanasi, F. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 110-132 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13225 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    139 Downloads (Pure)
  • An agent-based exploration of the effect of multi-criteria decisions on complex socio-technical heat transitions

    Nava-Guerrero, G. D. C., Hansen, H. H., Korevaar, G. & Lukszo, Z., 15-Jan-2022, In: Applied Energy. 306, 23 p., 118118.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    6 Citations (Scopus)
    143 Downloads (Pure)