Skip to ContentSkip to Navigation
Over ons Praktische zaken Waar vindt u ons H.H. (Helle) Hansen, Prof

Publicaties

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

Lees meer

Pers/media

The power of logic in computation