Helle Hvid Hansen

Available identifiers

zbMath Open hansen.helle-hvidMaRDI QIDQ618166

List of research outcomes

Publication	Date of Publication	Type
Algebraic presentation of semifree monads	2022-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q5104711	2022-09-15	Paper
Algebraic Presentation of Semifree Monads	2022-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q5018511	2021-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q5014445	2021-12-02	Paper
Logic-Induced Bisimulations	2020-08-20	Paper
Well-definedness and observational equivalence for inductive–coinductive programs	2019-07-29	Paper
Neighbourhood Contingency Bisimulation	2019-07-24	Paper
Completeness for Game Logic	2019-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q4621141	2019-02-08	Paper
Newton series, coinductively: a comparative study of composition	2018-12-04	Paper
Long-term values in Markov decision processes, (co)algebraically	2018-10-23	Paper
Parity games and automata for game logic	2018-04-12	Paper
https://portal.mardi4nfdi.de/entity/Q4600775	2018-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q5277876	2017-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q2980965	2017-05-08	Paper
Newton Series, Coinductively	2016-02-25	Paper
Presenting Distributive Laws	2015-08-25	Paper
Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics	2014-09-15	Paper
(Co)Algebraic Characterizations of Signal Flow Graphs	2014-06-02	Paper
A Final Coalgebra for k-regular Sequences	2014-06-02	Paper
Algebra-coalgebra duality in brzozowski's minimization algorithm	2014-04-16	Paper
Coalgebraising Subsequential Transducers	2014-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q2863892	2013-12-04	Paper
Presenting Distributive Laws	2013-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q2847811	2013-09-11	Paper
Pointwise extensions of GSOS-defined operations	2011-06-10	Paper
Subsequential transducers: a coalgebraic perspective	2011-01-14	Paper
Neighbourhood Structures: Bisimilarity and Basic Model Theory	2009-06-30	Paper
Bisimulation for Neighbourhood Structures	2009-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4708934	2003-06-20	Paper
Correspondence between Composite Theories and Distributive Laws	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Helle Hvid Hansen