Research output per year
Research output per year
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
-
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 proceeding › Chapter › Academic › peer-review
File28 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 proceeding › Conference contribution › Academic › peer-review
Open AccessFile23 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 journal › Article › Academic › peer-review
Open AccessFile5 Citations (Scopus)52 Downloads (Pure) -
Preface to the Proceedings of CMCS 2022
Hansen, H. H. & Zanasi, F., 3-Apr-2022, 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science: Proceedings. Cham: Springer Science and Business Media Deutschland GmbH, p. v-vi 281219. (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 proceeding › Conference contribution › Academic › peer-review
-
Short Contributions of the 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022)
Hansen, H. H. (ed.) & Zanasi, F. (ed.), 27-May-2022, COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS 2022). 25 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile93 Downloads (Pure)
Activities
-
16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science
Helle Hvid Hansen (Chair/vice-chair of scientific committee)
1-Jan-2022 → …Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
PhD assessment committee of Atefeh Keshavarzi Zafarghandi
Helle Hvid Hansen (Member of Assessment Committee)
19-Apr-2022Activity: Examination, teaching and supervision › Examination, teaching and supervision external institution › Academic
-
14th Conference on Logic and the Foundations of Game and Decision Theory
Helle Hvid Hansen (Member of scientific committee)
11-Mar-2022 → 22-Jul-2022Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
Workshop on Polynomial Functors
Helle Hvid Hansen (Invited speaker)
15-Mar-2021 → 19-Mar-2021Activity: Talk and presentation › Academic presentation › Academic
-
Coalgebras and their Modal Logics: Polynomial Functors and Beyond
Helle Hvid Hansen (Invited speaker)
16-Mar-2021 → 17-Mar-2021Activity: Talk and presentation › Academic presentation › Academic
Datasets
-
Agent-based model described in journal article "The effect of group decisions in heat transitions: An agent-based approach"
Nava-Guerrero, G. (Contributor), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 28-Jan-2022
DOI: 10.4121/18865415.v1, https://data.4tu.nl/articles/_/18865415/1
Dataset
-
Agent-based model described in journal article "The effect of group decisions in heat transitions: An agent-based approach"
Nava-Guerrero, G. (Contributor), Hansen, H. H. (Contributor), Lukszo, Z. (Contributor) & Korevaar, G. (Contributor), 4TU.ResearchData, 28-Jan-2022
DOI: 10.4121/18865415
Dataset
-
Supplementary data for journal article "The effect of group decisions in heat transitions: An agent-based approach"
Nava-Guerrero, G. (Contributor), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 31-Jan-2022
DOI: 10.4121/18865385.v2
Dataset
-
Supplementary data for "An agent-based exploration of the effect of multi-criteria decisions on complex socio-technical heat transitions"
Nava-Guerrero, G. (Contributor), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 31-Jan-2022
DOI: 10.4121/18865406
Dataset
-
Workbook with calculations for journal article "An agent-based exploration of the effect of multi-criteria decisions on complex socio-technical heat transitions"
Nava Guerrero, G. D. C. (Creator), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 1-Apr-2022
DOI: 10.4121/19448789.v2, https://data.4tu.nl/articles/dataset/Workbook_with_calculations_for_journal_article_An_agent-based_exploration_of_the_effect_of_multi-criteria_decisions_on_complex_socio-technical_heat_transitions_/19448789/2
Dataset
Press/Media
-
The power of logic in computation
Helle Hvid Hansen, Jorge Perez Parra & Dan Frumin
19/04/2022
1 item of Media coverage
Press/Media: Other › Professional