Concepedia

Helle Hvid Hansen

HH

12

Publications

342

Citations

12

H-Index

2003

Active since

Affiliations

Delft University of Technology(Current)

Centrum Wiskunde & Informatica

Radboud University Nijmegen

University of Amsterdam

Leiden University

Helle Hvid Hansen is an author at Delft University of Technology specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationModeling And SimulationGamesDesignSyntaxLanguage

Publications per year

2003–2021

12

Publications

12

A Coalgebraic Perspective on Monotone Modal Logic

Helle Hvid Hansen, Clemens Kupke · Electronic Notes in Theoretical Computer Science · 2004 · 72 citations · Full text

Algebraic Logic, Non-classical Logic, Monotone Modal Logic +6

Algebra-coalgebra duality in brzozowski's minimization algorithm

Filippo Bonchi, Marcello Bonsangue, Helle Hvid Hansen et al. · ACM Transactions on Computational Logic · 2014 · 54 citations · Full text

Logical Automaton, Engineering, Quantum Automaton +14

Monotonic Modal Logics

Helle Hvid Hansen · 2003 · 49 citations

Towards model checking executable UML specifications in mCRL2

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik et al. · Innovations in Systems and Software Engineering · 2010 · 42 citations · Full text

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

Graciela-del-Carmen Nava-Guerrero, Gijsbert Korevaar, Helle Hvid Hansen et al. · Energies · 2019 · 20 citations · Full text

Engineering, Energy Efficiency, Green Building +23

Rows per page

1–5 of 12