Helle Hvid Hansen

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 23

Top Topics

Top Venues

Log. Methods Comput. Sci.

Horizons of the Mind

Publications

Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets. CoRR (2024)
Anton Chernev, Helle Hvid Hansen, Clemens Kupke
Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients. CoRR (2024)
Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis
Correspondence between Composite Theories and Distributive Laws. CoRR (2024)
Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis
Correspondence Between Composite Theories and Distributive Laws. CMCS (2024)
Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
Algebraic Presentation of Semifree Monads. CMCS (2022)
Helle Hvid Hansen, Fabio Zanasi
Report on coalgebraic methods in computer science 2022. ACM SIGLOG News 9 (3) (2022)
Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
Algebraic Presentation of Semifree Monads. CoRR (2022)
Jim de Groot, Helle Hvid Hansen, Alexander Kurz
Logic-Induced Bisimulations. AiML (2020)
Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva
Minimisation in Logical Form. CoRR (2020)
Jim de Groot, Helle Hvid Hansen, Alexander Kurz
Logic-Induced Bisimulations. CoRR (2020)
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
Completeness for Game Logic. CoRR (2019)
Henning Basold, Helle Hvid Hansen
Well-definedness and observational equivalence for inductive-coinductive programs. J. Log. Comput. 29 (4) (2019)
Frank M. V. Feys, Helle Hvid Hansen
Arrow's Theorem Through a Fixpoint Argument. TARK (2019)
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
Completeness for Game Logic. LICS (2019)
Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten
Newton series, coinductively: a comparative study of composition. Math. Struct. Comput. Sci. 29 (1) (2019)
Frank M. V. Feys, Helle Hvid Hansen, Lawrence S. Moss
Long-Term Values in Markov Decision Processes, (Co)Algebraically. CMCS (2018)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic. Log. Methods Comput. Sci. 14 (1) (2018)
Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
Parity Games and Automata for Game Logic. DALI@TABLEAUX (2017)
Helle Hvid Hansen, Clemens Kupke, Jan Rutten
Stream Differential Equations: Specification Formats and Solution Methods. Log. Methods Comput. Sci. 13 (1) (2017)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic. CoRR (2017)
Zeinab Bakhtiari, Hans van Ditmarsch, Helle Hvid Hansen
Neighbourhood Contingency Bisimulation. ICLA (2017)
Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema
Parity Games and Automata for Game Logic (Extended Version). CoRR (2017)
Zeinab Bakhtiari, Helle Hvid Hansen
Bisimulation for Weakly Expressive Coalgebraic Modal Logics. CALCO (2017)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning. RTA (2015)
Helle Hvid Hansen, Clemens Kupke
Weak Completeness of Coalgebraic Dynamic Logics. FICS (2015)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version). CoRR (2015)
Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot
Presenting Distributive Laws. Log. Methods Comput. Sci. 11 (3) (2015)
Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten
Newton Series, Coinductively. ICTAC (2015)
Henning Basold, Marcello M. Bonsangue, Helle Hvid Hansen, Jan Rutten
(Co)Algebraic Characterizations of Signal Flow Graphs. Horizons of the Mind (2014)
Helle Hvid Hansen, Clemens Kupke, Jan Rutten, Joost Winter
A Final Coalgebra for k-regular Sequences. Horizons of the Mind (2014)
Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva
Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Trans. Comput. Log. 15 (1) (2014)
Helle Hvid Hansen, Clemens Kupke, Raul Andres Leal
Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics. IFIP TCS (2014)
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
A Coinductive Treatment of Infinitary Rewriting. CoRR (2013)
Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot
Presenting Distributive Laws. CALCO (2013)
Helle Hvid Hansen, Bartek Klin
Pointwise extensions of GSOS-defined operations. Math. Struct. Comput. Sci. 21 (2) (2011)
Helle Hvid Hansen, Jan J. M. M. Rutten
Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions. Sci. Ann. Comput. Sci. 20 (2010)
Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol
Towards model checking executable UML specifications in mCRL2. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos
Automated Verification of Executable UML Models. FMCO (2010)
Helle Hvid Hansen
Subsequential transducers: a coalgebraic perspective. Inf. Comput. 208 (12) (2010)
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
Neighbourhood Structures: Bisimilarity and Basic Model Theory Log. Methods Comput. Sci. 5 (2) (2009)
Helle Hvid Hansen
Coalgebraising Subsequential Transducers. CMCS (2008)
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
Bisimulation for Neighbourhood Structures. CALCO (2007)
Helle Hvid Hansen, David Costa, Jan J. M. M. Rutten
Synthesis of Mealy Machines Using Derivatives. CMCS (2006)
Helle Hvid Hansen, Clemens Kupke
A Coalgebraic Perspective on Monotone Modal Logic. CMCS (2004)
Helle Hvid Hansen, Marc Pauly
Axiomatising Nash-Consistent Coalition Logic. JELIA (2002)