Agent-Based Modeling of a Thermal Energy Transition in the Built Environment
Nava Guerrero, Graciela, Korevaar, Gijsbert, Hansen, Helle, Lukszo, Zofia
Published in Energies (Basel) (05.03.2019)
Published in Energies (Basel) (05.03.2019)
Get full text
Journal Article
Stream Differential Equations: Specification Formats and Solution Methods
Helle Hvid Hansen, Clemens Kupke, Jan Rutten
Published in Logical methods in computer science (01.01.2017)
Published in Logical methods in computer science (01.01.2017)
Get full text
Journal Article
Weak Completeness of Coalgebraic Dynamic Logics
Hansen, Helle Hvid, Kupke, Clemens
Published in Electronic proceedings in theoretical computer science (09.09.2015)
Published in Electronic proceedings in theoretical computer science (09.09.2015)
Get full text
Journal Article
Subsequential transducers: a coalgebraic perspective
Get full text
Journal Article
Conference Proceeding
Neighbourhood Structures: Bisimilarity and Basic Model Theory
Hansen, Helle Hvid, Kupke, Clemens, Pacuit, Eric
Published in Logical methods in computer science (01.01.2009)
Published in Logical methods in computer science (01.01.2009)
Get full text
Journal Article
Arrow's Theorem Through a Fixpoint Argument
Feys, Frank M. V., Hansen, Helle Hvid
Published in Electronic proceedings in theoretical computer science (19.07.2019)
Published in Electronic proceedings in theoretical computer science (19.07.2019)
Get full text
Journal Article
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
Published in Logical methods in computer science (01.01.2018)
Published in Logical methods in computer science (01.01.2018)
Get full text
Journal Article
Presenting Distributive Laws
Bonsangue, Marcello M., Hansen, Helle Hvid, Kurz, Alexander, Rot, Jurriaan
Published in Logical methods in computer science (07.08.2015)
Published in Logical methods in computer science (07.08.2015)
Get full text
Journal Article
Automated Verification of Executable UML Models
Hvid Hansen, Helle, Ketema, Jeroen, Luttik, Bas, Mousavi, MohammadReza, van de Pol, Jaco, dos Santos, Osmar Marchi
Published in Formal Methods for Components and Objects (2012)
Published in Formal Methods for Components and Objects (2012)
Get full text
Book Chapter
Conference Proceeding
The effect of group decisions in heat transitions: An agent-based approach
Nava-Guerrero, Graciela-del-Carmen, Hansen, Helle Hvid, Korevaar, Gijsbert, Lukszo, Zofia
Published in Energy policy (01.09.2021)
Published in Energy policy (01.09.2021)
Get full text
Journal Article
Completeness for Game Logic
Enqvist, Sebastian, Hansen, Helle Hvid, Kupke, Clemens, Marti, Johannes, Venema, Yde
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Newton series, coinductively: a comparative study of composition
BASOLD, HENNING, HANSEN, HELLE HVID, PIN, JEAN-ÉRIC, RUTTEN, JAN
Published in Mathematical structures in computer science (01.01.2019)
Published in Mathematical structures in computer science (01.01.2019)
Get full text
Journal Article
Pointwise extensions of GSOS-defined operations
HANSEN, HELLE HVID, KLIN, BARTEK
Published in Mathematical structures in computer science (01.04.2011)
Published in Mathematical structures in computer science (01.04.2011)
Get full text
Journal Article
Algebraic Presentation of Semifree Monads
Rosset, Aloïs, Hansen, Helle Hvid, Endrullis, Jörg
Published in Coalgebraic Methods in Computer Science (2022)
Published in Coalgebraic Methods in Computer Science (2022)
Get full text
Book Chapter