Helle Hvid Hansen

According to our database, Helle Hvid Hansen authored at least 36 papers between 2002 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Report on coalgebraic methods in computer science 2022.

Helle Hvid Hansen, Fabio Zanasi

ACM SIGLOG News, 2022

Algebraic Presentation of Semifree Monads.

Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis

Proceedings of the Coalgebraic Methods in Computer Science, 2022

2020

Minimisation in Logical Form.

Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva

CoRR, 2020

Logic-Induced Bisimulations.

Jim de Groot, Helle Hvid Hansen, Alexander Kurz

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

Newton series, coinductively: a comparative study of composition.

Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten

Math. Struct. Comput. Sci., 2019

Well-definedness and observational equivalence for inductive-coinductive programs.

Henning Basold, Helle Hvid Hansen

J. Log. Comput., 2019

Arrow's Theorem Through a Fixpoint Argument.

Frank M. V. Feys, Helle Hvid Hansen

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

Completeness for Game Logic.

Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic.

Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva

Log. Methods Comput. Sci., 2018

Long-Term Values in Markov Decision Processes, (Co)Algebraically.

Frank M. V. Feys, Helle Hvid Hansen, Lawrence S. Moss

Proceedings of the Coalgebraic Methods in Computer Science, 2018

2017

Parity Games and Automata for Game Logic (Extended Version).

Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema

CoRR, 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.

Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema

Proceedings of the Dynamic Logic. New Trends and Applications, 2017

Neighbourhood Contingency Bisimulation.

Zeinab Bakhtiari, Hans van Ditmarsch, Helle Hvid Hansen

Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017

Bisimulation for Weakly Expressive Coalgebraic Modal Logics.

Zeinab Bakhtiari, Helle Hvid Hansen

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2015

Weak Completeness of Coalgebraic Dynamic Logics.

Helle Hvid Hansen, Clemens Kupke

Proceedings of the Proceedings Tenth International Workshop on Fixed Points in Computer Science, 2015

A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version).

Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva

CoRR, 2015

Presenting Distributive Laws.

Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot

Log. Methods Comput. Sci., 2015

A Coinductive Framework for Infinitary Rewriting and Equational Reasoning.

Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

Newton Series, Coinductively.

Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

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

ACM Trans. Comput. Log., 2014

Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics.

Helle Hvid Hansen, Clemens Kupke, Raul Andres Leal

Proceedings of the Theoretical Computer Science, 2014

A Final Coalgebra for k-regular Sequences.

Helle Hvid Hansen, Clemens Kupke, Jan Rutten, Joost Winter

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

(Co)Algebraic Characterizations of Signal Flow Graphs.

Henning Basold, Marcello M. Bonsangue, Helle Hvid Hansen, Jan Rutten

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

A Coinductive Treatment of Infinitary Rewriting.

Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva

CoRR, 2013

2011

Pointwise extensions of GSOS-defined operations.

Helle Hvid Hansen, Bartek Klin

Math. Struct. Comput. Sci., 2011

2010

Towards model checking executable UML specifications in mCRL2.

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol

Innov. Syst. Softw. Eng., 2010

Subsequential transducers: a coalgebraic perspective.

Helle Hvid Hansen

Inf. Comput., 2010

Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions.

Helle Hvid Hansen, Jan J. M. M. Rutten

Sci. Ann. Comput. Sci., 2010

Automated Verification of Executable UML Models.

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

Neighbourhood Structures: Bisimilarity and Basic Model Theory

Helle Hvid Hansen, Clemens Kupke, Eric Pacuit

Log. Methods Comput. Sci., 2009

2008

Coalgebraising Subsequential Transducers.

Helle Hvid Hansen

Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008

2007

Bisimulation for Neighbourhood Structures.

Helle Hvid Hansen, Clemens Kupke, Eric Pacuit

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Synthesis of Mealy Machines Using Derivatives.

Helle Hvid Hansen, David Costa, Jan J. M. M. Rutten

Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006

2004

A Coalgebraic Perspective on Monotone Modal Logic.

Helle Hvid Hansen, Clemens Kupke

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

2002

Axiomatising Nash-Consistent Coalition Logic.

Helle Hvid Hansen, Marc Pauly

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002