Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
Persoonlijk profiel
Expertise gerelateerd aan duurzame ontwikkelingsdoelstellingen van de VN
In 2015 stemden de VN-lidstaten in met 17 wereldwijde duurzame ontwikkelingsdoelstellingen (Sustainable Development Goals, SDG's) om armoede te beëindigen, de planeet te beschermen en voor iedereen welvaart te garanderen. Het werk van deze persoon draagt bij aan de volgende duurzame ontwikkelingsdoelstelling(en):
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Helle Hvid Hansen actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 1 Soortgelijke profielen
Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar
Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
-
Propositional Dynamic Logic has Craig Interpolation: A tableau-based proof
Borzechowski, M., Gattinger, M., Hansen, H. H., Ramanayake, R., Dalmas, V. T. & Venema, Y., 17-mrt.-2025, (Submitted) arXiv, 97 blz.Onderzoeksoutput: Voordruk › Academic
Bestand23 Downloads (Pure) -
Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets
Rosset, A., Hansen, H. H. & Endrullis, J., 5-jul.-2024, (Submitted) arXiv, 56 blz.Onderzoeksoutput: Voordruk › Academic
Bestand39 Downloads (Pure) -
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. (uitgave). Springer Science and Business Media Deutschland GmbH, blz. 194-215 22 blz. (Lecture Notes in Computer Science ; vol. 14617 LNCS).Onderzoeksoutput › Academic › peer review
Open AccessBestand32 Downloads (Pure) -
Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients
Chernev, A., Hansen, H. H. & Kupke, C., 19-jul.-2024, (Submitted) arXiv, 27 blz.Onderzoeksoutput: Voordruk › Academic
Bestand8 Downloads (Pure) -
Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients
Chernev, A., Hansen, H. H. & Kupke, C., 22-nov.-2024, Theoretical Aspects of Computing – ICTAC 2024 - 21st International Colloquium, Proceedings. Anutariya, C. & Bonsangue, M. M. (uitgave). Springer Science and Business Media Deutschland GmbH, blz. 96-113 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15373 LNCS).Onderzoeksoutput › Academic › peer review
Open AccessBestand9 Downloads (Pure)
Activiteiten
-
Dagstuhl Seminar 25141: Categories for Automata and Language Theory
Hansen, H. H. (Contributor)
31-mrt.-2025 → 4-apr.-2025Activiteit: Attending an event › Academic
-
Steering Committee Workshop on Logic, Language, Information and Computation (WoLLIC) (Externe Organisatie)
Hansen, H. H. (Member of board)
7-jul.-2024 → …Activiteit: Membership › Academic
-
PhD assessment committee of Joseph Paulus
Hansen, H. H. (Member of Assessment Committee)
20-sep.-2024Activiteit: Supervision and examination of PhD students of the UG › Academic
-
-
Dagstuhl Seminar 24432 on Behavioural Metrics and Quantitative Logics
Hansen, H. H. (Attendee)
20-okt.-2024 → 25-okt.-2024Activiteit: Attending an event › Academic
Datasets
-
Supplementary data for journal article "The effect of group decisions in heat transitions: An agent-based approach"
Nava-Guerrero, G.-D.-C. (Contributor), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 31-jan.-2022
DOI: 10.4121/18865385.v2
Dataset
-
Agent-based model described in journal article "An agent-based exploration of the effect of multi-criteria decisions on complex socio-technical heat transitions"
Nava-Guerrero, G.-D.-C. (Contributor), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 28-jan.-2022
DOI: 10.4121/18865433.v1, https://data.4tu.nl/articles/_/18865433/1
Dataset
-
Workbook with calculations for journal article "The effect of group decisions in heat transitions: An agent-based approach"
Nava Guerrero, G. D. C. (Creator), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 30-mrt.-2022
DOI: 10.4121/19448693.v1, https://data.4tu.nl/articles/dataset/Workbook_with_calculations_for_journal_article_The_effect_of_group_decisions_in_heat_transitions_An_agent-based_approach_/19448693/1
Dataset
-
Supplementary data for "The effect of group decisions in heat transitions: An agent-based approach"
Nava-Guerrero, G.-D.-C. (Contributor), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 28-jan.-2022
DOI: 10.4121/18865385.v1
Dataset
-
Agent-based model described in journal article "The effect of group decisions in heat transitions: An agent-based approach"
Nava-Guerrero, G.-D.-C. (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
Knipsels
-
The power of logic in computation
Hansen, H. H., Perez Parra, J. & Frumin, D.
19/04/2022
1 item van Media-aandacht
Pers / media: Overig › Professional