Skip to ContentSkip to Navigation
About us Practical matters How to find us H.H. (Helle) Hansen, Prof


Minimisation in Logical Form

Preface to the Proceedings of WoLLIC 2023

Algebraic Presentation of Semifree Monads

An agent-based exploration of the effect of multi-criteria decisions on complex socio-technical heat transitions

Preface to the Proceedings of CMCS 2022

Short Contributions of the 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022)

The effect of group decisions in heat transitions: An agent-based approach

Logic-induced Bisimulations

Agent-Based Modeling of a Thermal Energy Transition in the Built Environment

Arrow’s theorem through a fixpoint argument

Read more


The power of logic in computation