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


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

Minimisation in Logical Form

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

Arrow’s theorem through a fixpoint argument

Completeness for game logic

Read more


The power of logic in computation