Axiomatising Nash-Consistent Coalition Logic. - Helle Hvid Hansen; Marc Pauly (JELIA, 2002)

A Coalgebraic Perspective on Monotone Modal Logic. - Helle Hvid Hansen; Clemens Kupke (CMCS, 2004)

Synthesis of Mealy Machines Using Derivatives. - Helle Hvid Hansen; David Costa 001; Jan J. M. M. Rutten (CMCS, 2006)

Bisimulation for Neighbourhood Structures. - Helle Hvid Hansen; Clemens Kupke; Eric Pacuit (CALCO, 2007)

Coalgebraising Subsequential Transducers. - Helle Hvid Hansen (CMCS, 2008)

Neighbourhood Structures: Bisimilarity and Basic Model Theory - Helle Hvid Hansen; Clemens Kupke; Eric Pacuit (Log. Methods Comput. Sci., 2009)

Automated Verification of Executable UML Models. - Helle Hvid Hansen; Jeroen Ketema; Bas Luttik; Mohammad Reza Mousavi 001; Jaco van de Pol; Osmar Marchi dos Santos (FMCO, 2010)

Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions. - Helle Hvid Hansen; Jan J. M. M. Rutten (Sci. Ann. Comput. Sci., 2010)

Subsequential transducers: a coalgebraic perspective. - Helle Hvid Hansen (Inf. Comput., 2010)

Towards model checking executable UML specifications in mCRL2. - Helle Hvid Hansen; Jeroen Ketema; Bas Luttik; Mohammad Reza Mousavi 001; Jaco van de Pol (Innov. Syst. Softw. Eng., 2010)

Pointwise extensions of GSOS-defined operations. - Helle Hvid Hansen; Bartek Klin (Math. Struct. Comput. Sci., 2011)

A Coinductive Treatment of Infinitary Rewriting. - Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva 001 (CoRR, 2013)

(Co)Algebraic Characterizations of Signal Flow Graphs. - Henning Basold; Marcello M. Bonsangue; Helle Hvid Hansen; Jan Rutten (Horizons of the Mind, 2014)

A Final Coalgebra for k-regular Sequences. - Helle Hvid Hansen; Clemens Kupke; Jan Rutten; Joost Winter (Horizons of the Mind, 2014)

Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics. - Helle Hvid Hansen; Clemens Kupke; Raul Andres Leal (IFIP TCS, 2014)

Algebra-coalgebra duality in Brzozowski's minimization algorithm. - Filippo Bonchi; Marcello M. Bonsangue; Helle Hvid Hansen; Prakash Panangaden; Jan J. M. M. Rutten; Alexandra Silva 001 (ACM Trans. Comput. Log., 2014)

Newton Series, Coinductively. - Henning Basold; Helle Hvid Hansen; Jean-Éric Pin; Jan Rutten (ICTAC, 2015)

A Coinductive Framework for Infinitary Rewriting and Equational Reasoning. - Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva 001 (RTA, 2015)

Presenting Distributive Laws. - Marcello M. Bonsangue; Helle Hvid Hansen; Alexander Kurz 001; Jurriaan Rot (Log. Methods Comput. Sci., 2015)

A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version). - Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva 001 (CoRR, 2015)

Weak Completeness of Coalgebraic Dynamic Logics. - Helle Hvid Hansen; Clemens Kupke (FICS, 2015)

Bisimulation for Weakly Expressive Coalgebraic Modal Logics. - Zeinab Bakhtiari; Helle Hvid Hansen (CALCO, 2017)

Neighbourhood Contingency Bisimulation. - Zeinab Bakhtiari; Hans van Ditmarsch; Helle Hvid Hansen (ICLA, 2017)

Parity Games and Automata for Game Logic. - Helle Hvid Hansen; Clemens Kupke; Johannes Marti; Yde Venema (DALI@TABLEAUX, 2017)

Stream Differential Equations: Specification Formats and Solution Methods. - Helle Hvid Hansen; Clemens Kupke; Jan Rutten (Log. Methods Comput. Sci., 2017)

Parity Games and Automata for Game Logic (Extended Version). - Helle Hvid Hansen; Clemens Kupke; Johannes Marti; Yde Venema (CoRR, 2017)

Long-Term Values in Markov Decision Processes, (Co)Algebraically. - Frank M. V. Feys; Helle Hvid Hansen; Lawrence S. Moss (CMCS, 2018)

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic. - Jörg Endrullis; Helle Hvid Hansen; Dimitri Hendriks; Andrew Polonsky; Alexandra Silva 001 (Log. Methods Comput. Sci., 2018)

Completeness for Game Logic. - Sebastian Enqvist; Helle Hvid Hansen; Clemens Kupke; Johannes Marti; Yde Venema (LICS, 2019)

Arrow's Theorem Through a Fixpoint Argument. - Frank M. V. Feys; Helle Hvid Hansen (TARK, 2019)

Well-definedness and observational equivalence for inductive-coinductive programs. - Henning Basold; Helle Hvid Hansen (J. Log. Comput., 2019)

Newton series, coinductively: a comparative study of composition. - Henning Basold; Helle Hvid Hansen; Jean-Éric Pin; Jan Rutten (Math. Struct. Comput. Sci., 2019)

Logic-Induced Bisimulations. - Jim de Groot; Helle Hvid Hansen; Alexander Kurz 001 (AiML, 2020)

Minimisation in Logical Form. - Nick Bezhanishvili; Marcello M. Bonsangue; Helle Hvid Hansen; Dexter Kozen; Clemens Kupke; Prakash Panangaden; Alexandra Silva 001 (CoRR, 2020)

Algebraic Presentation of Semifree Monads. - Aloïs Rosset; Helle Hvid Hansen; Jörg Endrullis (CMCS, 2022)

Report on coalgebraic methods in computer science 2022. - Helle Hvid Hansen; Fabio Zanasi (ACM SIGLOG News, 2022)

Correspondence Between Composite Theories and Distributive Laws. - Aloïs Rosset; Maaike Zwart; Helle Hvid Hansen; Jörg Endrullis (CMCS, 2024)

Dual Adjunction Between $ varOmega $-Automata and Wilke Algebra Quotients. - Anton Chernev; Helle Hvid Hansen; Clemens Kupke (ICTAC, 2024)

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets. - Aloïs Rosset; Helle Hvid Hansen; Jörg Endrullis (CoRR, 2024)

Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients. - Anton Chernev; Helle Hvid Hansen; Clemens Kupke (CoRR, 2024)

Safety and Strong Completeness via Reducibility for Many-Valued Coalgebraic Dynamic Logics. - Helle Hvid Hansen; Wolfgang Poiger (CALCO, 2025)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof. - Manfred Borzechowski; Malvin Gattinger; Helle Hvid Hansen; Revantha Ramanayake; Valentina Trucco Dalmas; Yde Venema (CoRR, 2025)

Thin Coalgebraic Behaviours Are Inductive. - Anton Chernev; Corina Cîrstea; Helle Hvid Hansen; Clemens Kupke (CoRR, 2025)