Helle Hvid Hansen

Orcid: 0000-0001-7061-1219

Affiliations:
  • University of Groningen, The Netherlands
  • Delft University of Technology, The Netherlands (former)


According to our database1, Helle Hvid Hansen authored at least 39 papers between 2002 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients.
CoRR, 2024

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets.
CoRR, 2024

Correspondence Between Composite Theories and Distributive Laws.
Proceedings of the Coalgebraic Methods in Computer Science, 2024

2022
Report on coalgebraic methods in computer science 2022.
ACM SIGLOG News, 2022

Algebraic Presentation of Semifree Monads.
Proceedings of the Coalgebraic Methods in Computer Science, 2022

2020
Minimisation in Logical Form.
CoRR, 2020

Logic-Induced Bisimulations.
Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019
Newton series, coinductively: a comparative study of composition.
Math. Struct. Comput. Sci., 2019

Well-definedness and observational equivalence for inductive-coinductive programs.
J. Log. Comput., 2019

Arrow's Theorem Through a Fixpoint Argument.
Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

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

2018
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic.
Log. Methods Comput. Sci., 2018

Long-Term Values in Markov Decision Processes, (Co)Algebraically.
Proceedings of the Coalgebraic Methods in Computer Science, 2018

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

Stream Differential Equations: Specification Formats and Solution Methods.
Log. Methods Comput. Sci., 2017

Parity Games and Automata for Game Logic.
Proceedings of the Dynamic Logic. New Trends and Applications, 2017

Neighbourhood Contingency Bisimulation.
Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017

Bisimulation for Weakly Expressive Coalgebraic Modal Logics.
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2015
Weak Completeness of Coalgebraic Dynamic Logics.
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).
CoRR, 2015

Presenting Distributive Laws.
Log. Methods Comput. Sci., 2015

A Coinductive Framework for Infinitary Rewriting and Equational Reasoning.
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

Newton Series, Coinductively.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014
Algebra-coalgebra duality in Brzozowski's minimization algorithm.
ACM Trans. Comput. Log., 2014

Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics.
Proceedings of the Theoretical Computer Science, 2014

A Final Coalgebra for k-regular Sequences.
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

(Co)Algebraic Characterizations of Signal Flow Graphs.
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013
A Coinductive Treatment of Infinitary Rewriting.
CoRR, 2013

2011
Pointwise extensions of GSOS-defined operations.
Math. Struct. Comput. Sci., 2011

2010
Towards model checking executable UML specifications in mCRL2.
Innov. Syst. Softw. Eng., 2010

Subsequential transducers: a coalgebraic perspective.
Inf. Comput., 2010

Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions.
Sci. Ann. Comput. Sci., 2010

Automated Verification of Executable UML Models.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009
Neighbourhood Structures: Bisimilarity and Basic Model Theory
Log. Methods Comput. Sci., 2009

2008
Coalgebraising Subsequential Transducers.
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008

2007
Bisimulation for Neighbourhood Structures.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006
Synthesis of Mealy Machines Using Derivatives.
Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006

2004
A Coalgebraic Perspective on Monotone Modal Logic.
Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

2002
Axiomatising Nash-Consistent Coalition Logic.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002


  Loading...