Helle Hvid Hansen
Rijksuniversiteit Groningen
H-index: 15
Europe-Netherlands
Top articles of Helle Hvid Hansen
Correspondence between Composite Theories and Distributive Laws
arXiv preprint arXiv:2404.00581
2024/3/31
Maaike Zwart
H-Index: 4
Helle Hvid Hansen
H-Index: 10
Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings
2023/8/28
Helle Hvid Hansen
H-Index: 10
Andre Scedrov
H-Index: 19
Preface to the Proceedings of WoLLIC 2023
2023/8/23
Helle Hvid Hansen
H-Index: 10
Andre Scedrov
H-Index: 19
Minimisation in logical form
2023/8/2
Helle Hvid Hansen
H-Index: 10
Dexter Kozen
H-Index: 26
Prakash Panangaden
H-Index: 26
Alexandra Silva
H-Index: 19
Report on coalgebraic methods in computer science 2022
ACM SIGLOG News
2022/8/25
Helle Hvid Hansen
H-Index: 10
Fabio Zanasi
H-Index: 14
Coalgebraic Methods in Computer Science: 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings
2022/7/22
Helle Hvid Hansen
H-Index: 10
Fabio Zanasi
H-Index: 14
Short Contributions of the 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022)
2022/5/27
Helle Hvid Hansen
H-Index: 10
Fabio Zanasi
H-Index: 14
Algebraic Presentation of Semifree Monads
2022/4/2
Helle Hvid Hansen
H-Index: 10
An agent-based exploration of the effect of multi-criteria decisions on complex socio-technical heat transitions
Applied Energy
2022/1/15
Proceedings of the 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022
LECTURE NOTES IN COMPUTER SCIENCE
2022
The effect of group decisions in heat transitions: An agent-based approach
Energy policy
2021/9/1
Logic-Induced Bisimulations
2020/8/21