default search action
Helle Hvid Hansen
Person information
- affiliation: University of Groningen, The Netherlands
- affiliation (former): Delft University of Technology, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c22]Aloïs Rosset
, Maaike Zwart
Correspondence Between Composite Theories and Distributive Laws. CMCS 2024: 194-215 - [i11]Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis:
Correspondence between Composite Theories and Distributive Laws. CoRR abs/2404.00581 (2024) - [i10]Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis:
Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets. CoRR abs/2407.04535 (2024) - [i9]Anton Chernev, Helle Hvid Hansen, Clemens Kupke:
Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients. CoRR abs/2407.14115 (2024) - 2023
- [e3]Helle Hvid Hansen
Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings. Lecture Notes in Computer Science 13923, Springer 2023, ISBN 978-3-031-39783-7 [contents] - 2022
- [j12]Helle Hvid Hansen, Fabio Zanasi
Report on coalgebraic methods in computer science 2022. ACM SIGLOG News 9(3): 61-62 (2022) - [c21]Aloïs Rosset
Algebraic Presentation of Semifree Monads. CMCS 2022: 110-132 - [e2]Helle Hvid Hansen
Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings. Lecture Notes in Computer Science 13225, Springer 2022, ISBN 978-3-031-10735-1 [contents] - [i8]Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
Algebraic Presentation of Semifree Monads. CoRR abs/2205.05392 (2022) - 2020
- [c20]Jim de Groot, Helle Hvid Hansen, Alexander Kurz:
Logic-Induced Bisimulations. AiML 2020: 289-308 - [i7]Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva:
Minimisation in Logical Form. CoRR abs/2005.11551 (2020) - [i6]Jim de Groot, Helle Hvid Hansen, Alexander Kurz:
Logic-Induced Bisimulations. CoRR abs/2008.09238 (2020)
2010 – 2019
- 2019
- [j11]Henning Basold
Well-definedness and observational equivalence for inductive-coinductive programs. J. Log. Comput. 29(4): 419-468 (2019) - [j10]Henning Basold
Newton series, coinductively: a comparative study of composition. Math. Struct. Comput. Sci. 29(1): 38-66 (2019) - [c19]Sebastian Enqvist, Helle Hvid Hansen
Completeness for Game Logic. LICS 2019: 1-13 - [c18]Frank M. V. Feys, Helle Hvid Hansen
Arrow's Theorem Through a Fixpoint Argument. TARK 2019: 175-188 - [i5]Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema:
Completeness for Game Logic. CoRR abs/1904.07691 (2019) - 2018
- [j9]Jörg Endrullis
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic. Log. Methods Comput. Sci. 14(1) (2018) - [c17]Frank M. V. Feys, Helle Hvid Hansen
Long-Term Values in Markov Decision Processes, (Co)Algebraically. CMCS 2018: 78-99 - 2017
- [j8]Helle Hvid Hansen
Stream Differential Equations: Specification Formats and Solution Methods. Log. Methods Comput. Sci. 13(1) (2017) - [c16]Zeinab Bakhtiari, Helle Hvid Hansen
Bisimulation for Weakly Expressive Coalgebraic Modal Logics. CALCO 2017: 4:1-4:16 - [c15]Zeinab Bakhtiari, Hans van Ditmarsch, Helle Hvid Hansen
Neighbourhood Contingency Bisimulation. ICLA 2017: 48-63 - [c14]Helle Hvid Hansen
Parity Games and Automata for Game Logic. DALI@TABLEAUX 2017: 115-132 - [e1]Helle Hvid Hansen
Logic, Language, and Computation - 11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers. Lecture Notes in Computer Science 10148, Springer 2017, ISBN 978-3-662-54331-3 [contents] - [i4]Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva:
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic. CoRR abs/1706.00677 (2017) - [i3]Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema:
Parity Games and Automata for Game Logic (Extended Version). CoRR abs/1709.00777 (2017) - 2015
- [j7]Marcello M. Bonsangue
Presenting Distributive Laws. Log. Methods Comput. Sci. 11(3) (2015) - [c13]Henning Basold
Newton Series, Coinductively. ICTAC 2015: 91-109 - [c12]Jörg Endrullis
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning. RTA 2015: 143-159 - [c11]Helle Hvid Hansen
Weak Completeness of Coalgebraic Dynamic Logics. FICS 2015: 90-104 - [i2]Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva:
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version). CoRR abs/1505.01128 (2015) - 2014
- [j6]Filippo Bonchi
Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Trans. Comput. Log. 15(1): 3:1-3:29 (2014) - [c10]Henning Basold
(Co)Algebraic Characterizations of Signal Flow Graphs. Horizons of the Mind 2014: 124-145 - [c9]Helle Hvid Hansen
A Final Coalgebra for k-regular Sequences. Horizons of the Mind 2014: 363-383 - [c8]Helle Hvid Hansen
Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics. IFIP TCS 2014: 281-295 - 2013
- [c7]Marcello M. Bonsangue, Helle Hvid Hansen
Presenting Distributive Laws. CALCO 2013: 95-109 - [i1]Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva:
A Coinductive Treatment of Infinitary Rewriting. CoRR abs/1306.6224 (2013) - 2011
- [j5]Helle Hvid Hansen
Pointwise extensions of GSOS-defined operations. Math. Struct. Comput. Sci. 21(2): 321-361 (2011) - 2010
- [j4]Helle Hvid Hansen, Jan J. M. M. Rutten:
Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions. Sci. Ann. Comput. Sci. 20: 97-130 (2010) - [j3]Helle Hvid Hansen
Subsequential transducers: a coalgebraic perspective. Inf. Comput. 208(12): 1368-1397 (2010) - [j2]Helle Hvid Hansen
Towards model checking executable UML specifications in mCRL2. Innov. Syst. Softw. Eng. 6(1-2): 83-90 (2010) - [c6]Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi
Automated Verification of Executable UML Models. FMCO 2010: 225-250
2000 – 2009
- 2009
- [j1]Helle Hvid Hansen, Clemens Kupke, Eric Pacuit:
Neighbourhood Structures: Bisimilarity and Basic Model Theory. Log. Methods Comput. Sci. 5(2) (2009) - 2008
- [c5]Helle Hvid Hansen
Coalgebraising Subsequential Transducers. CMCS 2008: 109-129 - 2007
- [c4]Helle Hvid Hansen
Bisimulation for Neighbourhood Structures. CALCO 2007: 279-293 - 2006
- [c3]Helle Hvid Hansen
Synthesis of Mealy Machines Using Derivatives. CMCS 2006: 27-45 - 2004
- [c2]Helle Hvid Hansen
A Coalgebraic Perspective on Monotone Modal Logic. CMCS 2004: 121-143 - 2002
- [c1]Helle Hvid Hansen
Axiomatising Nash-Consistent Coalition Logic. JELIA 2002: 394-406
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-10 01:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: