Helle Hvid Hansen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
2002–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CALCO | Safety and Strong Completeness via Reducibility for Many-Valued Coalgebraic Dynamic Logics. | Helle Hvid Hansen, Wolfgang Poiger |
| 2025 | LICS | Thin Coalgebraic Behaviours Are Inductive. | Anton Chernev, Corina Crstea, Helle Hvid Hansen, Clemens Kupke |
| 2024 | ICTAC | Dual Adjunction Between $\varOmega $-Automata and Wilke Algebra Quotients. | Anton Chernev, Helle Hvid Hansen, Clemens Kupke |
| 2020 | AiML | Logic-Induced Bisimulations. | Jim de Groot, Helle Hvid Hansen, Alexander Kurz |
| 2019 | LICS | Completeness for Game Logic. | Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema |
| 2017 | CALCO | Bisimulation for Weakly Expressive Coalgebraic Modal Logics. | Zeinab Bakhtiari, Helle Hvid Hansen |
| 2017 | TABLEAUX | Parity Games and Automata for Game Logic. | Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema |
| 2015 | ICTAC | Newton Series, Coinductively. | Henning Basold, Helle Hvid Hansen, Jean-ric Pin, Jan Rutten |
| 2013 | CALCO | Presenting Distributive Laws. | Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot |
| 2007 | CALCO | Bisimulation for Neighbourhood Structures. | Helle Hvid Hansen, Clemens Kupke, Eric Pacuit |
| 2002 | JELIA | Axiomatising Nash-Consistent Coalition Logic. | Helle Hvid Hansen, Marc Pauly |