Search Results - "Helle Hvid Hansen"

Agent-Based Modeling of a Thermal Energy Transition in the Built Environment by Nava Guerrero, Graciela, Korevaar, Gijsbert, Hansen, Helle, Lukszo, Zofia

“…To reduce greenhouse gas emissions to 80% below 1990 levels by 2050, an energy transition is taking place in the European Union. Achieving these targets…”
Get full text

Stream Differential Equations: Specification Formats and Solution Methods by Helle Hvid Hansen, Clemens Kupke, Jan Rutten

“…Streams, or infinite sequences, are infinite objects of a very simple type, yet they have a rich theory partly due to their ubiquity in mathematics and…”
Get full text

Weak Completeness of Coalgebraic Dynamic Logics by Hansen, Helle Hvid, Kupke, Clemens

“…We present a coalgebraic generalisation of Fischer and Ladner's Propositional Dynamic Logic (PDL) and Parikh's Game Logic (GL). In earlier work, we proved a…”
Get full text

Subsequential transducers: a coalgebraic perspective by Hansen, Helle Hvid

“…Subsequential transducers combine (input) language recognition with transduction and thereby generalise classic deterministic automata as well as Mealy and…”
Get full text

Neighbourhood Structures: Bisimilarity and Basic Model Theory by Hansen, Helle Hvid, Kupke, Clemens, Pacuit, Eric

“…Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. The logic of all neighbourhood models is called classical…”
Get full text

Arrow's Theorem Through a Fixpoint Argument by Feys, Frank M. V., Hansen, Helle Hvid

“…We present a proof of Arrow's theorem from social choice theory that uses a fixpoint argument. Specifically, we use Banach's result on the existence of a…”
Get full text

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic by Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva

“…We present a coinductive framework for defining and reasoning about the infinitary analogues of equational logic and term rewriting in a uniform, coinductive…”
Get full text

Presenting Distributive Laws by Bonsangue, Marcello M., Hansen, Helle Hvid, Kurz, Alexander, Rot, Jurriaan

“…Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving…”
Get full text

Well-definedness and observational equivalence for inductive–coinductive programs by Basold, Henning, Hansen, Helle Hvid

“…Abstract We define notions of well-definedness and observational equivalence for programs of mixed inductive and coinductive types. These notions are defined…”
Get full text

The effect of group decisions in heat transitions: An agent-based approach by Nava-Guerrero, Graciela-del-Carmen, Hansen, Helle Hvid, Korevaar, Gijsbert, Lukszo, Zofia

“…The Netherlands aims at reducing natural gas consumption for heating in the housing sector. Although homeowners are responsible for replacing their heating…”
Get full text

An agent-based exploration of the effect of multi-criteria decisions on complex socio-technical heat transitions by Nava-Guerrero, Graciela-del-Carmen, Hansen, Helle Hvid, Korevaar, Gijsbert, Lukszo, Zofia

“…•Agent-based modelling of multi-criteria individual and group decisions in heat transitions.•Combinations of fiscal policies, heat networks’ regulation, and…”
Get full text

Completeness for Game Logic by Enqvist, Sebastian, Hansen, Helle Hvid, Kupke, Clemens, Marti, Johannes, Venema, Yde

“…Game logic was introduced by Rohit Parikh in the 1980s as a generalisation of propositional dynamic logic (PDL) for reasoning about outcomes that players can…”
Get full text

Dual Adjunction Between $\Omega$-Automata and Wilke Algebra Quotients by Chernev, Anton, Hansen, Helle Hvid, Kupke, Clemens

“…$\Omega$-automata and Wilke algebras are formalisms for characterising $\omega$-regular languages via their ultimately periodic words. $\Omega$-automata read…”
Get full text

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets by Rosset, Aloïs, Hansen, Helle Hvid, Endrullis, Jörg

“…Simplicial sets generalise many categories of graphs. In this paper, we give a complete characterisation of the Lawvere-Tierney topologies on (semi-)simplicial…”
Get full text

Towards model checking executable UML specifications in mCRL2 by Hansen, Helle Hvid, Ketema, Jeroen, Luttik, Bas, Mousavi, MohammadReza, van de Pol, Jaco

“…We describe a translation of a subset of executable UML (xUML) into the process algebraic specification language mCRL2. This subset includes class diagrams…”
Get full text

Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions by Hansen, Helle Hvid, Rutten, Jan

Get full text

Correspondence between Composite Theories and Distributive Laws by Rosset, Aloïs, Zwart, Maaike, Hansen, Helle Hvid, Endrullis, Jörg

“…Composite theories are the algebraic equivalent of distributive laws. In this paper, we delve into the details of this correspondence and concretely show how…”
Get full text

Algebraic Presentation of Semifree Monads by Rosset, Aloïs, Hansen, Helle Hvid, Endrullis, Jörg

“…Monads and their composition via distributive laws have many applications in program semantics and functional programming. For many interesting monads,…”
Get full text

Logic-Induced Bisimulations by de Groot, Jim, Hansen, Helle Hvid, Kurz, Alexander

“…We define a new logic-induced notion of bisimulation (called $\rho$-bisimulation) for coalgebraic modal logics given by a logical connection, and investigate…”
Get full text

Weak Completeness of Coalgebraic Dynamic Logics by Hansen, Helle Hvid, Kupke, Clemens

“…EPTCS 191, 2015, pp. 90-104 We present a coalgebraic generalisation of Fischer and Ladner's Propositional Dynamic Logic (PDL) and Parikh's Game Logic (GL). In…”
Get full text